{"entities":{"Q6485906":{"pageid":14064564,"ns":120,"title":"Item:Q6485906","lastrevid":47792431,"modified":"2026-01-02T17:14:54Z","type":"item","id":"Q6485906","labels":{"en":{"language":"en","value":"Probabilistic Hyperproperties of Markov Decision Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636262"}},"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":"Q6485906$A4CFFC16-67A9-4BB4-A69E-1849EC70778F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d0d74ef1b6cf617e9a5b9546022593a4806540b","datavalue":{"value":{"text":"Probabilistic Hyperproperties of Markov Decision Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485906$AE804299-2C0A-4679-9F7F-E36B679BFEB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99a48a949ea331815300062b045bdf3d9827575e","datavalue":{"value":"10.1007/978-3-030-59152-6_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485906$8FD39EE2-973F-49E4-9D45-0D3AAFEC41CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7327543f3fd83acc38c0b22bf0231e3136bbbf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1683927,"id":"Q1683927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485906$456B6E96-9B9F-43F3-97A4-928034E87272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485906$EE069405-7C79-4CA7-A38F-43AAA4CDB63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1e6ca78795ba5f1656360fb5231707af1dab8cb","datavalue":{"value":{"entity-type":"item","numeric-id":832290,"id":"Q832290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485906$61BDC0E1-0C0D-485C-BCDE-99B306A51650","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1ff287c83bd22012604d066c0287e2b84355512","datavalue":{"value":{"entity-type":"item","numeric-id":6485905,"id":"Q6485905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485906$8C35FBD1-797B-4ADC-ADBA-180393C7FD50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485906$307B6E03-C1D9-4185-9E16-D9BBB68FDDB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485906$E5757101-4993-4E33-AB43-28E4BEDCA9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485906$A7E390DD-9E67-4D62-947D-1960D93893A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485906$3EBEDB4A-8323-48F5-9256-999AA430CCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485906$4341405A-F404-4EAB-BB70-DF6A8B64290C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2fbcec20740c9df83173587a1d9ed4c828a8135","datavalue":{"value":"7636262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485906$7C80BDBE-EA3D-45D0-860A-37DEF2EF02CF","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":"Q6485906$E16703BD-3B39-4B68-9F66-62FB86C38B9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36dce0343775de8b1b4e3c772d9cc4b627fb15e","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dab5ea52bedd4fe31a9d96ed5fe474ee847420a","datavalue":{"value":{"amount":"+0.8960034251213074","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":"Q6485906$E27E70E5-FFB6-4947-88DC-E9EE14310B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e27ffb4ae9d7da23a5ac37c428f13cd688867cb","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e6e95ccfd6fb819c2387f42c56741ce7265df6","datavalue":{"value":{"amount":"+0.8858455419540405","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":"Q6485906$AB166938-E4A9-475A-804E-0B099C252606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec693fcc7b4ad2c0e8c3f778ededb893262fdbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2165513,"id":"Q2165513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99a78e691a9f4a782eb57f0c61502469b482db5","datavalue":{"value":{"amount":"+0.8335855603218079","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":"Q6485906$85D14DC0-BB26-45B3-B814-C753A665EEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de9ff4162e650ba88dc851cfee97ba08fc0eba6","datavalue":{"value":{"amount":"+0.8328791856765747","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":"Q6485906$CD377709-A7AC-4B18-8217-865948F7F7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743215197f7d370efd304a47ca4265b61f2fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4967242,"id":"Q4967242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb1501b7c7e8fd2610b82203e06196b1320acc5","datavalue":{"value":{"amount":"+0.8325884938240051","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":"Q6485906$A3ECBF2E-8420-4DCB-A9DD-8BD065A0B6FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6485906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6485906"}}}}}