{"entities":{"Q2888508":{"pageid":2899233,"ns":120,"title":"Item:Q2888508","lastrevid":58039608,"modified":"2026-04-03T13:47:46Z","type":"item","id":"Q2888508","labels":{"en":{"language":"en","value":"On the equivalence of game and denotational semantics for the probabilistic \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040185"}},"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":"Q2888508$00FB1634-C8DC-494A-8368-9F81FBEB2C35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d77825119bb38adfc803278391ba2071e91fab7","datavalue":{"value":"1238.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888508$6679B145-C2A7-41E0-A1FA-D728392712D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20894e7c9c2fdca4c4f9fa6e2c0239ce8de78033","datavalue":{"value":"10.2168/LMCS-8(2:7)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888508$2439CE54-4E8F-4BF1-846F-0EA954BA84C0","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":"Q2888508$5CC84799-053B-4A1F-86B0-935164F6BA52","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":"Q2888508$D7808FC5-5462-47CE-A7CB-62930613E75A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888508$63263541-474A-40F5-A747-21FA0C3780C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c02fed88c4c38eba89693fbe834d11f2e72a644","datavalue":{"value":"https://arxiv.org/abs/1205.0126","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888508$ABDE0D9C-BCDC-492B-9AA3-2A58B69E5E2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888508$D8223AD9-C7C3-40CB-BA8D-FE6D9533AC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888508$1013D31F-1CC8-4A87-BC76-51CE43C59E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888508$94AC1C96-DA4D-48B7-932C-9F87B45A4F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888508$2FB3EF03-561A-4A51-BB44-3669CC69D9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888508$FA90D256-D190-4521-BF9D-6CD8160D57A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f5f776ffd7d34f97ed6ad67205e657b367b14a7","datavalue":{"value":"6040185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888508$654DCAD2-939B-4310-BB52-8A5940841811","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0f6d653a0f43d8025af1f0657b568c95c5fe15","datavalue":{"value":"probabilistic temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888508$A2F62529-0C21-42C5-85A4-EBF538115CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888508$FB0C5591-AEC9-4CEE-9E8F-94240340DE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc7c2a73bd7f2b072b0bfba0bfbd0b9598c6da09","datavalue":{"value":"two-player stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888508$A6D52F66-836B-43EA-BB28-6CA3427EEEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70385047063e32e899a03bc21d34ece5ee0e5655","datavalue":{"value":"modal \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888508$ED2DF4E7-2E35-4AE7-BB98-0F53E01A12BC","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":"Q2888508$1772DD97-768E-430E-A3F3-0E9639F354C8","rank":"normal"}],"P1643":[{"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":"67a5faa5b78ad94d6c74819644cc9b69f6d70cc6","datavalue":{"value":{"amount":"+0.8947931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888508$5DF2B99C-9C77-4315-8254-26498C621FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da50332ac96ceed5fb3d8898fab5ba628625f46","datavalue":{"value":{"entity-type":"item","numeric-id":5738959,"id":"Q5738959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a114dbb7ca3906a1cdf2a3e7a2f9fbb4860bbc","datavalue":{"value":{"amount":"+0.889068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888508$8AF9DE5D-182A-48C1-BF89-4B73CCF0C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6c0057ff1fe988d661c37c650606c2c1b0740f","datavalue":{"value":{"entity-type":"item","numeric-id":5021004,"id":"Q5021004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998ca353fa6d2aa7cf3faaf0b1f757cfddf10b83","datavalue":{"value":{"amount":"+0.88831204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888508$11DFD85D-DD10-4136-B2DA-B9952458859E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c1fa53d546ae1ec4423217b710326e5d002f6b","datavalue":{"value":{"entity-type":"item","numeric-id":2105468,"id":"Q2105468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f784e9ab1b81177305ccc3304a562ead9df9ced","datavalue":{"value":{"amount":"+0.88799965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888508$04DD4D6C-6C3A-4980-A490-DE2115860D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0e32a8a8e2502e6fccf68ee38881f1e0518d0f","datavalue":{"value":{"entity-type":"item","numeric-id":2289094,"id":"Q2289094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0748a526530785b88ced9966ba1ccc70f1c6d57a","datavalue":{"value":{"amount":"+0.8852721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888508$D70A1901-AAB1-4F4A-9AF7-63F439F3FB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53950197204c384889877b0f46c1f2c8d1c1165e","datavalue":{"value":{"entity-type":"item","numeric-id":5145294,"id":"Q5145294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a348fb0ef5beff1bf736f4f5891512cbf911fbf","datavalue":{"value":{"amount":"+0.88263786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888508$6D9EDEDC-A8F6-49BC-8E0C-EA96F17D26BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab4fd71ad51ac082fbb6f91bbebab080cc6650c","datavalue":{"value":{"entity-type":"item","numeric-id":1675793,"id":"Q1675793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16a604ea30b49e60c00261a350fa289d3a423bb","datavalue":{"value":{"amount":"+0.88084996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888508$678F9B9F-B740-4C13-A8EE-F58A5FC68160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a9fb83562b85ff6e77f6860172eb55520c0b49","datavalue":{"value":{"entity-type":"item","numeric-id":2399249,"id":"Q2399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690f0e684d8c227cbf38d3b73fdb250d29bd86e0","datavalue":{"value":{"amount":"+0.880582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888508$174AA827-7EA1-4B2C-93AD-8C57ED5C99DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade5bf4d76fbd0e376b47448f793f09e728564d2","datavalue":{"value":{"entity-type":"item","numeric-id":4411813,"id":"Q4411813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0ac4c328836dd9960f2094da8c3e1e348651cf","datavalue":{"value":{"amount":"+0.8801992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888508$4A2F5F8D-B013-4565-8A82-336DA70DCAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0551b67b13072d28730c735a4eccadb8803fe2f","datavalue":{"value":{"entity-type":"item","numeric-id":3460615,"id":"Q3460615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061a0283dcad94f56d850798fd8f470ae4d45203","datavalue":{"value":{"amount":"+0.8784222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2888508$22F002F6-4119-4F5F-963F-1789B1973C8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34809b3173536b600702233263c932373b5bd045","datavalue":{"value":{"text":"On the equivalence of game and denotational semantics for the probabilistic \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888508$BD3A1C6F-976D-4D63-884F-9624E57C1293","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2888508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2888508"}}}}}