{"entities":{"Q2796222":{"pageid":2806960,"ns":120,"title":"Item:Q2796222","lastrevid":83418500,"modified":"2026-05-07T07:39:17Z","type":"item","id":"Q2796222","labels":{"en":{"language":"en","value":"Static analysis of parity games: alternating reachability under parity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6560014"}},"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":"Q2796222$CDC1E568-9244-4B8D-AA7F-162F41A1ECC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e128c052d89662a875ed588dca562462f1463c43","datavalue":{"value":{"text":"Static Analysis of Parity Games: Alternating Reachability Under Parity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796222$9A5B2DA9-7985-4002-8DF6-300EAE04FA55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1828ef4c026cf5ff3bb2d58b94a77b87aecdf166","datavalue":{"value":"1474.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796222$704A0789-637A-48A4-85F2-09DB59B20816","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9f37371fbcd2ae7aaa4789a1eea8dcce8939153","datavalue":{"value":"10.1007/978-3-319-27810-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796222$2695063A-3B4F-4382-AB9A-A02BBB54385E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796222$45C0F0BA-385D-42B1-B681-0063C3220295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"019e414b3b61fd20fb4b47b8a0c2558658042796","datavalue":{"value":{"entity-type":"item","numeric-id":897646,"id":"Q897646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796222$090548DB-0DF4-4184-A8A7-90E37EEE516C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796222$D968D5CD-14AA-4A31-ABB0-2020DBD860FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f94ffa06b19cc9d82d2141f11cf9ed4508c448b2","datavalue":{"value":{"entity-type":"item","numeric-id":2796213,"id":"Q2796213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796222$654A2CD3-0F34-4C48-A93A-3200CF5EE160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e0833fdb30e5d55a1ed86554b76ff3f3cdc33c","datavalue":{"value":{"time":"+2016-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2796222$CC0A0665-A6C5-4855-B7D3-C092960415CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e0b810430cee4cec4765a0959c315aef2d7fda5","datavalue":{"value":"http://hdl.handle.net/10044/1/28804","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796222$CA95C53F-216E-4F16-B6C9-201C6DCA0B34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796222$DD283B9C-7E3A-42AD-88A7-D084999FDA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796222$E8129FB5-E163-431A-940C-1E0CA7A84D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796222$BF0AA3C9-BAE3-4D39-913B-7CBA1F853179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796222$84852E17-C4AE-477E-8703-FE105DE19FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796222$51C44E4B-91AF-48FC-94C1-6E7EBACDC481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7823c24c5cfeeeabf8475153fc47f6cd371179cf","datavalue":{"value":"6560014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796222$60B359B9-9A91-4093-A978-7936563B8BA6","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":"Q2796222$F1F665E0-E52C-4930-AD31-C4A75D2738A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca2d55db7a61ae40cbca6f5957cc1cdaa3e94f71","datavalue":{"value":"W2294218349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796222$0DBCDCDA-E7DE-4F9D-935B-649945B46DD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543de954299abd158ef2169a2f373b9bb07bc2c9","datavalue":{"value":{"entity-type":"item","numeric-id":5015265,"id":"Q5015265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9315cd19256ecf620bb4071c22e3ebdc099e590","datavalue":{"value":{"amount":"+0.8359806537628174","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":"Q2796222$E50DCB12-DABE-4E5C-8561-D4476E19E94F","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":"4144044859332e860935ac30dc249513a0d58b06","datavalue":{"value":{"amount":"+0.8262288570404053","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":"Q2796222$7A4B7A60-0D2F-44BA-B71B-F9D723EDE69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee59e99c0fc12e15d33defb6a143750ff818e82","datavalue":{"value":{"entity-type":"item","numeric-id":2830208,"id":"Q2830208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ba94e88bfd8481aad25cb789b7f0b0a7393cbc","datavalue":{"value":{"amount":"+0.817238986492157","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":"Q2796222$B4510F52-7006-45E0-A8EC-DF190C1EE6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dba10055fb747371e89d1c6490890151de12792","datavalue":{"value":{"entity-type":"item","numeric-id":4910410,"id":"Q4910410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49d26663be9d3fd97dd6859516f9520e3f0a238","datavalue":{"value":{"amount":"+0.8109896779060364","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":"Q2796222$07314FA4-E90B-4227-B09A-DB983B037D89","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":"f78de778caebc38f68511ea601885c6b2cb6a0d5","datavalue":{"value":{"amount":"+0.8093681335449219","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":"Q2796222$17D4F65D-5C42-49AA-A650-27E79C09C34C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static analysis of parity games: alternating reachability under parity","badges":[]}}}}}