{"entities":{"Q2798714":{"pageid":2809452,"ns":120,"title":"Item:Q2798714","lastrevid":79402274,"modified":"2026-05-06T13:49:30Z","type":"item","id":"Q2798714","labels":{"en":{"language":"en","value":"Compositional bisimulation minimization for interval Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567897"}},"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":"Q2798714$893DDFD2-D871-4060-AC0F-527A85548672","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2550e4116fe5ec11876ecdf02bd66759bca40e8c","datavalue":{"value":{"text":"Compositional Bisimulation Minimization for Interval Markov Decision Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2798714$22BD7AEC-0792-4EFD-B427-A47F0E1CB893","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7ee073a4d1fc064c50d2adb4a13b0db1af313fd","datavalue":{"value":"1435.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798714$561BBB46-296C-48B5-8C69-6F6A24632541","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb5f17c186a282d34020d451d3658ef682018a8b","datavalue":{"value":"10.1007/978-3-319-30000-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798714$55CB2C3A-5216-4B78-B1BC-493004808EC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af26805171797bc3ca1cd438233caaf30631625c","datavalue":{"value":{"entity-type":"item","numeric-id":282103,"id":"Q282103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798714$F8EC9922-8236-46E9-B194-BE082B9902E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798714$4119CF87-DD00-4495-B19C-DD73EFF73139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd2ccd250df2979e12e8ab152e5336c2c8ac3f55","datavalue":{"value":{"entity-type":"item","numeric-id":441757,"id":"Q441757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798714$74A44AE3-F999-469D-B183-B65755F2C3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7df2d49a710f5b21adfbbe3b8775543132e5a670","datavalue":{"value":{"entity-type":"item","numeric-id":282104,"id":"Q282104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798714$FE85B99C-F577-4849-AF62-987DC7B7682C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798714$B55C4800-7D83-43C0-B281-144897E12EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798714$B0902884-157B-4B79-B123-30D13D52D236","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798714$60051F88-FB23-4725-B296-3CA6E660260C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3a7b3978f3c180b0eca4ce0874ed3437c0432c","datavalue":{"value":{"time":"+2016-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2798714$E6FB3713-8370-4CC7-BA8F-AAC7B5BB6A33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798714$AAE334E1-3CC3-42DD-883D-B83196E365F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798714$CA0B07BD-7CAF-42E2-9F5E-A62C8E54C0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798714$3FF8D3A7-D553-4A63-9351-1981323EDB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798714$390778B5-FF56-494E-AAA9-A684A3F22387","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b53c435e28c1bb0d5f2faed3febe94d6c2e0d91a","datavalue":{"value":"6567897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798714$F7B9AC43-47E8-43FE-A469-22DA5F07A76D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798714$988C2F91-95FB-4F55-B2F6-10A39A9858A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad1331d99bf4a0cd1488f137128518dd47cef00a","datavalue":{"value":"interval MDP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798714$AB817EDD-7927-4242-8598-03B1DCCE215B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798714$02C3738C-9F56-405C-A049-E387532E117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798714$1B5CC261-BFF0-4A5C-AC1C-E601499541D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798714$E2A1CB36-E6A7-4FB3-9F71-795E45630830","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":"Q2798714$EF68F63F-5467-48A2-ABFE-42C24EF96E42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f059ff0aa199d431b6f8c56ed1209972f2cc2370","datavalue":{"value":"https://doi.org/10.1007/978-3-319-30000-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2798714$176D43B7-8023-4185-AE2E-44DA806AE106","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07ca52c36430c3f68faca36f8b8d793de484daa8","datavalue":{"value":"W2402642317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798714$AD2F155C-D51A-4013-A7BA-4D5B20A5ACAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fb6f9650c304777d7f8aa97539b2e3d7a6834e","datavalue":{"value":{"entity-type":"item","numeric-id":4994959,"id":"Q4994959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b8f420da898f249597dfa797904ec9094ce677","datavalue":{"value":{"amount":"+0.9045923352241516","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":"Q2798714$61868C9F-BA06-4F64-97FD-43B6B0571CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9088082e1dcdaa454edf141de3df56fe42205551","datavalue":{"value":{"entity-type":"item","numeric-id":1693117,"id":"Q1693117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c29830b8287946af3315c94eef4f09ca37946f","datavalue":{"value":{"amount":"+0.8713635206222534","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":"Q2798714$B5B714F1-7FFB-43D5-B89E-81BDA7F01F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f92da1de516c58b653db0c47d18939c90ea0726","datavalue":{"value":{"entity-type":"item","numeric-id":5045376,"id":"Q5045376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8684685d2ed79e767a77bb35b61ac2a32c09b1","datavalue":{"value":{"amount":"+0.8367643356323242","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":"Q2798714$86E5C66D-0B18-4A9A-9DDF-CFBE4C2902AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c417f13c9637cdbd50a0f830d5778fda7191e8","datavalue":{"value":{"entity-type":"item","numeric-id":2864840,"id":"Q2864840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fc7e56ed33b6488978d5a3ef4707043cb66760","datavalue":{"value":{"amount":"+0.8000805377960205","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":"Q2798714$815412A3-36FC-445C-9044-E743BF2512B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab192548c933c02945f838469509d0576f8dd36c","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b1afe50293319ab160cfcb6fbbec34bc81c7e9","datavalue":{"value":{"amount":"+0.7753642797470093","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":"Q2798714$7305A96F-A7E9-447A-95E9-65F9E8C71344","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional bisimulation minimization for interval Markov decision processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_bisimulation_minimization_for_interval_Markov_decision_processes"}}}}}