{"entities":{"Q4635859":{"pageid":6665440,"ns":120,"title":"Item:Q4635859","lastrevid":90534722,"modified":"2026-06-04T20:37:26Z","type":"item","id":"Q4635859","labels":{"en":{"language":"en","value":"The probabilistic model checking landscape"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863473"}},"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":"Q4635859$B6B0118D-637E-4B3D-AADD-275AD188E538","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c57c93a1a93e95f0ebaafbbfa759a62db2508f7b","datavalue":{"value":{"text":"The Probabilistic Model Checking Landscape","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635859$567FB4BF-1A03-4773-8C2E-4E1A8E612628","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23130196e9e3921fe26fec529834ebdfbdb5f0dc","datavalue":{"value":"1401.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635859$3BFBCE02-C313-4E46-A6FD-54E096A9A41D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48e96adeed5376dbbc1bbe2e3c77ff6478681b57","datavalue":{"value":"10.1145/2933575.2934574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635859$082C19D6-A824-49EB-A35F-F3F31BED859B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635859$A0539118-FE80-44F7-8E1B-CB723E830DA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4635859$18C3FFBA-E735-49F5-84A9-21CE81BF7BA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635859$E83B5C6D-6A24-48F0-9E9A-FF4FD554536E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635859$AAF8E0C9-E6FF-408A-B08A-E278B6D1042D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db3b815bc199f57f4484652ad941649e847cbb93","datavalue":{"value":"6863473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635859$29445744-6F5F-48F7-9D97-F9B93D6B5E02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635859$8421F5C8-2E9E-4C1F-BAD3-71F6639C59BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635859$B57C0A06-9C1E-4F5D-9CBA-4EBF729BAC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635859$5AE2247E-379F-4DF5-ADAB-90360EC8925F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82046ecdbc4f9ff2fa0b1a681c1b87efe4513c3","datavalue":{"value":"applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635859$B7BA37D2-4189-4561-A695-D050B63D993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d67cd474c0c88d84f97c36099365af14678870","datavalue":{"value":"fault trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635859$52D3C15E-CE2B-4AA6-B789-19BD5439BF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635859$572798FA-4EEE-48BA-815C-DEB24F2F4B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635859$35802875-9947-4EB8-BE83-7FAA6E673762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c6119e7186c29579a628e010bec9283ea82623e","datavalue":{"value":"probabilistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635859$45DB4C14-4A69-4D44-BDF7-6F5A978ACF93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635859$EA967A46-9C44-47A5-B924-7FE6DAF34495","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":"Q4635859$A8EF47F7-2036-4AF6-B4D2-1BCB31660C21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25efbea321bde74f1be7dd90bf53e634690bf71e","datavalue":{"value":"https://doi.org/10.1145/2933575.2934574","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635859$E26F92DF-EAF4-45C5-BE2F-FFDDDCAC7D9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"313a3b70e2e3fd7b99066eff8fde9b51df2e9c94","datavalue":{"value":"W2527393991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635859$783F334F-B4DE-4F0D-AB7D-76649D425D8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0014a567cade21aae6bc9842fabd6fed518993","datavalue":{"value":{"entity-type":"item","numeric-id":3510828,"id":"Q3510828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a46b3a65d6bfa2d81299d57bab93aed88547527","datavalue":{"value":{"amount":"+0.8183132410049438","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":"Q4635859$1E08A887-59EC-48AD-81E3-DB93C814C382","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":"34047a727c7e12b48b2ede893d4e1db364059e34","datavalue":{"value":{"amount":"+0.8001164793968201","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":"Q4635859$91EEEFC8-0C87-44AC-851B-5D8AC1A3D0DC","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":"0434ada068056fe46b71864a06afa65576b50444","datavalue":{"value":{"amount":"+0.7934980392456055","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":"Q4635859$7DF5DD21-30DE-48C4-86B0-9449892E54F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fa4380aa847f05a8dd71c16090e8f1414bc1a5","datavalue":{"value":{"entity-type":"item","numeric-id":4547768,"id":"Q4547768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c3be27232cc41c306888b0dfd424316955670f","datavalue":{"value":{"amount":"+0.790537416934967","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":"Q4635859$73782662-7E2A-4EFA-8422-1D0D888C81D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cac1370177a278a51ba66abbf8cd3ca1d6b82c","datavalue":{"value":{"entity-type":"item","numeric-id":2248070,"id":"Q2248070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c3be27232cc41c306888b0dfd424316955670f","datavalue":{"value":{"amount":"+0.790537416934967","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":"Q4635859$0419AA87-18AA-42EA-9DFF-90D1F4CB2802","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The probabilistic model checking landscape","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_probabilistic_model_checking_landscape"}}}}}