Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
22 December 2025
- diffhist m Automated theorem proving 09:45 −106 Jochen Burghardt talk contribs (Reverted 1 edit by ~2025-42300-22 (talk) to last revision by SchlurcherBot) Tags: Twinkle Undo
- diffhist Wikipedia:Stub 05:46 +2 Bradv talk contribs (→Stubbing existing articles: this made-up word is spelled wrong)
- diffhist Lambda calculus 04:40 +19 Yesterday, all my dreams... talk contribs (→Typed lambda calculus: true but cn)
- diffhist Structure (mathematical logic) 04:26 −401 Yesterday, all my dreams... talk contribs (Rel DBs do have functions, eg joins, this was a misquote)
- diffhist Model theory 04:09 +19 Yesterday, all my dreams... talk contribs (→History: of models)
- diffhist Model theory 04:06 −23 Yesterday, all my dreams... talk contribs (→Overview: 1st order yes)
- diffhist Type theory 04:04 0 ~2025-42040-02 talk contribs
- diffhist Model theory 04:04 −115 Yesterday, all my dreams... talk contribs (Because there are so few societies... just promo)
- diffhist Type theory 04:02 0 ~2025-42040-02 talk contribs (→Judgments)
- diffhist Type theory 04:00 0 ~2025-42040-02 talk contribs (→Terms)
- diffhist Type theory 03:59 0 ~2025-42040-02 talk contribs (→Terms and types)
21 December 2025
- diffhist Automated theorem proving 23:44 −11 AnomieBOT talk contribs (Fixing reference errors) Tag: Reverted
- diffhist Automated theorem proving 21:42 +117 ~2025-42300-22 talk contribs (→Logical foundations: BOMBAY.INC) Tags: Reverted extraneous markup
- diffhist Wikipedia:Stub 19:21 +29 Sdkb talk contribs (→See also: adjust)
- diffhist Wikipedia:Stub 19:21 +100 Sdkb talk contribs (→See also: add link to WP:POPULARSTUBS)
- diffhist Logic 18:41 +2 Phlsph7 talk contribs (Undid revision 1328755075 by ~2025-42311-82 (talk) not the standard definition) Tag: Undo
- diffhist Logic 18:15 −2 ~2025-42311-82 talk contribs Tags: Reverted Mobile edit Mobile web edit
- diffhist m P versus NP problem 15:58 +34 Ramanujaner talk contribs Tag: Visual edit