{"entities":{"Q5144638":{"pageid":7174209,"ns":120,"title":"Item:Q5144638","lastrevid":58448700,"modified":"2026-04-05T06:40:50Z","type":"item","id":"Q5144638","labels":{"en":{"language":"en","value":"Succinct progress measures for solving parity games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297840"}},"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":"Q5144638$7A1CC3DB-954D-4594-883C-89F79CCEEFB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d794b0a0088aa66efff482056d4bad348162ab35","datavalue":{"value":"1457.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144638$FF57B762-AE1B-48F5-98BF-D3B1AA9E92E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f621ede52e0e400ed40e07c9d5b412ef629a170","datavalue":{"value":{"entity-type":"item","numeric-id":293425,"id":"Q293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144638$EE25004D-109E-4B07-9A00-D3F3FED6EE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144638$6AF20840-40E1-460F-B830-2A4C1D9617AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144638$93B37D58-175C-4C60-B8BE-EBFC575E5E9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5250d3299009d27014794e1caedfd29e0623720","datavalue":{"value":"https://arxiv.org/abs/1702.05051","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144638$F9BAEC59-45F8-4A00-B4DC-E7403FF71E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6f3715fd1efdc2d41df2b2a5d56a25a41919505","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330027","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144638$1AEBB8DE-CC5D-47DB-B892-7A2ECFB92033","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144638$68074151-49C8-4B91-97BE-3CD1A2C5E8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144638$B5BBC7AF-9BF6-4436-AA46-EF8697B7369C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0bda8c1a3946636b84ecdd7e9f6fa0c9b3dc329","datavalue":{"value":"7297840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144638$563440B3-5733-447B-B93B-0FFF32F33E93","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":"Q5144638$054B5C10-C27C-408E-87F7-DE71AE96EEC8","rank":"normal"}],"P1643":[{"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":"5bf7d849bfff366e3847d11ad79cdf77b559334a","datavalue":{"value":{"amount":"+0.8626471757888794","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":"Q5144638$23EDCB15-7CBC-4A72-8552-EB9270080D72","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":"d4298dc9e232faa49aa729b87059161546b7cfb5","datavalue":{"value":{"amount":"+0.8596910238265991","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":"Q5144638$79A12287-0CB8-4F3B-928B-31EB6BF2E0F5","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":"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":"Q5144638$0C70F6A5-AD5A-4442-ADD1-A086C3822E63","rank":"normal"},{"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":"0a1c297df5ab783d668018d5d1793453c101bb0d","datavalue":{"value":{"amount":"+0.8381441235542297","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":"Q5144638$BABC4254-8CAC-4374-B757-487145D01EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141c554b286e4e556eec2ea6f099ee77cfd683aa","datavalue":{"value":{"entity-type":"item","numeric-id":5236329,"id":"Q5236329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2553b65f446dad1fda4ef521a2fde01081314f","datavalue":{"value":{"amount":"+0.8333355188369751","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":"Q5144638$391AB984-AF7B-4DCF-A383-88057DD8B0B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144638"}}}}}