{"entities":{"Q2842563":{"pageid":2853283,"ns":120,"title":"Item:Q2842563","lastrevid":42256686,"modified":"2025-06-03T17:19:30Z","type":"item","id":"Q2842563","labels":{"en":{"language":"en","value":"From parity games to circular proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198612"}},"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":"Q2842563$45393988-59CA-4EE3-8D1C-185D4C4D5F29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d87cf251bf1cd34bc55b4c65db1acfd20882dce6","datavalue":{"value":"1270.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842563$F94027AE-764A-441D-8706-7AA31EF0ED64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abda518a131c76677161ec4745c74bb60186043d","datavalue":{"value":"10.1016/S1571-0661(04)80370-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842563$2C7B08D7-B954-48F4-BBB9-45F11036A5E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6be09e7ba570f5faa41154bd4f257af7db691c","datavalue":{"value":{"entity-type":"item","numeric-id":240375,"id":"Q240375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$4A1BB46B-5F1A-4210-8AE9-DE6437CE8062","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$9BDB6587-5004-477C-951B-18336C106B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842563$31F170D5-96A8-4C20-BEE6-413B3A8B13A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842563$4B61FC96-8475-42A3-A031-D4E88435871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842563$9FB2CDF2-700D-44A0-ABDE-D1DC46A2853A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842563$B07751B1-EE2F-4199-8AE1-C77257DB9F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842563$C2207646-8B8F-4DB0-92D4-A986479B9BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842563$6F14DC00-F25D-4B53-8BF3-BC0DC85B6045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51101a42b4f111aa6531f6bff57db3f57912f8ca","datavalue":{"value":"6198612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842563$3DD5E0B9-82FB-40EB-AE2F-F74B7A61FAC7","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":"Q2842563$59E6927C-E225-451C-A695-137479773B43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4155ec1979bcff48fbade25963b9a4724d46a2","datavalue":{"value":{"entity-type":"item","numeric-id":5960406,"id":"Q5960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$F3CDFC89-1783-4041-98B5-237CEF47C182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c61b69f57adbf06f52d280cc602d0b6c6dc43b06","datavalue":{"value":{"entity-type":"item","numeric-id":2770141,"id":"Q2770141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$4983AE1A-B0DA-4D9B-99E1-60BD281902D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3949f528e82fd47768844b622a1e2504534da3c1","datavalue":{"value":{"entity-type":"item","numeric-id":4787834,"id":"Q4787834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$03DE0E61-7794-4DCC-928B-057251458AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$476E91EB-3C23-4319-926E-D12913FD7FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$5CC826D6-9655-4577-B72C-4EDF57DA5E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$9D0FB493-D35F-42C5-9E01-CA6F4C71D7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12af5d9bc8b3f0f080618d60cd7426f415401c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$C9C458B4-4EF8-4429-BC96-EEBC6D2498A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$5579A360-4B2B-4464-971D-3892E03D69F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$87A4EEB3-0BB3-4452-B177-D3EFCC225D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$1C4BAB3F-35DE-47CC-8147-3906E9861E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bdb5d956e90424f31a7cbce2d1ceb47b4dae16","datavalue":{"value":{"entity-type":"item","numeric-id":4395610,"id":"Q4395610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$30D9F519-E90F-4325-BD48-65CEF581A748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354ae02d8bfe51a1e292e8c77fd5460961f40467","datavalue":{"value":{"entity-type":"item","numeric-id":4010366,"id":"Q4010366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$7522B038-4B75-45D3-9616-A8DC449EEB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$B16FFCC2-1D87-45E9-8481-D1E332F4C966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad289803c0aac5fbf57ce212aab2f54d76a1713","datavalue":{"value":{"entity-type":"item","numeric-id":2707132,"id":"Q2707132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$67F5CCBB-F71A-4811-A6AF-496909B11473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$52E7A247-E064-435A-9AD1-02BAB84754A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d9ed653c868f9a05c70014c89c457f1b224148","datavalue":{"value":{"entity-type":"item","numeric-id":5941163,"id":"Q5941163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$CA6DFFC2-CC83-419E-B710-858D95D2930E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687fa7c161f16f4d931c09885246df2018a4c57f","datavalue":{"value":{"entity-type":"item","numeric-id":4917030,"id":"Q4917030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842563$3B9CBDC6-786C-41FF-9542-342A31FC669C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7065ea3d0c348deafed14344472700a30cc8b7c9","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80370-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842563$BD10D582-0072-4643-A5DC-098A210FC7A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24f1c69801ace9d7c3370bdee0425b77d68be09a","datavalue":{"value":"W2121890673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842563$383458AE-4956-4339-AF99-18FB2DDB2B6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d51c37c7cf4d88ba21b3e737dd357add051d09","datavalue":{"value":{"entity-type":"item","numeric-id":5169973,"id":"Q5169973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4fe9047e1699bd2d8d5cfab36d24b04248edbd3","datavalue":{"value":{"amount":"+0.93995404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842563$F8C34005-2F9B-46AB-A6CB-B1333F112FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfec4faf8a805a13aef32fc5fde614c6fe08868","datavalue":{"value":{"entity-type":"item","numeric-id":2849902,"id":"Q2849902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cad19815c50dfa276099436683ca13ada677a99","datavalue":{"value":{"amount":"+0.9399539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842563$0BB651AB-B542-4C03-835D-B36E116323F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9c2f1df38c2a41e74ec2a8e91a764b7f70ab9e6","datavalue":{"value":{"entity-type":"item","numeric-id":5135260,"id":"Q5135260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57718d7fa906260a0926d11945cac27812a06f8e","datavalue":{"value":{"amount":"+0.879594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842563$94A47DE3-3175-4B51-8D34-4FDE314E6158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67e2e5395d4220ccebb5da76231f6df77d8d173","datavalue":{"value":{"entity-type":"item","numeric-id":3007292,"id":"Q3007292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6d6789200f0dc4f6daec5a954f658dfd6dc97c","datavalue":{"value":{"amount":"+0.87785435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842563$95FC1B24-62A8-4AAD-AFC5-86C82FAE8995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3a88331ccffb7f9225eda682324093981fedba","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af020c0c5e95f2e5f918b41e7d100c68d4034823","datavalue":{"value":{"amount":"+0.8735543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842563$D2C8E1DF-77AB-4138-B672-A158C26D7ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5181469e4a38bd7d66cc132b6d8c242aea1befc2","datavalue":{"value":{"entity-type":"item","numeric-id":6175109,"id":"Q6175109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7213c346c5baf132b31063f0ea0f820207b9716","datavalue":{"value":{"amount":"+0.86742365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842563$CB34F356-3984-4FD9-BD16-5BFD1299276B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9a6e3d7d166a6e5f4cd86878042db46de9b27e","datavalue":{"value":{"entity-type":"item","numeric-id":354613,"id":"Q354613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e173ffe8652f108ae31bec9613ff354c4a9208","datavalue":{"value":{"amount":"+0.8673738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842563$5097BCF6-CBC0-44DF-8056-1BE6DF897442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5818bcf0aa6702f8f4c08bd9a65dec8aae629337","datavalue":{"value":{"entity-type":"item","numeric-id":3586074,"id":"Q3586074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e173ffe8652f108ae31bec9613ff354c4a9208","datavalue":{"value":{"amount":"+0.8673738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842563$28A6F04B-32D3-4505-865A-395D82CB35B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d86d5fbf6d5d9bd1bc7b9d17cae6f050e9076","datavalue":{"value":{"entity-type":"item","numeric-id":1742625,"id":"Q1742625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15596351bf94d763d25f9b0e6a86580e9e013ee1","datavalue":{"value":{"amount":"+0.8671129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842563$D95FFABF-37D8-4689-B769-14076221D7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e1b3ac6c1185087388c596fde5e24a1fd14e64","datavalue":{"value":{"entity-type":"item","numeric-id":1622942,"id":"Q1622942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f570157ed4a9ec3d04832dfe8b8feffdbba2917","datavalue":{"value":{"amount":"+0.86423737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842563$0A5B3FFF-904F-4D4E-8F93-58AECE8A6C7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caa89f9543d2d8466e5ac4f36c617e5a19ec7a59","datavalue":{"value":{"text":"From parity games to circular proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842563$22C44F49-176B-4524-8993-0E5221D36421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842563"}}}}}