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
25 May 2025
24 May 2025
- diffhist m Material conditional 21:48 −567 Marc Schroeder talk contribs (→Syntactical properties: Now things are stated once instead of twice.)
- diffhist m Logic 15:05 −4 Remsense talk contribs (Reverted 1 edit by Quality Sign (talk) to last revision by Phlsph7) Tags: Twinkle Undo
- diffhist Logic 14:47 +4 Quality Sign talk contribs Tag: Reverted
21 May 2025
- diffhist Material conditional 19:12 +714 Marc Schroeder talk contribs (→A selection of theorems (classical logic): added ND of Vacuous conditional)
- diffhist m Material conditional 13:07 −6 Marc Schroeder talk contribs
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 Mathematics 09:11 +71 D.Lazard talk contribs (→Algebra: adding Moderne Algebra)