{"entities":{"Q2954997":{"pageid":2965717,"ns":120,"title":"Item:Q2954997","lastrevid":52727771,"modified":"2026-01-23T09:12:53Z","type":"item","id":"Q2954997","labels":{"en":{"language":"en","value":"Tractable probabilistic \\(\\mu\\)-calculus that expresses probabilistic temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6677396"}},"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":"Q2954997$03DDD793-EBDD-4392-9D3E-94FF51E0FB3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd18eb6cb5cb128b36771996129f4160998f3878","datavalue":{"value":"1355.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954997$4776C260-E3FA-4159-8595-F4E431494245","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2954997$DEE8DA5A-CFA4-45F7-9073-D1F67DD59DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"528d9c27031cd74c75afc771988e1401cf926ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2954996,"id":"Q2954996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2954997$FEB9F856-9249-4B0C-8755-0645D8B84922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2954997$8254B2F1-E880-428A-8A13-EC1B7BDE4DD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39f74c103b9f673f455dbf7eb78fc5dbb359512b","datavalue":{"value":{"time":"+2017-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2954997$983B0B56-0DE6-4CBE-8B68-FF366A319FD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954997$4FAD47B2-18AE-4358-8CA3-FAFC0F0FBE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954997$50CBA696-731C-48A1-BA24-7E4A2492982D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6bc37f1127a69721ff8a95ad12f3a838628c1c5","datavalue":{"value":"6677396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954997$07C9DAD9-E1E9-4EC5-8FDB-74133808549C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954997$2C7B39B4-7D99-48E7-9A66-2E35045419CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c6119e7186c29579a628e010bec9283ea82623e","datavalue":{"value":"probabilistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954997$B1C0C28A-BF04-4293-A2C6-778146EC2D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954997$ED879526-BD8A-4712-8628-19D1F678B5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2954997$84E7E668-B4A7-4D51-8672-49CBA8A8EFEC","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":"Q2954997$953C230F-3FC2-450B-945B-716CEA3C53AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"832fd1ba4c28ff86ff4c0ce8839b01f47c72a2ee","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2015/4915/pdf/15.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2954997$887F3092-FD15-4B20-A565-5472FD56224C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45c68788670352d32b2ed39fef4ef8c777edb52e","datavalue":{"value":"W1597006399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954997$68BE7A6D-0A70-45EC-BBB6-B43E39209152","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ad8d4b34ce87dcae420bee0b1b39424e1491038","datavalue":{"value":{"text":"Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2954997$CB72C385-BBA5-412B-9CAE-A8A19631B59E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"058e1f161d1590e04a42fd6c126acfa8234aec90","datavalue":{"value":"10.4230/LIPICS.STACS.2015.211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2954997$0C0241EE-222F-4DCA-9532-42D85EAD538E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74a710b987fd64faf47e3772df9e8f8bf5842dd","datavalue":{"value":{"entity-type":"item","numeric-id":4899118,"id":"Q4899118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94642d9c7d0ba5b715507b1294541a59da66b150","datavalue":{"value":{"amount":"+0.8346951603889465","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":"Q2954997$C79F1BF4-21C1-422F-9844-8D66EA5E18F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd84ef57146bbcbaec7861a27239929cf50f467c","datavalue":{"value":{"entity-type":"item","numeric-id":4260713,"id":"Q4260713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8253e26be2f073ed767e7c9f0bb2db13c05f92","datavalue":{"value":{"amount":"+0.8328934907913208","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":"Q2954997$C497F07C-B119-4FC3-B292-7EA8A900C375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4da678be00c6bfebc03980ed713f507fda34baa","datavalue":{"value":{"entity-type":"item","numeric-id":2566296,"id":"Q2566296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a33775d8d74f5d717ef206870bad579b3c7dc6","datavalue":{"value":{"amount":"+0.8268897533416748","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":"Q2954997$0F967415-7AC3-4EFE-8CDF-00828C5A1920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14b2781cf53a32ff1483b07c1a973e84c072a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4636572,"id":"Q4636572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687707abd13605b018711076d0d24a969a7a0f50","datavalue":{"value":{"amount":"+0.8166155815124512","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":"Q2954997$ECA15B1A-1607-48C3-80FA-C7BB7B550081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48d73dc5dfe8627272d0137e48eaa37182eb5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4992900,"id":"Q4992900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fadc97279099b3b022948dcc7018f7553d7c14","datavalue":{"value":{"amount":"+0.8082826733589172","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":"Q2954997$F5AC0965-953A-4B7C-87E9-B54934C167DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2954997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2954997"}}}}}