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 04:1604:16, 23 December 2024 LR.127 talk contribs 18,769 bytes +49 Adding short description: "Theory in computer science" undo Tag: Shortdesc helper

curprev 21:3421:34, 28 July 2024 Citation bot talk contribs 18,720 bytes +28 Alter: template type, title. Add: doi-access, chapter-url, isbn, chapter. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 378/1051 undo

curprev 04:0204:02, 21 June 2024 Cryolophosaur talk contribs 18,692 bytes 0 →History: rephrasing this sentence again undo

curprev 03:2203:22, 18 March 2024 Cryolophosaur talk contribs 18,692 bytes 0 →History: Rephrase sentence to be more clear to read undo
curprev 03:2103:21, 18 March 2024 Cryolophosaur talk contribs 18,692 bytes +703 Add history section and describe status in industry undo

curprev 06:1106:11, 12 January 2024 Sir Ibee talk contribs 17,989 bytes +27 Open access status updates in citations with OAbot #oabot undo Tag: OAbot [2.1]

curprev 06:1706:17, 11 December 2023 OAbot talk contribs m 17,962 bytes +18 Open access bot: doi updated in citation with #oabot. undo

curprev 21:2421:24, 29 March 2023 Citation bot talk contribs 17,944 bytes +118 Alter: journal, title. Add: edition, isbn, doi, series, s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 124/321 undo

curprev 18:0718:07, 15 March 2023 2a02:1812:110c:dc00:9d4e:f260:e80b:5a32 talk 17,826 bytes +192 No edit summary undo
curprev 17:5017:50, 15 March 2023 2a02:1812:110c:dc00:6958:2ad1:2683:e079 talk 17,634 bytes +26 No edit summary undo

curprev 13:0713:07, 6 March 2023 Wikieditor 247 talk contribs 17,608 bytes −54 →See also undo Tag: Manual revert
curprev 13:0613:06, 6 March 2023 Wikieditor 247 talk contribs 17,662 bytes 0 →See also undo Tags: Manual revert Reverted
curprev 13:0113:01, 6 March 2023 Wikieditor 247 talk contribs 17,662 bytes 0 →See also undo Tag: Reverted
curprev 12:5812:58, 6 March 2023 Wikieditor 247 talk contribs 17,662 bytes +54 →See also undo Tag: Reverted

curprev 13:3413:34, 29 September 2022 DavidGries talk contribs 17,608 bytes −25 Undid revision 1113029652 by Storchy (talk) undo Tag: Undo
curprev 10:2810:28, 29 September 2022 Storchy talk contribs 17,633 bytes +25 No edit summary undo Tag: Reverted
curprev 00:5500:55, 29 September 2022 DavidGries talk contribs 17,608 bytes −4 changed link to "safety" and "liveness" properties to the more extensive and correct Safety and Liveness Properties undo

curprev 13:2013:20, 7 September 2022 BaalIsBack talk contribs m 17,612 bytes +4 →Examples: Added the missing word 'day' from the example '''EG'''.'''AF'''.P undo

curprev 20:2420:24, 16 March 2022 TepigMC talk contribs m 17,608 bytes −2 Move paren into <math> undo

curprev 02:2102:21, 10 June 2021 Beland talk contribs m 17,610 bytes −3 convert special characters (via WP:JWB) undo

curprev 08:1108:11, 26 May 2021 Cedar101 talk contribs m 17,613 bytes −31 →Relations with other logics: html math undo

curprev 08:1108:11, 19 January 2021 Narky Blert talk contribs 17,644 bytes +9 Link to DAB page repaired undo

curprev 20:4920:49, 21 December 2020 Tom.Reding talk contribs m 17,635 bytes +25 Enum 1 author/editor WL; WP:GenFixes on undo Tag: AWB

curprev 16:2916:29, 6 December 2020 2001:861:3ac0:4fa0:6115:8f36:cf31:b378 talk 17,610 bytes +104 No edit summary undo

curprev 00:3400:34, 5 December 2020 2001:861:3ac0:4fa0:20d6:ce8e:19fd:ecf3 talk 17,506 bytes +33 No edit summary undo

curprev 22:5922:59, 27 October 2020 JCW-CleanerBot talk contribs m 17,473 bytes +2 →References: task, replaced: journal=Logic of Programs, Proceedings of Workshop, Lecture Notes in Computer Science, Vol. → journal=Logic of Programs, Proceedings of Workshop, Lecture Notes in Computer Science |vol undo Tag: AWB

