Talk:Resolution (logic): Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 18:3218:32, 8 February 2024‎ Cewbot talk contribs‎ m 17,723 bytes +42‎ Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{Philosophy}}. undo Tag: Talk banner shell conversion

curprev 13:1413:14, 23 June 2021‎ SineBot talk contribs‎ m 17,681 bytes +312‎ Signing comment by Vkuncak - "" undo
curprev 13:1313:13, 23 June 2021‎ Vkuncak talk contribs‎ 17,369 bytes +173‎ No edit summary undo

curprev 21:4221:42, 18 April 2021‎ PrimeBOT talk contribs‎ m 17,196 bytes −45‎ →‎top: Task 24 - replacing a template following a TFD (plus genfixes/cleanup) undo Tag: AWB

curprev 11:5911:59, 5 October 2020‎ Jochen Burghardt talk contribs‎ 17,241 bytes +861‎ →‎Exhaustively applying resolution rule leading to a tautology undo
curprev 07:2507:25, 5 October 2020‎ Soelvsten talk contribs‎ 16,380 bytes +1,205‎ →‎Exhaustively applying resolution rule leading to a tautology: new section undo

curprev 17:0617:06, 21 August 2019‎ Jochen Burghardt talk contribs‎ 15,175 bytes +1,292‎ →‎Completeness proof sketch: text deleted from article undo
curprev 16:2416:24, 21 August 2019‎ Jochen Burghardt talk contribs‎ 13,883 bytes +3,485‎ →‎Completeness proof sketch: text deleted from article: new section undo

curprev 19:5919:59, 16 April 2017‎ Jarble talk contribs‎ 10,398 bytes −4‎ refactoring a search query undo
curprev 19:5819:58, 16 April 2017‎ Jarble talk contribs‎ 10,402 bytes +3‎ No edit summary undo
curprev 19:5819:58, 16 April 2017‎ Jarble talk contribs‎ 10,399 bytes +62‎ linking to sources for this article undo

curprev 23:4823:48, 29 May 2014‎ Jochen Burghardt talk contribs‎ 10,337 bytes +307‎ →‎Confusing date undo

curprev 18:0218:02, 29 March 2010‎ SineBot talk contribs‎ m 10,030 bytes +298‎ Signing comment by 58.153.59.218 - "→‎Confusing date: " undo
curprev 18:0118:01, 29 March 2010‎ 58.153.59.218 talk‎ 9,732 bytes +1,148‎ →‎Confusing date undo

curprev 13:2913:29, 25 March 2010‎ SineBot talk contribs‎ m 8,584 bytes +298‎ Signing comment by 58.153.59.218 - "→‎incomplete rule: " undo
curprev 13:2913:29, 25 March 2010‎ 58.153.59.218 talk‎ 8,286 bytes +598‎ →‎incomplete rule undo

curprev 11:2311:23, 30 November 2009‎ Larsr talk contribs‎ 7,688 bytes −426‎ Undid revision 328760777 by Larsr (talk) The question was because of a misunderstandning undo
curprev 08:1908:19, 30 November 2009‎ Larsr talk contribs‎ 8,114 bytes +426‎ →‎Question about the simple example: new section undo

curprev 20:5020:50, 4 November 2009‎ Pollinosisss talk contribs‎ 7,688 bytes +5‎ No edit summary undo

curprev 15:5015:50, 27 July 2009‎ 131.254.10.81 talk‎ 7,683 bytes +115‎ →‎Confusing date undo
curprev 15:4815:48, 27 July 2009‎ 131.254.10.81 talk‎ 7,568 bytes +502‎ No edit summary undo

curprev 08:1508:15, 10 July 2009‎ PeterSchueller talk contribs‎ 7,066 bytes +529‎ →‎Contradiction: new section undo

curprev 22:3822:38, 22 February 2009‎ Methossant talk contribs‎ 6,537 bytes +53‎ →‎Literals undo
curprev 22:3522:35, 22 February 2009‎ Methossant talk contribs‎ 6,484 bytes +766‎ →‎literals undo

