{"entities":{"Q2680240":{"pageid":2690983,"ns":120,"title":"Item:Q2680240","lastrevid":44615274,"modified":"2025-11-24T09:24:42Z","type":"item","id":"Q2680240","labels":{"en":{"language":"en","value":"Quantitative controller synthesis for consumption Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7647065"}},"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":"Q2680240$98B2EAF6-BEC4-41D9-AC14-693762938AEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0e15060a6f0f27ba0a2931c55a05e3e5f9d5a45","datavalue":{"value":{"text":"Quantitative controller synthesis for consumption Markov decision processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2680240$DC3D8E00-600B-49F8-B1C1-E9C90495DACB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34e38a5805fe908ed04eccb90cedec7ec1858a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2084944,"id":"Q2084944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$C6C671E7-82F0-4C9A-8401-497E484AE09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d45bf36acc3f346801afa9a60b24d473d12765e1","datavalue":{"value":{"entity-type":"item","numeric-id":824284,"id":"Q824284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$C9D0E9A4-E531-4719-A4F1-41BEFD562650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"525be268eddb5d95f5464c718ca2a74c2b70e47e","datavalue":{"value":{"entity-type":"item","numeric-id":1660782,"id":"Q1660782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$3CE28144-9238-4B26-8BB7-64DFB448F8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3e9931c8da515e22708f3d19914432dad67028f","datavalue":{"value":{"entity-type":"item","numeric-id":2084945,"id":"Q2084945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$7CE50D89-BB79-429C-8161-22C7B8B5C826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b03791e3ab103896b9378efc57bae42ca7928ba2","datavalue":{"value":{"entity-type":"item","numeric-id":480649,"id":"Q480649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$D61CFBAC-9900-4E4E-A708-DDD8FA5DD915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$152798CD-8767-4FF2-99BC-1726CA758BC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$412734F7-09D9-4260-A684-9B9949595F0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eda75f05c204328dee62a5e7a56569979fdfcd0","datavalue":{"value":{"time":"+2023-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2680240$874D7DA7-8DF0-4E99-A01B-6894DF396EB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680240$43F3F653-E1A5-4538-8BC5-54EEB7D682CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a7574e04428c0e53a791f861a0ed17fee5484af","datavalue":{"value":"7647065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680240$2CFAC5A2-F312-4F7D-8484-E80375879ED7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680240$91F7B078-FF4D-4CF9-9612-72F6E6DE65AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680240$F2F14DDC-E380-4A51-9C26-66CF24BFE5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680240$16D1B342-5D1E-41C9-900D-92C6EC9B54C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680240$389A278D-4BB6-41B5-B403-B60C816FD14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d5e4886aa4290eca104cd0d1da319d8b4d34c4","datavalue":{"value":"NP-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680240$B61C852B-5A43-42A3-95AC-FE313AC4A22D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db4f953c8327488bcfed10e933d15bf2bb1a5fbe","datavalue":{"value":{"entity-type":"item","numeric-id":29276,"id":"Q29276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$DC253E5B-8297-4A4C-9ECA-6D20AE14333E","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":"Q2680240$30A66D0C-943A-4853-95E0-A7DC5F26DF33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d79497b31c18c082ca351ffa349e52c8d5760027","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2022.106342","type":"string"},"datatype":"url"},"type":"statement","id":"Q2680240$C3228688-B082-4A57-87F9-A53AA0EE770F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11f3163d0201d1e7158c3ffafdab4dd7e858ccf0","datavalue":{"value":"W4309568545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680240$D554CAFA-CFD9-4D72-B27A-AF13AF11525A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f3095b1a7f87b0daf3be22031f56580836160a","datavalue":{"value":{"entity-type":"item","numeric-id":3245701,"id":"Q3245701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$33B532AA-01E7-40DD-86E9-3EC89E7CE899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9042ea9facddc8784b59cfee28dd7cc10c84d59d","datavalue":{"value":{"entity-type":"item","numeric-id":4256521,"id":"Q4256521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$D9A2ACBA-EC9D-47A0-B3EE-8F8C9B54DC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9066281e5b3618aeffcb97107bfc8ee2bc7c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3543286,"id":"Q3543286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$122B0DA0-1707-45AA-9371-E2898FD0FDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6ea6c9a77f520afb04e0fcbf799ffc9143f4","datavalue":{"value":{"entity-type":"item","numeric-id":1758152,"id":"Q1758152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$F4E9B635-F1AB-4F35-8372-0AA49CCBE9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34a7219337c5feca02bbe8eca2116e0ce4e716c","datavalue":{"value":{"entity-type":"item","numeric-id":2226753,"id":"Q2226753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$BAD48C98-0793-4804-B325-DBA94E145756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b9d9579952d5cb20c7eee1e484c5ede7b57668","datavalue":{"value":{"entity-type":"item","numeric-id":72343,"id":"Q72343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$2C5101BF-EF74-4222-9BC3-6413E7838CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f78f552de622e8856c787652efefd65193cde4c","datavalue":{"value":{"entity-type":"item","numeric-id":2796060,"id":"Q2796060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$0CC65DA5-F9A7-4157-9E99-4AF27401EC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85fc02d9974d1dd5f665b52c3988fc97b6888340","datavalue":{"value":{"entity-type":"item","numeric-id":1660767,"id":"Q1660767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$0DEE636E-3C16-454D-9501-196FCAC0D17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f850e085a14db6a99acd087064965ed735ad2f1","datavalue":{"value":{"entity-type":"item","numeric-id":3086919,"id":"Q3086919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$4B879533-9C10-4C74-9FB3-B2FABBDCF4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38836ff2245e3636a4e69f2c8fc39b1ff4b4bfa2","datavalue":{"value":{"entity-type":"item","numeric-id":2324235,"id":"Q2324235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$2E9579FC-FE7A-4631-93DF-B29019DD4884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ef71f3e0f164aead77254d85064b1f24b2cc25","datavalue":{"value":{"entity-type":"item","numeric-id":2953929,"id":"Q2953929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$D0FD6BE4-70CF-4784-BE55-859822FF6C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$9186A2E0-9A9C-42AA-8329-88D72D6DA5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$01DA7CFE-7887-4EAF-AE7D-0CCB721A5869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$F9C11E33-1C14-4C25-A2AE-0527383BB92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4efb2e5acbe34221da2d9c852ae2f7b2ea73946","datavalue":{"value":{"entity-type":"item","numeric-id":3449479,"id":"Q3449479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680240$1E8DEA74-A89F-4120-B017-B7B5074B0CCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dcce56f3d35ae890645409deeee7d38ce8d2498","datavalue":{"value":"10.1016/J.IPL.2022.106342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680240$857274B2-3594-4A0E-A980-38CF209AB73E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2680240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2680240"}}}}}