Post canonical system: 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 01:4201:42, 23 June 2021‎ 173.68.67.41 talk‎ 5,018 bytes +46‎ No edit summary undo

curprev 00:4800:48, 30 April 2021‎ Anshul Cole Jakaro talk contribs‎ 4,972 bytes +34‎ Added Template: No footnotes undo

curprev 14:3414:34, 25 August 2019‎ Omnipaedista talk contribs‎ 4,938 bytes 0‎ No edit summary undo

curprev 23:1723:17, 1 January 2019‎ Jarble talk contribs‎ m 4,938 bytes +34‎ linking undo

curprev 22:3622:36, 14 November 2018‎ Texvc2LaTeXBot talk contribs‎ m 4,904 bytes +6‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 13:1313:13, 28 May 2018‎ Debenben talk contribs‎ m 4,898 bytes +14‎ escaped dollar sign undo

curprev 03:3903:39, 13 June 2016‎ 205.178.87.193 talk‎ 4,884 bytes 0‎ Changed for consistency with last line of derivation undo Tag: Visual edit

curprev 05:4605:46, 24 November 2015‎ Cedar101 talk contribs‎ m 4,884 bytes −15‎ →‎Definition undo

curprev 14:2314:23, 26 June 2015‎ 147.188.55.51 talk‎ 4,899 bytes +93‎ →‎Definition: I have corrected an obvious falsehood in the original text. It is easy to find counterexamples to the statement as originally posted. undo

curprev 17:3417:34, 31 May 2015‎ 177.179.232.36 talk‎ 4,806 bytes +4‎ →‎Example (well-formed bracket expressions) undo

curprev 01:4801:48, 11 March 2015‎ 69.120.127.189 talk‎ 4,802 bytes −4‎ No edit summary undo
curprev 01:4701:47, 11 March 2015‎ 69.120.127.189 talk‎ 4,806 bytes +6‎ No edit summary undo

curprev 12:0212:02, 5 May 2014‎ Yobot talk contribs‎ m 4,800 bytes −45‎ WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 19:4619:46, 8 July 2013‎ Jeffrey Bosboom talk contribs‎ m 4,845 bytes 0‎ is simpler a formulation -> is a simpler formulation undo Tag: Visual edit

curprev 18:2418:24, 17 March 2013‎ Addbot talk contribs‎ m 4,845 bytes −36‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7233738 undo

curprev 00:4400:44, 13 November 2012‎ 24.141.9.233 talk‎ 4,881 bytes 0‎ →‎Normal-form theorem: change notation for variables to accord with that used in the rest of the article (although it might be preferable to use 'P' throughout the article) undo

curprev 17:2417:24, 28 February 2011‎ Cydebot talk contribs‎ m 4,881 bytes +1‎ Robot - Moving category Computational models to Models of computation per CFD at Wikipedia:Categories for discussion/Log/2011 February 19. undo

curprev 09:0209:02, 12 November 2010‎ DixonDBot talk contribs‎ m 4,880 bytes +36‎ robot Adding: uk:Числення Поста undo

curprev 17:4217:42, 23 July 2010‎ 220.233.37.51 talk‎ 4,844 bytes +2‎ No edit summary undo

curprev 15:1015:10, 12 August 2009‎ Pcap talk contribs‎ m 4,842 bytes +2‎ a undo
curprev 15:0515:05, 12 August 2009‎ Pcap talk contribs‎ 4,840 bytes +90‎ clarify undo
curprev 14:5314:53, 12 August 2009‎ Pcap talk contribs‎ 4,750 bytes +129‎ This factoid from the last section is important. undo

curprev 05:0405:04, 3 November 2007‎ R.e.s. talk contribs‎ 4,621 bytes +404‎ →‎Definition: Switch to Minsky's labelling scheme. undo

curprev 23:0823:08, 31 October 2007‎ Alaibot talk contribs‎ m 3,605 bytes +36‎ Robot: tagging uncategorised page undo
curprev 01:5901:59, 31 October 2007‎ R.e.s. talk contribs‎ 3,569 bytes +600‎ Add "String rewriting system" as special type of Post canonical system undo
curprev 00:2400:24, 31 October 2007‎ R.e.s. talk contribs‎ 2,969 bytes +2,969‎ New article: "Post canonical system"

23 June 2021

30 April 2021

25 August 2019

1 January 2019

14 November 2018

28 May 2018

13 June 2016

24 November 2015

26 June 2015

31 May 2015

11 March 2015

5 May 2014

8 July 2013

17 March 2013

13 November 2012

28 February 2011

12 November 2010

23 July 2010

12 August 2009

3 November 2007

1 November 2007

31 October 2007