{"entities":{"Q5145340":{"pageid":7174911,"ns":120,"title":"Item:Q5145340","lastrevid":53911670,"modified":"2026-01-25T22:23:27Z","type":"item","id":"Q5145340","labels":{"en":{"language":"en","value":"A modal \\(\\mu\\) perspective on solving parity games in quasi-polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298789"}},"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":"Q5145340$3EC3C888-068F-4132-8023-1BF1BC590580","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"290bc5cbe105a629b6fc21d39298785c800e95e8","datavalue":{"value":{"text":"A modal \u03bc perspective on solving parity games in quasi-polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145340$D70F6CD7-2327-41F4-8579-D48F3146F6B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45adf8aea2960e3befc28151fcdfa3b41082d023","datavalue":{"value":"1497.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145340$FF816C66-EBA5-42AA-9512-6D47A4C92A0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62fbba2a8970cc61ab824b2489941f3880662923","datavalue":{"value":"10.1145/3209108.3209115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145340$7DCEF06F-4FA6-4A8A-AD54-C375E1BA6A2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a6dfb5d891e79479fbb9027d2a465e4007f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2011664,"id":"Q2011664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145340$6E20FA63-4CEF-4183-B535-3E4F6C8860A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145340$2D9093AD-D2D6-496F-A4FF-B163947651DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-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":"Q5145340$4232CD95-EBE9-4E53-8447-C77DC9D277C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145340$FAF1C77B-E2B3-4248-89A5-C790C6288582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145340$FAD70D1E-FE2D-4F8C-AB3B-077731D258CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145340$04859757-043C-4F60-9C1F-7F3CE8679E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145340$22FE2399-2BB8-4A95-9010-A67EAF48CF66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5549391e3ca5873b3b1a4f4d5ee1fd651533db78","datavalue":{"value":"7298789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145340$230B64CA-CA18-475C-811D-2D62EC79FA49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93077cc6db36e07d535db7c75a2f03eb0743cd04","datavalue":{"value":"algorithmic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145340$C08FB42F-9BE1-451F-9C7D-6B9D96F58582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145340$4640E51D-0D38-42E0-B72B-72E3F92051FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dfd712d1e856c15f64932030b4eeb348989c876","datavalue":{"value":"modal \\(\\mu\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145340$F29BBAA2-97D8-4BEC-ACD2-EE446296E61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145340$82B2F8F6-AD83-4272-8B20-A31874A6A4D0","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":"Q5145340$63C5DDC6-D8D0-47BF-A927-4B75EAA5022A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"473d26f98f6777022b7bc3ebd9f208fd77fe4fb0","datavalue":{"value":"https://doi.org/10.1145/3209108.3209115","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145340$BA397A99-DD3B-47EA-8D0D-4102F976E286","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55a7123993b9a589fa14bd267b1c7e5be93cd615","datavalue":{"value":"W2799045007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145340$F7034F97-7E1C-482B-8451-42C178A1A123","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e18cb659e026cda6ebeabd1ef24ba1a1451d53","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a21553478db364a5d271ae55897e9be73f60ddb","datavalue":{"value":{"amount":"+0.8662285208702087","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":"Q5145340$8343CF7B-89DB-460D-92E0-21CDBC81D1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e1b3ac6c1185087388c596fde5e24a1fd14e64","datavalue":{"value":{"entity-type":"item","numeric-id":1622942,"id":"Q1622942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8893554257ea0190fa1c1353aeab42a2fad6f467","datavalue":{"value":{"amount":"+0.8548339605331421","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":"Q5145340$684B4557-E8AB-422C-921D-B163917707D0","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":"e9fa75876b21fd368ed1ec4183d3c68bd014331b","datavalue":{"value":{"amount":"+0.8453205823898315","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":"Q5145340$C8453C5D-9456-46B4-99B1-1D315560CE8A","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":"7ff67415a348573e393f7a29d2d449f71cbc14c9","datavalue":{"value":{"amount":"+0.8431097865104675","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":"Q5145340$08383675-84FE-4B8C-8AAF-AC7ADF512E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5136121d3a617fe24a20c4df35506dded7e806","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db18a8ab5696031e22429585e13111ab5997ea38","datavalue":{"value":{"amount":"+0.8370568156242371","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":"Q5145340$4221C81C-3EE7-4F63-9762-F2960201024F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145340"}}}}}