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
19 May 2025
- diffhist Law of noncontradiction 14:01 +8 Nadav M. Perlman talk contribs Tag: 2017 wikitext editor
- diffhist Law of noncontradiction 14:00 +22 Nadav M. Perlman talk contribs (→Interpretations) Tag: 2017 wikitext editor
- diffhist m Material conditional 12:24 +32 Marc Schroeder talk contribs (removed lint error by setting fg=#000000)
- diffhist Material conditional 12:14 +672 Marc Schroeder talk contribs (added a precision on MPC / IPC)
18 May 2025
- diffhist Material conditional 14:54 +1,091 Marc Schroeder talk contribs (added ND proof of Peirce's law)
- diffhist m Material conditional 04:16 −5 Marc Schroeder talk contribs (→Syntactical properties)
- diffhist m Material conditional 03:52 +4 Marc Schroeder talk contribs (→A selection of theorems (classical logic))
- diffhist Material conditional 03:19 +1,661 Marc Schroeder talk contribs (added two references and a ND proof)
- diffhist Idempotence 03:16 +100 Elrondil talk contribs (ce) Tags: Mobile edit Mobile app edit iOS app edit App full source
- diffhist Idempotence 03:03 +26 Elrondil talk contribs (ce) Tags: Mobile edit Mobile app edit iOS app edit App full source
- diffhist Idempotence 03:02 −7 Elrondil talk contribs (These are explanatory footnotes, not references to cited sources.) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Programming language 01:42 +99 Headbomb talk contribs (→2000s to present: | Altered template type. Add: class, date, title, eprint, authors 1-4. Changed bare reference to CS1/2. Removed parameters. Some additions/deletions were parameter name changes. | Use this tool. Report bugs. | #UCB_Gadget)
17 May 2025
- diffhist Material conditional 21:09 +259 Marc Schroeder talk contribs (added alternative natural deduction rule to obtain classical logic)
- diffhist Charles Sanders Peirce 19:59 +4 Omnipaedista talk contribs (add wikilink)
- diffhist Bertrand Russell 19:24 +16 Omnipaedista talk contribs (already linked above)
- diffhist Binary operation 16:41 −250 Jochen Burghardt talk contribs (→Terminology: suggest to remove incomprehensible sentence)
- diffhist Binary operation 16:39 −16 Jochen Burghardt talk contribs (→Terminology: rm duplicate mention of real numbers)
16 May 2025
- diffhist Logic 09:25 −191 Phlsph7 talk contribs (Undid revision 1290650318 by 2600:8800:25A1:4A00:1799:643C:1F1F:73E4 (talk)) Tags: Undo Disambiguation links added
- diffhist Binary operation 06:33 +58 Goodphy talk contribs (→Terminology: Clarified that the closure property does not always hold for all binary operations.) Tag: Visual edit
- diffhist Binary operation 06:30 +29 Goodphy talk contribs (→Terminology: Clarify an expression.) Tag: Visual edit
- diffhist Logic 04:17 +191 2600:8800:25a1:4a00:1799:643c:1f1f:73e4 talk Tags: Reverted Mobile edit Mobile web edit Disambiguation links added
15 May 2025
- diffhist m Principle of explosion 17:38 +23 Gert7 talk contribs Tag: 2017 wikitext editor
- diffhist Ludwig Wittgenstein 17:31 +40 Reflecktor talk contribs (→External links)
- diffhist Kurt Gödel 03:35 +245 Prezbo talk contribs (→Religious views: paranormal)
- diffhist m Kurt Gödel 03:27 +7 Prezbo talk contribs (→Religious views)
14 May 2025
- diffhist Programming language 19:35 −269 Annh07 talk contribs (Reverted 1 pending edit by 103.161.69.109 to revision 1290130854 by DMacks) Tag: Manual revert
- diffhist Programming language 19:34 +269 103.161.69.109 talk (→Definitions) Tags: Reverted Mobile edit Mobile web edit
- diffhist m Augustus De Morgan 18:51 +9 Qyrano talk contribs (errata-corrige of pages in Author's bibliography (320 -> 230)) Tag: Visual edit
- diffhist m Soundness 15:54 +20 Dingolover6969 talk contribs (→See also: type soundness)
- diffhist Kurt Gödel 14:31 +1 Prezbo talk contribs
- diffhist Kurt Gödel 10:45 +26 Prezbo talk contribs (→Mid-1930s: further work and U.S. visits: cleanup)
- diffhist Kurt Gödel 10:44 +77 Prezbo talk contribs (→Later life and death: more)
- diffhist m Kurt Gödel 10:41 +21 Prezbo talk contribs (apologies)
- diffhist Kurt Gödel 10:30 +206 Prezbo talk contribs (→Studies in Vienna)
- diffhist Kurt Gödel 10:24 +514 Prezbo talk contribs (more on adele. chronologize.)
- diffhist Kurt Gödel 10:02 +423 Prezbo talk contribs (→Mid-1930s: further work and U.S. visits: more)
- diffhist Kurt Gödel 09:49 −210 Prezbo talk contribs (→Mid-1930s: further work and U.S. visits: sorry, this appears to be wrong, father died in 1929)
- diffhist Kurt Gödel 09:43 +241 Prezbo talk contribs (→Mid-1930s: further work and U.S. visits: slightly more on adele)
- diffhist Kurt Gödel 09:21 +309 Prezbo talk contribs (add a little biographical info to intro, more could be added.)
- diffhist Kurt Gödel 08:43 +215 Prezbo talk contribs (possible diagnoses)
- diffhist Kurt Gödel 08:08 −55 Prezbo talk contribs (removed Category:People with paranoid personality disorder using HotCat article doesn't state this)
13 May 2025
- diffhist m Logic 16:04 +283 JalenBarks talk contribs (Reverted edit by 2806:10BE:C:4AD3:5886:C88:491A:8A97 (talk) to last version by DuncanHill) Tag: Rollback
- diffhist Logic 16:00 −283 2806:10be:c:4ad3:5886:c88:491a:8a97 talk (→logic) Tags: Reverted harv or sfn error Mobile edit Mobile web edit
- diffhist m George Boole 15:55 −20 JalenBarks talk contribs (Reverted edits by 2806:10BE:C:4AD3:5886:C88:491A:8A97 (talk) (HG) (3.4.13)) Tags: Huggle Rollback
- diffhist George Boole 15:54 +20 2806:10be:c:4ad3:5886:c88:491a:8a97 talk Tags: Reverted Mobile edit Mobile web edit