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
1 June 2024
- diffhist m The Art of Computer Programming 09:24 −2 Magioladitis talk contribs (Moved punctuation mark to correct place + other fixes, References after punctuation per WP:CITEFOOT and WP:PAIC) Tag: AWB
- diffhist Tautology (logic) 09:13 −242 Oneequalsequalsone talk contribs (rm reference to self) Tag: Visual edit
31 May 2024
- diffhist Richard Waldinger 20:28 +66 Sammi Brie talk contribs (Adding local short description: "American artificial intelligence researcher", overriding Wikidata description "artificial intelligence researcher") Tag: Shortdesc helper
- diffhist m Term logic 16:42 −32 A68-n talk contribs Tag: Visual edit
30 May 2024
- diffhist Hilary Putnam 09:25 +211 Thewikibeagles talk contribs (→Life)
- diffhist Hilary Putnam 09:23 +78 Thewikibeagles talk contribs
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)
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
- diffhist Proof by contradiction 13:18 +204 Jochen Burghardt talk contribs (→Proof by contradiction in intuitionistic logic: challenge condition (independent of being a quote or not))
- diffhist Proof by contradiction 07:52 −43 AndrejBauer talk contribs (→Proof by contradiction in intuitionistic logic: The citation is not needed because the quote is not a quote of an external source, it is just a displayed statement (as is common in mathematics). I have changed it to inline text so there's no doubt.)
- diffhist m Martin Davis (mathematician) 06:17 −2 BardRapt talk contribs (→Other contributions: ce)
- diffhist m Hilary Putnam 06:13 +7 BardRapt talk contribs (→Rejection of functionalism: Minds, Brains and Programs hl)
26 May 2024
- diffhist m Mathematical logic 13:12 −3 Oneequalsequalsone talk contribs (→Foundations of mathematics) Tag: Visual edit
25 May 2024
- diffhist Proof by contradiction 20:23 +78 Mach61 talk contribs (→Proof by contradiction in intuitionistic logic) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Automated theorem proving 19:47 +36 Jarble talk contribs (disambiguating a link)
- diffhist Automated theorem proving 19:39 +178 Jarble talk contribs (→Applications: another reference)
- diffhist Automated theorem proving 19:37 +378 Jarble talk contribs (describing applications of theorem provers in natural language processing) Tags: Visual edit: Switched Disambiguation links added
- diffhist Syllogism 18:13 −138 Pogenplain talk contribs (→Modern history: doesnt seem relevant in this section) Tag: Visual edit