{"entities":{"Q2920132":{"pageid":2930852,"ns":120,"title":"Item:Q2920132","lastrevid":51581228,"modified":"2026-01-18T21:34:04Z","type":"item","id":"Q2920132","labels":{"en":{"language":"en","value":"Verification and refutation of probabilistic specifications via games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098232"}},"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":"Q2920132$8E2F2D4C-BD04-4A6E-9BE5-4E00B561E625","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77ec12d2d07c440d501491b3c879af207507927b","datavalue":{"value":"1248.68333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920132$F77F8841-E26D-4326-8179-8F62628E29D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7898eaf5c3f2bbe387ace2a85be23baeabba4fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2920131,"id":"Q2920131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920132$44B1F3A6-ED8D-41F5-BA37-C97174BC0DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920132$37DEECA5-6F89-439F-929F-B8235E48F545","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ee92d50481ed05c06549abf63f6ece88b90dd74","datavalue":{"value":{"time":"+2012-10-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":"Q2920132$DDB55BE1-019F-43FD-9320-E031601B2B37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbda5778a3fc1b5a3db171ed59120d8487cc2196","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_2281.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920132$41240686-4473-460E-A91B-89A8C312727C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920132$BB04D31D-F22D-4433-A13B-064DFCDA419C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920132$80F5C97A-6695-4368-8CCC-ACB9BDF9C3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920132$9850D51C-5568-40B5-8F47-612007854AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920132$D673A8CF-CB23-45C1-B417-582ECB8882BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920132$85B6F38F-A7E8-44E6-BF05-003E9219D728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69ddc9e9756f20975a6d32acc587302439e1b9a2","datavalue":{"value":"6098232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920132$08CC40D3-0A3E-4754-9C90-D896BCCE8072","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920132$B51B9CF6-CA32-46CA-8C4C-6B9D0EE2EC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920132$AD76DD43-02A2-49EA-98B3-0EBFC2433BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15abb65768570b0bd5ef2859dc50a0f7664b2cb","datavalue":{"value":"abstraction preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920132$77DC6569-6E80-4C28-8B26-E2B0289DCDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30ec257bff6fb3f387eabbe6b7e2b0df0c7e0663","datavalue":{"value":"stochastic two-player games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920132$971EACB0-8E71-4124-9F4A-8C6EEC21819A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920132$5421E0AA-D1CC-4F27-B85F-410CF8BCECFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920132$9537D4FD-EF86-4315-A014-4E7E1686AB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920132$3FEDD8B3-141E-4095-B5E4-CD42350F66E1","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":"Q2920132$3133CC06-8A4D-4089-9326-5C529C0B920E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81a3030f3de260663da7e996566c47976d185c94","datavalue":{"value":"W1586832890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920132$FE518FA7-8DAA-4EF3-8E0A-A6B3F9C8A864","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e081eb53a93525ba27aebf3dfa05529ccb321d8a","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2009.2323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920132$2215BE51-EBB9-4BBD-86F4-ED04E72DEF5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9df4b9d507058fb502aee454f1c68d1c8967068a","datavalue":{"value":{"text":"Verification and refutation of probabilistic specifications via games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920132$C63540A9-4A5D-4CBC-975D-BEC357E3C6E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5f9509174b63563bc2af3b3ec3f972ee3a77bc","datavalue":{"value":{"entity-type":"item","numeric-id":600979,"id":"Q600979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202a772201c6b4d969ac79e3dba5a27550afe2e6","datavalue":{"value":{"amount":"+0.8819956183433533","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":"Q2920132$A70FC272-B30E-4D11-816C-47A943A254D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a55267f8829b9068a8f8e7bfcc6ce087b0210d9","datavalue":{"value":{"entity-type":"item","numeric-id":5415661,"id":"Q5415661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0279910c1d0c379ebb484aa511e3f7039e1c4bf2","datavalue":{"value":{"amount":"+0.8291307687759399","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":"Q2920132$07B31EAD-0FCF-469D-86CA-0ED057098860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64746e97f601930480a06a6d9121fb2ea4a98bd1","datavalue":{"value":{"entity-type":"item","numeric-id":4813201,"id":"Q4813201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575d107b2292f5ad33ea9994c3c3ed4489845843","datavalue":{"value":{"amount":"+0.8076911568641663","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":"Q2920132$1992F719-B03E-4D1F-A114-1FCA2DD4A578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ad0236e1122565125d0f3833c118c3574a4192","datavalue":{"value":{"entity-type":"item","numeric-id":5217312,"id":"Q5217312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd61ab6429dea930932aad769cea5d49e53b2f7","datavalue":{"value":{"amount":"+0.8073241710662842","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":"Q2920132$87C246D4-662C-42EF-A394-F904323B9C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fabffb97414819dfa09f8d83abf23af76d0943c","datavalue":{"value":{"entity-type":"item","numeric-id":3600474,"id":"Q3600474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4635dfc6557a5d5c5e025c0541ca386ce1bd0eb0","datavalue":{"value":{"amount":"+0.8003563284873962","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":"Q2920132$2BB8C550-4CA6-49BE-BB2F-1DB08074D37B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2920132","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2920132"}}}}}