Open-world assumption: Revision history

14 April 2024

• curprev 18:2518:25, 14 April 2024‎ 23impartial talk contribs‎ 5,305 bytes +33‎ →‎References: added link to a citation undo Tag: Visual edit
• curprev 18:2118:21, 14 April 2024‎ 23impartial talk contribs‎ 5,272 bytes +3‎ →‎References: changed format of a citation undo Tag: Visual edit

12 July 2023

• curprev 14:2514:25, 12 July 2023‎ Bollus101 talk contribs‎ 5,269 bytes 0‎ →‎Logical implication undo

30 December 2022

• curprev 21:2721:27, 30 December 2022‎ CharredShorthand talk contribs‎ 5,269 bytes +49‎ Adding local short description: "Assumption in formal logic", overriding Wikidata description "assumption that the truth-value of a statement is independent of whether it is known by any single observer or agent to be true" undo Tag: Shortdesc helper

29 October 2022

• curprev 13:4613:46, 29 October 2022‎ Horcrux talk contribs‎ m 5,220 bytes +21‎ →‎See also: * Certain answer undo

24 August 2022

• curprev 13:4413:44, 24 August 2022‎ Heavy Grasshopper talk contribs‎ 5,199 bytes +52‎ Added {{Technical}} tag: or maybe it's just me... undo Tag: Twinkle
• curprev 13:3813:38, 24 August 2022‎ Heavy Grasshopper talk contribs‎ 5,147 bytes +53‎ add sections, undo

5 August 2022

• curprev 03:4803:48, 5 August 2022‎ Ira Leviton talk contribs‎ m 5,094 bytes −12‎ Fixed a reference. Please see Category:CS1 maint: numeric names: authors list. undo

1 May 2022

• curprev 18:4818:48, 1 May 2022‎ Thumperward talk contribs‎ 5,106 bytes +62‎ Added {{More citations needed}} tag undo Tag: Twinkle
• curprev 18:4818:48, 1 May 2022‎ Thumperward talk contribs‎ 5,044 bytes +27‎ Added {{Sections}} tag undo Tag: Twinkle

10 January 2022

• curprev 19:0619:06, 10 January 2022‎ ComradeScotty talk contribs‎ m 5,017 bytes −49‎ The old version said that an agent could infer that anything the followed from non-asserted statement was known to be false under a closed-world assumption. This is incorrect. Fa might not be asserted, but that does not entail that I can know that "Fa ∨ Fb" (which follows from p) is false. I can only infer that p is not true. undo

9 November 2021

• curprev 23:3523:35, 9 November 2021‎ Footballgenius123 talk contribs‎ 5,066 bytes +209‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

24 October 2019

• curprev 19:0619:06, 24 October 2019‎ Jarble talk contribs‎ 4,857 bytes −38‎ This is a "self-redirect", so it's redundant. undo
• curprev 19:0319:03, 24 October 2019‎ Jarble talk contribs‎ 4,895 bytes +15‎ fixing a broken link undo

28 July 2019

• curprev 19:5419:54, 28 July 2019‎ Jarble talk contribs‎ m 4,880 bytes +4‎ linking undo

25 April 2019

• curprev 17:0417:04, 25 April 2019‎ Jack90s15 talk contribs‎ 4,876 bytes −62‎ Undid revision 894099568 by 50.197.178.14 (talk) undo Tag: Undo
• curprev 17:0417:04, 25 April 2019‎ Jack90s15 talk contribs‎ 4,938 bytes −144‎ Undid revision 894099697 by 50.197.178.14 (talk) undo Tag: Undo
• curprev 17:0317:03, 25 April 2019‎ 50.197.178.14 talk‎ 5,082 bytes +144‎ No edit summary undo
• curprev 17:0217:02, 25 April 2019‎ 50.197.178.14 talk‎ 4,938 bytes +62‎ No edit summary undo

24 March 2019

• curprev 20:2120:21, 24 March 2019‎ Loraof talk contribs‎ 4,876 bytes −24‎ →‎top: ce undo

5 March 2019

• curprev 05:1705:17, 5 March 2019‎ 14.139.157.209 talk‎ 4,900 bytes +24‎ No edit summary undo

28 November 2018

• curprev 12:0212:02, 28 November 2018‎ 2a01:cb1d:1cc:3700:5a4:d203:c737:e9c talk‎ 4,876 bytes 0‎ No edit summary undo

26 May 2018

