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
27 May 2024
- diffhist Proof by contradiction 13:18 +204 Jochen Burghardt talk contribs (→Proof by contradiction in intuitionistic logic: challenge condition (independent of being a quote or not))
- diffhist Proof by contradiction 07:52 −43 AndrejBauer talk contribs (→Proof by contradiction in intuitionistic logic: The citation is not needed because the quote is not a quote of an external source, it is just a displayed statement (as is common in mathematics). I have changed it to inline text so there's no doubt.)
25 May 2024
- diffhist Proof by contradiction 20:23 +78 Mach61 talk contribs (→Proof by contradiction in intuitionistic logic) Tags: Mobile edit Mobile web edit Advanced mobile edit