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 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)
28 May 2024
- diffhist Set (mathematics) 13:47 −40 D.Lazard talk contribs (Reverted 1 edit by ChessPage1 (talk)) Tags: Twinkle Undo
- diffhist Set (mathematics) 12:25 +40 ChessPage1 talk contribs (→Definition and notation: Added content.) Tags: Reverted Mobile edit Mobile web edit
- diffhist Metatheory 00:20 −28 Gobonobo talk contribs (Undid revision 1225997759 by 1.233.77.2 (talk) so rewrite it then) Tag: Undo
- diffhist Metatheory 00:17 +28 1.233.77.2 talk Tag: Reverted
- diffhist Artificial intelligence 00:00 −449 Alenoach talk contribs (Undid revision 1225963291 by Nihil novi (talk) - not relevant anymore, large language models can do that) Tag: Undo
27 May 2024
- diffhist Linear logic 22:54 +20 RaphaelQS talk contribs Tag: Visual edit
- diffhist Artificial intelligence 19:38 +763 Nihil novi talk contribs (→Further reading)
- diffhist Artificial intelligence 19:36 +449 Nihil novi talk contribs (→Further reading) Tag: Reverted
- diffhist m Artificial intelligence 19:33 +46 Comp.arch talk contribs Tag: 2017 wikitext editor
- diffhist m Artificial intelligence 17:00 −12 Primium talk contribs (v2.05 - Fix errors for CW project (Link equal to linktext - Spelling and typography)) Tag: WPCleaner
- 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
- diffhist Hilbert system 06:00 +105 2a00:8a60:c010:1::1:118b talk (Fix statement about necessitation and substitution rules.)
26 May 2024
- diffhist Artificial intelligence 23:51 −14 Alenoach talk contribs (redundant) Tag: Visual edit
- diffhist Artificial intelligence 23:45 +625 Alenoach talk contribs (Modified a sentence on programming languages) Tag: Visual edit
- diffhist m Stephen Cole Kleene 21:26 −8 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
- diffhist Computer science 18:34 −4,702 Walsh90210 talk contribs (reduce section on Computer science education to ==See also==)
- diffhist m Mathematical logic 13:12 −3 Oneequalsequalsone talk contribs (→Foundations of mathematics) Tag: Visual edit
- diffhist m Haskell Curry 02:58 −11 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
- diffhist m Gerhard Gentzen 02:55 −5 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
- diffhist m Gentzen's consistency proof 02:54 −8 IznoRepeat talk contribs (→References: remove Template:Date per documentation; genfixes) Tag: AWB
25 May 2024
- diffhist Intuitionistic logic 16:52 0 213.229.25.38 talk (→Double negation vs. implication)
- diffhist Intuitionistic logic 16:52 +8 213.229.25.38 talk (→Negation vs. implication: Specify title)
- diffhist Intuitionistic logic 16:49 +153 213.229.25.38 talk (→Negation vs. implication)
- diffhist Intuitionistic logic 16:41 +33 213.229.25.38 talk (→Double negations)
- diffhist Intuitionistic logic 16:39 −256 213.229.25.38 talk (→Disjunction vs. conjunction: Simplified presentation)
- diffhist Intuitionistic logic 12:44 +5 77.119.160.81 talk (→Double negations)
- diffhist Intuitionistic logic 01:12 +1 77.119.160.81 talk (→Double negations)
24 May 2024
- diffhist Oxford University Press 16:51 +516 Pertinax600 talk contribs (→Uyghur controversy: added OUP statement)
- diffhist Modal logic 14:10 +31 Davide King talk contribs (ce)
23 May 2024
- diffhist Artificial intelligence 20:34 +931 117PXL talk contribs (→Regulation: AI Seoul Summit)
- diffhist Venn diagram 19:29 +8 31.144.193.208 talk (Sorry undo last edit) Tags: Manual revert Visual edit Mobile edit Mobile web edit
- diffhist Venn diagram 19:25 −8 31.144.193.208 talk (More languages use Cyrillic than just Russian) Tags: Reverted Visual edit Mobile edit Mobile web edit