Jump to content

Fair computational tree logic: Revision history

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 06:5106:51, 15 August 2023 OAbot talk contribs m 3,251 bytes +18 Open access bot: doi updated in citation with #oabot. undo

curprev 11:3211:32, 26 April 2023 Widefox talk contribs 3,233 bytes +33 Added {{No footnotes}} tag undo Tag: Twinkle

curprev 21:2521:25, 29 March 2023 Citation bot talk contribs 3,200 bytes +17 Add: s2cid. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 127/321 undo

curprev 23:4723:47, 29 January 2023 OAbot talk contribs m 3,183 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 18:2018:20, 6 December 2020 2001:861:3ac0:4fa0:f1cb:b0bb:ca58:2a11 talk 3,166 bytes 0 No edit summary undo
curprev 18:2018:20, 6 December 2020 2001:861:3ac0:4fa0:f1cb:b0bb:ca58:2a11 talk 3,166 bytes +105 No edit summary undo

curprev 11:1111:11, 20 October 2020 Monkbot talk contribs m 3,061 bytes 0 →References: Task 17: replace deprecated: |last-author-amp= (1× replaced; usage: 1 of 2); undo Tag: AWB

curprev 01:0301:03, 17 February 2019 Citation bot talk contribs m 3,061 bytes −1 Alter: title. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 02:2402:24, 13 July 2016 Dcirovic talk contribs m 3,062 bytes +34 →References: refs using AWB undo

curprev 06:1506:15, 30 May 2016 Dcirovic talk contribs m 3,028 bytes 0 clean up using AWB undo

curprev 02:2902:29, 13 March 2014 NickPenguin talk contribs 3,028 bytes −46 no consensus to merge undo

curprev 16:1616:16, 20 November 2013 129.88.107.93 talk 3,074 bytes −4 No edit summary undo
curprev 16:1416:14, 20 November 2013 129.88.107.93 talk 3,078 bytes −1 No edit summary undo

curprev 21:2921:29, 16 January 2013 Addbot talk contribs m 3,079 bytes −29 Bot: Removing Orphan Tag (Report Errors) undo

curprev 20:3320:33, 12 December 2012 131.193.36.97 talk 3,108 bytes +2 →Model checking for fair CTL undo

curprev 03:3103:31, 24 July 2012 ChrisGualtieri talk contribs m 3,106 bytes −1 →Emerson Lei algorithm: Typo fixing, typos fixed: , → , using AWB undo

curprev 16:2216:22, 14 June 2011 Linas talk contribs m 3,107 bytes −12 fix layout undo

curprev 19:0219:02, 31 January 2011 AnomieBOT talk contribs m 3,119 bytes +18 Dating maintenance tags: {{Mergeto}} undo
curprev 18:4118:41, 31 January 2011 Ruud Koot talk contribs 3,101 bytes +27 {{mergeto|Model checking}} undo
curprev 18:4018:40, 31 January 2011 Ruud Koot talk contribs 3,074 bytes −35 Category:Temporal logic undo
curprev 18:4018:40, 31 January 2011 Ruud Koot talk contribs m 3,109 bytes 0 moved Fair Computational tree logic to Fair computational tree logic over redirect: capitalization undo

curprev 08:3708:37, 13 August 2009 90.80.39.42 talk 3,109 bytes −16 Undid revision 288840700 by Rjwilmsi (talk) undo

curprev 09:3909:39, 9 May 2009 Rjwilmsi talk contribs m 3,125 bytes +16 gen fixes: (mainly bracket correction) using AWB undo

curprev 23:4723:47, 14 February 2009 Addbot talk contribs m 3,109 bytes +30 Bot: Adding Orphan Tag (Questions) (Report Errors) undo

curprev 13:4713:47, 7 June 2008 DOI bot talk contribs m 3,079 bytes +63 Citation maintenance. You can use this bot yourself! Please report any bugs. undo

curprev 09:4609:46, 2 May 2007 Grokmenow talk contribs 3,016 bytes −1 typo - emersion to emerson undo

curprev 18:4018:40, 29 April 2007 84.139.32.132 talk 3,017 bytes 0 →Strong fairness / compassion: changed T to R undo

curprev 17:4417:44, 18 April 2007 Sintaku talk contribs 3,017 bytes +1 Typo fixing, Typos fixed: atleast → at least (2), using AWB undo

curprev 16:2216:22, 22 March 2007 Resurgent insurgent talk contribs 3,016 bytes −154 add categories and clean up formatting undo

curprev 04:5904:59, 8 March 2007 70.113.88.48 talk 3,170 bytes +1 →Weak fairness / Justice undo

curprev 06:3406:34, 29 January 2007 Alaibot talk contribs m 3,169 bytes +31 Robot: tagging as uncategorised undo

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