{"entities":{"Q2336743":{"pageid":2347486,"ns":120,"title":"Item:Q2336743","lastrevid":57314949,"modified":"2026-03-30T09:38:58Z","type":"item","id":"Q2336743","labels":{"en":{"language":"en","value":"Towards light-weight probabilistic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7131889"}},"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":"Q2336743$22C018DD-6DC1-45A9-9049-F1AA383725DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7530d770ab352fbe179b7ac5579a8d33303c099d","datavalue":{"value":{"text":"Towards light-weight probabilistic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2336743$368FC12C-9E7B-40A7-BA63-1946522EAC32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e7f3d7598c3b5884c522eba1f5bf3c248398a69","datavalue":{"value":"1442.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336743$651E2CA3-F057-4C33-A3FA-F9D56ECC38AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02dc03976545e9ef8fdd06312697700e03665c5a","datavalue":{"value":"10.1155/2014/814159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336743$2D9471B5-2983-4DB3-9C65-16236603AD69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"feac85871ea116b7f29545dcb6ed5421fbcb3864","datavalue":{"value":{"entity-type":"item","numeric-id":1749167,"id":"Q1749167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$A9249FB5-31C4-4436-8686-D45C46426B61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$01A24C45-9ADA-4F1D-971F-B5109B6F1B8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2336743$7C825FD4-57E1-47F7-B768-0CA94AF5C1E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b951b1f14d0ebba0959432a36781c1f9d52b7408","datavalue":{"value":"Summary: Model checking has been extensively used to verify various systems. However, this usually has been done by experts who have a good understanding of model checking and who are familiar with the syntax of both modelling and property specification languages. Unfortunately, this is not an easy task for nonexperts to learn description languages for modelling and formal logics/languages for property specification. In particular, property specification is very daunting and error-prone for nonexperts. In this paper, we present a methodology to facilitate probabilistic model checking for nonexperts. The methodology helps nonexpert users model their systems and express their requirements without any knowledge of the modelling and property specification languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2336743$796CAD78-F1EA-42F0-8B73-7D83F1122077","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336743$4813AB71-CE79-45A0-A48D-318B7ACFEF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336743$F3269779-F21E-4BB8-B8F0-2A5F0780027A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81c75818d024231734771e492deb0252003322a4","datavalue":{"value":"7131889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336743$A5EC25AF-8FFD-4D43-8EED-71B6BCE89722","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d638f22ad147a9418a5391674729107412f38982","datavalue":{"value":{"entity-type":"item","numeric-id":21451,"id":"Q21451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$88970C24-6087-4FB9-B02F-3439BB6891F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$BC8A6BBC-5602-4A62-86FB-854F09A1A3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$78AC18AC-8E56-43A7-A368-015A120C9E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$6D32ACD7-FCED-42AD-9173-07458CD6CA38","rank":"normal"},{"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":"Q2336743$728D357C-5E1A-4CD0-9B45-EDA1F5007145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$78CC03C0-4213-483C-BA4B-62E385618B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$27265B13-99D3-451B-84D9-611DEC9FC5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33efbc195e322a9bca804b20a869fc23645ad28a","datavalue":{"value":{"entity-type":"item","numeric-id":22828,"id":"Q22828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$80B6D65B-3C16-45B6-963F-B599A9FF5903","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":"Q2336743$730077BD-7DB5-41F2-BF49-FA4B4A13730C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f083baa7b7043fc96ecc41502c3188c06e400686","datavalue":{"value":"https://doi.org/10.1155/2014/814159","type":"string"},"datatype":"url"},"type":"statement","id":"Q2336743$2BD92CF6-3CE8-482F-999A-90D2520B8D54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eae5743f884004cb038401c03cf157e1a6158e6b","datavalue":{"value":"W2022607335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336743$4BC0C096-33CE-4843-A887-2399A2BBC573","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0c00f4373e03d81d796d42af24ff7d00e8c4864b","datavalue":{"value":"Q59052538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336743$55250305-8533-4997-B6AF-DE97E4A92A8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$45159B0C-2F04-4FBC-9827-42A650B8E5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531d4cfff969c5c7b38b58a6f6e59713012e22ee","datavalue":{"value":{"entity-type":"item","numeric-id":5716586,"id":"Q5716586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$FA5DF9B8-57AF-4C5F-BA10-280362434058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$BE125718-390D-40F7-A963-A3263B86D1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$B0CF0BF1-12F1-4329-9B11-938B9E15A91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$9E3D280E-294B-4669-AA09-4E0F89071639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e50bfd5f36ebf5ab698023bbc4c8ddf0cd179f","datavalue":{"value":{"entity-type":"item","numeric-id":5452054,"id":"Q5452054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$B9EEEAAF-AC99-47CF-89B0-16929BAC1ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc550396a4274057b513b8db73be30759cb2d05","datavalue":{"value":{"entity-type":"item","numeric-id":3067494,"id":"Q3067494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$81CEFF70-48AB-480C-9DE1-D93D06C580A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$DBA4C32E-201B-458C-988E-FB05C6E06E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$BD06E82B-6B1C-4395-BF4E-B7262BC7F441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27e15cdec238bef84b8e1b991c5292ba8aecfb6","datavalue":{"value":{"entity-type":"item","numeric-id":407511,"id":"Q407511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$A06C35A2-3914-417B-8FB9-A9018BB0920A","rank":"normal"}],"P1643":[{"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":"3db89556369a17aa57bd1c356c0c05714404a08f","datavalue":{"value":{"amount":"+0.7922869920730591","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":"Q2336743$F5504960-B667-4D32-A304-7656DAA3BF6D","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":"cf30d98825cd8d77217836f0d1ee5c20aafd97a7","datavalue":{"value":{"amount":"+0.7581986784934998","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":"Q2336743$431D6191-BE5B-487E-8555-D20104EA31D0","rank":"normal"},{"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":"8ebdc919611c117124a9b6a80caa30023917f675","datavalue":{"value":{"amount":"+0.7569002509117126","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":"Q2336743$B61925E7-35FB-4619-9EC2-F3BEF7575E9A","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":"1d12e8ad66242caefceef024f3044522e89c6001","datavalue":{"value":{"amount":"+0.7461023330688477","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":"Q2336743$1A37655B-B0B3-4472-B57E-943AEA033697","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":"0647977904fde8301492bf25112e5d87869eb655","datavalue":{"value":{"amount":"+0.7447127103805542","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":"Q2336743$0698DFD6-1ACB-4A05-B0E7-7ECBF31DF9EA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336743$FE0AC53B-E19E-4D3F-B575-67D3F81D8131","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2336743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2336743"}}}}}