{"entities":{"Q5326312":{"pageid":7355886,"ns":120,"title":"Item:Q5326312","lastrevid":51790409,"modified":"2026-01-20T01:30:13Z","type":"item","id":"Q5326312","labels":{"en":{"language":"en","value":"LTL model checking of interval Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194824"}},"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":"Q5326312$E18E5A3B-2FAE-4FA9-B2BF-6C07C3D6BE22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f97e6af03d3b1074b0e94e2cacfed25c756ef7d7","datavalue":{"value":{"text":"LTL Model Checking of Interval Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326312$F9F2AE6A-D849-4E7C-B044-36C6B3F7D1D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c28914f70a76a494c1ee255f4e4fb2648df2ec87","datavalue":{"value":"1381.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326312$F8D0B73C-18D1-4ADA-9017-F2D774067AAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb1c7e91b648668a7d954fed5c2b364c659842c3","datavalue":{"value":"10.1007/978-3-642-36742-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326312$070B5243-80AE-4217-9117-89F6C50015FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67705e1e44642039902bf4ef21e5fd6d7a30c49f","datavalue":{"value":{"entity-type":"item","numeric-id":394743,"id":"Q394743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326312$128CACA6-FAAF-492F-9761-1DD2720DB7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cba5d3bd2b925adc8ded61015c7377b817a50363","datavalue":{"value":{"entity-type":"item","numeric-id":3090851,"id":"Q3090851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326312$75231969-2045-4F06-9616-C8F2CEBF2242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326312$0F7B6E75-33AB-4E36-BB54-47733464EF68","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":"Q5326312$BC18B6BF-E05A-49BD-B813-665C28E002CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-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":"Q5326312$D8F15FD3-3F88-44B7-A368-A8FF0CEEDED4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326312$55B5EC7F-9BCB-4591-B05D-36412505BDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326312$4FF1AF62-92EF-4E99-96B1-C6ED9B436101","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56e46c7bc54623633b609e1def6531ad71f72579","datavalue":{"value":"6194824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326312$33C393C0-DBD1-4C28-8798-F5E8E078C773","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":"Q5326312$3DE49303-6C2F-460B-BF8D-1E4BE7D675D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"251fefa33be5e2699d8f4c6c6b38746bbd616982","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326312$EA0F6D6E-79CF-4A41-8B5A-07361CB7A583","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b02c45ff2db33250478f35e38ba82c8ebe1bb70f","datavalue":{"value":"W125973810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326312$57612141-77F3-44C2-8307-34BD29FB39FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d216de2aa500a0acb6362a3261566e88ab7feb","datavalue":{"value":{"entity-type":"item","numeric-id":5458367,"id":"Q5458367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d92d91070608aaca22902b5901d1305d2c16ae","datavalue":{"value":{"amount":"+0.8724024891853333","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":"Q5326312$F8F9058D-C70C-4A31-8313-F920D71CEB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7688fb53d2050af8f513e80783eea30cffb57ad0","datavalue":{"value":{"entity-type":"item","numeric-id":6041189,"id":"Q6041189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb7550e8048eeee382b7e27e065bd6c9a8443cc","datavalue":{"value":{"amount":"+0.863629937171936","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":"Q5326312$58E33DCF-6CDC-4154-971A-7F0B11CA2FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a139e98fb063fe048d0c4edb1da8ab5c09284f08","datavalue":{"value":{"entity-type":"item","numeric-id":3004586,"id":"Q3004586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87959587865730e22fd2233a81fe0c2624305cb1","datavalue":{"value":{"amount":"+0.8630402684211731","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":"Q5326312$02241B05-7B00-49BB-950B-F76AD7A425E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6c39a6ec58f1dbd4092171719d18e4581e3f66","datavalue":{"value":{"entity-type":"item","numeric-id":444461,"id":"Q444461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c3e690fd259cd0ba926d1540fee2230155ff97","datavalue":{"value":{"amount":"+0.8543649911880493","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":"Q5326312$EAB7C9FD-F6D7-4476-82F1-CD9FE206B2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e89f5e91ee838cd0de6f61223649f137eb4fae6","datavalue":{"value":{"entity-type":"item","numeric-id":5899070,"id":"Q5899070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d13a4dcd808b8faca96ce8bb0cc8dfa314c8a0","datavalue":{"value":{"amount":"+0.8458928465843201","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":"Q5326312$FAC72854-D73C-49D8-8777-6A8B5D5D08BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326312"}}}}}