Related changes

4 July 2025

• diffhist Exponential time hypothesis 10:31 +111 Freelance Intellectual talk contribs (Clarify strength of hypothesis and implications)

3 July 2025

• diffhist Tautology (logic) 23:43 −2 Trovatore talk contribs (actually that comma doesn't belong there at all (nor does its pair))
• diffhist m Tautology (logic) 23:02 0 WeHoDavid talk contribs (I transposed the positions of a comma and a quotation mark.) Tags: Mobile edit Mobile app edit iOS app edit App section source
• Page curation log 21:05 Pppery talk contribs marked the article XOR-SAT as reviewed Tag: PageTriage
• diffhist SAT solver 09:31 +486 Fschwarzentruber talk contribs (→Applications) Tag: Visual edit
• diffhist m L (complexity) 07:26 −42 Horcrux talk contribs (→Complete problems and logical characterization: MOS:SPECIFICLINK)
• diffhist m University of Toronto 01:31 +1 Johnny Au talk contribs (→top: added space)
• diffhist m University of Toronto 01:31 +1 Johnny Au talk contribs (→top: added space)
• diffhist m SAT solver 01:25 +1 Jonathan Frech talk contribs

2 July 2025

• diffhist Exclusive or 23:11 +38 Frap talk contribs (→Alternative symbols)
• diffhist University of Toronto 16:47 +365 Cyrel6 talk contribs (→Rankings and reputation: Added sustainability ranking in Ranking and reputation section)
• diffhist m University of Toronto 16:44 0 Cyrel6 talk contribs (Undid revision 1298458685 by Cyrel6 (talk)) Tag: Undo
• diffhist m University of Toronto 16:43 0 Cyrel6 talk contribs (→Governance: Fixed broken link) Tag: Reverted
• diffhist List of paradoxes 15:52 −291 Paradoctor talk contribs (Undid revision 1298448616 by 131.174.108.115 (talk): unsourced, no article linked to) Tag: Undo
• diffhist List of paradoxes 15:24 +291 131.174.108.115 talk (Added the Toilet Paradox) Tags: Reverted Visual edit
• diffhist University of Toronto 13:23 −39 Johnny Au talk contribs (→top: removed note)
• diffhist University of Toronto 01:57 0 GuardianH talk contribs (update president) Tag: Visual edit

1 July 2025

• diffhist Conflict-driven clause learning 22:21 +99 87.214.42.62 talk (→Completeness: Added explanantion for soundness and completeness.)
• diffhist Graph coloring 20:26 +3 David Eppstein talk contribs (Undid revision 1298315787 by 2001:464D:420D:0:E42E:5BC:A860:B0ED (talk) "subject to certain constraints, such as [the constraint] that no two...". Changing it to "such that" changes the meaning and is wrong.) Tag: Undo
• diffhist Graph coloring 19:13 −3 2001:464d:420d:0:e42e:5bc:a860:b0ed talk (Removes a word that didn't fit into the sentence.) Tag: Reverted
• diffhist Template:Usurped 19:02 +102 GreenC talk contribs (clarify point of confusion)
• diffhist Tseytin transformation 18:39 +199 Phobrain talk contribs (Added the app that inspired it to the Motivation, based on memory of the description on one of our walks. Not marking minor since it adds non-math recollection to a math page.) Tag: Visual edit
• diffhist XOR-SAT 16:17 +7,450 Ftiercel talk contribs (Add references; this is not an article creation, it's a split from Boolean satisfiability problem) Tag: Removed redirect
• diffhist Module:Icon/data 05:47 +16 Paine Ellsworth talk contribs (per edit request at Template talk:Icon#Template-protected edit request on 30 June 2025 - update image)
• diffhist m Wikipedia:Manual of Style/Dates and numbers 04:49 −1 Bkell talk contribs (→Ranges: delete extra parenthesis)

30 June 2025

• diffhist Artificial intelligence 23:01 −369 Grayfell talk contribs (Reverted good faith edits by Datenverlust (talk): Please avoid citing pre-prints, especially for broad claims. Summarize WP:RS/WP:IS) Tags: Twinkle Undo
• diffhist Artificial intelligence 22:56 +369 Datenverlust talk contribs (→Artificial neural networks: Added a paragraph to LLMs and semantics. The idea is to how development parallel to the hype of GPT.) Tags: Reverted 2017 wikitext editor
• diffhist List of fallacies 19:42 −14 142.245.59.10 talk (→Informal fallacies: small change) Tag: Visual edit
• diffhist List of fallacies 19:36 +219 142.245.193.2 talk (→Informal fallacies: magic fallacy) Tag: Visual edit
• diffhist Formal semantics (natural language) 11:53 +539 Phlsph7 talk contribs (restore earlier formulation per talk page)
• diffhist The Art of Computer Programming 07:01 +81 93.35.206.112 talk (→Planned: Pre-fascicle link)
• diffhist The Art of Computer Programming 06:57 +79 93.35.206.112 talk (→Volumes 4C, 4D, 4E, 4F – Combinatorial algorithms: Pre-fascicle reference)

29 June 2025

• diffhist Planar graph 23:18 +471 David Eppstein talk contribs (→Other results: Tutte's theorem on Hamiltonian cycles)
• diffhist Quantifier (logic) 14:38 −443 173.79.19.248 talk (→Infinite domain of discourse: remove irrelevancies)
• diffhist Module:Lang/data 12:51 +38 Trappist the monk talk contribs (+ast-x-west;)
• diffhist m Set theory 11:37 −10 AllCatsAreGrey talk contribs (→Early history: attempted to break up some long sentences, might be a bit awkward)
• diffhist Set theory 11:01 +171 AllCatsAreGrey talk contribs (Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5) Tag: IABotManagementConsole [1.3]

28 June 2025

• diffhist Exponential time hypothesis 19:01 +13 Fschwarzentruber talk contribs Tag: Visual edit
• diffhist m Exponential time hypothesis 18:58 +1 Fschwarzentruber talk contribs (I guess that "this problem" referred to 3-SAT. Now, it is more precise) Tag: Visual edit
• diffhist Artificial intelligence 17:05 −16 Alenoach talk contribs (Bard isn't so notorious any more, removed it to make the sentence more fluid) Tag: Visual edit
• diffhist Artificial intelligence 01:17 +4 Interstellarity talk contribs (→GPT: forgot one word)
• diffhist Artificial intelligence 01:16 −27 Interstellarity talk contribs (→GPT: included the most prominent AI models)
• diffhist m University of Toronto 01:15 −21 Johnny Au talk contribs (v2.05 - Fix errors for CW project (Title linked in text)) Tag: WPCleaner