{"entities":{"Q5111453":{"pageid":7141027,"ns":120,"title":"Item:Q5111453","lastrevid":58430889,"modified":"2026-04-05T04:48:15Z","type":"item","id":"Q5111453","labels":{"en":{"language":"en","value":"Threshold constraints with guarantees for parity objectives in Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204573"}},"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":"Q5111453$BFC3AC5F-10DE-4AD2-9AE8-9435BFACF9D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24b171f06e8dec24ba89504dbc8357236b88dc5d","datavalue":{"value":"1442.90199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111453$E6F53C0A-3A32-42F0-A5F1-8CC026F050F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"271ac9fa2ac9286bb3bc6834dc8549a5bdccf7e4","datavalue":{"value":{"entity-type":"item","numeric-id":832920,"id":"Q832920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111453$4315254C-EA8F-40C2-993F-5DC75064AE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c81ecddee79d99c8678fc9dd53875c5c797bf24","datavalue":{"value":{"entity-type":"item","numeric-id":526758,"id":"Q526758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111453$D7A8EE0E-ACB7-4FF8-B072-1563B350FE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111453$B8016758-A767-46DA-82AB-C14A37782936","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111453$7F269EAF-2488-44FE-95FC-4B26769AE22A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e26a228d137251175e31b73eb27bea47002c48d5","datavalue":{"value":"https://arxiv.org/abs/1702.05472","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111453$3B86F74A-4158-4F73-83C6-E5246F63510B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111453$B44CDFAC-D413-49B2-8462-803C1D18A60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111453$1F2EE6D0-13F0-4CEA-9DD9-93F539FFC200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111453$24B9CC09-CE12-4261-B43E-396FF2EC41E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f1a77cb3035eccd70aebd860c0621580116151b","datavalue":{"value":"7204573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111453$91BFA6FA-02D3-436D-83A8-A375B776F8EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111453$B59ADCB9-AFDB-4669-926B-B297923547DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba1fba4d31f030e7bb15e21b232de6f7e5567d0f","datavalue":{"value":"parity objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111453$8E302AD2-3EAC-4C11-9F6C-816EC1101401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c370a41eb7ae323c0da48733bf60d7472db44a3b","datavalue":{"value":"beyond worst-case synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111453$19389559-49D6-434E-8F12-14B1A5F10269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111453$6E28E28F-4B88-4BB7-B2CC-BD5CB9ADAD80","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":"Q5111453$0574EF26-D577-4DB4-BD5D-796B1CEA990B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff17c435fe29dd829c92d3304650a0949d4bc703","datavalue":{"value":"W2963046256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111453$C2C7884A-7AED-4951-BA05-C0F7F2868C17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3714fcde9093e6e25b8ceb96dbf333ba5d72ffaf","datavalue":{"value":{"text":"Threshold constraints with guarantees for parity objectives in markov decision processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111453$C538F9B2-6265-4A62-8F39-D3CE4DFDF6CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d53309acac27958372595d40d3786c6af6737d9f","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111453$EA07687C-3882-4299-98D4-A957689CB2F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bb28b7692af1dd673173b78c0c92a536c25d3c","datavalue":{"value":{"entity-type":"item","numeric-id":528191,"id":"Q528191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e7c82580f9d142f56d38b8bc5339d06eefd6c0","datavalue":{"value":{"amount":"+0.8231803774833679","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":"Q5111453$659376C4-AADE-41B8-973F-AED7382D7BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a55efd8a55ac22ef8dce18fe2aa0347417d889","datavalue":{"value":{"entity-type":"item","numeric-id":2965484,"id":"Q2965484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62fd3540cd00bbce0cfdb6b844586860a170d499","datavalue":{"value":{"amount":"+0.8199533820152283","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":"Q5111453$8A4E34A8-ABAC-4ADC-8703-334E0FAD6709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16c25f75caee47bc9d931d7e7d682e1b57db8ab","datavalue":{"value":{"entity-type":"item","numeric-id":4994885,"id":"Q4994885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d9e77a91e71d3bb4739228c7c2afbd78b60d27","datavalue":{"value":{"amount":"+0.8086633086204529","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":"Q5111453$169EC286-2BD0-4C14-BB7D-A55151AF2903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3b84c1d630767d00f4969b47cdf503acf16c91","datavalue":{"value":{"entity-type":"item","numeric-id":4635809,"id":"Q4635809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04dba986715bc95667a83f6afa27fa00ee3b90a","datavalue":{"value":{"amount":"+0.7893587946891785","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":"Q5111453$4FEF5615-2437-42DB-8731-637728CBBE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ddf17516ab86a93babb305f61a1989831d644f","datavalue":{"value":{"entity-type":"item","numeric-id":5410674,"id":"Q5410674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc086f68244d8d4fee6482770ae46cd3939f12b","datavalue":{"value":{"amount":"+0.7799274325370789","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":"Q5111453$637A4905-A4EA-4755-BF83-E0998B3CFF6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111453","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111453"}}}}}