{"entities":{"Q5326324":{"pageid":7355898,"ns":120,"title":"Item:Q5326324","lastrevid":51790430,"modified":"2026-01-20T01:30:15Z","type":"item","id":"Q5326324","labels":{"en":{"language":"en","value":"PRISM-games: a model checker for stochastic multi-player games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194834"}},"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":"Q5326324$876D228D-323C-40CB-95D3-B8C960779BCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"601a35f2c06a357fe681ce4a3f4d912ac018140b","datavalue":{"value":{"text":"PRISM-games: A Model Checker for Stochastic Multi-Player Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326324$5F958D55-2E34-4AB5-B135-0A2D82C03653","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f0b941d1e6d8771cca537a05bc4941e72db5c1d","datavalue":{"value":"1381.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326324$1D64F4F4-688C-4F67-912D-5315ECFA660B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f966bed598c8f81f5c4008ca8b6db3b93ca2aa39","datavalue":{"value":"10.1007/978-3-642-36742-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326324$32371CFD-16FF-4688-99C9-C65C1BDC74EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326324$8E6144D1-480A-4BDF-AF94-251BD170714C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326324$73406C1B-7305-4105-AF5E-76BA18F45823","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326324$8CEC8B39-C656-456A-92BE-9B194440093A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326324$558C5B6A-68CF-4D65-999E-B1147832318B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"410dbaa73c02e2bd5fbd3c00164dc18b5e93e8cc","datavalue":{"value":"91A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326324$FD152257-A3B0-4785-92F4-4EAA56FC277F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326324$C881E747-1C8B-4848-B077-CA0ABC98513F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdf05aea969769d5f77aec15e6dfbfbf5307f4bc","datavalue":{"value":"6194834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326324$E3103FFA-7077-4DCF-9A92-121071CE8B03","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326324$9D7F8EC2-C42A-45C8-B749-DA6185FDFFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326324$D1FCC8DA-1338-4AC3-8FA5-71828B58C99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326324$B4FFDFA0-BE5C-4825-9102-B85EB72C0330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ba22383a5821fcf1f9cded23d05de61e22786531","datavalue":{"value":{"entity-type":"item","numeric-id":21753,"id":"Q21753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326324$53B09AC8-4B2D-419A-8558-2413367E0ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34aa41cc588a03d8174545e805fc9cc969937f8a","datavalue":{"value":{"entity-type":"item","numeric-id":21855,"id":"Q21855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326324$0C5C2DC9-E6B0-459A-9381-459124F11D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c78c15211c2ed190a323edf74a43a39941ce473","datavalue":{"value":{"entity-type":"item","numeric-id":24836,"id":"Q24836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326324$A250B1FB-A9C9-42D7-AD33-ABEE648DF9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2175fca53247bd197da19e8379fa9dd57459beb","datavalue":{"value":{"entity-type":"item","numeric-id":13084,"id":"Q13084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326324$1890B0B1-BF2E-4DC5-9F73-756400D4047E","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":"Q5326324$55DEBC63-F8EC-40AA-99B1-D7C3B1561A1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bba948014ad34acb05d29c7e01c4a77cf65069bd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326324$6587FB4F-5D0C-4265-9C9C-0BB81AE2314F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d3b92785f8ccffb283948c308d4f74278430993","datavalue":{"value":"W2106272197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326324$072F9E95-8E0B-4D1F-8832-BD55822DEAEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38df574bcda4459ff8af7b227358dc29f7cc426","datavalue":{"value":{"entity-type":"item","numeric-id":4598136,"id":"Q4598136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4b53a504c0577515286ffa0f07c77038f4f711","datavalue":{"value":{"amount":"+0.8928002715110779","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":"Q5326324$67EA64DF-A9C6-4E92-AE31-696E559E28B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ea4377983e95d0b646e0e7578c5018c3ba0cc2","datavalue":{"value":{"entity-type":"item","numeric-id":6104811,"id":"Q6104811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845c58297e87cf4175e7d5319205825af63a48bf","datavalue":{"value":{"amount":"+0.845858097076416","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":"Q5326324$025CA6F9-2DF4-460F-8973-16BCDDD75DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e918711360c484e2665b80676868ed47ff869e5","datavalue":{"value":{"entity-type":"item","numeric-id":328165,"id":"Q328165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf24a9b892deae826ec33508780d6d03e83d804a","datavalue":{"value":{"amount":"+0.8453214764595032","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":"Q5326324$FC88AA78-B19B-4807-ABB7-AB667304E6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046b70682a14fed891a2bc285b821103f9d2d165","datavalue":{"value":{"entity-type":"item","numeric-id":2894279,"id":"Q2894279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3863772da6049cdb93ebf3e65d5c61842f514f4","datavalue":{"value":{"amount":"+0.8233134746551514","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":"Q5326324$926A9551-3A22-41EA-826B-E57E2271D267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2eb5b630e8f79eb1037d961943775226b09ea","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c630601c979c2b3fca3f4b2f2e5c268925fe5b","datavalue":{"value":{"amount":"+0.8181995749473572","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":"Q5326324$7A3C4CDC-C9AD-440F-B200-7CB72B08530E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326324"}}}}}