{"entities":{"Q784159":{"pageid":786008,"ns":120,"title":"Item:Q784159","lastrevid":64307289,"modified":"2026-04-11T18:58:33Z","type":"item","id":"Q784159","labels":{"en":{"language":"en","value":"Improving parity game solvers with justifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228519"}},"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":"Q784159$74D72D29-D196-42B2-9C37-B966034528E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b787a1eee30a41a1b755ef112a5222eb77ca799","datavalue":{"value":{"text":"Improving parity game solvers with justifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784159$2D7D0D5D-40B9-4969-9BF0-1C45C37FED38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c8778706b2d24ea70c3772d05329a4392c34a6e","datavalue":{"value":"10.1007/978-3-030-39322-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784159$4AF519D0-06C1-4A88-AD9B-069171FFA11F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eff476a11722cbb5015b76c708db97cbb0faa63","datavalue":{"value":{"entity-type":"item","numeric-id":784158,"id":"Q784158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784159$4A97A440-05D8-4E23-BC72-75867CF0BC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784159$0541266C-2A58-4B62-B2CD-D8F0DD167E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784159$302B0488-348E-4664-A297-F7A41AA481A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-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":"Q784159$F422F375-862D-4544-B22B-29AA149F7016","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fa1b6de680bd243aaa52c5cc36568bd8a11dd2a","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/646997","type":"string"},"datatype":"url"},"type":"statement","id":"Q784159$49354E65-605A-46CC-9A77-824C51190DB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784159$218DB1DE-2BB9-4B20-B36A-6A695D1DD731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784159$2CB526B9-EED5-484A-8447-2609E89B368A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784159$A61B390F-D4FE-4D53-BB4B-4F1BF01BA05F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eed43d9de56137a808a3063fa9200acd4a144d10","datavalue":{"value":"7228519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784159$360F69FF-BE54-4DD8-A63F-242C9883E761","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784159$A69E623F-9FAD-4234-A6D2-E1CB93419894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784159$9B261C02-2EEC-4BAA-831B-A788311C9906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8333cfdb7241967da0b67e51549ccf58d3ee9f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5973057,"id":"Q5973057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784159$7B68D370-38DC-42F1-8C8C-B53E3234C478","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":"Q784159$1DB8B3B2-6C00-4060-9393-94006C99618B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acab6786f3180e526aa42eb509cf357bd3948a8d","datavalue":{"value":"W2998857771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784159$916B3DC9-8E6C-4736-96CF-6D1D2EFFC8E5","rank":"normal"}],"P1643":[{"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":"577cf2226e6382fb1e140e90e2926bfea43fad95","datavalue":{"value":{"amount":"+0.934323","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":"Q784159$8CC1A306-1913-48AF-8970-9A50C6AC6D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638d096b67fcd37001819f80f7b4c123c9837483","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508c2883de9d78ba25be4ebf64f2997b8c69f15f","datavalue":{"value":{"amount":"+0.90493584","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":"Q784159$8CE64527-F1EF-4E6D-8DE2-12E785B266AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5d5496af6aac4e39a41518fbd5f6079a213c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2043434,"id":"Q2043434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d1e45d5af45cf0c7caa914d5a0b26d4ff9f549","datavalue":{"value":{"amount":"+0.89840895","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":"Q784159$1602D4D0-DA94-428B-B75A-C14A64D75D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f7dfd6b370ed0d6d94e2cc17413137437e22e2","datavalue":{"value":{"entity-type":"item","numeric-id":5144638,"id":"Q5144638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6c51304477fe0b2b3f261bd25aa13650cb0382","datavalue":{"value":{"amount":"+0.89473814","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":"Q784159$49B71FE2-0355-466A-9AE6-81DC29977FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa54c2bc9d971832ce0fd36244065039d2f932e","datavalue":{"value":{"entity-type":"item","numeric-id":414902,"id":"Q414902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59309368a9e4ce1b3c6b8538479b78b96964047f","datavalue":{"value":{"amount":"+0.88756686","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":"Q784159$5936FC94-EA9A-4310-AE0C-E407DFAC0C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170b57564542115511affb2d49a66d8f3115a813","datavalue":{"value":{"entity-type":"item","numeric-id":3384882,"id":"Q3384882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4b0aaaaa32a2dbaa8c429d06c0fc8ff8116736","datavalue":{"value":{"amount":"+0.8829851","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":"Q784159$F7A201F5-DCC0-4B21-BED6-E798B5685479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24dbedd92f2243a0ab4f07debb4ed18277bf55f","datavalue":{"value":{"entity-type":"item","numeric-id":4540974,"id":"Q4540974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22674b66d4f367ef8d95ea0edba30d5372cd5ce4","datavalue":{"value":{"amount":"+0.8812424","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":"Q784159$9DCE0328-9574-493F-B025-E4E537E1632E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cad243ae7a7b032addc701f97b93bb8e802598","datavalue":{"value":{"entity-type":"item","numeric-id":1616970,"id":"Q1616970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce93da2e2ad4bc63b54e9aa1d35f7e36017f1b1a","datavalue":{"value":{"amount":"+0.8806088","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":"Q784159$2C9978B0-F44B-4BCA-8D5A-FD9FBBCC2184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209e80a32981c50fb631ffa5140750b83bd6d7bf","datavalue":{"value":{"entity-type":"item","numeric-id":2754084,"id":"Q2754084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec4c7d42ae6f3c03e3dda81456fc3a21a66c06a","datavalue":{"value":{"amount":"+0.8793058","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":"Q784159$C4963317-540D-4F86-94BC-9597E6381401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87cec736cd60b5d0c809f87f22eb899a381f817","datavalue":{"value":{"entity-type":"item","numeric-id":2330591,"id":"Q2330591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2847101018a3f13e67273a49cb177f20e874a658","datavalue":{"value":{"amount":"+0.87877554","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":"Q784159$DD006A47-8E0B-411E-9937-341FF9BACD2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving parity game solvers with justifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improving_parity_game_solvers_with_justifications"}}}}}