curprev 16:2716:27, 12 October 2008‎ 84.238.30.199 talk‎ 5,718 bytes +337‎ added axioms/knowledge base undo

curprev 18:5718:57, 15 September 2008‎ 195.173.68.33 talk‎ 5,381 bytes +18‎ No edit summary undo

curprev 09:1609:16, 31 January 2008‎ Logperson talk contribs‎ m 5,363 bytes +6‎ No edit summary undo
curprev 09:1509:15, 31 January 2008‎ Logperson talk contribs‎ 5,357 bytes +976‎ factoring is necessary and the set theoretic definition of resolution is simpler undo

curprev 16:1916:19, 30 January 2008‎ Tizio talk contribs‎ 4,381 bytes −208‎ →‎uncomplete rule: never mind undo
curprev 16:1816:18, 30 January 2008‎ Tizio talk contribs‎ 4,589 bytes +208‎ →‎uncomplete rule: not in this case... undo
curprev 14:1214:12, 30 January 2008‎ Liviusbarbatus~enwiki talk contribs‎ 4,381 bytes +713‎ No edit summary undo

curprev 07:5007:50, 18 November 2007‎ Fresheneesz talk contribs‎ 3,668 bytes +219‎ →‎literals: new section undo

curprev 23:4923:49, 9 October 2007‎ Gregbard talk contribs‎ m 3,449 bytes +48‎ logic tag using AWB undo

curprev 15:3315:33, 18 August 2007‎ SatyrBot talk contribs‎ m 3,401 bytes −13‎ SatyrBot removing WP:Logic banner per project decision. undo

curprev 05:2705:27, 31 July 2007‎ SatyrBot talk contribs‎ m 3,414 bytes +13‎ SatyrBot auto-adding tag to talk page. See User:SatyrBot/Current project undo

curprev 15:5715:57, 16 May 2007‎ RatnimSnave talk contribs‎ 3,401 bytes −2‎ No edit summary undo
curprev 15:5715:57, 16 May 2007‎ RatnimSnave talk contribs‎ 3,403 bytes +411‎ No edit summary undo

curprev 10:1610:16, 3 March 2007‎ Stephan Schulz talk contribs‎ 2,992 bytes +237‎ →‎Quick question: Tried... undo
curprev 03:4803:48, 3 March 2007‎ HagermanBot talk contribs‎ m 2,755 bytes +280‎ SpaceMoose didn't sign: "quick question" undo
curprev 03:4803:48, 3 March 2007‎ SpaceMoose talk contribs‎ 2,475 bytes +231‎ quick question undo

curprev 13:0113:01, 1 December 2006‎ Stephan Schulz talk contribs‎ 2,244 bytes +442‎ Computability undo
curprev 11:2711:27, 1 December 2006‎ 143.167.72.195 talk‎ 1,802 bytes +197‎ No edit summary undo

curprev 13:0313:03, 31 March 2006‎ Jorend talk contribs‎ 1,605 bytes +245‎ No edit summary undo

curprev 11:1611:16, 23 September 2005‎ Tizio talk contribs‎ 1,360 bytes +271‎ new version is ok to me undo
curprev 09:5009:50, 23 September 2005‎ Stephan Schulz talk contribs‎ 1,089 bytes +387‎ Be bold. undo

8 February 2024

23 June 2021

18 April 2021

5 October 2020

21 August 2019

16 April 2017

29 May 2014

10 November 2013

29 March 2010

25 March 2010

30 November 2009

4 November 2009

27 July 2009

10 July 2009

22 February 2009

12 October 2008

15 September 2008

31 January 2008

30 January 2008

18 November 2007

9 October 2007

18 August 2007

31 July 2007

16 May 2007

3 March 2007

1 December 2006

31 March 2006

23 September 2005