{"entities":{"Q5941205":{"pageid":8118007,"ns":120,"title":"Item:Q5941205","lastrevid":47658580,"modified":"2026-01-02T08:54:01Z","type":"item","id":"Q5941205","labels":{"en":{"language":"en","value":"On model checking for the \\(\\mu\\)-calculus and its fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635370"}},"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":"Q5941205$38D87144-6800-435E-BED1-3104569E47CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c68b08ff7ac6f3c42d88bfa16638c8ff9f9d0abb","datavalue":{"value":{"text":"On model checking for the \\(\\mu\\)-calculus and its fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941205$338F0F12-96D6-4AB4-A1FA-928B34F48D03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d30ff876f909b042310d1e8535301792a9ab9c00","datavalue":{"value":"0973.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941205$5248DBDC-98BD-431D-BB38-48E1DBA68E08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0152b2ea3cc0013d369aff265e6ace328d4e332","datavalue":{"value":"10.1016/S0304-3975(00)00034-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941205$4921C26B-BAE2-4F9A-A146-6F83D41350F2","rank":"normal"}],"P16":[{"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":"Q5941205$ACAFA3EF-9D83-43C7-8ACC-2CBC5C7C7342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc837c02444940ab2cc4ed02c866bd11d454b3ae","datavalue":{"value":{"entity-type":"item","numeric-id":1021242,"id":"Q1021242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941205$43C2E9B6-04FC-48D3-9B2D-45C51086CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"915fe2271680029c92c89bfe53140a1b9f9036f5","datavalue":{"value":{"entity-type":"item","numeric-id":198033,"id":"Q198033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941205$FEFE8DDF-B8D5-476C-A50B-3E80B6374C85","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":"Q5941205$F52A2545-4EE5-429C-B3A8-D5F41C1827B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-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":"Q5941205$B05E610F-874B-4FAB-8386-975A3AC7C544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941205$6420FC49-44CF-475A-B52E-C2F3FBF94059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941205$FEEE0046-6F37-45BB-930D-855F01135959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"921b31d886f0eb60cd7a0f95ab1ca4dfe74b0ebc","datavalue":{"value":"1635370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941205$BAF125FC-980A-44C2-B16B-55FB7AE3B659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941205$C90C3E51-3205-4F5F-91F3-19EB6B7AFE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941205$C59F2B6F-BD20-4A27-AC21-4A40BC683913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941205$C095A92B-B730-4C45-9628-39B97237EFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941205$C9589864-1B4C-4C7F-9175-7560A8438326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941205$CEA5F5C0-6960-4411-B2A7-35F9555FB2C9","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":"Q5941205$A5266E3B-DA4D-4853-BD8C-8BDF18EE02F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941205$58EAB40A-0AD9-45BD-AFDC-878F178B38FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941205$8FA4F8CB-097E-408C-91A2-16DAEE234719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2131bba6823415273c7be26dbfb27eedbb2100","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941205$71BB98A0-0E30-4BF6-BA5E-E1CC6078D426","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":"Q5941205$29D2202B-B715-419B-9C01-B319B560DABA","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":"Q5941205$2F011D93-CBF5-49A3-B901-453F2674CC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941205$9971BEAC-B7AB-4BF1-B1A5-2DB16CFE830C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941205$135C5F06-5F59-4B04-BC41-2AC185C5055B","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":"Q5941205$5BDE4A36-E35D-48AF-966C-7489437E0188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7d501eca45f4e70219630914fce9c6989711b2","datavalue":{"value":{"entity-type":"item","numeric-id":3753490,"id":"Q3753490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941205$17F626CC-5270-4D9B-8A11-B5AE600B83C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941205$9A4BB312-6BBD-47CA-992A-050CC5AF496E","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":"Q5941205$35D83CCD-5575-4C48-92EC-BC587477AD94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2956fdbf6b9fcf8edd28d13b2ec4e522c0111475","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00034-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941205$68942253-64FB-45CE-82B7-666A4BDCF2EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da9b004e966fa9676dcabfad9dcada3837eb3167","datavalue":{"value":"W1974206804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941205$5EEFA00F-D41A-41E0-A55B-C6FBBBE84FBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44999439e2e30d077c5c9e9e2363fee856cf2c04","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c9c1c046ca9547d16cb535fabba1b25c086d21","datavalue":{"value":{"amount":"+0.8614356517791748","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":"Q5941205$2F09E814-2A05-4DA3-A72F-DD1872EB22D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced5cf362612d739247ae3bb9153bb0331ee7774","datavalue":{"value":{"entity-type":"item","numeric-id":2368950,"id":"Q2368950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70d8709506ab4351b57a2bdbd4ec74be8c2e08a","datavalue":{"value":{"amount":"+0.8522597551345825","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":"Q5941205$7305DB38-3B7E-4764-9893-C0EA8F2CC865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79867a1e4b55c65803ebd525753ff6dd57053591","datavalue":{"value":{"entity-type":"item","numeric-id":1045942,"id":"Q1045942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1f5e4f83620c35cb153507ec6889c61d65d05f","datavalue":{"value":{"amount":"+0.8484072685241699","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":"Q5941205$6BB34230-C651-4550-9785-2E921A1B3173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02cda41305cc32a73f956d4c667e6a100a369e94","datavalue":{"value":{"entity-type":"item","numeric-id":4417913,"id":"Q4417913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e3fc54c9a00b43b7a093b56739f87a51da20f9","datavalue":{"value":{"amount":"+0.8482679128646851","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":"Q5941205$5A91C41F-4AAC-4D3D-A33C-7EB0161CB6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72396323dbdd9c69282bf2abc5fbb38d76ed6cdc","datavalue":{"value":{"amount":"+0.8369631171226501","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":"Q5941205$2B860CB9-5BC7-4FFC-B20C-40FDCBFC02FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941205"}}}}}