{"entities":{"Q1276239":{"pageid":1286989,"ns":120,"title":"Item:Q1276239","lastrevid":46617417,"modified":"2025-12-25T05:57:04Z","type":"item","id":"Q1276239","labels":{"en":{"language":"en","value":"The modal mu-calculus alternation hierarchy is strict"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243205"}},"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":"Q1276239$E348C4E8-854F-4138-B461-A3DB4CA7DA43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"321d3ea3a2287dcb21537020cf7e025d97a0fed3","datavalue":{"value":{"text":"The modal mu-calculus alternation hierarchy is strict","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276239$B9E6429D-E776-4597-9F0E-44F7A718D319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c9219b30eb4dfb182c1ebaa23854f9ef9f3e685","datavalue":{"value":"0915.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276239$5075055B-B8E8-4862-88CC-D08799566FD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a035783afc0dc0d80aa564725f601d12d2d96b05","datavalue":{"value":"10.1016/S0304-3975(97)00217-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276239$F127D0A8-CE4F-4082-8CBE-93413A3ED6D1","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":"Q1276239$90A6E86C-7F59-4E1C-AFCA-DEC6565CA78C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3982b5f77dc5c227727508ef0e6c502c1b3502ba","datavalue":{"value":{"time":"+1999-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1276239$3407B5C7-A2F2-4014-99EB-256A0AAE904B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276239$DEED128D-C11A-4E21-A7B4-2D567AA857D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"730619f41b74af29cd529fe050bd25ac978b0551","datavalue":{"value":"1243205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276239$5003B298-098F-4586-9DBD-D9760DEF71D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276239$437A168A-7295-47B1-B416-7FEC016A4FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276239$5FC4EB8C-535A-48B7-8300-D9FF1CF6D0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276239$864A6685-1218-4B3A-B2A2-D24A7AB93B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085ef413298529287aada489e73f3fd01de600da","datavalue":{"value":"alternation hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276239$6CDB7136-AE2A-4608-912D-0EBD24F43302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8185585ef242eb74c599799252e09fd3a4c9df73","datavalue":{"value":"fixpoint properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276239$46AEBF30-FEF3-4D83-9F44-61CC904C4A05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$85AA8F63-CA2B-4C2F-982F-599729931A16","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":"Q1276239$B87A0C75-B4D9-4719-888D-2B343DA1813F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62dc119d1fc4fbffa3a21100d918912888c55175","datavalue":{"value":{"entity-type":"item","numeric-id":5753528,"id":"Q5753528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$81862B60-5195-40BC-B9DE-2FFD2B00E5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$6539A263-C3F6-408F-84FE-3B487420DDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0c19fa5bbd98e1c9915eefadfb586ac1b37fcc","datavalue":{"value":{"entity-type":"item","numeric-id":799361,"id":"Q799361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$D2A1267C-1098-49B5-93A5-C24D3BBCB386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d607f75ee60e74d5b0d2a5c32f6dbeb202dc480","datavalue":{"value":{"entity-type":"item","numeric-id":4593954,"id":"Q4593954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$91CE7C3A-5CC7-4C76-B71E-7F9DB44A2CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$FB052244-8142-4587-BCDE-A944FBD00F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$42C0EA5E-729A-4A0F-8F07-AB9BD68B0B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fed9cf15ee0945976ffaf4ac5d5f4bc0454fa5","datavalue":{"value":{"entity-type":"item","numeric-id":1349728,"id":"Q1349728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$CB3D0492-5DC4-4228-AAED-444E203DC8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$4D6C30E5-F2CC-4078-AF33-337CDEFA3CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$E270DD32-098E-4346-8425-4470B8520648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa853dc52082146519bcf70a82325d270f5956a4","datavalue":{"value":{"entity-type":"item","numeric-id":4818826,"id":"Q4818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$C220DB2A-861D-44D5-95A2-8B1C8D3F9182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fca1acefb6ba720094148c13794011a516402df","datavalue":{"value":{"entity-type":"item","numeric-id":1391536,"id":"Q1391536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$A563CCFE-1E54-42E3-B74C-1E408EAE8210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd0e14918e109d02c7e38920be6745b2bb40969","datavalue":{"value":{"entity-type":"item","numeric-id":5287693,"id":"Q5287693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$BB3BE333-474F-466E-9A47-51AD4DE523AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$9741B29E-6EC1-47AF-916C-69FAB5126F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$EEEAEF37-FE6C-4153-9038-3F6126953B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$E6E0E1AF-DE79-4E63-A01D-5F059F88BA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df365e2750bcc90fe63e52a82b25a29336cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":4079598,"id":"Q4079598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$ACAE897B-39B2-4479-AC98-C6045DECD7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276239$01B0FC5E-15DF-4ABC-A661-3F61821B8A3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e46850c67de63965207376a2071fa4f941b77f6","datavalue":{"value":{"entity-type":"item","numeric-id":6104376,"id":"Q6104376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698d34177470810f2aeb6f8cee8d41172df0119d","datavalue":{"value":{"amount":"+0.999698281288147","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":"Q1276239$03F4CFAC-D280-44B1-9958-A83CD0F2C0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a62eb90c970836fde89637acbad581b0274865a","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79722ade3bd201361aa27987dcc8ec7a2502e5cd","datavalue":{"value":{"amount":"+0.8350473046302795","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":"Q1276239$FF786D89-2845-4F40-BF4C-6095253E78DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f43600c7ca878f3eee91bce418037d187d16583","datavalue":{"value":{"entity-type":"item","numeric-id":477204,"id":"Q477204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f791435f11c5d2e49436301fb9ddb07ff96f8e","datavalue":{"value":{"amount":"+0.8253719806671143","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":"Q1276239$D8657738-25C5-4AA9-AABB-D5DA38CA72D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936c00b110d083fe18b85a9e15a0981c697e397d","datavalue":{"value":{"entity-type":"item","numeric-id":4381381,"id":"Q4381381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0055958f1157789025f193699d5191c474f2ea","datavalue":{"value":{"amount":"+0.8208538889884949","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":"Q1276239$7478DA78-E463-46D3-A30B-6E11BEB35C60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1276239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1276239"}}}}}