{"entities":{"Q5450116":{"pageid":7479675,"ns":120,"title":"Item:Q5450116","lastrevid":50310248,"modified":"2026-01-13T19:26:36Z","type":"item","id":"Q5450116","labels":{"en":{"language":"en","value":"On the controller synthesis for finite-state Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5251107"}},"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":"Q5450116$ED64219C-AAD4-46BD-8FC6-100070135509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0058e844444994ef4f1f922a70691373bf500d77","datavalue":{"value":"1142.93012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450116$64FA5E39-C37D-4699-9846-9DA7D83085FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16d7c702fdfb922b207b03633f72f86ac4cae3a8","datavalue":{"value":{"entity-type":"item","numeric-id":2482724,"id":"Q2482724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450116$4183D8E9-DB20-4941-A605-4B444B924CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450116$B97AF401-ADB5-4D9E-85A1-FFBE4F2512AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5502baf3530eb4ba54eb978f9bc54f1314c6bec9","datavalue":{"value":{"time":"+2008-03-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":"Q5450116$73CF9488-4910-49EA-B978-00B1BA348040","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450116$092D8D6C-63C4-4DCF-A152-EC90D2E1089A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450116$80C667E4-A565-4696-AFF3-37FA932C64A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30c44de7be251b06c724a821bfd07428e2a12118","datavalue":{"value":"93B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450116$0A18A0F6-764A-4A16-9A70-8FCE9ABDD010","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80db1dd561b0861dcffd0234d3706db5352faa30","datavalue":{"value":"5251107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450116$07725DCC-A2EA-468F-8B80-78CB661A824B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450116$3E9243B7-CC8E-4BF8-9877-C189B14D88BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450116$8054AD84-363A-4EC4-9490-C19D113088EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae95bff71f73f0d716395b2b82d3cfeb995174f9","datavalue":{"value":"PCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450116$43A3F578-402E-4038-89BF-D20D17657F6F","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":"Q5450116$8C0377FE-A07E-4B04-897F-93B267919F53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5264eb812a37903e149cc83d4e37c8b9d568b6","datavalue":{"value":{"entity-type":"item","numeric-id":5897798,"id":"Q5897798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da58b3d5a8b6d828f4ddc71623ecac1e867324ca","datavalue":{"value":{"amount":"+0.9999989867210388","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":"Q5450116$0BFE48FA-B4B6-4143-9A7E-948499B69993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373f6a6eb1f549c8a9b9d76b89758cdc113f5ace","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1515e81893c3268dcb8f91984aa1650da7bb557","datavalue":{"value":{"amount":"+0.8644896149635315","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":"Q5450116$6678649B-6E83-4B4E-A435-FD8E0C506652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f53310a97d16461eb1e015da155592b3741bff77","datavalue":{"value":{"entity-type":"item","numeric-id":3519498,"id":"Q3519498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ce3d8b8a3e8b7670627eb3bb606001572dcbb1","datavalue":{"value":{"amount":"+0.8150441646575928","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":"Q5450116$AF4CED27-3FE7-4E1E-83A0-12E560B65C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e3127994be17a8f137c9f465dd2cd210c8d6c4","datavalue":{"value":{"entity-type":"item","numeric-id":2891434,"id":"Q2891434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3603c0277300958efd5acb7b248e55e83302e6","datavalue":{"value":{"amount":"+0.7838271856307983","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":"Q5450116$9D916695-1711-4D57-A29D-F85FDC3760FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0994bafde4ee1ee2214f47a7f767115bffadcc3","datavalue":{"value":{"entity-type":"item","numeric-id":1694463,"id":"Q1694463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd9761658da1940a734ac558c85b7f996efa038","datavalue":{"value":{"amount":"+0.7773026823997498","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":"Q5450116$1BDB07F6-325D-4600-AE90-3A9DC9179EDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5450116","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5450116"}}}}}