{"entities":{"Q2225475":{"pageid":2236218,"ns":120,"title":"Item:Q2225475","lastrevid":71606697,"modified":"2026-04-13T23:21:52Z","type":"item","id":"Q2225475","labels":{"en":{"language":"en","value":"Exact quantitative probabilistic model checking through rational search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307315"}},"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":"Q2225475$65C6C53D-DDCB-4DD6-ADEB-768B61B347C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23683cea8bf6fbed78b4e6d922d53b0204521a1b","datavalue":{"value":{"text":"Exact quantitative probabilistic model checking through rational search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225475$F6FE2A87-5EEC-4666-9371-94C8E3176222","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1229945a7f87c625ac16bc5f963dade014ea36dc","datavalue":{"value":"1506.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225475$C23FBC39-839B-406E-98BB-AF2F18B36146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$F19BD7FF-DDF4-46B4-B04B-2AAA22F2A710","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$0F316E69-92CD-40B8-A705-52129338E13F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3972cc89c33d20406d53dd6cfa3d6bd85b48f15b","datavalue":{"value":{"time":"+2021-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225475$DEDE5FE0-F6B2-4B83-81C5-C436F8DF3B06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225475$63344C1C-D92B-4A80-9D08-23A2C9A2A518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225475$81699994-FBD6-4038-8F93-C2D0E66DCB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225475$EA099F9B-3A35-4E17-9F3D-26729E2A9BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225475$6F966A43-E44B-45C0-B5B7-3187D1A5FA0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d60b8e582475cbcd50ea0c762fe895dda1621b71","datavalue":{"value":"7307315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225475$F26833FB-62D1-4A03-B245-68BAB67D9BF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8732e45a5590d92e4c2b629660d491749433fb8b","datavalue":{"value":"exact quantitative model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225475$D97CA9D3-BBB9-4EFA-8AC1-2ABD08AABE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225475$B9001D59-CD4E-427B-B7BF-5E39C7C0B3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225475$3BDAC1F1-5E59-4764-A70B-278B15C8FD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225475$1C093452-CCEC-4DCF-A276-F9A3ED1C5864","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0808a990477362fbc297062a53ced7686a383cf8","datavalue":{"value":{"entity-type":"item","numeric-id":1353481,"id":"Q1353481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$57C3B0D9-7D08-4CB8-BDC1-458D318A2FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$3EE4B6CD-B082-45E1-89A5-811296BC7137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367f0a8da73f4a057cbdd5c66548bdb0c84a7bae","datavalue":{"value":{"entity-type":"item","numeric-id":4590265,"id":"Q4590265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$5B511DD2-38B3-4BC1-A35E-DC7A9C9C6851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$41210857-28F1-4F54-8249-5B0E7421E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7478f7e5eb6073b49fc25f1cf590815bd02a9a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3457782,"id":"Q3457782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$1708BACD-F641-476C-814B-BEEF03B05AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$A48A54B0-7203-49AC-A8F2-A84532BED6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce32087d1da7cec38389830a5d4c77282c9a4c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3512436,"id":"Q3512436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$A2C8BC90-3B4A-4B4E-88B4-80FA7FCA4250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$6F152AE7-23BD-414C-ACE8-0F39FF203B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d3bf53e94a938d4f9a9fcdc3603c5ab6b47000","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$B79C74D7-3D46-49DB-AF84-64F0828EEDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9143b9caec2c35ed69b6720f87afb357eeeb92","datavalue":{"value":{"entity-type":"item","numeric-id":3962450,"id":"Q3962450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$62E82D28-835D-4A01-92A9-EB9DBEDF3D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58400827380938aad7d677a98b8a5e5ffe76ed0c","datavalue":{"value":{"entity-type":"item","numeric-id":3000641,"id":"Q3000641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$63E20BD0-58E5-4B8D-A39A-0B5286CEEB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c7d2585bbc0e61d6a06515c003be877f00a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3447700,"id":"Q3447700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$5A19FFAF-4865-4BE4-A9BB-3D640B5008A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850958b9f417774ba74e23f4eecca64f37585465","datavalue":{"value":{"entity-type":"item","numeric-id":1007565,"id":"Q1007565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$50CB2F55-8EF1-4A78-9275-52142583A1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be85080d11fddd5ae2d99ce5177bdd9222e6303","datavalue":{"value":{"entity-type":"item","numeric-id":4813204,"id":"Q4813204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$3A0D9282-E124-4B63-9555-E5AF6770BACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68db716c887d5568fdebc4c4887e66ff39f5fd7","datavalue":{"value":{"entity-type":"item","numeric-id":1402478,"id":"Q1402478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$2B9FA3C5-BC71-4E5D-8584-2DFB55A9C273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$553BEFE9-EFB3-4F68-8C9B-4212A99A99FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0013b511ea61f98a91c5d9a0683a8656f9dd75f5","datavalue":{"value":{"entity-type":"item","numeric-id":4821979,"id":"Q4821979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$93F4A660-6D0A-4CCD-9A74-FDE3C4448E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af32b624b27ce9335142401a24dc720038cfec6","datavalue":{"value":{"entity-type":"item","numeric-id":3528912,"id":"Q3528912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$34D2D310-CF74-452F-9529-A9801EE89DB7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf9a903408b6198cfda3e3d9d36c631c5ce4105e","datavalue":{"value":{"entity-type":"item","numeric-id":1353481,"id":"Q1353481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$49ED5E3A-492F-4353-8366-0E0E3D6BB232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"707e3c264bb7563d3adc999748792915816caa7c","datavalue":{"value":{"entity-type":"item","numeric-id":13123,"id":"Q13123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$1295B3FD-0711-461F-AEDB-0C797EEF58B1","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":"Q2225475$1E064B0F-56DB-4A62-A80A-BB8AFF0869D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"292b25be0fc4294a78c841866f3fe190176afd23","datavalue":{"value":{"entity-type":"item","numeric-id":21648,"id":"Q21648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$F3AFF27F-71F8-4394-836A-3059D31F7992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"246a410b3a1a9dfee11038de0785c82a29a436d8","datavalue":{"value":{"entity-type":"item","numeric-id":45311,"id":"Q45311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$212ECA10-8F59-4EDF-8B02-1BAAA368BB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"303ab5aedcf7c761530ad2dc4cf2eb8457e4cbad","datavalue":{"value":{"entity-type":"item","numeric-id":39328,"id":"Q39328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$C49F6A90-622D-4C7D-BC23-CF660C7000C3","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":"Q2225475$EC93B60B-682B-49F9-8731-EF8CC0779CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c06a33c278eed233c05a54d68350ade466ab2326","datavalue":{"value":{"entity-type":"item","numeric-id":25323,"id":"Q25323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$A875ECF5-BBD3-4DE5-9477-4DFD386CD482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db4f953c8327488bcfed10e933d15bf2bb1a5fbe","datavalue":{"value":{"entity-type":"item","numeric-id":29276,"id":"Q29276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225475$6F1EC618-0A6E-456D-A42E-0305D57220E2","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":"Q2225475$AB031431-B66E-46E8-88A6-AFBCF6680BC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3ebab02909e54ee12450d4061f43bd54f361930","datavalue":{"value":"https://doi.org/10.1007/s10703-020-00348-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225475$26E092E7-B984-4036-B6A9-E063882F5F15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2149066917f864f7a61140fd0b5865612803717e","datavalue":{"value":"W3046724773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225475$C4506F7A-5140-494B-B83F-BAEA01939CF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"196eb2b5a665979603abbe3aabe8a7fbf6f8dc96","datavalue":{"value":"10.1007/S10703-020-00348-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225475$D9373DCB-6744-4D9A-BDD0-A3DA2144740D","rank":"normal"}],"P1643":[{"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":"40dbcb77d15dc92583e41b034346d0091c4bf8f8","datavalue":{"value":{"amount":"+0.7717075943946838","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":"Q2225475$50EE5740-DB2D-4DBF-8BFA-21BCD92D3130","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":"158879cc994ffd9848b51b0c5357dd6e4de80796","datavalue":{"value":{"amount":"+0.7702051997184753","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":"Q2225475$81324CE0-450A-4D61-B6D3-26E79EF5E849","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":"53a829adad14111a3e073086bc390df54d9baa51","datavalue":{"value":{"amount":"+0.7685585618019104","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":"Q2225475$31AA471C-EF62-4488-91D2-399C48EB5064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7f4d63151a11e936f0012ed4eb5ea493dbeed9","datavalue":{"value":{"entity-type":"item","numeric-id":2151242,"id":"Q2151242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131ba0b267b058482b6d2dfac43e9560a242024b","datavalue":{"value":{"amount":"+0.7589408159255981","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":"Q2225475$173BC0F4-2172-40C4-94FA-653D558716F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8b0745cd5ce3b3a50d8657bf28a15531cbf687","datavalue":{"value":{"entity-type":"item","numeric-id":6104816,"id":"Q6104816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459b6ec45178e3ef415e8754325c546e99997ee0","datavalue":{"value":{"amount":"+0.7568358182907104","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":"Q2225475$A1009A97-D2DC-4CCE-80CC-01CAB1CAB673","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact quantitative probabilistic model checking through rational search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_quantitative_probabilistic_model_checking_through_rational_search"}}}}}