{"entities":{"Q6046744":{"pageid":13180900,"ns":120,"title":"Item:Q6046744","lastrevid":58655976,"modified":"2026-04-06T05:06:35Z","type":"item","id":"Q6046744","labels":{"en":{"language":"en","value":"Efficient Strategy Synthesis for MDPs With Resource Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7746616"}},"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":"Q6046744$B5A07048-F7DF-47ED-AD94-FC9FED0A065B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3822826dc27e647f51ca35d4f93e30d8c3e3a757","datavalue":{"value":{"text":"Efficient Strategy Synthesis for MDPs With Resource Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6046744$BA447B85-0FD8-4463-A196-D4D81FDA1365","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4f64a12bc86ce8cf7eaa1f7ae2622731f942a1","datavalue":{"value":{"entity-type":"item","numeric-id":2202001,"id":"Q2202001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046744$C3325C75-D553-4027-BBA6-5A78BB36078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11678640a6e912a3bd5c6e3abd03521868996d7","datavalue":{"value":{"entity-type":"item","numeric-id":855151,"id":"Q855151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046744$83C44C13-C45A-42EF-A919-A7ECB429969C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84bf328f61c0185dc7b0dc7b6133bae2c5557e6a","datavalue":{"value":{"entity-type":"item","numeric-id":313221,"id":"Q313221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046744$D943899F-5C3B-4FB3-8A59-E4A45AB19788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7150ef734f98a4271e044edc69348c15f531ffe4","datavalue":{"value":{"entity-type":"item","numeric-id":2226752,"id":"Q2226752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046744$AF27AC16-9EEE-4031-88E7-69F8B374EB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487073ada51865d122949c4ee8319cc409a27d36","datavalue":{"value":{"entity-type":"item","numeric-id":306318,"id":"Q306318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046744$A8FE821C-480A-4433-864A-3B860F461C42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046744$D515DD65-9E23-45D7-AEF5-9BFD669B4878","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20de6730a65fad7e37c52760d93a5c65271a8236","datavalue":{"value":{"time":"+2023-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6046744$3C109C95-1BBF-405C-B776-A2984398149B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3037d1b15e9ae69e06dc2b0fa27140e0cd91b03","datavalue":{"value":"https://arxiv.org/abs/2105.02099","type":"string"},"datatype":"url"},"type":"statement","id":"Q6046744$5AB59635-93AA-40F9-ADAE-C8651BBAB121","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6046744$FBAFBF43-4349-4158-89F2-39FDE0571DE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75bd0934efb54402cc145f0070b43851494f1c67","datavalue":{"value":"7746616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6046744$CE2C4221-61BF-4F83-807C-331BE9127F15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ece8604b0270d666a40b0a81e6bd4e5152e3526","datavalue":{"value":"consumption Markov decision process (CMDP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6046744$6C2D8F5D-6D26-4140-9CDD-42E300C8ADF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6046744$9AF44438-99D8-4CCF-B019-2E19F447A2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d753e5e990ebfdf83a949c3aaffa7801d2f62688","datavalue":{"value":"resource constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6046744$4078E3CE-1880-46A5-B26E-B7E305FB2B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67d2c5005fa362b84c077c8a3727fd906e2ed4a","datavalue":{"value":"strategy synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6046744$87996605-F8CE-4027-92B9-FB19F4FF246E","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":"Q6046744$89175BC2-200A-4878-B61F-E4B2CA927853","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da4bf6ced2da7ce3db0f8b36bb916a34ce25a325","datavalue":{"value":"W3157659754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6046744$75B82861-0CF4-4755-91DB-4DF658F82124","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f477e1cf446cd8ff455bef19676e25ab903adb1","datavalue":{"value":"10.1109/TAC.2022.3209612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6046744$37667BCA-B50D-42E6-9599-942E904DFE35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6046744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6046744"}}}}}