{"entities":{"Q2841958":{"pageid":2852678,"ns":120,"title":"Item:Q2841958","lastrevid":51784730,"modified":"2026-01-20T00:46:16Z","type":"item","id":"Q2841958","labels":{"en":{"language":"en","value":"On modal \\(\\mu \\)-calculus in \\(S5\\) and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6192809"}},"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":"Q2841958$9259BEE5-F0EC-4C2C-ACFF-524C635461BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eec2ab27d2bb404eeb6da912bd6f7cf662689126","datavalue":{"value":"1284.68391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841958$78D3DF70-4B17-4476-8FB9-6608E2B175F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4f32948672f9df6af58898e317c4432e5d7add3","datavalue":{"value":"10.3233/FI-2013-844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841958$C1FF6768-C471-4FCF-B820-67B44BE65969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841958$849F5E45-0037-4313-8829-A3371248E7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841958$8E9BF4B1-8501-4606-A136-B6698826E5C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841958$7B59C285-71FB-416F-B53E-C3022898A2FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c86eeb1cf1b5bc0e7bda48e7a87fbb18b6ccc2d0","datavalue":{"value":{"time":"+2013-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841958$2A71BC7A-66CA-49AC-AE80-EF1FFAC23038","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841958$0158E769-EF6B-48C7-9794-D34CE8E56984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841958$27275579-2A09-43C9-BCFB-E826ADCFAAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841958$E1C5F4BB-81B4-4A1A-A514-BE0605AACD80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bbb55e57ec7f99bd06216b71a9b09f5a25ae5fc","datavalue":{"value":"6192809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841958$69DFF565-62F7-4B32-A85B-4D0FAE93C6C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d447f9768601bd14dd8860f60bde13615efdf522","datavalue":{"value":"\\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841958$41961A6A-1C80-4D45-885A-468E8AB9E8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841958$F60AAF5C-A2C0-49D0-A5FF-B26A75D6BF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841958$FF26E438-E655-44AB-B5A8-A09A7E9E3E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5f0547dbae7359ca38d7c93ab723a93ea92185a","datavalue":{"value":"\\(S5\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841958$1FCBFAAA-5016-41BA-8CE9-3EC03C0C4EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841958$7548D8A2-E609-4826-A2B9-52A5F973167A","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":"Q2841958$25599A1D-0300-40E4-BFEA-2907D27D1D90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e436f6611570ac4d4284a363d10b093d0b604cb","datavalue":{"value":"https://doi.org/10.3233/fi-2013-844","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841958$D733B102-4BC2-4196-B42F-2A1A4CE53593","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37b56f3e2c27ed4cd81262090493e41a52769959","datavalue":{"value":"W1599832610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841958$779E7749-2FC7-4505-BE0A-759B0B5A8991","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30e48e9ba7c3df675cd5abb596632da31073658b","datavalue":{"value":{"text":"On modal \\(\\mu \\)-calculus in \\(S5\\) and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841958$D34A6DE2-75AD-43F1-8CFE-B54E0667BBFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4abb079d9008f6a66be199478d5e07bda28a079","datavalue":{"value":{"entity-type":"item","numeric-id":3454725,"id":"Q3454725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbb697998b5f3b06bcda11d1c698772bda558ab","datavalue":{"value":{"amount":"+0.838108479976654","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":"Q2841958$F217BDCC-5D90-4C2A-98CA-9FAE9C0E73DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321a162f15494b7e79d442d0f154a127773a86c8","datavalue":{"value":{"entity-type":"item","numeric-id":5151000,"id":"Q5151000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f815ed47cfd82027c5b23de505c98772dd9ee2db","datavalue":{"value":{"amount":"+0.8031140565872192","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":"Q2841958$804C63ED-0EC7-40D0-B13B-332CE8ADD75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e0d17050f52afbcebc05fb6e2dc95eec60aae6","datavalue":{"value":{"entity-type":"item","numeric-id":3656762,"id":"Q3656762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e5bd19044cb0b2d9b3a8c4ed869bd9537356b3","datavalue":{"value":{"amount":"+0.8016622066497803","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":"Q2841958$139BE255-A593-4364-8EED-3721A5CB6E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e792b64248599fee99b1f1bb0e9d143da60f597","datavalue":{"value":{"entity-type":"item","numeric-id":5300576,"id":"Q5300576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc19f887e0c3c5fe9928813a002ae9e6d64f640","datavalue":{"value":{"amount":"+0.7970504760742188","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":"Q2841958$87413CD6-0D6A-451F-A6BA-4C01DE239B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57df6c4616ac1c1e21409daa50b938d22cdce121","datavalue":{"value":{"entity-type":"item","numeric-id":1433941,"id":"Q1433941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c5287d538d09249cafa48151360bb8003bc49c","datavalue":{"value":{"amount":"+0.7955327033996582","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":"Q2841958$C85A8EDD-D1BC-4E74-A8AA-6CDAD9ACB60D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841958"}}}}}