Idempotency of entailment: Revision history

23 January 2024

• curprev 13:1813:18, 23 January 2024‎ Xpander1 talk contribs‎ m 965 bytes −3‎ No edit summary undo Tag: 2017 wikitext editor

17 June 2020

• curprev 15:1315:13, 17 June 2020‎ 81.152.123.0 talk‎ 968 bytes +28‎ added affine logic undo Tag: Visual edit

11 April 2020

• curprev 14:2514:25, 11 April 2020‎ 86.131.27.46 talk‎ 940 bytes +51‎ Added a link to the linear logic article undo

16 February 2020

• curprev 11:5011:50, 16 February 2020‎ 2001:861:3ac0:4fa0:91ba:5d1d:88f9:25e4 talk‎ 889 bytes +28‎ No edit summary undo

15 October 2016

• curprev 22:3622:36, 15 October 2016‎ 67.198.37.16 talk‎ 861 bytes +41‎ See also No-deleting theorem undo

25 August 2016

• curprev 20:5920:59, 25 August 2016‎ 67.198.37.16 talk‎ 820 bytes +2‎ indent undo

25 January 2016

• curprev 09:0309:03, 25 January 2016‎ 77.238.49.40 talk‎ 818 bytes +2‎ Changed -> to → undo

18 September 2015

• curprev 18:5718:57, 18 September 2015‎ Chaosdruid talk contribs‎ m 816 bytes +12‎ link - rem conf tag - tough topic, would only get here if looking for it, not for the general reader really undo

11 June 2015

• curprev 15:3215:32, 11 June 2015‎ Fadesga talk contribs‎ 804 bytes +1‎ No edit summary undo

19 October 2014

• curprev 01:2401:24, 19 October 2014‎ Hyacinth talk contribs‎ 803 bytes +20‎ {{Classical logic}} undo

30 September 2013

• curprev 08:2908:29, 30 September 2013‎ Spockticus talk contribs‎ 783 bytes −19‎ No edit summary undo Tag: gettingstarted edit

14 March 2013

• curprev 07:4107:41, 14 March 2013‎ Addbot talk contribs‎ m 802 bytes −33‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q5988174 undo

11 November 2012

• curprev 00:1300:13, 11 November 2012‎ Gregbard talk contribs‎ m 835 bytes +22‎ Logical consequence using AWB undo

4 March 2012

• curprev 02:1402:14, 4 March 2012‎ Gregbard talk contribs‎ m 813 bytes +33‎ Undid revision 480078649 by Gregbard (talk) undo
• curprev 02:1402:14, 4 March 2012‎ Gregbard talk contribs‎ 780 bytes −33‎ removed Category:Logical consequence using HotCat undo
• curprev 01:4001:40, 4 March 2012‎ Gregbard talk contribs‎ 813 bytes +45‎ added Category:Theorems in propositional logic using HotCat undo

22 May 2011

• curprev 21:4921:49, 22 May 2011‎ ChuispastonBot talk contribs‎ m 768 bytes +33‎ r2.7.1) (robot Adding: uk:Контрарність undo

1 November 2010

• curprev 04:4204:42, 1 November 2010‎ Gregbard talk contribs‎ m 735 bytes +14‎ removed Category:Logic; added Category:Logical consequence using HotCat undo

21 October 2010

• curprev 21:0821:08, 21 October 2010‎ RJFJR talk contribs‎ m 721 bytes +4‎ link undo

16 December 2009

• curprev 20:1420:14, 16 December 2009‎ SmackBot talk contribs‎ m 717 bytes +43‎ remove Erik9bot category,outdated, tag and general fixes undo

23 October 2009

• curprev 00:5100:51, 23 October 2009‎ Gregbard talk contribs‎ 674 bytes +4‎ wikilink entailment using AWB undo

8 August 2009

• curprev 08:1008:10, 8 August 2009‎ Erik9bot talk contribs‎ 670 bytes +49‎ add Category:Articles lacking sources (Erik9bot) undo

5 February 2009

• curprev 21:5121:51, 5 February 2009‎ SmackBot talk contribs‎ m 621 bytes +1‎ Date maintenance tags and general fixes undo

12 February 2008

• curprev 02:0202:02, 12 February 2008‎ Gregbard talk contribs‎ m 620 bytes +4‎ logical system using AWB undo

13 December 2007

• curprev 17:5917:59, 13 December 2007‎ 74.134.235.224 talk‎ 616 bytes +96‎ added sequent calculus form of rule undo

9 October 2007

• curprev 11:0311:03, 9 October 2007‎ SmackBot talk contribs‎ m 520 bytes −6‎ Date/fix the maintenance tags or gen fixes undo

10 January 2007

• curprev 01:2201:22, 10 January 2007‎ 208.61.40.46 talk‎ 526 bytes +33‎ No edit summary undo

5 December 2006

• curprev 23:5023:50, 5 December 2006‎ SmackBot talk contribs‎ m 493 bytes +14‎ Date the maintenance tags using AWB undo

22 August 2006

• curprev 13:3513:35, 22 August 2006‎ 83.134.138.186 talk‎ 479 bytes +43‎ No edit summary undo

20 January 2006

• curprev 22:3822:38, 20 January 2006‎ Melaen talk contribs‎ 436 bytes +12‎ No edit summary undo

12 November 2005

• curprev 02:5302:53, 12 November 2005‎ GTBacchus talk contribs‎ m 424 bytes +6‎ Stub-sorting. You can help! undo

11 November 2005

• curprev 21:5721:57, 11 November 2005‎ Wood Thrush talk contribs‎ 418 bytes −3‎ I don't know what kind of stub this is but it's not a science stub undo

13 September 2005

• curprev 23:4023:40, 13 September 2005‎ MadMax talk contribs‎ m 421 bytes +5‎ No edit summary undo

4 September 2005

• curprev 13:4113:41, 4 September 2005‎ 80.220.38.42 talk‎ 416 bytes −6‎ No edit summary undo

6 June 2005

• curprev 19:5119:51, 6 June 2005‎ Chalst talk contribs‎ 422 bytes +422‎ start new article