{"entities":{"Q5151005":{"pageid":7180576,"ns":120,"title":"Item:Q5151005","lastrevid":94355222,"modified":"2026-06-05T06:35:51Z","type":"item","id":"Q5151005","labels":{"en":{"language":"en","value":"Formats of winning strategies for six types of pushdown games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311254"}},"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":"Q5151005$5871EDF1-E8DC-4391-8307-3418375D35AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"158938dba4aa7d3762bd1e9bbeeedfd7f6689172","datavalue":{"value":"1456.91028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151005$D5C8C61E-930A-4A31-A4AB-1DC700CAC57F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8648f613668a775a74ff33be97f98a4dbb115fbb","datavalue":{"value":{"entity-type":"item","numeric-id":2249663,"id":"Q2249663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151005$89F77484-CFB0-497E-B820-AE2F9104F899","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb6d0c59335c1f7f7c958651ce65d4dd55c412f","datavalue":{"value":{"time":"+2021-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5151005$B74CBEB3-00BE-4E52-AABF-639108A5E490","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cb8fc3799fb29c3ce7f38d172025a0cf23931e7","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF10.14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5151005$4A9AFAA1-63F8-4DFD-A1D4-AF60090E2F4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151005$4EA2CCFB-D5AF-423F-9E89-E7CEA6FEC1D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a820462d8409dfb3c33356ab4a5d40d7555ee6fe","datavalue":{"value":"7311254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151005$7B23E225-827F-422D-9785-F9E4E9FFA749","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67a1ed111451d5127e4c26e68b34c5cfbf0ddb9","datavalue":{"value":"parity games over pushdown graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151005$CA9E2912-2C5D-42E2-8095-62B3B294190B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0115ef794acd961f045d524c92799e05a1579e","datavalue":{"value":"infinite-state games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151005$EE0461F5-04D0-47F1-801A-51875EB665C3","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":"Q5151005$C30BC78D-0A07-4D29-82E3-5167AA0605D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5981b39b42792c05c0edfe82dd23a515d8a290b6","datavalue":{"value":{"entity-type":"item","numeric-id":4737201,"id":"Q4737201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d435422dc9d632ce609af7c8b80b4b1b7fba29","datavalue":{"value":{"amount":"+0.8536907434463501","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":"Q5151005$FBFB5617-424A-48B0-BF9A-60DDB85ED636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e94d2b9d102cc1de466321dc744c62d74f7b73","datavalue":{"value":{"entity-type":"item","numeric-id":4412840,"id":"Q4412840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ccfe89d9568a4207b07aa49bb12e7fdacd3a14e","datavalue":{"value":{"amount":"+0.8534947633743286","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":"Q5151005$3B439C6B-2FBA-4C0C-A02B-7D23D317452D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7f1dd381f2b5db85f2d0a8386b2c2963fb9ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3184687,"id":"Q3184687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c19ef7da6c97572f2db9dd2aac8504886d55dac","datavalue":{"value":{"amount":"+0.8526897430419922","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":"Q5151005$07837497-B2BD-4AD7-91BB-FAB45BBBFC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0966e464647e0d5f0bce0e57a8768f0e350e050","datavalue":{"value":{"entity-type":"item","numeric-id":3447695,"id":"Q3447695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1a5f6680be057076a51690d01ff8119941bae7","datavalue":{"value":{"amount":"+0.846284031867981","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":"Q5151005$D92B971B-FB3C-4CF7-898F-CA052F602A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc578b4d6a1350f192b5bcd7f1fbbd7142a5826","datavalue":{"value":{"entity-type":"item","numeric-id":2842876,"id":"Q2842876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e30b2eb834ca7f0f1c585d3c6c57be60fc2885","datavalue":{"value":{"amount":"+0.8387972116470337","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":"Q5151005$71C61CE1-F3BC-42A9-B3EF-5800CBC10E47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formats of winning strategies for six types of pushdown games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formats_of_winning_strategies_for_six_types_of_pushdown_games"}}}}}