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 2024
- diffhist Logic 07:27 −41 Phlsph7 talk contribs (implement talk page suggestion)
- diffhist Löb's theorem 06:32 +192 David Eppstein talk contribs (→Löb's theorem in provability logic: explain intended meaning of box)
- diffhist Löb's theorem 06:28 −149 David Eppstein talk contribs (→Modal formulas: clarify; also re what is Box: just a symbol, so far)
- diffhist Tautology (logic) 06:02 −26 David Eppstein talk contribs (→Efficient verification and the Boolean satisfiability problem: reword in a way that does not provide an unsourced claim of current research focus)
27 May 2024
- diffhist m Tautology (logic) 16:41 +56 Dezaxa talk contribs (→Definition and examples: changed link to hypothetical syllogism)
- diffhist Tautology (logic) 14:04 +19 Oneequalsequalsone talk contribs (→Efficient verification and the Boolean satisfiability problem: citation needed) Tag: Visual edit
- diffhist m Tautology (logic) 13:46 +31 Oneequalsequalsone talk contribs (→Definition and examples) Tag: Visual edit
- diffhist Tautology (logic) 13:41 +84 Oneequalsequalsone talk contribs (→Definition and examples: add natural language explanation) Tag: Visual edit
- diffhist m Tautology (logic) 13:38 −6 Oneequalsequalsone talk contribs (→Background) Tag: Visual edit
26 May 2024
- diffhist Logic 05:04 −1 Phlsph7 talk contribs (Undid revision 1225660515 by 2A02:1810:363D:6700:84CB:A33A:54C9:8CD8 (talk) please stop edit warring) Tag: Undo
25 May 2024
- diffhist Logic 22:24 +1 2a02:1810:363d:6700:84cb:a33a:54c9:8cd8 talk (Undid revision 1225635708 by Remsense (talk)) Tag: Reverted
- diffhist m Logic 19:09 −6 Remsense talk contribs (Reverted 1 edit by 2A02:1810:363D:6700:84CB:A33A:54C9:8CD8 (talk) to last revision by 750h+) Tags: Twinkle Undo
- diffhist Logic 18:59 +6 2a02:1810:363d:6700:84cb:a33a:54c9:8cd8 talk (Image not supposed to be here.) Tags: Reverted Visual edit: Switched
24 May 2024
- diffhist Modal logic 14:10 +31 Davide King talk contribs (ce)