{"entities":{"Q5897081":{"pageid":7937699,"ns":120,"title":"Item:Q5897081","lastrevid":50898749,"modified":"2026-01-15T15:50:16Z","type":"item","id":"Q5897081","labels":{"en":{"language":"en","value":"Finite horizon analysis of Markov chains with the Mur\\(\\varphi \\) verifier"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667320"}},"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":"Q5897081$D89C24D5-06CA-4C70-A4D3-0878901668A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8c8f2d2ec76da52bc4ad5fba0da16b149a776d5","datavalue":{"value":{"text":"Correct Hardware Design and Verification Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897081$9C70B5CD-EFC4-4902-AF40-C3826CB3E288","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae86da45a0a7edb85d8c6be7e97525a09f08e02a","datavalue":{"value":"1179.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897081$75EFC0E0-E286-4D4D-88EA-9AD646B50028","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":"Q5897081$EB144D20-C549-4EA2-B191-C350A13C24B5","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":"Q5897081$1F556F1A-CD1A-4B28-B48C-42419902DF19","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":"Q5897081$453EE91C-3A06-4226-9F29-6888904884BF","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":"Q5897081$42969A6E-C7A2-4FBF-8D26-4DFAF2DBD2BD","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":"Q5897081$D7CBFF9F-2893-465B-BC4D-971950048517","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":"Q5897081$DF76FE87-F3B3-4B5C-816E-F263A21D651D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897081$BD725205-D5D3-4C4B-823F-1EA37187D39D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897081$C99729B8-460D-4A71-9C5E-F3BBA8C34CF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1d5a08c673b353634370a905a6f11859e17566c","datavalue":{"value":"5667320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897081$D046E218-CE47-4E91-836F-FA086E68F9EB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897081$D9D367D6-A6AD-47EC-B5A7-9AAC90229AB1","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":"Q5897081$687FB33C-2F7A-46EC-AD2B-E590EC30D347","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b8c5cde1231ec6becb5c8cd63c3722e801c9211","datavalue":{"value":"https://doi.org/10.1007/b93958","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897081$B4CB921A-88A0-402A-A19C-5B9E09DE5704","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652751e9bf248790b4e9b94adeaafb8d6cf26dda","datavalue":{"value":"W219731125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897081$70E20E80-10D9-4264-B847-EBDBFDE029C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcbd4de8d7777e47679b10069f6a3080aceb1e6","datavalue":{"value":"10.1007/B93958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897081$68BE755B-275A-40CB-ACE8-799E8F072D36","rank":"normal"}],"P1643":[{"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":"e82fc176fbc514dfd17a0749de05b77b47c3985b","datavalue":{"value":{"amount":"+0.9067589044570924","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":"Q5897081$FA9AC3D6-5BA3-4404-B09E-CD6838318710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d104197cdaaf30872db45decefc78e4667519f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897350,"id":"Q5897350"},"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":"Q5897081$76CFD531-F90E-40D2-9BBB-1B8C1F2FB9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0818e0201c8f7cca4893e0f3e3a23f92ebd6f338","datavalue":{"value":{"entity-type":"item","numeric-id":5501948,"id":"Q5501948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347c79c571208f5e4541068424c6a289def1bec0","datavalue":{"value":{"amount":"+0.7808734774589539","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":"Q5897081$676B1DBB-836F-454B-A076-B0E81F7F72FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2bb6a6c05470d9001c41536a1bc56f05f0f345","datavalue":{"value":{"entity-type":"item","numeric-id":4518904,"id":"Q4518904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711ed537ef09c3a7c8d78ba98b8b2bfc13cbd1ba","datavalue":{"value":{"amount":"+0.773900032043457","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":"Q5897081$7DF5DA59-9A20-4ED5-828E-E1F0868C5C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2865a28169f379fe24362774d7dc88b6fe86af20","datavalue":{"value":{"entity-type":"item","numeric-id":2986781,"id":"Q2986781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4dbeee8cb748105f0d5d9d4b679ee94affbd708","datavalue":{"value":{"amount":"+0.7729673385620117","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":"Q5897081$DCD3FEC3-7C1F-4F24-BE14-2F5E710F4300","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897081"}}}}}