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 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)
17 May 2025
- diffhist Material conditional 21:09 +259 Marc Schroeder talk contribs (added alternative natural deduction rule to obtain classical logic)
16 May 2025
- diffhist Module:Footnotes/whitelist 22:05 +49 Redrose64 talk contribs (add another entry for CITEREFLohrThielmann1988)
- 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 Database 06:27 −4 Liz talk contribs (Removing link(s) to "Database storage structures": Removing links to deleted page Database storage structures.) Tag: Twinkle
- diffhist Logic 04:17 +191 2600:8800:25a1:4a00:1799:643c:1f1f:73e4 talk Tags: Reverted Mobile edit Mobile web edit Disambiguation links added
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