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
29 May 2025
- diffhist Law of excluded middle 23:20 +4 LucasBrown talk contribs (Changing short description from "Logic theorem" to "Logical principle") Tag: Shortdesc helper
- diffhist Calculus of constructions 19:38 −4 175.100.7.120 talk (In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics. For this second reason, the CoC and its variants have been the basis for Coq and other proof assistants. Some of its variants include the calculus of inductive constructions (which adds inductive types), the calculus of (co)inductive constructions (which adds coinduction), an) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Unit type 12:17 +202 190.211.89.100 talk (Add Dart unit type) Tag: Visual edit
- diffhist Axiomatic system 00:10 +81 Yesterday, all my dreams... talk contribs (→Axioms and models: cartegoricity)
28 May 2025
- diffhist Module:Labelled list hatnote 18:18 +127 Ahecht talk contribs (Exclude section anchors from ifexists, properly show "no input" error message when ifexists=true)
- diffhist Identity type 05:00 +11 David Eppstein talk contribs (more specific short description)
27 May 2025
- diffhist m Natural number 21:15 −14 Chaotic Enby talk contribs (Reverted edits by 197.220.89.58 (talk) (AV)) Tags: AntiVandal Rollback
- diffhist Natural number 21:15 +14 197.220.89.58 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Rational number 17:42 +167 AnomieBOT talk contribs (Rescuing orphaned refs (":1" from rev 1292559158))
- diffhist m Rational number 17:17 0 Anita5192 talk contribs (ce: nonsero → nonzero in the lead)
- diffhist Rational number 16:44 −545 D.Lazard talk contribs (→top: This formal constriction does not belong to the lead)
- diffhist Rational number 16:42 +179 D.Lazard talk contribs (minor ce)
- diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
- diffhist Rational number 16:07 +39 D.Lazard talk contribs (Reverted 1 edit by GreatFireBoyPranav (talk): Unexplained removal of content) Tags: Twinkle Undo
- diffhist m Rational number 16:00 −39 GreatFireBoyPranav talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist m Sweden 09:49 −1 Lova Falk talk contribs (without h)
- diffhist Sweden 05:54 +4 Lova Falk talk contribs (→Taxes: change to correct archived link instead of 404 (see talk))
- diffhist Sweden 05:44 +2 Lova Falk talk contribs (→Transport: Göteborg -> Gothenburgh See talk page)
- diffhist Sweden 05:23 +25 Lova Falk talk contribs (→Modern history: see discussion in talk page)
- diffhist m Axiomatic system 01:11 −1 SociableFish talk contribs (Fixed more typos) Tag: Visual edit
- diffhist m Axiomatic system 01:11 +3 SociableFish talk contribs (Fixed typo) Tag: Visual edit
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))
- diffhist Category theory 14:21 −36 Tea2min talk contribs (Undid revision 1292269643 by Roscroft (talk): These uses of redirects instead of piped links are intentional and conventional. See MOS:NOPIPE and WP:INTDABLINK.) Tags: Undo Disambiguation links added
- diffhist Foundations of mathematics 14:07 −99 Fgnievinski talk contribs (→top)
- diffhist Russell's paradox 14:05 +2 Fgnievinski talk contribs
- diffhist Mathematical proof 11:05 −4,109 Erpert talk contribs (Surprising that so much of this article was unsourced) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Natural number 08:07 +9 D.Lazard talk contribs (Restored revision 1291819160 by CycloneYoris (talk): That has been discussed a lot) Tags: Twinkle Undo
- diffhist Natural number 07:43 −30 Balsam Cottonwood talk contribs (Undid revision 1292301482 by 49.48.51.208 (talk)) Tags: Undo Reverted
- diffhist Natural number 07:40 +30 49.48.51.208 talk (I improved the end a lot) Tags: Reverted Mobile edit Mobile web edit
- diffhist Natural number 07:39 −9 49.48.51.208 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Dialetheism 07:03 +9,459 Lordseriouspig talk contribs (Reverted edits by 149.167.38.223 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist Dialetheism 07:02 −9,459 149.167.38.223 talk Tags: Reverted blanking
- diffhist m Category theory 03:05 +36 Roscroft talk contribs (swapping out internal redirects for true links) Tags: Reverted Disambiguation links added
25 May 2025
- diffhist Naive set theory 22:32 +519 Paolo Lipparini talk contribs (various fixes; in particular an inconsistent theory proves everything (including all statements which can be interpreted as asserting its consistency!); probably many more things to be fixed|)
- diffhist m Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
- diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
- diffhist Natural deduction 18:34 +3,898 Marc Schroeder talk contribs (corrected 2 examples of Suppes–Lemmon proofs; added a reference to Fitch-style notation; added an intro to Suppes–Lemmon)
- diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
24 May 2025
- diffhist m Natural deduction 21:07 +7 Marc Schroeder talk contribs (→Gentzen-style propositional logic)
- diffhist Natural deduction 20:36 +1,715 Marc Schroeder talk contribs (Added information to section 'Gentzen-style propositional logic')
- diffhist m Calculus of constructions 17:38 −83 Jet Pilot talk contribs (Reverted edits by 102.208.96.70 (talk) to last version by AnomieBOT: nonconstructive edits) Tags: Rollback SWViewer [1.6]
- diffhist Calculus of constructions 17:37 +83 102.208.96.70 talk (ABSTAA224679181.fuahad) Tags: Reverted Mobile edit Mobile web edit
- diffhist m Sweden 09:12 +77 SadSuzi talk contribs (portrait fix) Tag: Visual edit
23 May 2025
- diffhist m Natural number 16:14 0 CycloneYoris talk contribs (Reverted edit by 103.205.69.42 (talk) to last version by Như Gây Mê) Tag: Rollback
- diffhist Natural number 16:12 0 103.205.69.42 talk Tags: Reverted Mobile edit Mobile web edit