{"entities":{"Q2963922":{"pageid":2974647,"ns":120,"title":"Item:Q2963922","lastrevid":44803320,"modified":"2025-11-28T10:56:24Z","type":"item","id":"Q2963922","labels":{"en":{"language":"en","value":"Emptiness Of Alternating Tree Automata Using Games With Imperfect Information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687774"}},"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":"Q2963922$FB0D1E1A-3BB7-4EB3-87F1-47D9FB543E6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c0164b6bb75b3ff4ce9072e662958184ab6a5c8","datavalue":{"value":"1359.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963922$6E4C49DD-589D-4CE3-9BF8-2EE5A5494475","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c1ff3f49573b4e6a48bbdac70ef6acb00c631c","datavalue":{"value":{"entity-type":"item","numeric-id":529061,"id":"Q529061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963922$2275DE3F-B59A-4B8A-9F1B-2A2F2B0C050A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963922$FC31607C-6ACA-4C43-A000-B2A0F226FD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef32dc0f0352d0de9da2d2122087fc10a33044b6","datavalue":{"value":{"entity-type":"item","numeric-id":456182,"id":"Q456182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963922$89BE9E49-5CCC-43E6-8DEB-00EFF11B9ED7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963922$9F674E97-F7B5-4C7B-BB33-C25401ADC90E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963922$27D56A2D-DE81-4940-8A6E-0FAC3C46A21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963922$3735DA55-6749-48DC-82A8-540E42A9444F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963922$B08F3F03-AE80-444F-A309-7A05A3F276C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"900f0aef0c953fbabb689b7d635e8cf666fdfa26","datavalue":{"value":"6687774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963922$FB8C7E64-F541-4AF5-8BAF-1FE8F7D15316","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963922$3BFACBED-D778-4549-82B1-A9D431E3643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca9a194fc68cc2313e9342d34c5826de8891287","datavalue":{"value":"emptiness checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963922$88F6AB80-65E5-4815-80CD-2F642CB3FBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b893820634b20d624d01c339a08a65704b74d128","datavalue":{"value":"two-player games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963922$5836CDA4-FEBA-44EF-AD0E-203B9CCFFBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1a548a488425c4419a6a70950e1c4f3ef4fc70","datavalue":{"value":"imperfect information games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963922$BF250443-F83E-488E-A09A-059963864089","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":"Q2963922$E75FA0D4-4B66-4B6B-8BA2-D42CFB0D7EAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbc89388898a68d8b37b8ac7fb7c8819365a27f3","datavalue":{"value":"https://hal.inria.fr/hal-01260682","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963922$433C15ED-C220-4C72-B08A-ED6321AF30A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caa0718aabb53a88d0312f1d68700f11f3fe543e","datavalue":{"value":"W2249690155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963922$79E6F43A-9516-4CC1-892D-9E9E2FE57523","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83fd27467ce586f0f52f6624cc96d523311d2c96","datavalue":{"value":{"text":"Emptiness Of Alternating Tree Automata Using Games With Imperfect Information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963922$C3FD8113-D1C6-4B06-A413-7AE670323C34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e6587cebf16ae4bce5f9a8d760b529a3ba14411","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2013.299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963922$ABF93E5D-9AD2-4114-AA20-0B5DFA1DBA50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96745fba719914b12ac11b6f4ad0a2e0133ee129","datavalue":{"value":{"entity-type":"item","numeric-id":4412832,"id":"Q4412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e064d515a3c68fb5a853a1c16e9d1b4c72ef9867","datavalue":{"value":{"amount":"+0.8978078","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":"Q2963922$C02DC6EA-9E22-49B0-8A8A-6ED23C3D589F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48903d2bd0b9073841885b1a09153ee9363cef3","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea71072db134e303f636b209882a21ec9a783b03","datavalue":{"value":{"amount":"+0.8756937","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":"Q2963922$99D4D0C6-7C57-413B-B639-85230230D374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f64e1cc9e28415bc1698d193f330c3828678adc","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d10ac008d76cc303455486c48bfd52a80af0de7","datavalue":{"value":{"amount":"+0.87565255","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":"Q2963922$6F5CEC58-F691-4716-8378-F5A99DC7A5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f93d5e5a72cff7c29a62fa2684c648cfbe589afc","datavalue":{"value":{"entity-type":"item","numeric-id":3644751,"id":"Q3644751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a469db147dad013ed28f78b857c05f2f086d23fa","datavalue":{"value":{"amount":"+0.86177266","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":"Q2963922$D7FED680-BDD0-448F-A464-803FE068E8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6954d036613e2abc87d7216850fcfa41d472d99d","datavalue":{"value":{"entity-type":"item","numeric-id":3787993,"id":"Q3787993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f42cac42f1809d4860d84295673f066e56b2c052","datavalue":{"value":{"amount":"+0.8560024","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":"Q2963922$A6CF885B-6EDB-4AF6-A5A8-7A919A61DDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da49ff1d5c021f7f2cc31881a6c5f5b702c06c43","datavalue":{"value":{"entity-type":"item","numeric-id":2437765,"id":"Q2437765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ceb146635f8ceb8f01a362e067c2635f3eaef6c","datavalue":{"value":{"amount":"+0.85420555","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":"Q2963922$BD409A05-90A6-449C-BBD2-24CE5EF20742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39203a70f53ca53a941d0348c9bee56a36a13d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4036177,"id":"Q4036177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06afd8f814da6e04e4dbc78f34a9c33ca056fce","datavalue":{"value":{"amount":"+0.8527813","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":"Q2963922$C3609E6B-D4DB-4EBF-BE00-CD51F7216136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fa54e34b1a56400d79390f03158b9b091c0106","datavalue":{"value":{"entity-type":"item","numeric-id":2753653,"id":"Q2753653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ae1095c764f30e6c615ecd55dab6f07017da0e","datavalue":{"value":{"amount":"+0.85110706","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":"Q2963922$4C711B81-72CB-4796-9CEB-B7B9F8D2DE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9004735d121693750395d97920cbacd75e0e1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5492958,"id":"Q5492958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52877585d68bdd3e0a945d29e27f22824aab59b4","datavalue":{"value":{"amount":"+0.8504776","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":"Q2963922$77F3C018-670C-4554-A8B7-C13996D408E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0396d2745fff99847f89484c8edeb8542b6ae1","datavalue":{"value":{"entity-type":"item","numeric-id":2351395,"id":"Q2351395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dac3863440fb463b6c246eb3840b275ec0d1eb","datavalue":{"value":{"amount":"+0.8469832","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":"Q2963922$BE89D0BF-6B41-444B-8420-48D2E145FEB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963922"}}}}}