{"entities":{"Q4899147":{"pageid":6928726,"ns":120,"title":"Item:Q4899147","lastrevid":51626333,"modified":"2026-01-19T03:28:28Z","type":"item","id":"Q4899147","labels":{"en":{"language":"en","value":"Efficient probabilistic model checking of systems with ranged probabilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122421"}},"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":"Q4899147$77197563-15DE-40ED-BEF5-EF2E309DD387","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2e9733e96df60c5ac33c47294d4f33fc96f44bb","datavalue":{"value":{"text":"Efficient Probabilistic Model Checking of Systems with Ranged Probabilities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899147$C402EEF9-BAF2-44D3-8FDE-13198941D411","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73254a9d651c77384678057ac95a9122bc69779f","datavalue":{"value":"1374.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899147$D6F82ED5-FC67-4BBD-84FE-70A5DCE894E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55c65e2d70ed1eb5f47adffa5aee088da0eb13ea","datavalue":{"value":"10.1007/978-3-642-33512-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899147$59244C66-2838-4DEF-A4AD-B7210D011A2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b498cb0a1f2a1626548f708985cc88e2e26bdd","datavalue":{"value":{"entity-type":"item","numeric-id":681337,"id":"Q681337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899147$B6AEC6E4-EF25-49A3-B8A5-1BB250FC7183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a806a6c33af9a9908c0c103477b67d9307af8d9b","datavalue":{"value":{"entity-type":"item","numeric-id":832031,"id":"Q832031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899147$B8866013-9F59-48A4-B256-ED8F265E0374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59dccd13a2e71c75b860bf298c2386cebf24a966","datavalue":{"value":{"entity-type":"item","numeric-id":2723422,"id":"Q2723422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899147$520BFD65-531E-438A-88E0-344B4023D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adf482bc390836e4c23988820629e51ba0628faa","datavalue":{"value":{"entity-type":"item","numeric-id":947792,"id":"Q947792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899147$1D5CBE85-D077-40CD-B959-1A4083635B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899147$67F868C2-3B80-4516-955C-F451CEAC0A47","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":"Q4899147$ED54FC9B-D409-498A-8584-18EBB47AC2AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899147$01460B59-DBA9-4410-8F04-7711CBCE9EDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899147$F6E91870-7571-41E8-9793-7CF6D09107E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899147$9F58465C-AA84-4B8D-9101-AA9214F4A9C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40342371b46442b9c9dcce0a5501872bad5b2df4","datavalue":{"value":"6122421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899147$1EC48034-FB1E-43C8-A61C-1B1D26A04E59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899147$95D0422D-55F8-457C-BB0A-DDA5166DEB5D","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":"Q4899147$9009AA10-A6B2-4093-A83A-3925C94097BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46823f861673504cb503576eb5e58cfc94b2edd2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33512-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899147$9DFE0799-C69A-4D13-92DB-BA08A58541BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b39ffce66ebc7830734a5bf8c5d9cdd26baca36","datavalue":{"value":"W1556272654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899147$63A4AFFD-D266-40DF-8212-F09F6A88184A","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":"0e4a2a75882106b759d99e5684d43a34d6e09b54","datavalue":{"value":{"amount":"+0.7813573479652405","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":"Q4899147$C114BD6F-88EB-4717-813B-AED9E646BDB2","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":"f4685dc7ae2ee9761d8fe62d923150ce2f26e364","datavalue":{"value":{"amount":"+0.7800683975219727","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":"Q4899147$69754AFB-E3B7-48FA-9047-13E46798164A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f98f6f76a8455a7573440823a0a5c4197f95d0","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a3db6503570628aba3f460331bb87e7a380156","datavalue":{"value":{"amount":"+0.772107720375061","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":"Q4899147$43B26D47-13DA-432C-87D0-69D3466C0761","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":"261e0ead570a4fbed19fea83d283d4d7463a5e1e","datavalue":{"value":{"amount":"+0.7688474655151367","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":"Q4899147$C65CC0C4-596F-46A3-8890-835756A2C09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b9929da7c2777f750c0897bc4b8499e470e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a03242d3409364930712520acd2db555287e3f","datavalue":{"value":{"amount":"+0.7681572437286377","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":"Q4899147$93DFCD45-4463-4D89-A4AF-B23B82CD795F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899147"}}}}}