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
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
20 May 2025
- diffhist m Linear logic 10:22 +290 Marc Schroeder talk contribs (→Further reading)
- diffhist m Linear logic 06:21 +149 Marc Schroeder talk contribs (→Further reading: } isbn)
- diffhist Substructural logic 01:53 +609 Marc Schroeder talk contribs
19 May 2025
- diffhist Solomon Feferman 17:33 +6 Gråbergs Gråa Sång talk contribs (→Life: cn)
- 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 m Constructive analysis 20:20 0 Dascoine talk contribs (→Undecidable predicates: the index of the sequence was wrong, the exponent of 2 should be k+1 not n+1)
- diffhist Material conditional 14:54 +1,091 Marc Schroeder talk contribs (added ND proof of Peirce's law)
- diffhist Agda (programming language) 12:30 +1 2003:e3:2f28:ead5:dc92:8d58:c52c:484 talk (Coq has been renamed to Rocq)
- 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 VHDL 22:42 −15 Liz talk contribs (Unlinking circular redirects: Wikipedia:Articles for deletion/VHDL-VITAL closed as redirect (XFDcloser))
- 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)
15 May 2025
- diffhist m Principle of explosion 17:38 +23 Gert7 talk contribs Tag: 2017 wikitext editor