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
2 November 2025
- diffhist Tarski's axioms 17:48 −3,688 Elestrophe talk contribs (Revert addition of duplicate axiom list) Tag: Undo
- diffhist Logical equivalence 17:25 +22 Apersoma talk contribs (Linked tautology)
- diffhist m Monadic predicate calculus 16:52 +4 Sligocki talk contribs (→Relationship with term logic: Tweak logical expression to make it more closely match the English text (IMO))
- diffhist Turing machine 15:50 +1 SanjaySridharan talk contribs (changed link from "computational model" to "model of computation")
- diffhist m Set theory 13:08 +7 Starlighsky talk contribs Tag: Visual edit
- diffhist m Set theory 12:42 −4 Starlighsky talk contribs Tag: Visual edit
- diffhist Set theory 12:40 +387 Starlighsky talk contribs (Added citation and information.) Tag: Visual edit
- diffhist m Set theory 12:20 +22 Starlighsky talk contribs Tag: Visual edit
- diffhist m Set theory 12:09 +23 Starlighsky talk contribs (→History: Added block quote) Tag: Visual edit
- diffhist Cartesian product 11:48 +60 Jochen Burghardt talk contribs (Undid revision 1319934788 by SomeRailfan (talk): if you wish to change, do it consistently throughout the whole article) Tag: Undo
- diffhist Church encoding 01:09 +230 WillNess talk contribs (→Subtraction, directly: elaboration)