{"entities":{"Q5897350":{"pageid":7938273,"ns":120,"title":"Item:Q5897350","lastrevid":97506185,"modified":"2026-06-05T14:54:59Z","type":"item","id":"Q5897350","labels":{"en":{"language":"en","value":"Finite horizon analysis of stochastic systems with the Mur\\(\\varphi \\) verifier."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674146"}},"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":"Q5897350$D374CAB2-D9B3-4347-8E83-5BBF65EC3F3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7ea66813ea6c53ffe397ae639f289e93260953d","datavalue":{"value":{"text":"Theoretical Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897350$557A418B-8E9B-4E18-97F8-ED794484BCD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0418dc78e8ba20ecccca37b3ace528e69bad9ac8","datavalue":{"value":"1257.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897350$FDB7645D-7EC8-4D83-83EE-BA843AB4EEFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50b7baf9ffc5b2d2248fec32970903e0e6ec9035","datavalue":{"value":{"entity-type":"item","numeric-id":397402,"id":"Q397402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897350$627C7965-57F9-498F-8806-5A346058FF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"395b5137124702312f7d3fa6b0db1bd777258581","datavalue":{"value":{"entity-type":"item","numeric-id":397403,"id":"Q397403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897350$9A06CAA3-116B-4523-A908-A5C5A86D8DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f071a7bf2ab586ad65c67abcb7d73ae3d2d68fb","datavalue":{"value":{"entity-type":"item","numeric-id":397405,"id":"Q397405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897350$F59E3B39-6649-4059-9946-73DFF725070C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a357fda3647bc7bd0bed1134727ddfa0047069d","datavalue":{"value":{"entity-type":"item","numeric-id":397406,"id":"Q397406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897350$771615E6-0E47-47AC-A885-AE7E3322EA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43082865ac286defa1400cfb80fbddfaad145b2","datavalue":{"value":{"entity-type":"item","numeric-id":792993,"id":"Q792993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897350$94D90268-6E7F-47E3-8959-42432A6DFDEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897350$DA0C98FB-E556-4FDD-850F-6991D8154F26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24e3170ae1d6bebbc96609d601d5472b321e57f1","datavalue":{"value":{"time":"+2010-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897350$4E7BD309-0073-456F-A16D-857C2462F016","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897350$F64A738E-45AC-4F1D-B28F-7794889E73F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897350$80AB6D5E-A78A-489E-A0BC-B0E1212220C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"510d3222a236c89fbcce1105701f17b2f1a9551b","datavalue":{"value":"5674146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897350$50ED58AA-4D28-4CDB-B79A-7DD57519567A","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":"Q5897350$CF115B4A-831E-4E29-9A3E-46B05B146CB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99f5114f98f6e2f5de04ac668ddc51edea8b57c1","datavalue":{"value":"https://doi.org/10.1007/b13810","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897350$8394E5EE-5F47-4080-847E-62BC9D3D2724","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ace534d3d09da921364bd2948f60cb152a4611c","datavalue":{"value":"W3144329707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897350$76989320-45FC-4AA2-8BB9-176251F4A735","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f516c0aedcc8f2bc00cc400ccde684fcacf779dd","datavalue":{"value":"10.1007/B13810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897350$815531A8-B8F3-4111-8B41-28D0C7C5FD38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cf7c142a62fa8a0311516f4ec1b1b9b4de196e","datavalue":{"value":{"entity-type":"item","numeric-id":5897081,"id":"Q5897081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71fcdb58ead8671c808d484e41b49b39c0a5a4f2","datavalue":{"value":{"amount":"+0.864395022392273","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":"Q5897350$EC464AF2-159B-4A0D-8E9C-A143797AA564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03819bddd4c5c811dc6f303431d2cd8af4d7b5a6","datavalue":{"value":{"entity-type":"item","numeric-id":5492982,"id":"Q5492982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232e2f618265c3e60eb9957bef93f342eae11c08","datavalue":{"value":{"amount":"+0.8335915207862854","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":"Q5897350$658183F3-116F-491D-AF78-DDB0CE62BB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5700123b27ae2f118c1931407ea13dde7fe944b","datavalue":{"value":{"amount":"+0.755061686038971","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":"Q5897350$F765B78F-BC98-4C09-8AE9-392DD12ED369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199e4b57a89194250066895c9de576aec759f989","datavalue":{"value":{"amount":"+0.7546454071998596","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":"Q5897350$4B8DCC1E-1308-4AD9-98D8-37DD1DC44A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08605333b3388718fb8982ab80321d7daa55bb21","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4bc13299b443705d0bb250207ed3fa64728fab","datavalue":{"value":{"amount":"+0.753532886505127","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":"Q5897350$59908F34-9687-4C77-89D3-953252CE2B8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite horizon analysis of stochastic systems with the Mur\\(\\varphi \\) verifier.","badges":[]}}}}}