Modal μ-calculus: Revision history

20 August 2024

• curprev 21:2521:25, 20 August 2024 Onel5969 talk contribs m 12,646 bytes +28 Disambiguating links to Deadlock (link changed to Deadlock (computer science)) using DisamAssist. undo

21 May 2024

• curprev 18:4318:43, 21 May 2024 Yitzilitt talk contribs 12,618 bytes +61 Adding local short description: "Extension of propositional modal logic", overriding Wikidata description "extension of propositional modal logic by adding the least fixed point operator μ" undo Tag: Shortdesc helper

30 October 2023

• curprev 20:2620:26, 30 October 2023 Citation bot talk contribs 12,557 bytes −16 Removed parameters. | Use this bot. Report bugs. | Suggested by Abductive | Category:Model checking | #UCB_Category 8/24 undo

18 August 2023

• curprev 09:4109:41, 18 August 2023 OAbot talk contribs m 12,573 bytes −4 Open access bot: doi updated in citation with #oabot. undo

8 August 2023

• curprev 04:2604:26, 8 August 2023 Citation bot talk contribs 12,577 bytes +12 Alter: journal, title, template type. Add: chapter, authors 1-1. 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/Sandbox3 | #UCB_webform_linked 1319/2306 undo

1 June 2023

• curprev 21:4321:43, 1 June 2023 Carchasm talk contribs 12,565 bytes +12 new key for Category:Modal logic: "μ-calculus" using HotCat undo

28 May 2023

• curprev 12:1012:10, 28 May 2023 Ncfavier talk contribs m 12,553 bytes +8 →Denotational semantics: Clarify fixed point expression undo

29 January 2023

• curprev 01:4201:42, 29 January 2023 OAbot talk contribs m 12,545 bytes +32 Open access bot: doi added to citation with #oabot. undo

5 October 2022

• curprev 06:0106:01, 5 October 2022 Dicklyon talk contribs m 12,513 bytes −1 rm comma per MOS:JR and sfn fixes (via WP:JWB) undo

27 July 2022

• curprev 13:1913:19, 27 July 2022 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk 12,514 bytes −53 No edit summary undo

1 November 2021

• curprev 11:2911:29, 1 November 2021 Yuriko zz talk contribs m 12,567 bytes −14 Use consistent Greek letter notation undo

5 July 2021

• curprev 20:5420:54, 5 July 2021 Hellacioussatyr talk contribs 12,581 bytes +33 →Examples: unify list undo Tag: 2017 wikitext editor
• curprev 11:3111:31, 5 July 2021 OAbot talk contribs m 12,548 bytes +20 Open access bot: doi added to citation with #oabot. undo

14 April 2021

• curprev 16:3516:35, 14 April 2021 2a02:1812:1700:c500:4993:8f90:ad74:25e2 talk 12,528 bytes +6 No edit summary undo

13 January 2021

• curprev 22:5222:52, 13 January 2021 Monkbot talk contribs m 12,522 bytes +3 Task 18 (cosmetic): eval 12 templates: hyphenate params (3×); undo Tag: AWB

7 December 2020

• curprev 02:0302:03, 7 December 2020 2001:861:3ac0:4fa0:dd0c:8511:b17c:d777 talk 12,519 bytes +57 No edit summary undo

20 October 2020

• curprev 05:3605:36, 20 October 2020 Monkbot talk contribs m 12,462 bytes +2 →References: Task 17 (BRFA trial): replace deprecated: |last-author-amp= (1× replaced; usage: 1 of 6); undo Tag: AWB

10 June 2020

• curprev 14:4014:40, 10 June 2020 Dodecamino talk contribs 12,460 bytes +392 I've set a proper reference to the manuscript of Scott and Bakker defining the mu calculus. However the manuscript was never published apparently so I'm not sure "cite journal" is correct here. But that's how it is referenced in the Kozen's paper I added, and it can be found everywhere. undo

19 March 2020

• curprev 15:2815:28, 19 March 2020 Tomer T talk contribs 12,068 bytes −7 No edit summary undo

20 February 2020

• curprev 05:0405:04, 20 February 2020 14.139.249.201 talk 12,075 bytes −2 Undid revision 941708986 by 14.139.249.201 (talk) undo Tag: Undo
• curprev 05:0205:02, 20 February 2020 14.139.249.201 talk 12,077 bytes +2 No edit summary undo

6 December 2019

• curprev 05:4405:44, 6 December 2019 Citation bot talk contribs m 12,075 bytes −76 Add: chapter-url. Removed or converted URL. Some additions/deletions were actually parameter name changes.| You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

24 June 2019

• curprev 21:4821:48, 24 June 2019 Secundus Zephyrus talk contribs 12,151 bytes −3 Fix broken reference name – You can help Category:Pages with broken reference names undo

