{"entities":{"Q2787450":{"pageid":2798188,"ns":120,"title":"Item:Q2787450","lastrevid":44691216,"modified":"2025-11-25T02:48:52Z","type":"item","id":"Q2787450","labels":{"en":{"language":"en","value":"A Tool for the Automated Verification of Nash Equilibria in Concurrent Games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6545749"}},"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":"Q2787450$3140222A-DBF7-4739-AAB4-0700E2661621","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb1ff95981e1cb917af2d5dd38b55e5d125c349a","datavalue":{"value":{"text":"A Tool for the Automated Verification of Nash Equilibria in Concurrent Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2787450$E3217CED-BB27-45C9-9515-D0972CC509D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f249c33b3792ec5333e316cff8e4674414dbfb8","datavalue":{"value":"1471.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787450$631E4EC0-6183-4B18-8074-BF6BF0E47957","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e53998e2ef7604874c13c9dd5cfc6bd33be9fea","datavalue":{"value":"10.1007/978-3-319-25150-9_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787450$4639A3F4-D361-448C-9657-7622D8D89D09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a30563c254a01710d61638402af56770bccfafcb","datavalue":{"value":{"entity-type":"item","numeric-id":2787449,"id":"Q2787449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787450$EFFBD2D8-4492-4D3D-A7CF-7E85BCB0A677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c83e4af14bfe1a46b2cc1e1d2fe63d184f56896f","datavalue":{"value":{"entity-type":"item","numeric-id":345708,"id":"Q345708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787450$20406401-4961-4E11-B7DC-2272E54EDA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fb02981f4d83094589dc387feedb07b22856a3","datavalue":{"value":{"entity-type":"item","numeric-id":310096,"id":"Q310096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787450$F92A276E-54AB-4055-8C37-2A94FC44BECC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"29f4257b03367012cbb1c618842dfbd25e3bc715","datavalue":{"value":{"entity-type":"item","numeric-id":2787411,"id":"Q2787411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787450$B340EFF1-4831-4F77-B838-CE9CDBCC2CBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b711090eb2dd20f1569e188bf3cf69015580f99","datavalue":{"value":{"time":"+2016-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2787450$347CD663-57D3-45E7-A233-197F1E1740DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787450$9A973FDC-50DA-4535-ADB2-2176FCE1065E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787450$410440EE-858A-4B34-91FF-DEF672D2BCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787450$FF686E43-DA78-4C8E-B60F-4C358084F40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a7dd7003e1269b5b10ff3f935da8af9e44f172f","datavalue":{"value":"91A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787450$223E6340-0FA8-43E5-BA3F-74821545190C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e36d901b74478b25abafe4b3be923d78a81c3e2c","datavalue":{"value":"6545749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787450$137D45CB-94FD-46FB-A0D7-52D9EFDDB8C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"415de056e325c6c502ee21ee3b2120702c39a969","datavalue":{"value":{"entity-type":"item","numeric-id":36529,"id":"Q36529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787450$520094E6-E196-4D64-92F4-F2D508BE8C89","rank":"normal"},{"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":"Q2787450$54C963D0-FB8A-4E92-BD6B-F61023DE2200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1258c2b5d07053ba392c78f44f4c3f1213c08215","datavalue":{"value":{"entity-type":"item","numeric-id":24835,"id":"Q24835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787450$0C9205FA-022C-4ED8-9F8B-90AA200DA18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9f2d5a44b4dc6aefa7ca4b37961fa464f47743e","datavalue":{"value":{"entity-type":"item","numeric-id":43702,"id":"Q43702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787450$09388025-2BB2-4031-B632-7DC24CE021AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6dc0b268c0ed1345e41326cb5c1150ee86f8e378","datavalue":{"value":{"entity-type":"item","numeric-id":43703,"id":"Q43703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787450$4563DD91-8D9A-4C40-9BA7-EFDDF0F3AA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"155bb7a6283d1d89af57ca5383732fa94bd95b48","datavalue":{"value":{"entity-type":"item","numeric-id":12805,"id":"Q12805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787450$591CB25B-6E00-4B45-8F78-9AD57D9DAD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787450$D42B5D67-B168-4251-930C-020DFD928A76","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":"Q2787450$3B5ACA49-B6D4-4F39-BD99-A6EBDAF98B03","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":"Q2787450$5D560979-1109-4B0C-A700-4103F3871C52","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":"Q2787450$D4C048A1-063D-4111-84F2-3F127FE7157C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1aa73eac1e4a771c0e266fc77d897bc73e85121","datavalue":{"value":"https://doi.org/10.1007/978-3-319-25150-9_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q2787450$A0B5BF4E-C216-4064-93BC-EFD5A2FB516D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5019f2ae4b055ae46c01733af83d7c67bc87f3ab","datavalue":{"value":"W2396841565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787450$4D97B833-3B4D-4FF9-8CB1-C4EF42474275","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":"9b9a07d556c537d145a9b8e08615ddafbe26f1de","datavalue":{"value":{"amount":"+0.9174405","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":"Q2787450$30E23968-E896-4EEA-8818-9EA42C49B12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e904ef4134bbadb4e9373914d928f260c73e59","datavalue":{"value":{"entity-type":"item","numeric-id":2056983,"id":"Q2056983"},"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":"Q2787450$9DB0DA31-187C-4166-B38F-83D1293CD364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d5abd650abe5a463e6ba1986f5c11e2ff01b490","datavalue":{"value":{"entity-type":"item","numeric-id":2211871,"id":"Q2211871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748f86be060e8acda5aa69e8c1ce83cdc1eda249","datavalue":{"value":{"amount":"+0.90269136","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":"Q2787450$53BD3A71-0397-43A2-9A30-C02BB4A1111E","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":"5632598709a639d9868df8e8a7e2ceabc8db72ed","datavalue":{"value":{"amount":"+0.8920767","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":"Q2787450$ED223FA0-78DA-4801-BDC8-32BB3C9570FD","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":"347098b03b7ae0dbc7554ec5c11b470fa8f4debd","datavalue":{"value":{"amount":"+0.88451874","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":"Q2787450$B31EFB85-D8EE-40B5-9559-CAAF40F14927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61368a30ff061d11fdaab2d9646ab78087df0ad8","datavalue":{"value":{"entity-type":"item","numeric-id":5932220,"id":"Q5932220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd7db711bd137072448e82b718df4268bb07c77","datavalue":{"value":{"amount":"+0.8721847","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":"Q2787450$9A4CAB0A-1174-46DC-9616-82760A35AB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"721699b0eb98d3ab2828d942e2467fbbc8fa552e","datavalue":{"value":{"entity-type":"item","numeric-id":3527270,"id":"Q3527270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9614ff97160e33c13ec098055849058a4c5ecc1","datavalue":{"value":{"amount":"+0.8703591","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":"Q2787450$FEFC0F4E-1CC7-4F98-BA77-2AA2A966435C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850a0977b19c681cff2fd4071ca2f5284bcbc88b","datavalue":{"value":{"entity-type":"item","numeric-id":694841,"id":"Q694841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8029bb345c41acf67dd3b08f77b393b4236f751","datavalue":{"value":{"amount":"+0.8609723","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":"Q2787450$9ED35454-997F-4743-A8A8-87C7459D9D9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2787450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2787450"}}}}}