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
31 May 2025
- diffhist Help:Maintenance template removal 22:49 −1 Alalch E. talk contribs (→When to remove: rm blank)
- diffhist Help:Maintenance template removal 22:49 +108 Alalch E. talk contribs (anchors)
30 May 2025
- diffhist Natural number 21:52 +16 HilssaMansen19 talk contribs (Reverted 1 pending edit by 99.159.84.92 to revision 1292600074 by Chaotic Enby: NPOV; no addition of sources to refute per summary; just explained removal of balancing/neutral sowriting; and re-balanced it) Tags: Manual revert Mobile edit Mobile web edit Advanced mobile edit
- diffhist Natural number 17:23 −16 99.159.84.92 talk (There are no well-known sources of cardinal numbers not including zero as such a system would be incapable of measuring the empty set. To reinclude "usually", one should cite a source where a well-founded usage of cardinals/ordinals sans zero is presented.) Tag: Reverted
- diffhist Intuitionistic type theory 15:53 +8 Quezergue talk contribs (→Judgements) Tag: Visual edit
- diffhist Natural deduction 12:08 +405 Marc Schroeder talk contribs (Better formulation of remark)
- diffhist Wikipedia:Verifiability 03:01 +42 WhatamIdoing talk contribs (Not really "meanings" in the sense of definitions) Tag: Visual edit
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 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))
- 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
25 May 2025
- 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)