{"entities":{"Q5222958":{"pageid":7252528,"ns":120,"title":"Item:Q5222958","lastrevid":58495293,"modified":"2026-04-05T11:30:03Z","type":"item","id":"Q5222958","labels":{"en":{"language":"en","value":"Quasipolynomial set-based symbolic algorithms for parity games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076871"}},"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":"Q5222958$228D7D99-6405-446A-882E-F28480B2C714","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26a483f486b7228beaef6b03571cf99c4c743b25","datavalue":{"value":{"text":"Quasipolynomial Set-Based Symbolic Algorithms for Parity Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222958$7879CD1C-25CE-4311-9B8B-73FB3855C000","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"796e0e8f954e323ec210b748959ba414969c21c9","datavalue":{"value":"1415.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222958$7A2D2119-6716-45DA-9388-C922CE3B6886","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":"Q5222958$157B0F8A-33B9-4F1A-9FAD-72E20E3C7DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76ad3dd17d6e1189a55a10727de9b89cb0fca508","datavalue":{"value":{"entity-type":"item","numeric-id":334815,"id":"Q334815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222958$A6ED4120-3E99-453C-9C4E-83AD45B0883D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3624f267261eec5c41bd64d20d707dab6f048bc6","datavalue":{"value":{"entity-type":"item","numeric-id":2238603,"id":"Q2238603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222958$011D729A-039D-4D8F-83DD-529445B0EA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5206d388e7179cac1a1f282e72074e651e25ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1370851,"id":"Q1370851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222958$788E48F0-C125-4528-85FE-28630820E6B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222958$1044E7AD-82A3-4D3F-85E6-C6C4E547958A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222958$A0DC53CE-547D-450F-864E-D744FB70FEA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"831d99124367e1bdc4cfe617256ab64e7e23a8fa","datavalue":{"value":"https://arxiv.org/abs/1909.04983","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222958$234E7211-BF1F-41B6-819C-BCD51487F03F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222958$85A53475-7DD2-4BCE-A2B3-D8CB2F0B675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222958$B2855B50-AA74-43AF-8F7F-8DFB0A7C40A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13f397a192078dccd01871a95812cc0cb8aa7028","datavalue":{"value":"7076871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222958$9F460976-A83C-480F-A4A6-46D3ED5DC826","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e219e52de8a2e4a2a8c425a49567f4498b828c","datavalue":{"value":"graph games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222958$4E53CBD2-F6C1-44AB-B853-10DE00132A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222958$7DAEE908-71D7-4059-A97C-2C7D6F6C60A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222958$DAAB6D7F-5605-432D-B1DF-BFF18CDE4046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c32020b496256bb2becb5159aeeea4f6902b4e","datavalue":{"value":"progress measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222958$F74CE210-353B-4898-8F49-95614830E47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222958$669A9D2F-95E9-43EF-AC81-6E1FAD798911","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":"Q5222958$E941B81C-E696-4355-B56A-A446E2BBDE28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9a699cc1d3aec7f41a6bc5590289784eb2ef779","datavalue":{"value":"W3105831223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222958$96D0CBD7-0BE4-479A-B19B-E153ECF5D453","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9818bd558436a8f1d20713c362b4086977697d7b","datavalue":{"value":"10.29007/5Z5K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222958$C3AD779A-E0FB-493F-ACCD-7D27272F66EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59d9e63ed5873ad151053172dc8fd0dc8587d7d","datavalue":{"value":{"entity-type":"item","numeric-id":5111185,"id":"Q5111185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec06dd2809e003242ad9ea4632f0f18c124f52d7","datavalue":{"value":{"amount":"+0.9278799891471864","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":"Q5222958$1C07ABDE-DFB3-4889-99F6-44E0DB7DEA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cad243ae7a7b032addc701f97b93bb8e802598","datavalue":{"value":{"entity-type":"item","numeric-id":1616970,"id":"Q1616970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd800dc96fa89be9f0ac6e8bcaf3944825b71971","datavalue":{"value":{"amount":"+0.8320844769477844","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":"Q5222958$09E19567-EB2D-4A53-B758-0B06DF471803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4a59e4ca183dcbd74cb6d76e64c025be732200","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9819e765b9d6a7d8994fedf0770128f5fe8c97c0","datavalue":{"value":{"amount":"+0.8201888799667358","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":"Q5222958$24DE013C-630E-4077-A718-6EC69680A2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccd368406335fde13c85bc812bb9975dcabe08a","datavalue":{"value":{"entity-type":"item","numeric-id":5145340,"id":"Q5145340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a428b12ff9bad0ad27bdde486a697f2db0fef8","datavalue":{"value":{"amount":"+0.8198387026786804","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":"Q5222958$F9413A73-FE85-4F2F-B511-AC057FA60DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f7dfd6b370ed0d6d94e2cc17413137437e22e2","datavalue":{"value":{"entity-type":"item","numeric-id":5144638,"id":"Q5144638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6afdea9da6f808887b459a180f040091923bdb8","datavalue":{"value":{"amount":"+0.810396134853363","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":"Q5222958$19967943-B47A-423B-B39C-CB95FA19708B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222958"}}}}}