{"entities":{"Q1119630":{"pageid":1130379,"ns":120,"title":"Item:Q1119630","lastrevid":66168921,"modified":"2026-04-12T08:00:23Z","type":"item","id":"Q1119630","labels":{"en":{"language":"en","value":"An automata theoretic decision procedure for the propositional mu- calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4097354"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$6E7854E2-AB7D-43F8-A214-3220FDDFBA73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7efb74d9ee63adc6616269efe9fb6eae3cc8685d","datavalue":{"value":{"text":"An automata theoretic decision procedure for the propositional mu- calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119630$3FAFAE39-385A-41FA-BCA8-79353DC4CAAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5eeac23c91b44deb4a5e4b34b08dfdd89cff7b77","datavalue":{"value":"0671.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119630$7824869C-EDEE-43AF-878F-00A3BF07343B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb35af22b486eb903c7ff6c7220dd8991d4299da","datavalue":{"value":"10.1016/0890-5401(89)90031-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119630$D30916D7-4688-457B-BFC9-77ED115FA53D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc3c605b9b59bdb12f73165661ba40779746f0ae","datavalue":{"value":{"entity-type":"item","numeric-id":1119629,"id":"Q1119629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$E19C9B33-12A1-42E4-A8DF-45DDCE042970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$B09F62EA-F05F-4D21-8A7C-56F2D3BC6EE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$B93983B9-0AD8-4D37-844F-953D106A8C08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1119630$578B6782-42A5-4350-B23B-33D7278F3387","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"705af42b93034f11aaf10a1a501e62c8db3d8c6a","datavalue":{"value":"A decision procedure of elementary complexity is presented for the propositional mu-calculus. This calculus was introduced by D. Kozen as a powerful generalization of propositional dynamic logic, in which, in particular, Streett's infinite repeating construction \\(\\Delta\\) \\(a\\) can be expressed. The proof is based on using tree automata and strengthens a result by D. Kozen and R. Parikh on (non-elementary) decidability of the mu-calculus obtained by reduction to the monadic second order theory of many successors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119630$E2BF7132-F2E5-4067-9740-CFB14EA98D56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119630$9AEF38A7-A44E-4C10-B51E-4BAAF2B75060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119630$DAF17C3F-27F9-45CC-AC9E-E6A4703AD14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119630$6F07A5B5-BF10-4CF8-845D-92049A1340D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119630$DD01A580-0389-4658-B8AE-C84BD16D818E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119630$0459DE87-79A9-4B1D-BA76-04F98DB4064F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c5340a113b0e9fd6bc95b2de7e62c036f44cc2a","datavalue":{"value":"4097354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119630$D8721B3B-1BFA-4C1C-9133-8E0A54AC2477","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b181497d457496b4a93af7a9955abd8e3a44d14b","datavalue":{"value":"elementary complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119630$880FF220-D1A7-4438-9ACE-C40E24C169D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd9f1f90d4d1cc7b80e544082d1978afe9f5d03","datavalue":{"value":"propositional mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119630$D7020119-260F-4E93-A5EA-C23C4B3B0123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119630$BA66B0DC-2309-4D08-858A-D87F79D66950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119630$F073BBE2-4070-4764-A9D1-7FD18AD4ACA3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$84910F2E-B38D-4C49-BAEF-992AB6814D77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf403fe9416188a0f5a6f91abd1dcfd0dc5ffa32","datavalue":{"value":{"entity-type":"item","numeric-id":5678412,"id":"Q5678412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$E7975F73-1398-4541-9DA6-FF6487EDDCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea006ae643428bf96e9bf98b96e6338528cc588","datavalue":{"value":{"entity-type":"item","numeric-id":4057558,"id":"Q4057558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$16603589-E938-494B-8983-645879EA8DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$E5D838B9-6849-44D6-9D08-E279376C5532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$56156CF2-F2D3-4406-99A4-DF577DDC6AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$2EFCFFE5-83B5-40F2-964B-2B6A15D5A054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bf8ce9aac73bf50a8b75ec97283321f86bf552","datavalue":{"value":{"entity-type":"item","numeric-id":4168046,"id":"Q4168046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$01CE3B5D-8635-4DA0-9F61-41442DACA6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678f6c25497d4da339fb86fb797a401000099017","datavalue":{"value":{"entity-type":"item","numeric-id":4095834,"id":"Q4095834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$67BBA73E-9CCA-4706-B19F-595D59E50561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$A017146B-EE5B-401E-A607-9068CFB3F1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$8B24377D-CB5F-4C78-B8FB-1C9528015F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$EA3A2519-8576-464E-921D-0E3BEF4C0DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f8c72a9350326364dae4fb324c635b65cfcd95","datavalue":{"value":{"entity-type":"item","numeric-id":1236111,"id":"Q1236111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$87A840B0-A4A6-45C9-929B-BE3DDA90AFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$72C7581D-67E4-4C0B-A71D-39804EB4D65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$AAE92888-C7F3-4170-A5F2-DEC6DC1B9265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267ae0212004177089322e010233b5ddee60b435","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119630$F89FE2FE-2214-4898-8B9F-DC0C8A3C59C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e150939d41c77c73fd0fc0151e3c6b5057adbc58","datavalue":{"value":"https://doi.org/10.1016/0890-5401(89)90031-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1119630$DF499979-E650-457F-A8AE-DC9934BF7EE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe3756a73a0359acc7f0ad4ab75563384000ec56","datavalue":{"value":"W2083398633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119630$0A23B216-DC2A-4DA7-ADD3-14AAB72C864A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd23a117cd7276bd65491167399681b38f1d11d9","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a6f3e3f8bac1e3cfca67cb8c225062488ee7c7","datavalue":{"value":{"amount":"+0.8816753029823303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119630$8650CEB3-5A9F-45E2-B5EF-FF5EC18C1254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bb287b83df0b14610557bc15aaf86cee4b0d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1dfc615b8c22579a9a39a5eb9dd8e28124a6cf","datavalue":{"value":{"amount":"+0.8649447560310364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119630$B0741C09-D20D-4770-9911-FFB91290EE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf48f28b9893ab8ff4270e6d50c79ecb7e6a44b","datavalue":{"value":{"amount":"+0.8646885752677917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119630$AC36DD63-CAA0-4963-8517-A006CF5D112C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6156e2922d5578e8552e2cf48b18dca6c707ea","datavalue":{"value":{"amount":"+0.8494451642036438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119630$A41CC83F-B301-4BBA-BFED-4475BFF48380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1601b8c796d8b20e76b5fba486f8da6ae71efa7","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cd11f445abee991ba80741a20290bbe2fdad00","datavalue":{"value":{"amount":"+0.8252542018890381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119630$B5E6F0BB-64DB-4DC3-81D7-F55105D76602","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An automata theoretic decision procedure for the propositional mu- calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_automata_theoretic_decision_procedure_for_the_propositional_mu-_calculus"}}}}}