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
2 June 2025
- diffhist Sequent calculus 07:55 +1,054 Marc Schroeder talk contribs (provide 2 citations)
1 June 2025
- 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 Ontology language 19:41 −73 Omnipaedista talk contribs (rm spam)
30 May 2025
- diffhist Intuitionistic type theory 15:53 +8 Quezergue talk contribs (→Judgements) Tag: Visual edit
- 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)
- diffhist Natural deduction 12:08 +405 Marc Schroeder talk contribs (Better formulation of remark)
29 May 2025
- diffhist m Commutative property 11:32 −2 Remsense talk contribs (Reverted 1 edit by 80.187.69.200 (talk) to last revision by Citation bot) Tags: Twinkle Undo
- diffhist Commutative property 11:22 +2 80.187.69.200 talk (fixed punctuation) Tags: Reverted Mobile edit Mobile web edit
28 May 2025
- diffhist m Associative property 09:00 −20 Beland talk contribs (MOS:MATHSPECIAL / convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB)) Tag: JWB
27 May 2025
- diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
26 May 2025
- diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))