Related changes

24 May 2025

• diffhist m Logic 15:05 −4 Remsense talk contribs (Reverted 1 edit by Quality Sign (talk) to last revision by Phlsph7) Tags: Twinkle Undo
• diffhist Logic 14:47 +4 Quality Sign talk contribs Tag: Reverted
• diffhist Artificial intelligence 11:01 +1 Maxeto0910 talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist Elevator 10:18 −201 Cyber 19812005 talk contribs Tag: section blanking
• diffhist m Elevator 10:02 +202 Cyber 19812005 talk contribs (reference links)
• diffhist Microsoft 09:24 +804 GolsaGolsa talk contribs (→Controversies)

23 May 2025

• diffhist Artificial intelligence 18:48 −33 ArjunR00 talk contribs (There is no need to say "Such machines may be called AIs" if they are refered as AIs at the start.) Tag: Visual edit
• diffhist Wayback Machine 18:37 −52 GreenC talk contribs (Undid revision 1291784068 by Flickerlion (talk): rvv) Tag: Undo
• diffhist Wayback Machine 18:32 −48 2001:448a:11a6:1a32:a834:24d6:86b3:a24b talk (No, it's not blocked in Indonesia) Tag: Manual revert
• diffhist Wayback Machine 18:30 +48 2001:448a:11a6:1a32:a834:24d6:86b3:a24b talk Tag: Reverted
• diffhist Computer science 13:47 +25 Vinizex94 talk contribs (→Programming paradigms)
• diffhist Wayback Machine 11:33 +52 Flickerlion talk contribs (→History: Someone might fall for the "Wayforward Machine", so I've added the truth.) Tags: Reverted Mobile edit Mobile web edit
• diffhist Microsoft 00:49 −21 Ryan York talk contribs Tag: Visual edit
• diffhist Microsoft 00:48 +15 Ryan York talk contribs Tag: Visual edit
• diffhist Microsoft 00:44 −10 Ryan York talk contribs Tag: Visual edit
• diffhist Microsoft 00:42 +57 Ryan York talk contribs Tag: Visual edit
• diffhist Microsoft 00:36 −124 Ryan York talk contribs (Skype, Xamarin, and Xandr have all been shut down.) Tag: Visual edit

22 May 2025

• diffhist m Microsoft 12:28 +699 EnterpriseDigital talk contribs (Added Microsoft's AI for Accessibility grant program under philanthropy)

20 May 2025

• diffhist Microsoft 19:12 −18 OdinintheNorth talk contribs (Removed inverted logo for dark mode in infobox, it changed the logo's colors too much)
• diffhist Boolean satisfiability problem 17:15 +5,864 Jochen Burghardt talk contribs (Undid revision 1291344127 by Ftiercel (talk): split should at least be discussed before; imo, the 2nd half of the 1st split-off paragraph must remain here, anyway (as it is about the relation of xor-sat, 1-in-3-sat, and 3-sat), so the new article will be pretty short) Tag: Undo
• diffhist Boolean satisfiability problem 16:37 −5,864 Ftiercel talk contribs (Split to XOR-SAT) Tag: Reverted
• diffhist m Artificial intelligence 15:13 −3 Alenoach talk contribs (removed a word (Meta isn't really an AI company)) Tag: Visual edit
• diffhist Artificial intelligence 14:51 +20 Wikideas1 talk contribs (→Agents: {{Main}})
• diffhist m Linear logic 10:22 +290 Marc Schroeder talk contribs (→Further reading)
• diffhist m Linear logic 06:21 +149 Marc Schroeder talk contribs (→Further reading: } isbn)
• diffhist Artificial intelligence 01:50 +346 Alenoach talk contribs (Modified a sentence in third paragraph) Tag: Visual edit
• diffhist Artificial intelligence 01:29 +79 Alenoach talk contribs (Reworked the fourth paragraph) Tag: Visual edit
• diffhist Artificial intelligence 00:19 +15 Alenoach talk contribs (Removed "[example needed]", this is just an introductory sentence, the techniques are those listed in the rest of the section) Tag: Visual edit

19 May 2025

• diffhist Artificial intelligence 21:59 +5 Maxeto0910 talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist Artificial intelligence 21:58 −46 Maxeto0910 talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist Artificial intelligence 21:57 +2 Maxeto0910 talk contribs (consistency) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist Artificial intelligence 21:56 −1 Maxeto0910 talk contribs (no sentence) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist Separation logic 20:33 +50 MediaKyle talk contribs (Adding short description: "Concept in computer science") Tag: Shortdesc helper
• diffhist Artificial intelligence 17:52 +45 Creativeusernamehere talk contribs (→Techniques: Fixed small grammar errors and added such as marker) Tag: Visual edit
• diffhist m Elevator 16:48 +1 DrKay talk contribs (Per WP:MOS, use a non-breaking space between a numbr and a unit, and between initials) Tag: Rollback
• diffhist Microsoft 15:22 −2 AwerDiWeGo talk contribs (ce)
• diffhist Microsoft 12:18 −146 AwerDiWeGo talk contribs (Specified year. Lower case. And change.)
• diffhist m Elevator 11:09 −1 Filmfanatic259 talk contribs (punctuation and spacing) Tags: Reverted Visual edit
• diffhist m Decision problem 09:36 +13 Nyngwang talk contribs (→Notes: wording.)
• diffhist Artificial intelligence 07:52 +275 Denisaptr talk contribs (→See also: See also addition) Tag: Visual edit
• diffhist Algorithm 01:34 +112 David Eppstein talk contribs (→By design paradigm: improve sourcing for divide & conquer / prune & search)
• diffhist Algorithm 01:25 −35 David Eppstein talk contribs (→Ancient algorithms: the citation is right there in the next sentence)
• diffhist Algorithm 01:21 −177 David Eppstein talk contribs (more precisely locate the quotation from stone; page 8 (end of section), not page 4 (earlier version of similar def))
• diffhist Algorithm 01:12 +1,415 David Eppstein talk contribs (→Etymology: clean up attestations and sourcing)
• diffhist Algorithm 00:39 −28 David Eppstein talk contribs (I don't think this essay-like cleanup banner is valid)

18 May 2025

• diffhist Agda (programming language) 12:30 +1 2003:e3:2f28:ead5:dc92:8d58:c52c:484 talk (Coq has been renamed to Rocq)