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
6 June 2025
- diffhist New York City 21:35 +1 Cyrobyte talk contribs (Split paragraph)
- diffhist Natural deduction 09:00 −1 Periklismant talk contribs (→Gentzen-style example proofs)
5 June 2025
- diffhist New York City 17:31 −34 Yovt talk contribs (→Architecture: format)
- diffhist New York City 17:29 −114 Yovt talk contribs (→Architecture: swap with 23MB-higher resolution, featured, newer image of manhattan panorama)
- diffhist New York City 17:24 0 Yovt talk contribs (→Religion: scale to body)
- diffhist John von Neumann 11:31 +1 Myasuda talk contribs (Undid revision 1294066086 by 174.94.29.41 (talk) -- accurate quotation from source) Tag: Undo
- diffhist John von Neumann 10:57 −1 174.94.29.41 talk Tag: Reverted
- diffhist Cut-elimination theorem 05:30 +24 David Eppstein talk contribs (cs1)
- diffhist Cut-elimination theorem 05:29 −674 David Eppstein talk contribs (→References: same)
- diffhist Cut-elimination theorem 05:29 +1,094 David Eppstein talk contribs (→References: these templates are maddening. The effort they save is then wasted by tracking down their errors and sfn-whitelisting them. Better not to use them at all.)
- diffhist John von Neumann 03:36 +20 Y-S.Ko talk contribs (→External links)
2 June 2025
- diffhist First-order logic 13:50 +23 BardRapt talk contribs (→External links: S. Shapiro)
- diffhist New York City 13:16 −26 Zacwill talk contribs (not directly named after the Duke of York)
- diffhist Sequent calculus 07:55 +1,054 Marc Schroeder talk contribs (provide 2 citations)
- diffhist m Cut-elimination theorem 05:34 +4 Marc Schroeder talk contribs (→Consequences of the theorem: resolved redirection)
1 June 2025
- diffhist m Cut-elimination theorem 23:28 +218 Marc Schroeder talk contribs (edited refs)
- diffhist m Sequent calculus 12:45 +155 Marc Schroeder talk contribs (→References)
- diffhist Sequent calculus 12:30 +535 Marc Schroeder talk contribs (Updated references)
31 May 2025
- diffhist Rule of inference 22:59 +25 Psychastes talk contribs (→Definition: add linked template)
- diffhist First-order logic 19:08 +7 Anerdw talk contribs (MOS:GNL - “man” and “human” get the same point across. Also, punctuation.) Tags: Mobile edit Mobile web edit Advanced mobile edit