Computation tree logic: Revision history

Article
Talk

View logs for this page (view filter log)

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:1918:19, 8 August 2006 Nouiz talk contribs m 6,697 bytes +49 cosmetic edit undo
curprev 17:1117:11, 8 August 2006 Nouiz talk contribs 6,648 bytes 0 Corrected the type of operator undo
curprev 16:5916:59, 8 August 2006 132.204.27.204 talk 6,648 bytes +296 Added missing conversion for AU undo

curprev 22:2422:24, 29 July 2006 Kenb215 talk contribs m 5,096 bytes 0 →Relations with other logics: moved link modal mu calculus to modal μ calculus undo

curprev 20:3520:35, 23 July 2006 YurikBot talk contribs m 5,096 bytes +31 robot Adding: de:Computation Tree Logic undo

curprev 11:5811:58, 11 July 2006 Neatlittleeraser talk contribs 5,065 bytes −30 Removed Link to wrong Article in German WP undo

curprev 08:0408:04, 7 July 2006 Pearle talk contribs m 5,095 bytes +11 Changing {{cleanup}} to {{cleanup-date|July 2006}} undo

curprev 13:2513:25, 6 July 2006 Neatlittleeraser talk contribs 5,084 bytes +15 No edit summary undo
curprev 13:1013:10, 6 July 2006 Neatlittleeraser talk contribs 5,069 bytes −302 There ain't no path formulas in CTL undo

curprev 13:2513:25, 9 June 2006 141.115.28.2 talk 5,371 bytes +115 →Relations with other logics undo

curprev 06:0206:02, 4 June 2006 Ripper234 talk contribs 5,256 bytes +1 Stub sort from CS into mathlogic undo

curprev 12:0012:00, 28 May 2006 84.9.183.157 talk 5,255 bytes +5 →Examples undo

curprev 07:1707:17, 12 April 2006 Pintman talk contribs m 5,250 bytes +40 →Relations with other logics: added CTL to be a subset of modal mu calculus undo

curprev 16:4716:47, 2 April 2006 Ripper234 talk contribs 5,210 bytes +216 link to FOL, remove link to operators (contained in Temporal Logic), removed division to state/path operators. undo

curprev 20:5920:59, 3 March 2006 134.117.60.32 talk 4,994 bytes +253 →State operators undo
curprev 20:5820:58, 3 March 2006 134.117.60.32 talk 4,741 bytes +235 →Path operators undo
curprev 20:5620:56, 3 March 2006 134.117.60.32 talk 4,506 bytes −564 →State operators undo

curprev 07:1807:18, 24 February 2006 Ligulembot talk contribs 5,070 bytes −5 migrate {{book reference}} to {{cite book}} using AWB undo

curprev 21:2021:20, 17 February 2006 RussBot talk contribs m 5,075 bytes +17 Robot: corrected link to disambiguation page Binary (you can help!) undo

curprev 09:0409:04, 14 February 2006 Ligulembot talk contribs 5,058 bytes −10 AWB assisted migrate {{journal reference}} to {{cite journal}} undo

curprev 03:5203:52, 11 February 2006 Kimbly talk contribs m 5,068 bytes +48 No edit summary undo
curprev 03:5003:50, 11 February 2006 Kimbly talk contribs m 5,020 bytes +6 No edit summary undo
curprev 03:5003:50, 11 February 2006 Kimbly talk contribs m 5,014 bytes +3 No edit summary undo
curprev 03:1803:18, 11 February 2006 Kimbly talk contribs 5,011 bytes +1,233 Added some examples undo

curprev 18:1018:10, 25 December 2005 Ceyockey talk contribs m 3,778 bytes +16 Popups-assisted disambiguation from Unary to Unary operation undo

curprev 17:5017:50, 8 November 2005 Bluebot talk contribs m 3,762 bytes −12 Robot updating {{Journal reference issue}} with {{Journal reference}} undo

curprev 17:1217:12, 4 November 2005 Phil Boswell talk contribs m 3,774 bytes 0 →References: {{Chapter reference}} subsumed by {{Book reference}} undo

curprev 16:2016:20, 2 September 2005 PhS talk contribs m 3,774 bytes +3 No edit summary undo
curprev 16:1816:18, 2 September 2005 PhS talk contribs m 3,771 bytes +47 categories undo
curprev 15:4315:43, 2 September 2005 PhS talk contribs m 3,724 bytes +31 →References: fix typos undo
curprev 14:4214:42, 2 September 2005 PhS talk contribs 3,693 bytes +790 added 3 references undo

curprev 12:5312:53, 11 July 2005 134.130.181.140 talk 2,903 bytes −2 No edit summary undo
curprev 12:5212:52, 11 July 2005 134.130.181.140 talk 2,905 bytes +33 (de) undo

curprev 20:4520:45, 19 May 2005 Oleg Alexandrov talk contribs m 2,872 bytes −5 rm extra whitespace undo

curprev 05:1605:16, 18 May 2005 Jemiller226 talk contribs 2,877 bytes +5 Stub-sorting. You can help! undo

curprev 15:2015:20, 17 May 2005 81.211.215.54 talk 2,872 bytes +3 →Relations with other logics undo

curprev 23:5423:54, 28 October 2004 Nickj talk contribs m 2,869 bytes −1 No edit summary undo

curprev 13:2613:26, 13 October 2004 Charles Matthews talk contribs m 2,870 bytes −17 plurals undo

curprev 08:5508:55, 10 August 2004 129.16.80.125 talk 2,887 bytes +51 Added "unless". undo

curprev 01:5901:59, 21 July 2004 Gdementen talk contribs 2,836 bytes +1,353 a bigger update this time but the page is still far from finished undo

curprev 02:0002:00, 20 July 2004 Gdementen talk contribs m 1,483 bytes +225 did some cleanup and removed inuse tag (I didn't make that big update I wanted to do after all... sorry) undo

curprev 16:2416:24, 19 July 2004 Gdementen talk contribs m 1,258 bytes +11 inuse undo

curprev 22:5422:54, 18 July 2004 Gdementen talk contribs m 1,247 bytes −28 I don't have time to finish this page now... undo
curprev 20:4620:46, 18 July 2004 Gdementen talk contribs 1,275 bytes +1,275 No edit summary

Retrieved from "https://en.wikipedia.org/wiki/Computation_tree_logic"