{"entities":{"Q2849902":{"pageid":2860622,"ns":120,"title":"Item:Q2849902","lastrevid":44703987,"modified":"2025-11-25T07:26:21Z","type":"item","id":"Q2849902","labels":{"en":{"language":"en","value":"Parity Games and Propositional Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6209964"}},"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":"Q2849902$6A6EA562-56BC-4286-894F-6C6A0346C934","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7b60826de98e849f7737ab2733ffb8e6cf86081","datavalue":{"value":{"text":"Parity Games and Propositional Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849902$D94CF5AA-2BBA-4770-8ECD-17541515741F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"334c5659a950e3be5020b95aedca538d4f450548","datavalue":{"value":"1343.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849902$346BF8A1-30F0-462C-8C1A-8BB0435C9582","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edc7369e336b457ba04a5ea6208841a0105f8cd6","datavalue":{"value":"10.1007/978-3-642-40313-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849902$83171CA2-EC1A-4888-987E-EBAB7F365541","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849902$8922AA33-C2E0-4EEE-A120-97D814D125B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849902$B451F3BA-0198-405A-A67B-2BC626517019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20891ef55d2a5c027c71fa5443ab52ee86634717","datavalue":{"value":{"entity-type":"item","numeric-id":647333,"id":"Q647333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849902$C8C0D120-3DE1-48A4-8924-04061D5B4E0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b0aacf98b336f97857e5af880885f827de491a1","datavalue":{"value":{"entity-type":"item","numeric-id":2849893,"id":"Q2849893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849902$F72147B7-990C-4B33-BEFE-600B028D502F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849902$E113A97E-260E-4BD7-99A1-EDAE8A5C7416","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849902$EBD2E693-6985-4BFB-834D-EF7C6B3331FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849902$0E007A2D-8353-427E-9B1D-8108CD642553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849902$83AFA138-CC07-4DB5-A4AB-5A5760CB1BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b62273aea3375cefac54cd8688def5a3b6704b92","datavalue":{"value":"91A46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849902$39A1E85F-1625-40D0-9A67-2DF606654D6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb760fa9aa474fc51a1f5aa597a79683241606da","datavalue":{"value":"6209964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849902$CFB8C230-57C8-427F-B05F-9C64BA1EED32","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":"Q2849902$ED7C1E8A-09E7-4884-A4E5-922CEBC71BD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e163045e7105cc14a1136c9d4f54a0facc10fe33","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40313-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849902$6FFC03B9-F3A0-49BE-83F0-031AF25C2EB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"397566f6d57f002b77ee88abae685f018f0988fe","datavalue":{"value":"W2123202585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849902$BAB9DE68-D9D0-46CE-8C63-3B84D3486159","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":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q2849902$A4894698-765B-4F29-976A-7DE037196B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bdbf9d95e9b61852373fb041e0518cc258b404f","datavalue":{"value":{"entity-type":"item","numeric-id":2842563,"id":"Q2842563"},"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":"Q2849902$94666FA5-9867-481C-BBD1-69515A48B822","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":"74652e50bf5cfbc79f732a30817f48b043954c2a","datavalue":{"value":{"amount":"+0.9225986","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":"Q2849902$3A1360FA-3F7A-4875-856E-5C95D4400C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7e7de76e6d94dfa6ea298d02281595371d349bd","datavalue":{"value":{"entity-type":"item","numeric-id":6109467,"id":"Q6109467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbeb5ce389238afce0961d9c83ea539ef834360","datavalue":{"value":{"amount":"+0.8982996","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":"Q2849902$4AF3CAE7-EB44-41AC-8FA3-1BAF6AB136C9","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":"b3e5e7f3e757f4abe859873414e54a8096200c5b","datavalue":{"value":{"amount":"+0.89467704","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":"Q2849902$F1EEBC6A-F8B6-41A1-81F0-0874F5C61639","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":"5bfdc396a5563db966bb7777355b2685ed2e17ed","datavalue":{"value":{"amount":"+0.89365625","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":"Q2849902$D3B54378-5576-4EE1-85A4-B87EB6704D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0e22da708d033ab98e5627e5d477b43e44eb6c","datavalue":{"value":{"entity-type":"item","numeric-id":3457682,"id":"Q3457682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b727050331aa060cf0fa3adbccd42ee899d8c5a5","datavalue":{"value":{"amount":"+0.89169466","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":"Q2849902$DB2CADB7-1946-410A-AA4C-7A2D5FF3CAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8122aff30c72bc61bd68849c5715040c1c6f58e5","datavalue":{"value":{"entity-type":"item","numeric-id":5890192,"id":"Q5890192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf017c3ec32f3d0e82436e2e15d752488b4fdef5","datavalue":{"value":{"amount":"+0.89154947","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":"Q2849902$2C378B2F-2B98-4566-BE01-2A0A3B3F1443","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":"2609e3f4b940ca3f0403a267eca6b272d0351871","datavalue":{"value":{"amount":"+0.8907997","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":"Q2849902$B8D49FBC-8E7B-4436-949B-D4A99C89055D","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":"3f78c1751d7c3dbb893949677a789fef8b4f6979","datavalue":{"value":{"amount":"+0.8902533","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":"Q2849902$CAAF8759-C71E-4E7E-8D83-927304FCF0FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849902"}}}}}