{"entities":{"Q5858723":{"pageid":7888274,"ns":120,"title":"Item:Q5858723","lastrevid":58592823,"modified":"2026-04-05T22:05:32Z","type":"item","id":"Q5858723","labels":{"en":{"language":"en","value":"Measuring progress of probabilistic LTL model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7333238"}},"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":"Q5858723$2B135F61-FC97-4857-9251-D0F3134D05E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9fa7f5fb2e7e62ecf91b5cc85b12416e4b83bc1","datavalue":{"value":"1458.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858723$2081E281-3773-4C6A-8F0A-92043069E015","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd79e378227b17c6cb413990391fa7b1527b1ef6","datavalue":{"value":{"entity-type":"item","numeric-id":5858722,"id":"Q5858722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5858723$763E5316-7F5B-4F5F-A046-EA2040123AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42fca8198ff5bde9254949379672939d8017bfd9","datavalue":{"value":{"entity-type":"item","numeric-id":456099,"id":"Q456099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5858723$C2982B31-B547-4F74-B575-A989CD3F28BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b45cef9412c58362fb90282c6cf1861e657771c","datavalue":{"value":{"time":"+2021-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5858723$0C383700-CBD8-4441-A0C9-02626F45CF4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e62a2255d5f26486eb1e100f4a4c8c719efb73a","datavalue":{"value":"https://arxiv.org/abs/1207.0870","type":"string"},"datatype":"url"},"type":"statement","id":"Q5858723$460F5979-2906-4ED2-BF2C-2DA045992D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"98138633f3189e070d2cf84df74c5c597ea5fc49","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2012.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5858723$94D0E292-CFBC-4FFF-88E4-A5C75A817D60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858723$A8531063-A82D-49F1-AE04-962C3A4E65EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4a29b092331a8f9f656080cb45e764e1367131a","datavalue":{"value":"7333238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858723$773A2B1E-5770-45F2-88FF-3F6859527A78","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":"Q5858723$C773108D-293B-41D8-8140-0291D40AC3F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57464f5d3fbfcf136ac491dad4966a34f75c7620","datavalue":{"value":{"entity-type":"item","numeric-id":3012927,"id":"Q3012927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf0b23d83f1fc0186bd07945574f809f2d10054","datavalue":{"value":{"amount":"+0.8769922256469727","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":"Q5858723$185947AA-7261-443A-9329-34A6F67F87ED","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":"0f4253a7372a5c258f3fc67c32d723c8e57239a5","datavalue":{"value":{"amount":"+0.7494457960128784","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":"Q5858723$90332752-9F15-4C40-98BD-AF41FCEE76E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89da0729a847f4865c3e8aa8ea876ecab447aae1","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5ad996176c01f2afe626f6227897c4a59b14b9","datavalue":{"value":{"amount":"+0.7469096779823303","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":"Q5858723$2E452889-8F3B-45D5-9508-61D7CE376AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfda4cb4224dfd2807b16ee1f90d542f779b75cc","datavalue":{"value":{"amount":"+0.7410553693771362","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":"Q5858723$19133C6B-B0D8-4FCE-A8C3-624CCE54D19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610f205bd4c32b3ff35b7d48da1796146c565266","datavalue":{"value":{"amount":"+0.7379013299942017","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":"Q5858723$5A17F7BC-9937-467C-B02C-AF51A5F0EA16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5858723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5858723"}}}}}