• curprev 18:1318:13, 26 May 2018‎ Giggity33 talk contribs‎ 4,876 bytes 0‎ Undid revision 843075075 by Giggity33 (talk) undo Tag: Undo
• curprev 18:0418:04, 26 May 2018‎ Giggity33 talk contribs‎ m 4,876 bytes 0‎ changed it back undo
• curprev 18:0018:00, 26 May 2018‎ Giggity33 talk contribs‎ m 4,876 bytes 0‎ changed predicate to statement undo
• curprev 00:3100:31, 26 May 2018‎ Giggity33 talk contribs‎ 4,876 bytes 0‎ included specified citation undo

25 May 2018

• curprev 22:3022:30, 25 May 2018‎ Giggity33 talk contribs‎ m 4,876 bytes −394‎ →‎References undo
• curprev 22:2922:29, 25 May 2018‎ Giggity33 talk contribs‎ 5,270 bytes +141‎ Specified citation undo

2 February 2018

• curprev 08:0008:00, 2 February 2018‎ I dream of horses talk contribs‎ m 5,129 bytes +10‎ Checking Wikipedia for errors using AWB undo

24 November 2017

• curprev 11:1811:18, 24 November 2017‎ Ls1g talk contribs‎ 5,119 bytes +890‎ Added PCWA as intermediate ground between OWA and CWA undo

9 October 2017

• curprev 06:2106:21, 9 October 2017‎ Spiritia talk contribs‎ m 4,229 bytes +30‎ →‎See also: Unique name assumption undo

19 September 2014

• curprev 23:0523:05, 19 September 2014‎ Lambiam talk contribs‎ 4,199 bytes −6‎ →‎top: ce undo

18 July 2014

• curprev 16:2116:21, 18 July 2014‎ Jaydiem talk contribs‎ m 4,205 bytes −7‎ Minor copy-editing undo
• curprev 05:2705:27, 18 July 2014‎ Anthony Appleyard talk contribs‎ m 4,212 bytes 0‎ Anthony Appleyard moved page Open world assumption to Open-world assumption over redirect: Requested at WP:RM as uncontroversial (permalink) undo

14 November 2013

• curprev 04:1204:12, 14 November 2013‎ 78.12.115.110 talk‎ 4,212 bytes +12‎ No edit summary undo

28 February 2013

• curprev 17:5817:58, 28 February 2013‎ Addbot talk contribs‎ m 4,200 bytes −166‎ Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q851949 (Report Errors) undo

20 February 2013

• curprev 06:2406:24, 20 February 2013‎ Jason Quinn talk contribs‎ 4,366 bytes +57‎ →‎References: +authorlinks for AI ref undo
• curprev 06:0706:07, 20 February 2013‎ Jason Quinn talk contribs‎ 4,309 bytes +120‎ →‎References: for AI ref template, fixed "edition" parameter; added url parameter undo
• curprev 05:5805:58, 20 February 2013‎ Jason Quinn talk contribs‎ 4,189 bytes +2‎ WP:ORDER fix undo

29 November 2012

• curprev 00:1000:10, 29 November 2012‎ RichMorin talk contribs‎ m 4,187 bytes +1‎ added a paragraph break undo

20 November 2012

• curprev 06:3806:38, 20 November 2012‎ Gregbard talk contribs‎ 4,186 bytes +1‎ fx undo
• curprev 03:4103:41, 20 November 2012‎ Gregbard talk contribs‎ m 4,185 bytes +23‎ logical consequence using AWB undo

19 October 2012

• curprev 21:1421:14, 19 October 2012‎ 85.64.44.106 talk‎ 4,162 bytes −3‎ No edit summary undo

14 June 2012

• curprev 11:4711:47, 14 June 2012‎ Johann.Uhrmann talk contribs‎ 4,165 bytes −36‎ No edit summary undo
• curprev 11:4711:47, 14 June 2012‎ Johann.Uhrmann talk contribs‎ 4,201 bytes +235‎ added reference to Russel/Norvig undo

27 May 2012

• curprev 14:3014:30, 27 May 2012‎ ZéroBot talk contribs‎ m 3,966 bytes +36‎ r2.7.1) (Robot: Adding hu:Nyílt világ feltételezés undo

8 February 2012

• curprev 00:4600:46, 8 February 2012‎ Robofish talk contribs‎ 3,930 bytes +36‎ Added {{unreferenced}} tag to article (TW) undo

10 May 2011

• curprev 04:4804:48, 10 May 2011‎ David Eppstein talk contribs‎ 3,894 bytes −208‎ Undid revision 428357932 by Yucong Duan (talk) reference spam undo
• curprev 02:3002:30, 10 May 2011‎ Yucong Duan talk contribs‎ 4,102 bytes +208‎ →‎See also undo

31 January 2011

• curprev 10:4610:46, 31 January 2011‎ Luckas-bot talk contribs‎ m 3,894 bytes +33‎ r2.7.1) (robot Adding: fr:Hypothèse du monde ouvert undo