14 March 2019

• curprev 02:4802:48, 14 March 2019 92.232.148.95 talk 12,154 bytes +4 Added link to PSPACE-complete page undo Tag: Visual edit

22 November 2018

• curprev 04:2604:26, 22 November 2018 2003:e7:b3c8:5228:5c82:e08b:aa47:4671 talk 12,150 bytes 0 Final commas in math mode look awkward. undo
• curprev 04:0604:06, 22 November 2018 2003:e7:b3c8:5228:5c82:e08b:aa47:4671 talk 12,150 bytes +36 Fix inconsistent formatting of "Z" undo

13 September 2018

• curprev 12:1412:14, 13 September 2018 Parswerk talk contribs 12,114 bytes +13 →Examples: Formatting undo Tags: Mobile edit Mobile web edit
• curprev 12:1312:13, 13 September 2018 Parswerk talk contribs 12,101 bytes +10 →Examples: Clarified further undo Tags: Mobile edit Mobile web edit
• curprev 12:1212:12, 13 September 2018 Parswerk talk contribs 12,091 bytes +248 →Examples: Easier explanation undo Tags: Mobile edit Mobile web edit

3 February 2018

• curprev 07:1607:16, 3 February 2018 InternetArchiveBot talk contribs 11,843 bytes +43 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.2) undo

10 December 2017

• curprev 10:1310:13, 10 December 2017 Latex-yow talk contribs m 11,800 bytes −23 →Denotational semantics undo
• curprev 10:0610:06, 10 December 2017 Latex-yow talk contribs m 11,823 bytes +13 →Examples undo

23 November 2017

• curprev 08:4908:49, 23 November 2017 213.126.128.209 talk 11,810 bytes +20 Renamed fixpoint to fixed point undo

24 July 2017

• curprev 10:4910:49, 24 July 2017 Bafain talk contribs m 11,790 bytes 0 →Denotational semantics: typo undo

28 October 2016

• curprev 21:4921:49, 28 October 2016 Bender the Bot talk contribs m 11,790 bytes +2 http→https for Google Books and Google News using AWB undo

20 September 2016

• curprev 05:2505:25, 20 September 2016 Yobot talk contribs m 11,788 bytes 0 →Decision problems: WP:CHECKWIKI error fixes using AWB undo

19 September 2016

• curprev 14:4714:47, 19 September 2016 Fschwarzentruber talk contribs 11,788 bytes +773 more things about linear modal mu-calculus undo Tag: Visual edit

2 September 2016

• curprev 13:4513:45, 2 September 2016 2a02:c7f:c005:9f00:d04f:73f:d9e9:7f1e talk 11,015 bytes +28 →Denotational semantics undo
• curprev 13:4113:41, 2 September 2016 2a02:c7f:c005:9f00:d04f:73f:d9e9:7f1e talk 10,987 bytes +16 →Denotational semantics undo

3 June 2016

• curprev 18:3818:38, 3 June 2016 Dcirovic talk contribs m 10,971 bytes +26 clean up using AWB undo

21 August 2015

• curprev 09:0309:03, 21 August 2015 133.6.205.197 talk 10,945 bytes +35 →Denotational semantics: Filled the missing line undo

13 July 2015

• curprev 23:2923:29, 13 July 2015 Trappist the monk talk contribs m 10,910 bytes +31 →Examples: replace/remove deprecated cs1|2 parameters; using AWB undo

1 January 2015

• curprev 15:4015:40, 1 January 2015 Ott2 talk contribs m 10,879 bytes +27 add link undo

10 December 2014

• curprev 13:2213:22, 10 December 2014 Mundacho talk contribs m 10,852 bytes −1 →Denotational semantics undo

19 July 2014

• curprev 03:1603:16, 19 July 2014 Monkbot talk contribs m 10,853 bytes +4 →References: Task 5: Fix CS1 deprecated coauthor parameter errors undo

7 May 2014

• curprev 07:5407:54, 7 May 2014 Magioladitis talk contribs m 10,849 bytes +34 defaultsort to avoid special characters in sortkey undo

27 February 2014

• curprev 18:4918:49, 27 February 2014 193.205.213.166 talk 10,815 bytes +15 →Denotational semantics undo
• curprev 18:4718:47, 27 February 2014 193.205.213.166 talk 10,800 bytes −1 →Denotational semantics undo

11 February 2014

• curprev 15:5415:54, 11 February 2014 128.84.125.32 talk 10,801 bytes 0 →Denotational semantics: Grammar undo

17 September 2013

• curprev 12:4912:49, 17 September 2013 Yobot talk contribs m 10,801 bytes +59 WP:CHECKWIKI error fixes / special characters in pagetitle using AWB (9485) undo