{"entities":{"Q2056983":{"pageid":2067725,"ns":120,"title":"Item:Q2056983","lastrevid":57712341,"modified":"2026-04-01T01:11:37Z","type":"item","id":"Q2056983","labels":{"en":{"language":"en","value":"Multi-player equilibria verification for concurrent stochastic games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440821"}},"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":"Q2056983$F7804CBC-6F84-4291-9DE3-8ED118A7D44E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbaa1e3c5e4df824c15830f14b2001b6a2e490f3","datavalue":{"value":{"text":"Multi-player equilibria verification for concurrent stochastic games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2056983$16252942-DFE4-4065-BB09-7B2528EF4DAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d425558b80b66b5acebbcf9dd695b8562674ee23","datavalue":{"value":"1483.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056983$8BE8F7F9-2BEB-4126-8403-39648DD2A7F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d870add697aab7dc384e1ec62451b1bff4764fc","datavalue":{"value":"10.1007/978-3-030-59854-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056983$DEB3B799-743E-412A-A527-C1279B826A1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056983$7ACB54E8-6553-4E31-8742-22BE1717D5E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2056983$15079316-8CD5-4609-935A-F1854997278B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40742469585dedaa7b0ea325cac9188068a4f814","datavalue":{"value":"https://arxiv.org/abs/2007.03365","type":"string"},"datatype":"url"},"type":"statement","id":"Q2056983$8C6D69E1-EDA9-44E4-865E-43F98F7E113F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7498d5e569e0ea0c1f1d0ba539c76acdff313cf9","datavalue":{"value":"http://eprints.gla.ac.uk/221601/2/221601.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2056983$545BB8C5-AEDB-4169-9E30-8827BD113F51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056983$52A79DBC-D78B-423F-A0A9-12232CDA72D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056983$65952FD9-4841-42C6-B26C-251B396F27A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056983$229C2CEA-35FD-4D90-9942-22525675AF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056983$BE745E9D-282A-4388-B67E-09E923C5C9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056983$B5F0128B-1690-4C21-8B8D-C77DB9FE1FB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e640d5298e824e32f457bd81b332c136c4c508e","datavalue":{"value":"7440821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056983$733971D7-0BB5-4B88-A6E7-2C15F69C7BFA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"58a3b489dc6edcedb48d9648bb59f534f5696adf","datavalue":{"value":"Q112268301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056983$02B6291D-C954-48BD-B45D-00440856E0BB","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":"Q2056983$CA48BD92-D358-4CCA-9F19-5B326DF6FA84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaafab2874eb54d40ef48ccee1d50f69b2e93325","datavalue":{"value":"W3109427444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056983$3E9A81CA-8B60-4C9E-A37A-5A761225CDF8","rank":"normal"}],"P1643":[{"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":"bc8e07575f1985580ee2ea7801fdfd2866888466","datavalue":{"value":{"amount":"+0.91716856","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":"Q2056983$0B130076-4C6E-479B-B98F-47A97006C755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68636fb64fea47b20530fdaf499f37bc745dad67","datavalue":{"value":{"entity-type":"item","numeric-id":2787450,"id":"Q2787450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e752922e81b2e4830ca7c44ed7f44248c3980801","datavalue":{"value":{"amount":"+0.9053698","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":"Q2056983$1A93FF36-47FF-4151-A24B-173571176400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a529f6063f425cd71d05ad6f0a761bcf2a40748","datavalue":{"value":{"entity-type":"item","numeric-id":345709,"id":"Q345709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a245a2ae36154398341d216907e7e03adb462614","datavalue":{"value":{"amount":"+0.90427446","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":"Q2056983$A7D00E7B-4319-4688-B83F-DC5CD318B8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b828b3ecdc4a3514f0ed3b8c92040d1b31e1590","datavalue":{"value":{"entity-type":"item","numeric-id":2119119,"id":"Q2119119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63d6344a5bdfa272e81396c961a8b5d516876d7","datavalue":{"value":{"amount":"+0.8988893","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":"Q2056983$4B073819-4B42-41D6-AE33-30C915A592D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3105a7fb9eeb8dcbd4df18f2dfcb40d45a8a41a0","datavalue":{"value":{"entity-type":"item","numeric-id":2941757,"id":"Q2941757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f213e636f1d6f05e729d311fc22f6581edbb5fd","datavalue":{"value":{"amount":"+0.8962668","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":"Q2056983$D5E72FC5-FD15-4EA4-8615-B539FC0CF09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0eddb3da55de688e98e236d5ed6924ba6d57d02","datavalue":{"value":{"entity-type":"item","numeric-id":5901225,"id":"Q5901225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bca9492a53ae8bf266cdf015566621cc3195eb","datavalue":{"value":{"amount":"+0.8949634","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":"Q2056983$9DB7DBFD-1A4E-454F-A4FA-06384E111FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c178632f4774f07962a4852a544775db5709bc26","datavalue":{"value":{"entity-type":"item","numeric-id":5901535,"id":"Q5901535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bca9492a53ae8bf266cdf015566621cc3195eb","datavalue":{"value":{"amount":"+0.8949634","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":"Q2056983$0EE0A60A-613A-4703-9900-77E38911B264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860daac62f7318b974da627df39a282f7c529544","datavalue":{"value":{"entity-type":"item","numeric-id":5091277,"id":"Q5091277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e697d34721e02b1b87d2f33317b9c2ba7dd4c0af","datavalue":{"value":{"amount":"+0.8933643","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":"Q2056983$4073D108-9563-4200-8ED3-0375EB313A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8955e3301093fb2a75ea0846bb47b6b18cf7ad46","datavalue":{"value":{"entity-type":"item","numeric-id":5875383,"id":"Q5875383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d052413e6386c90f430d8a8d6e7587d93a3205f","datavalue":{"value":{"amount":"+0.89150846","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":"Q2056983$BB4B4339-20F0-4012-A0A8-1B8D71C3155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58cb857527665119bae0c7b29dd9ff38f3b38651","datavalue":{"value":{"entity-type":"item","numeric-id":3638096,"id":"Q3638096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1405278925c266ce68ba342e24dd3a7ab9426e0a","datavalue":{"value":{"amount":"+0.8904878","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":"Q2056983$CC59C9DE-BD63-4A15-BC38-04350BD4F12D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2056983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2056983"}}}}}