{"entities":{"Q801893":{"pageid":803741,"ns":120,"title":"Item:Q801893","lastrevid":48761569,"modified":"2026-01-05T19:35:23Z","type":"item","id":"Q801893","labels":{"en":{"language":"en","value":"Results on the propositional \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880653"}},"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":"Q801893$E976F1F8-E5D6-438D-A15B-FE4002E918A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b748f85b0d780d06f58f5804bca6ea3ec7d25b93","datavalue":{"value":{"text":"Results on the propositional \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801893$D9022B81-74A6-4C1C-A280-52AC3DEB59A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b341ba5d518fd8795cdfa3bc995d8d20a18a23e3","datavalue":{"value":"0553.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801893$6565DB1A-2E07-4487-935F-5470A40B0760","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42c0a7e4405df80eedf83f114952a8b1acbefab8","datavalue":{"value":"10.1016/0304-3975(82)90125-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801893$5E3FC4BA-A4CB-4A74-B620-D8C9B0E22E01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$B45C5A4A-65B6-42CE-ACF2-31C68CC33D3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$F60D4A67-EB7E-49C9-B460-7AC5E802E444","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q801893$9B0F16BF-35AB-4893-BC2F-72A42DB10FB5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d40ad9aa50c9f14ae249ba841142bc3e5549678","datavalue":{"value":"In this paper we define and study a propositional \\(\\mu\\)-calculus \\(L\\mu\\), which consists essentially of propositional modal logic with a least fixpoint operator. \\(L\\mu\\) is syntactically simpler yet strictly more expressive than Propositional Dynamic Logic (PDL). For a restricted version we give an exponential-time decision procedure, small model property, and complete deductive system, thereby subsuming the corresponding results for PDL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801893$4DDFFA9E-551A-4BDD-A50D-8727807CE5B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801893$DFCB10E8-438F-4334-BDD7-30FA5C3F3435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801893$0DB7BD48-841B-450B-BA7A-B7356B7F2871","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c0705ed2bce8605302f119f71b17c0155c24c71","datavalue":{"value":"3880653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801893$CA12BEB6-9C65-4DDC-A85B-B8D3E785F4D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f68034c2f46e7532ec29bb7493525b9c43dc798a","datavalue":{"value":"fixed point induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q801893$336221E0-EE72-4238-966D-69DCAAA70B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q801893$24E80729-622F-47D1-B55C-A94D502221A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd9f1f90d4d1cc7b80e544082d1978afe9f5d03","datavalue":{"value":"propositional mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q801893$973EEC17-33DD-4D6E-9760-B33E3845324C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q801893$C79F446E-22A1-47AB-8C38-41EF7579A1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q801893$045130C0-8571-4D76-A408-AE2D205488BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3654e434baa0aa0c9fcc6ae3025920448a702ff6","datavalue":{"value":"small model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q801893$5DE1591F-C6F3-4633-BBB7-898255B53AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6ac4b750ccb5249d2f74b6d7c34c917396f145","datavalue":{"value":"PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q801893$92120125-C849-4904-AD70-CF46A73179B0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fe36267e94422445a51b2aceb865e32d9066e381","datavalue":{"value":"Q59448065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801893$713361CB-869F-4002-8584-BBF6FC05EAB2","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":"Q801893$DC969BAD-AEDA-491C-AA3C-E442C88977E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f972ec6ef39f98da81a1ba3ae60d451bb01b09ad","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90125-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q801893$6BC58A99-EFC3-4B1D-B9EF-87C56F6E78DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfdd40b7ddb956d9f7ee6bb1e97a2c9745039b06","datavalue":{"value":"W2015640848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801893$D362C63D-E67C-4CCD-A1EE-F773E8C2F70C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$C51599F3-A257-436F-8498-214A02C05FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b42d18e3cc0859435e91895f17f6ec094cbbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5649409,"id":"Q5649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$A1A183FF-91CE-4C4D-9891-9991FDE0B274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$35DDD4F3-22D8-4914-9E81-D3DB3923D703","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":"Q801893$78DADD45-CC18-4ACA-BC22-CC1E3AF1DF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$C1647867-E965-405B-9AE5-48AB9983A317","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":"Q801893$FCCBE3BD-546E-4372-9755-C87B352EB58C","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":"Q801893$B71EF3FE-AA2A-4BCA-A858-EF89F6023632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b34302f879326447349f9923ae6968b52f89837","datavalue":{"value":{"entity-type":"item","numeric-id":3897035,"id":"Q3897035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$96D736CB-1066-48EC-ADDB-29BFFCF8CEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69fa1db138cbdf5ce996203cc7917ef58acdd29","datavalue":{"value":{"entity-type":"item","numeric-id":3939782,"id":"Q3939782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$E1696FF3-6E71-47B4-BDDB-9B3BCE9361E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2335bf2bde2a86df144c16c9f5c4df96c861134","datavalue":{"value":{"entity-type":"item","numeric-id":3958436,"id":"Q3958436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$6DCCEC12-6BA1-4A42-9F2A-FA56843F33E1","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":"Q801893$62FFDC58-779F-42F8-89BE-2CEC6CC93C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$ADB5EA50-FD1E-47C3-9109-335B3FFF9AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48ab9b171125f2901a59d92ccc66a2bf9cf3e04","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$42948054-04DB-4EFD-B146-95DC80BDB4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$40E2D310-C7AC-402C-AFE2-55E0FA334932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$500BF5AE-D076-4ACF-B74F-75D6AB4DA573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e052dc0eb54a8a79427ec9d552810f9a6de125f","datavalue":{"value":{"entity-type":"item","numeric-id":4113375,"id":"Q4113375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801893$8F196AF3-A27B-487F-A2DE-88DB2A059766","rank":"normal"}],"P1643":[{"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":"15dbcd0986c293938847a5682be97aca7449887f","datavalue":{"value":{"amount":"+0.8797404170036316","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":"Q801893$C8AECC69-1A2E-4BAA-A5F2-379A450AC602","rank":"normal"},{"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":"cd8596e0ac2a13ce09d50a299f7182f43dd9fe55","datavalue":{"value":{"amount":"+0.8702911138534546","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":"Q801893$10D004C9-8ACA-496C-BBC3-F2EBB013D68E","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":"46f1ddfe7848966b401b81e970a70eb5ab6889ef","datavalue":{"value":{"amount":"+0.8689650893211365","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":"Q801893$DC5DF0CD-E10D-4FE6-AAFF-6EEA58A386A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315eaeafdd361283d1d05820b5bbeba9530370c","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"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":"Q801893$6BFC13C1-5561-448F-AD57-7FFABB14C071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47ea99c5c5c04c9a31e0787dcd731a67128228e","datavalue":{"value":{"entity-type":"item","numeric-id":3740224,"id":"Q3740224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b859208c2eb46ba803ed3d26060df33a287e274b","datavalue":{"value":{"amount":"+0.8347956538200378","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":"Q801893$43E2D769-CEE1-4FB9-830D-788D333747AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:801893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:801893"}}}}}