{"entities":{"Q2805469":{"pageid":2816207,"ns":120,"title":"Item:Q2805469","lastrevid":52527860,"modified":"2026-01-22T21:25:59Z","type":"item","id":"Q2805469","labels":{"en":{"language":"en","value":"On promptness in parity games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6579382"}},"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":"Q2805469$2DAF92C4-D16D-4A72-888D-1F0D1F4FBAA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f2684ec913067bc4bcf300ffd845cc3fb85bf49","datavalue":{"value":"1336.91023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805469$B430723F-A91D-47A0-9235-90200E8EFE93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4eb621f64a0ef194935b45e29ecacd8b5fcefab8","datavalue":{"value":"10.3233/FI-2015-1235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805469$8BE37AA2-8F71-4986-AD71-674E66B63DA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79e7dfe19010a2a7fb9a4094963f88655e7110","datavalue":{"value":{"entity-type":"item","numeric-id":357124,"id":"Q357124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805469$3812DDE8-60EE-4644-A404-DACC1A0AE1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805469$258B0C9F-8620-4331-A951-6AFACAE23B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92d2e4712309048acf2ce4cf388d2296c8734377","datavalue":{"value":{"entity-type":"item","numeric-id":1706168,"id":"Q1706168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805469$FFFD09D7-CB4F-4334-8CFA-31CC2F369018","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805469$98839494-65A3-4F09-957A-7BAB09DA0606","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39aa9fdf5ab62c801ce885c7d8f139e97b3cfa9f","datavalue":{"value":{"time":"+2016-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805469$74E7025B-4CD6-4224-A639-26392566ABF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805469$3442F839-BF03-4DC3-9853-936A394D71EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805469$F160F4CC-8EDD-4727-A60B-C9F47CB7CC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805469$3E316179-E1F5-4AC3-835E-8184E3CCA54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b62618968d697f5e5d539ac855cf7c275fff235f","datavalue":{"value":"91A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805469$5450251A-ABC4-4278-91E0-8685A502549F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"921b78590c9ac8d19a2954811241a9cd060b0162","datavalue":{"value":"6579382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805469$93FC0AED-6279-4715-97AD-5D3BE3F37B1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805469$934DC8CF-FE79-46A9-8E45-418BD199AD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805469$D32F4C6C-BF1E-4C9B-B6D8-A60DB8728D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805469$40513AF3-75A8-407B-9612-061D82A76E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4f42f4ae6567736803aa397ac416acd4ee6ead","datavalue":{"value":"promptness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805469$2B5351CE-8FB2-4C38-8210-7DE8A6B107AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940623578fd2bd74608b332abceb85dad2bfcd94","datavalue":{"value":"cost-parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805469$CC1FC2C2-6FB0-4621-AAC7-98C6DC01097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40270d057a86e15587a260a12f787c15e0349adb","datavalue":{"value":"quantitative games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805469$CF41ABDA-C28A-4050-8E8A-30F1C6A0F0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff66318dba7b92de7804e1da359f1f8122209f36","datavalue":{"value":"\\textsc{UPTime}\\(\\cap\\)\\textsc{CoUPTime}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805469$29725D70-6E92-419D-A88D-097BCC316CCD","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":"Q2805469$82C06CE9-31AB-4D62-90AF-CDCEAD1D1AE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cd8a8892d740e1f65a2f18ce9cd02cf680a57ad","datavalue":{"value":"https://doi.org/10.3233/fi-2015-1235","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805469$9C1C2F35-43CE-4631-9B47-9158E8ADE516","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08f79127587f481526880c4cd5032e5b59b42e84","datavalue":{"value":"W1745991775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805469$4614C675-9E40-4266-AE0C-D1055CE79C46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a752798759e2402c8543122bafaa50bb2b09699a","datavalue":{"value":{"text":"On promptness in parity games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805469$790F33B3-25D9-4F15-948A-77945776DBEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdcc66dbc6bb6165d1455b111e24abbb5849b12f","datavalue":{"value":{"entity-type":"item","numeric-id":2870156,"id":"Q2870156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88421fa255a4ac3fcd11401c7d7ecebf3a2c555f","datavalue":{"value":{"amount":"+0.9867354035377502","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":"Q2805469$4EAF7AD9-6548-4E42-A729-5B5A45E46037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1741ee6305218d202f664f21d74c111b807b6ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1742991,"id":"Q1742991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eda6310d1fcdbe233af1459d7c22d2273cf10e2","datavalue":{"value":{"amount":"+0.8334646821022034","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":"Q2805469$3B98F131-DB33-403E-A688-7A6872E2A6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b7038095bf7c5badeaae0f70ee1150069b1190","datavalue":{"value":{"entity-type":"item","numeric-id":4633557,"id":"Q4633557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7793d0bddff9b23dc905e92d0ee82e39cc4277d7","datavalue":{"value":{"amount":"+0.8325389623641968","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":"Q2805469$CE2BD912-924B-4F69-A165-BC7FCAB2E6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccf76ca7e04c41dae9c6427906fd1a8d430349c","datavalue":{"value":{"entity-type":"item","numeric-id":5015267,"id":"Q5015267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6949ac07d8b37f64645b8d6f8f6a14594907f5e3","datavalue":{"value":{"amount":"+0.8096321225166321","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":"Q2805469$DB56B6D6-7CBE-4D78-B038-21E989D6F55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e3f602229e05e017f96930694425075f82bd1c","datavalue":{"value":{"entity-type":"item","numeric-id":5015274,"id":"Q5015274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2b87bee739fd1fe1ca83d9b3da39528dab4607","datavalue":{"value":{"amount":"+0.8094839453697205","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":"Q2805469$0E0B73D5-0922-4445-BA47-2F34D4FAC552","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805469"}}}}}