{"entities":{"Q4640299":{"pageid":6669880,"ns":120,"title":"Item:Q4640299","lastrevid":58320504,"modified":"2026-04-04T17:20:00Z","type":"item","id":"Q4640299","labels":{"en":{"language":"en","value":"The complexity of mean-payoff pushdown games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869425"}},"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":"Q4640299$4A2D350D-5184-4AB3-802A-69CF5BE4C7BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89c22670c39fb09484f4688a456456fc7d11fcde","datavalue":{"value":{"text":"The Complexity of Mean-Payoff Pushdown Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4640299$8CFF5A6B-5F70-4AD7-AA32-AFB5F7EA4B82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6584ea1c330382198bb778434950bbc68336047a","datavalue":{"value":"1426.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640299$D97B129D-1A6C-4DBB-B0D9-4CE652FB8BCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b766484e1f80bd34c04bc9ae98519cd68b76855","datavalue":{"value":"10.1145/3121408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640299$3D676506-09D5-4676-A56F-2203C9973585","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640299$8FB671A0-75CA-4A0A-A4DB-EBAADB32735A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bdf04a2eda4f33adea02eefb05fb5ab89217254","datavalue":{"value":{"entity-type":"item","numeric-id":2164235,"id":"Q2164235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640299$E92464FF-97F0-4A52-A4B0-7995FCDB07AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640299$278848AF-1B48-4DBA-A882-C996BBBEC71E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c01739a4214e1a2ae2105a086153c18669073f","datavalue":{"value":{"time":"+2018-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4640299$BD9A95EF-793B-4FC8-A88B-704802A1FCF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c05aac46b062afe943f5a32d2c65a4a641ee002","datavalue":{"value":"https://arxiv.org/abs/1201.2829","type":"string"},"datatype":"url"},"type":"statement","id":"Q4640299$581966CF-0F13-462A-8BF2-6D44667BCBE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640299$C5FA04B9-6941-4A4F-A963-83051BCE0F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640299$13192167-ACB5-4FED-98E9-D8AC020011DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640299$15B96314-E58E-4D7D-854C-C5EA1B82ACAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640299$B131A353-EE89-4684-A181-A545A1B5F9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640299$E14E434D-C3A4-4234-B981-78270ABFD5D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dab8584603d9b92018b52791a6fd42d53802a53","datavalue":{"value":"6869425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640299$AB8B05C3-10E0-4180-BC6E-21F389728130","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e219e52de8a2e4a2a8c425a49567f4498b828c","datavalue":{"value":"graph games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640299$8493056E-7300-483A-906D-2673A06B6B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e2b6a031b3d87d81207877bd699d97977b4cdd8","datavalue":{"value":"mean-payoff objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640299$4E51AAE3-DAA2-44B4-A145-E7B88491734D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640299$8A93F70B-AAF2-46E8-8D68-22422304AEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640299$93EA5A92-9F4A-4BD0-BFBF-4F7DDA04B2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640299$D0D8903B-0EE0-4F5F-96F1-7C713C833608","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":"Q4640299$6DD9D827-B9D4-422C-991E-10E1D8567B6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98334ce17560fc651f3b758654c109593902d595","datavalue":{"value":"W2755538704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640299$3B697884-09A8-4D62-970C-BF5A4FDF1007","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"900c20caa420ecca80638ccac02d8895b55f0dc1","datavalue":{"value":"Q130960614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640299$2FD0E4B7-40AF-4AA7-A0FF-2D69FB213445","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662d84be92eda46f289bd2f0b09b723674c2c10f","datavalue":{"value":{"entity-type":"item","numeric-id":2986796,"id":"Q2986796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b9e4c6abe9ea8dd0d1d28d44605987b327721b9","datavalue":{"value":{"amount":"+0.9895190000534058","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":"Q4640299$5D22B7D3-8F33-4AB3-904F-F3D48BDE58A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d45b9f82da39c47c7f3e8c759d658a77b7680f","datavalue":{"value":{"entity-type":"item","numeric-id":2842129,"id":"Q2842129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977d29527d72fdb31517d7ac8cea6b7cf7bd37b7","datavalue":{"value":{"amount":"+0.8873615860939026","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":"Q4640299$2A1DAEFA-6A16-4CD9-8885-28D6C1A97412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393032156283e4907443cd7daec0b4370a291b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4995374,"id":"Q4995374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bd0373f52d1c5759a1d4b9eae118dc11b7ef4c","datavalue":{"value":{"amount":"+0.8398355841636658","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":"Q4640299$3E0F9948-20CF-45F0-A247-4DFC77A98828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45763a34dbe7dff6cc5ff7a0cfff5d6d64b5058f","datavalue":{"value":{"entity-type":"item","numeric-id":2368953,"id":"Q2368953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbbad86768590545c26b619ce9be323a0a44578b","datavalue":{"value":{"amount":"+0.8370213508605957","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":"Q4640299$4082CB42-3336-453A-9F2A-223831182563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e650a672c1f9152569d942b7c82e23b89b19b0","datavalue":{"value":{"entity-type":"item","numeric-id":515657,"id":"Q515657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f06e640c54bca25840e443f99d1ac55758e74e","datavalue":{"value":{"amount":"+0.8359864354133606","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":"Q4640299$AE900670-3B01-485C-9D03-590F8338B504","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4640299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4640299"}}}}}