curprev 13:3313:33, 14 October 2020 Tom.Reding talk contribs m 17,471 bytes 0 Category:CS1 errors: deprecated parameters (last-author-amp=y/yes → name-list-style=amp; etc.) undo Tag: AWB

curprev 18:0418:04, 25 May 2020 Beland talk contribs m 17,471 bytes −45 convert special characters (via WP:JWB) undo

curprev 07:5307:53, 23 May 2020 Beland talk contribs m 17,516 bytes 0 convert special characters (via WP:JWB) undo

curprev 17:5617:56, 18 April 2020 GünniX talk contribs m 17,516 bytes +7 Reflist undo Tag: AWB

curprev 17:1017:10, 15 April 2020 2001:1970:521e:2400::6f4a talk 17,509 bytes −3 →Logical operators undo

curprev 10:1310:13, 18 February 2020 Fschwarzentruber talk contribs 17,512 bytes +828 →Extensions undo Tag: Visual edit
curprev 09:4309:43, 18 February 2020 Fschwarzentruber talk contribs 16,684 bytes +614 →Extensions undo Tag: Visual edit
curprev 09:4109:41, 18 February 2020 Fschwarzentruber talk contribs 16,070 bytes +445 →See also undo Tag: Visual edit

curprev 19:4319:43, 29 August 2019 Bender the Bot talk contribs m 15,625 bytes +1 →References: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ undo Tag: AWB

curprev 15:5815:58, 29 July 2019 Jarble talk contribs 15,624 bytes +195 adding links to references using Google Scholar undo

curprev 09:5909:59, 24 May 2019 94.65.216.254 talk 15,429 bytes +1 MOS:BOLDSYN undo

curprev 15:0015:00, 3 April 2019 64.18.159.3 talk 15,428 bytes +1 Singular to plural undo
curprev 15:0015:00, 3 April 2019 64.18.159.3 talk 15,427 bytes +1 Singular to plural undo

curprev 13:2013:20, 19 February 2019 Citation bot talk contribs m 15,426 bytes +4 Alter: journal, isbn, template type, title. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 15:5715:57, 24 November 2018 2003:e7:b3c8:5225:a96e:2ab5:d9f3:f9f1 talk 15,422 bytes −10 rv revert revision 608091061 "the first item was non-sensical" - no it wasn't, but now (for 4 years already) it kind-of is nonsensical and moreover it's definitely wrong undo
curprev 14:2414:24, 24 November 2018 2003:e7:b3c8:5225:a96e:2ab5:d9f3:f9f1 talk 15,432 bytes +4 →Definition: minor spacing fix undo
curprev 12:5312:53, 24 November 2018 2003:e7:b3c8:5225:a96e:2ab5:d9f3:f9f1 talk 15,428 bytes 0 →Definition: typo undo

curprev 11:2111:21, 11 October 2018 Texvc2LaTeXBot talk contribs m 15,428 bytes +3 Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 09:2409:24, 28 May 2018 Cedar101 talk contribs m 15,425 bytes −702 →Operators: html math undo

curprev 09:3909:39, 19 February 2018 141.89.226.146 talk 16,127 bytes −16 →Definition undo

curprev 14:1714:17, 1 July 2017 92.75.20.194 talk 16,143 bytes +1 →Relations with other logics undo
curprev 14:1714:17, 1 July 2017 92.75.20.194 talk 16,142 bytes −1 →Relations with other logics: Fix CTL/LTL comparison, see LTL page. undo

curprev 21:3921:39, 14 April 2017 Airbornemihir talk contribs m 16,143 bytes +24 Copyedited undo

curprev 20:2920:29, 4 April 2017 DVdm talk contribs 16,119 bytes −4 Replace all "\begin{aligned}" with "\begin{align}" - see talk Talk:Acceleration (special relativity)#Parse error undo

23 December 2024

28 July 2024

21 June 2024

18 March 2024

12 January 2024

11 December 2023

29 March 2023

15 March 2023

6 March 2023

29 September 2022

7 September 2022

16 March 2022

10 June 2021

26 May 2021

19 January 2021

21 December 2020

6 December 2020

5 December 2020

27 October 2020

14 October 2020

25 May 2020

23 May 2020

18 April 2020

15 April 2020

18 February 2020

29 August 2019

29 July 2019

24 May 2019

3 April 2019

19 February 2019

24 November 2018

11 October 2018

28 May 2018

19 February 2018

1 July 2017

14 April 2017

4 April 2017