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
30 August 2025
- diffhist Deductive reasoning 08:39 0 Phlsph7 talk contribs (Undid revision 1307944982 by 111.119.34.37 (talk) see MOS:SEAOFBLUE) Tag: Undo
29 August 2025
- diffhist Quantifier (logic) 11:40 −769 Jochen Burghardt talk contribs (undid 4 edits: informal explanations are dubious (e.g. what is "nesting depth relative to each other"?); different definition for non-classical logic would require a citation; imo, the System-F notion of 'rank' simply refers to something unrelated) Tag: Undo