{"entities":{"Q5758101":{"pageid":7787652,"ns":120,"title":"Item:Q5758101","lastrevid":50154827,"modified":"2026-01-13T07:08:17Z","type":"item","id":"Q5758101","labels":{"en":{"language":"en","value":"Multi-objective Model Checking of Markov Decision Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185766"}},"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":"Q5758101$E5254305-30A0-4A3F-A8FD-C7D66D0832B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94f173a1df1786a23f6e763bc36230b720752b31","datavalue":{"value":{"text":"Multi-objective Model Checking of Markov Decision Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758101$D14D7394-FD91-47CE-A9BA-FE3226C65C91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6eae3f488a30a370bb39524f9d7490c145e2fd1","datavalue":{"value":"1186.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758101$69227EAF-EEC8-45BB-A6D2-5D65C25C7C20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09602045b02ed87942e001532810b78fc15bcf78","datavalue":{"value":"10.1007/978-3-540-71209-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758101$8677AD02-A7DD-4BC3-AFD7-BF7D389211BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758101$7FE0A81F-0DA1-4B8A-BFF5-5F411E619687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758101$A52570CA-66D8-4D45-B7FD-4C02D92A087C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758101$CCC47358-0F60-403B-88FF-9AB43007516E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64789e48fd3ab0a44b5ae0aa6d85c1c024312026","datavalue":{"value":{"entity-type":"item","numeric-id":458479,"id":"Q458479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758101$B9C5CF60-766C-4A04-90AF-D1916301835F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758101$39051EEA-03F6-42FD-9301-3863C06CDD9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758101$2F1C9C5C-EF77-4694-9B87-5F3AD9D1283A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758101$ECB7F774-0D16-456B-942A-E857CAD7D7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758101$7FFE86A6-3255-46AA-B470-7AB07DA89328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1da099a939eb4ecf2eb7131c1f1b29c785c4120e","datavalue":{"value":"5185766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758101$26B77A3C-03BB-4588-A729-ED9A3AD39122","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":"Q5758101$90DA0F47-DB0B-4F83-A43B-C6B074DA3B9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a809d829272135bae99dccd9ea184c5fdaec62fb","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758101$A6972D6B-037F-401E-AB13-921DDC7163E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30acf1665f209e383bb30566fbae09c164f251d4","datavalue":{"value":"W2128480458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758101$BB53879C-D6EC-45A3-BD1C-BB5213C1742B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcf14b2fe8d7eeaec2be31bff92044513eb60a6","datavalue":{"value":{"entity-type":"item","numeric-id":3623004,"id":"Q3623004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4890cdc2bbc648639caa7ed4ca60cec1e3caa0e8","datavalue":{"value":{"amount":"+0.9998199343681335","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":"Q5758101$EBFFA073-31AD-4C06-A107-5E5BD9E54BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dde0b90d8be82aa8250161b991513df6e38546b","datavalue":{"value":{"entity-type":"item","numeric-id":5449810,"id":"Q5449810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b506676a2ff73c2cd70e84cf14e512fed99c7313","datavalue":{"value":{"amount":"+0.8827604651451111","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":"Q5758101$92A274BF-BB91-4100-8CA5-3316F578B84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a945aaa34ef9e7631967cc0510b4e68a2832cfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5458858,"id":"Q5458858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b16c9129df5bc13ce18a839774180b0df020696","datavalue":{"value":{"amount":"+0.8498823642730713","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":"Q5758101$EA9E30B0-9E42-4C69-9928-8FE54B2D7C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abff5b5bfa3a7b8c540f1ff50ebe6889c97a5e0","datavalue":{"value":{"entity-type":"item","numeric-id":5404479,"id":"Q5404479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0372765265c79e0d8e332c01dc3a25f4ce06b6","datavalue":{"value":{"amount":"+0.8480632305145264","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":"Q5758101$89113A1B-FA17-47D0-811D-8DC944AD78A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b61d282f8709e8798332a2bd6a9d96a707be1b5","datavalue":{"value":{"entity-type":"item","numeric-id":2208304,"id":"Q2208304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4311f04074448aba9363eff27adc2fc60fc4b6a","datavalue":{"value":{"amount":"+0.8471004366874695","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":"Q5758101$3F5538EC-C95D-4847-8334-6D17D01F9F92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758101"}}}}}