Talk:Computation tree 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 22:1522:15, 30 January 2024 Cewbot talk contribs m 15,372 bytes +30 Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "C" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computer science}}. undo Tag: Talk banner shell conversion

curprev 10:1410:14, 6 January 2023 Cewbot talk contribs 15,342 bytes +861 Reminder of an inactive anchor: atomic propositions undo

curprev 09:1409:14, 26 October 2020 SineBot talk contribs m 14,481 bytes +285 Signing comment by 78.27.127.183 - "→Examples (once more): new section" undo
curprev 09:1309:13, 26 October 2020 78.27.127.183 talk 14,196 bytes +321 →Examples (once more): new section undo

curprev 21:4421:44, 14 February 2016 Mark viking talk contribs 13,875 bytes +25 Assessment: Computer science: class=C, importance=Low (assisted) undo

curprev 20:0420:04, 29 January 2016 SineBot talk contribs m 13,850 bytes +281 Signing comment by 81.64.148.250 - "→GF.p and CTL: " undo
curprev 20:0320:03, 29 January 2016 81.64.148.250 talk 13,569 bytes +152 →GF.p and CTL undo

curprev 19:1319:13, 12 December 2015 Christian75 talk contribs 13,417 bytes +34 Assessment: +Computer science (assisted) undo

curprev 16:3916:39, 27 August 2014 Xlae talk contribs 13,383 bytes +446 →Examples (again): Added undo

curprev 12:3812:38, 10 January 2013 62.245.100.121 talk 12,937 bytes +235 →Examples undo

curprev 12:3612:36, 4 November 2012 SineBot talk contribs m 12,702 bytes +296 Signing comment by 93.87.39.27 - "" undo
curprev 12:3512:35, 4 November 2012 93.87.39.27 talk 12,406 bytes +242 No edit summary undo

curprev 04:0804:08, 26 November 2010 Thomas5388 talk contribs 12,164 bytes +586 →transformation of EFφ undo

curprev 11:5811:58, 7 July 2010 152.77.200.242 talk 11,578 bytes +7 typo fix undo

curprev 13:2113:21, 6 July 2010 SineBot talk contribs m 11,571 bytes +299 Signing comment by 152.77.200.242 - "→transformation of EFφ: new section" undo
curprev 13:2013:20, 6 July 2010 152.77.200.242 talk 11,272 bytes +508 →transformation of EFφ: new section undo

curprev 13:2413:24, 11 May 2010 192.93.2.32 talk 10,764 bytes +504 →No derivation for weak until undo

curprev 12:5712:57, 10 November 2009 Someguy137 talk contribs m 10,260 bytes +8 Username change undo

curprev 21:2321:23, 23 June 2009 17.206.44.128 talk 10,252 bytes +334 reorder the page proposal undo

curprev 01:2201:22, 13 February 2009 SineBot talk contribs m 9,918 bytes +301 Signing comment by 87.194.191.26 - "→Notation: " undo
curprev 01:2101:21, 13 February 2009 87.194.191.26 talk 9,617 bytes +108 →Notation undo

curprev 18:0718:07, 3 December 2008 Dan Polansky talk contribs m 9,509 bytes 0 moved Talk:Computational tree logic to Talk:Computation tree logic: Higher Google hits in Google web, Google books and Google scholar. undo

curprev 12:3712:37, 9 September 2008 Cweise talk contribs 9,509 bytes +1,060 →Names? undo

curprev 00:1400:14, 24 March 2008 220.157.232.180 talk 8,449 bytes +546 →Notation undo

curprev 23:3523:35, 13 December 2007 Ripper234 talk contribs 7,903 bytes +207 Merge notice undo

curprev 10:2210:22, 4 June 2007 Someguy137 talk contribs 7,696 bytes +403 Notation undo

curprev 16:2016:20, 3 May 2007 132.231.54.1 talk 7,293 bytes +364 Inconsistent use of N/X undo
curprev 05:4805:48, 3 May 2007 Pintman talk contribs 6,929 bytes +180 No derivation for weak until undo

curprev 08:4208:42, 2 May 2007 HagermanBot talk contribs m 6,749 bytes +248 18.243.5.80 didn't sign: "GF.p and CTL" undo
curprev 08:4208:42, 2 May 2007 18.243.5.80 talk 6,501 bytes +2,427 GF.p and CTL undo

curprev 12:4512:45, 1 October 2006 68.20.179.242 talk 4,074 bytes +669 Software for constructing/modeling a tree? undo

curprev 06:5406:54, 8 August 2006 150.203.208.49 talk 3,405 bytes +1,703 →This is CTL* undo
curprev 06:4206:42, 8 August 2006 150.203.208.49 talk 1,702 bytes +151 →Names? undo

curprev 13:1313:13, 6 July 2006 Neatlittleeraser talk contribs 1,551 bytes −6 No edit summary undo
curprev 13:1213:12, 6 July 2006 Neatlittleeraser talk contribs 1,557 bytes +236 == This is CTL* == undo

curprev 07:3807:38, 7 April 2006 Ripper234 talk contribs 1,321 bytes +28 →Move: more signing undo
curprev 06:5206:52, 7 April 2006 Nightstallion talk contribs 1,293 bytes −18 No edit summary undo

curprev 17:0617:06, 2 April 2006 Ripper234 talk contribs 1,311 bytes +103 sign and moveoptions tag undo
curprev 17:0517:05, 2 April 2006 Ripper234 talk contribs 1,208 bytes +608 move to CTL & state/path operators undo

curprev 02:0002:00, 21 July 2004 Gdementen talk contribs 600 bytes +294 State & path operators undo

curprev 18:4518:45, 20 July 2004 Gdementen talk contribs 306 bytes +306 Questions about names

30 January 2024

6 January 2023

26 October 2020

14 February 2016

29 January 2016

12 December 2015

27 August 2014

10 January 2013

4 November 2012

26 November 2010

7 July 2010

6 July 2010

11 May 2010

10 November 2009

23 June 2009

13 February 2009

3 December 2008

9 September 2008

24 March 2008

13 December 2007

4 June 2007

3 May 2007

2 May 2007

1 October 2006

8 August 2006

6 July 2006

7 April 2006

2 April 2006

21 July 2004

20 July 2004