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
5 June 2025
- 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.)
3 June 2025
- diffhist Set (mathematics) 22:52 −2 JBW talk contribs (I think this is more usual usage in English.)
- diffhist m Logic 07:34 −46 PEPSI697 talk contribs (Rollback edit(s) by 2409:4085:ECB:87C:0:0:5ECB:4A10 (talk): No reliable source (UV 0.1.6)) Tags: Ultraviolet Rollback
- diffhist Logic 07:33 +46 2409:4085:ecb:87c::5ecb:4a10 talk (→top: using some creative knowledge and great ideas) Tags: Reverted Mobile edit Mobile app edit Android app edit App section source
- diffhist Rudolf Carnap 01:43 −32 Psychastes talk contribs (Removing from Category:Philosophy writers remove academics from category specifically for non-academics using Cat-a-lot)
- diffhist Aristotle 01:43 −32 Psychastes talk contribs (Removing from Category:Philosophy writers remove academics from category specifically for non-academics using Cat-a-lot)
2 June 2025
- diffhist Set (mathematics) 19:22 −103 Macrakis talk contribs (remove redundant language; simplify) Tag: Visual edit
- diffhist Help:Editing 15:28 +11 Ponor talk contribs (→Edit screen(s): cropped to match img#1) Tag: Visual edit: Switched
- diffhist Help:Editing 15:23 +185 Ponor talk contribs (→Edit screen(s): it's 2025: we have syntax highlighting and realtime preview)
- diffhist First-order logic 13:50 +23 BardRapt talk contribs (→External links: S. Shapiro)
- 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
- diffhist Gerhard Gentzen 13:46 +29 Takeschutte talk contribs (Added proof theorists category)
- diffhist Rudolf Carnap 00:39 −34 Omnipaedista talk contribs (rm link to deleted article)
30 May 2025
- diffhist Natural number 21:52 +16 HilssaMansen19 talk contribs (Reverted 1 pending edit by 99.159.84.92 to revision 1292600074 by Chaotic Enby: NPOV; no addition of sources to refute per summary; just explained removal of balancing/neutral sowriting; and re-balanced it) Tags: Manual revert Mobile edit Mobile web edit Advanced mobile edit
- diffhist Natural number 17:23 −16 99.159.84.92 talk (There are no well-known sources of cardinal numbers not including zero as such a system would be incapable of measuring the empty set. To reinclude "usually", one should cite a source where a well-founded usage of cardinals/ordinals sans zero is presented.) Tag: Reverted
- diffhist Propositional calculus 15:51 +16 2a00:8a60:c010:1::1:103d talk (→History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift)
29 May 2025
- diffhist m Aristotle 21:07 −4 Foxtrot1296 talk contribs (→Potentiality and actuality)