Jump to content
Main menu
Main menu
move to sidebar
hide
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Special pages
Niidae Wiki
Search
Search
Appearance
Create account
Log in
Personal tools
Create account
Log in
Pages for logged out editors
learn more
Contributions
Talk
User contributions for
188.113.92.102
Help
English
Tools
Tools
move to sidebar
hide
Actions
General
Atom
User contributions
Logs
Printable version
Appearance
move to sidebar
hide
Results for
188.113.92.102
talk
block log
logs
Search for contributions
Expand
Collapse
⧼contribs-top⧽
IP address or username:
Namespace:
all
(Main)
Talk
User
User talk
Encyclopedia
Encyclopedia talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Invert selection
Associated namespace
Tag
filter:
Invert selection
Only show edits that are latest revisions
Only show edits that are page creations
Hide minor edits
⧼contribs-date⧽
From date:
To date:
Search
29 March 2025
21:40
21:40, 29 March 2025
diff
hist
+29,122
N
Automated theorem proving
Removes unnecessary fact about World War II under "First implementations"
current
Search
Search
User contributions for
188.113.92.102
Add topic
