{"entities":{"Q4899118":{"pageid":6928697,"ns":120,"title":"Item:Q4899118","lastrevid":98402891,"modified":"2026-06-05T17:26:08Z","type":"item","id":"Q4899118","labels":{"en":{"language":"en","value":"Probabilistic modal \\(\\mu\\)-calculus with independent product"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122246"}},"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":"Q4899118$E67EE837-8A3C-4D87-92B0-62D62F02E053","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df61e3452ebf3c6c1d687b8f35d2cbb03bed1704","datavalue":{"value":{"text":"Probabilistic modal {\\mu}-calculus with independent product","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899118$E28FA5C8-332B-470F-8059-36912C1AB30C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c1b5ac6703c0a5b7bdffe0aad4ccd4d96526b26","datavalue":{"value":"1261.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899118$2BE7FE32-A033-4E51-92DD-2E18DFC32D9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"902d7b9812aacdc7545fc0862f723047d4345454","datavalue":{"value":"10.2168/LMCS-8(4:18)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899118$AD834952-3038-4E1F-BE6D-F5D26D90FA86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"466f8d3b528aff7ffa9f33e27b9f8701a8563e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2289093,"id":"Q2289093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899118$E50300BF-A783-4985-9C62-9B8051E62A4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899118$71388931-7ED7-4FBC-B967-D89D3C4F29F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899118$F691FCCB-C922-430B-8741-5EBEE174DA69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899118$A1A5B3FC-F118-4110-B03D-FE35D27F2C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899118$EB9DC80E-C6E2-4AF1-82D5-EDCB021EE1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899118$739425E1-423C-4DF1-B686-CD20A76B1813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899118$057DE037-B43C-4F41-8744-1FEA3BCCC997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899118$36772C66-CF5A-4306-B4E4-C0D987002D67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be66894c82d8163e533c22195bf1a8b979aa173d","datavalue":{"value":"6122246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899118$DDE8EAB7-531D-4416-A246-6420393B880B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0f6d653a0f43d8025af1f0657b568c95c5fe15","datavalue":{"value":"probabilistic temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899118$C155D7AD-045D-46F3-92C0-94C374F6A063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899118$79BEE86A-70DC-43BE-A349-CF3F03B29C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc7c2a73bd7f2b072b0bfba0bfbd0b9598c6da09","datavalue":{"value":"two-player stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899118$727AEEB2-59F3-4F61-B381-725A48AEA4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70385047063e32e899a03bc21d34ece5ee0e5655","datavalue":{"value":"modal \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899118$A5CF5026-7098-41B9-93B6-372B96A45B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6adb3375356c6ee3503c328130015c13622190e","datavalue":{"value":"fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899118$AE8011BB-1F81-4966-A241-8C45D4F1270F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899118$1BC55FD9-FA80-4D55-A2B0-9C83B4031DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899118$6980E71B-6BB7-467A-9292-D2E941250C9F","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":"Q4899118$A8FD2D71-D787-49DF-9A9F-6A73371143DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad85cb1ad77a74346ae00786c4a62aa08df412b0","datavalue":{"value":"https://doi.org/10.2168/lmcs-8(4:18)2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899118$F163E06F-0D57-4880-829E-B425EA8838B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2afe1f66ef01bc69314442ee72b08292e6bf5d0c","datavalue":{"value":"W3103382047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899118$71D99F52-B105-45C5-80A7-3D4246761CC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd625feacf186c3c03590a86204d3dca9224aafb","datavalue":{"value":{"entity-type":"item","numeric-id":3000616,"id":"Q3000616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5da9cbe351b8365b09f61833358798ab0baa400","datavalue":{"value":{"amount":"+0.9491081833839417","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":"Q4899118$4C362260-1E45-4B1C-8736-5E07B07641F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a756620f44960eba8183f895ef2d17b2ad2e53","datavalue":{"value":{"entity-type":"item","numeric-id":2888508,"id":"Q2888508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa4c9ce7f0714c118472668d3c79075ba5fba0f","datavalue":{"value":{"amount":"+0.8653037548065186","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":"Q4899118$D699E884-DD28-4CAA-B3D7-D234B94D4B26","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":"7d42634f2705cf3ea8bf0b80ff4e86562a778a81","datavalue":{"value":{"amount":"+0.8387890458106995","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":"Q4899118$C85B4030-65F0-4EA3-B783-8CC06B32C218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6557d6216f1aad8b129721844a1e22f2f249388","datavalue":{"value":{"entity-type":"item","numeric-id":2954997,"id":"Q2954997"},"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":"Q4899118$B5FF3522-4948-45F4-9DCE-570775546FCF","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":"e1f6b265cbb75a24c9e4605eb70bf9d586f9ee29","datavalue":{"value":{"amount":"+0.8339629173278809","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":"Q4899118$4C4CBDA1-07AC-4C2A-A9D7-B2BF328127D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic modal \\(\\mu\\)-calculus with independent product","badges":[]}}}}}