{"entities":{"Q6136744":{"pageid":13271051,"ns":120,"title":"Item:Q6136744","lastrevid":47890633,"modified":"2026-01-03T00:11:37Z","type":"item","id":"Q6136744","labels":{"en":{"language":"en","value":"A Debugging Game for Probabilistic Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7732881"}},"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":"Q6136744$EC088414-2AD7-4A74-B00F-54DE8664C19D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70ed338433949dc59a009fb47603db4826f70f9d","datavalue":{"value":{"text":"A Debugging Game for Probabilistic Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6136744$5E417E28-4069-4A3C-86AA-45A7385EA3F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd200ba8ae1fb79bf865db69ec9585042e748f47","datavalue":{"value":"1522.68308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136744$90D2864D-97E0-4223-8416-39D8C3748EDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff5e464454998fe1f17d406f50cb04874f755224","datavalue":{"value":"10.1145/3536429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136744$F6BEA965-CD79-4E07-A02A-D687201202D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a118a12ad6b90e7aae006cfebc755feffe14d00","datavalue":{"value":{"entity-type":"item","numeric-id":6136743,"id":"Q6136743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136744$BDE243A3-143B-4960-83F7-EFA9DBB04638","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6136744$99734609-5FA1-49D7-92DD-7BEA06AAE3AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ed1b97c874aa96cebcf9bd9f2d490f4bcf42073","datavalue":{"value":{"time":"+2023-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6136744$A18741C5-FADE-42EB-A193-C8394CAA23A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136744$AEEE2FB4-1E5D-4D02-99A4-023830D66F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136744$74B58A91-6A24-458E-9AD1-2BE308B74099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136744$F36E912E-9125-4BF2-84A3-CF6237007D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136744$E185B27B-DF5F-45F7-84BD-B92192FC723D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d18a724254ca869461e87eca0dca9401ad3ee756","datavalue":{"value":"7732881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136744$E5B53A76-841A-496B-AB95-51DBEF622EBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136744$548AB747-C482-46CB-9CE4-F4C7D92F9F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"043d1dc327b34baf407b351491a79338535384fe","datavalue":{"value":"probabilistic counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136744$6742C352-187D-40A9-A6A9-9EC5DEA91AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136744$E6107696-D42A-4425-A89A-268C6E754E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f993c3800a604c1a6a8399ee198a430237187fba","datavalue":{"value":"PRISM","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136744$6C3DFFCA-4E75-45D0-BEF4-1AAC9635B1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5946a51a5884d5e86db7472d96ff43e6ea9b65f","datavalue":{"value":"stochastic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136744$CC5235F5-D4F6-4B7F-A0B4-A3CDE0B021C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c973f8c4ff0aafd5a38f067c67376a15b02bb056","datavalue":{"value":"Markov models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6136744$85410FCF-4765-4D92-A020-0E46988409AA","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":"Q6136744$E3454618-739C-4034-9599-AEA151827AE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68051faae0793731cc04784ccaed8ea4fce2cb74","datavalue":{"value":"https://doi.org/10.1145/3536429","type":"string"},"datatype":"url"},"type":"statement","id":"Q6136744$24B0BDEC-FF8D-4640-BD96-D7BDAFF02E5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f360cd4519afcfc67e84130f56f070bf99a5f632","datavalue":{"value":"W4280578878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6136744$E7E62BD7-9DF1-47B4-B817-4BA78B7C2B41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331a78c998c85878ef9877d179957ccc909188ae","datavalue":{"value":{"entity-type":"item","numeric-id":6488104,"id":"Q6488104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ced465ff1d29347cf7546bee99355578a38fad","datavalue":{"value":{"amount":"+0.910030961036682","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":"Q6136744$66116136-05D0-4F9B-9B09-CF567D0BB52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88588e1a209074957349e227877fece3ea856fb","datavalue":{"value":{"entity-type":"item","numeric-id":3457786,"id":"Q3457786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa2657bafea118b0292c8742c9363b1cd159711","datavalue":{"value":{"amount":"+0.8157738447189331","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":"Q6136744$6296F12F-B145-454F-9866-9FEBE582481C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bf5bd1dbf34c3dcac4bc791597c825db13f6b6","datavalue":{"value":{"entity-type":"item","numeric-id":3184702,"id":"Q3184702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09594b4ad4760a1ea6ba9d12b68a376e8ceff939","datavalue":{"value":{"amount":"+0.789005696773529","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":"Q6136744$8BDC9E5F-13A6-416D-8143-6FA6315099D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff46f45ee151efcabf95a53dee8f1b1163eb3008","datavalue":{"value":{"entity-type":"item","numeric-id":5246720,"id":"Q5246720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f3f538ea35081fdbaddf3b1e0578bb1fbbade6","datavalue":{"value":{"amount":"+0.784006655216217","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":"Q6136744$334238BA-C8BF-4792-8F50-8D9B244FFEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca4cf07011724ca25b90d22378bf37771d4700c","datavalue":{"value":{"entity-type":"item","numeric-id":2093147,"id":"Q2093147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b29e6f38fce13b43a6471b33ea1f069232b1f7","datavalue":{"value":{"amount":"+0.7679124474525452","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":"Q6136744$B183FEE3-C93B-4A11-8D80-63247D37ECED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6136744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6136744"}}}}}