{"entities":{"Q2975907":{"pageid":2986632,"ns":120,"title":"Item:Q2975907","lastrevid":52785089,"modified":"2026-01-23T12:17:20Z","type":"item","id":"Q2975907","labels":{"en":{"language":"en","value":"Comparative analysis of statistical model checking tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6705368"}},"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":"Q2975907$2F68C319-94E4-40D6-B5D7-43BD4DFF8FC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b385e0be1db8f9763233f2b1839790e91389c50a","datavalue":{"value":{"text":"Comparative Analysis of Statistical Model Checking Tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2975907$F3CB253C-447B-4F50-9311-8C463CEA5B41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c352c1191f1f47e6656d5ed848eb1fa87ef649a0","datavalue":{"value":"1483.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975907$65B310F9-0041-48A3-B624-155F13D0A003","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"713c208602da8eb48420848ee62dc121b31d77a8","datavalue":{"value":"10.1007/978-3-319-54072-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975907$1D0E235F-E80D-49D8-A615-748ABFF8A170","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c586956fab2f6e0fc3017ec47f54aab03e8679b0","datavalue":{"value":{"entity-type":"item","numeric-id":1749166,"id":"Q1749166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$16AB43F0-081B-48D3-89EC-6041B595C390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"796a4ed2b345ccc4a5578468dd3a43ece3c7f227","datavalue":{"value":{"entity-type":"item","numeric-id":204591,"id":"Q204591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$B1AEAF2A-D4C3-4E1E-8E30-232CF816646F","rank":"normal"},{"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":"Q2975907$E31D5E13-9575-4DD5-9F6F-F8610D26F63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"389bd8189f7428178537e89812ab61524a39750d","datavalue":{"value":{"entity-type":"item","numeric-id":514564,"id":"Q514564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$E777D95C-C343-4BB7-A769-F7304DAF567C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd6a1c153f75713f57bdbbdd1af0bcd8c762242","datavalue":{"value":{"entity-type":"item","numeric-id":2789111,"id":"Q2789111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$1413DEDB-96CF-40E2-A47C-B95BC11D771B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38dc8e5b9e70c7942e6735512dc1d3dbaf92011b","datavalue":{"value":{"time":"+2017-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2975907$F9D30B6F-CA88-4465-920C-F57DD37FB7CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdadd622728ff6e448093755e133567730f94cb1","datavalue":{"value":"http://eprints.whiterose.ac.uk/116497/1/CMC17.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2975907$44683AB5-44C7-4B76-8947-109D310A8566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975907$DB14496A-117B-4EFD-A02F-CB36E37C2094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975907$1A314505-326D-4C48-BA5F-F8375813D2DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8050670213ed7d6b1aacd4c6c17b12e9e630dae","datavalue":{"value":"6705368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975907$518CDEAB-B8A3-4D8F-B2D5-2A899638EE01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d0f036297963b684a28c00ed2a52d72405e600","datavalue":{"value":"membrane computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2975907$CF310C5C-67B0-4749-8638-D139F48FB7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1098f61c0460c39914ab8089e3f5592684da473b","datavalue":{"value":"P-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2975907$A2C52D22-BC23-4474-949B-0E787BD625D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2975907$9A4010BC-527E-4704-8390-712A9BA49C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a050e111268b32b53df7bc12edaf6aa64cd0ecd","datavalue":{"value":"biological models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2975907$D07D0B34-2797-43E1-9D8E-0533DBB5153A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d713ce1f104e55dd38810998e8e7af68d2e3aaa","datavalue":{"value":"performance benchmarking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2975907$1CB38AFD-4C9E-4CC1-9608-5E456F1451C0","rank":"normal"}],"P1463":[{"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":"Q2975907$4C5DF0F5-0094-4D6C-B483-BC79F715EC70","rank":"normal"},{"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":"Q2975907$9F3B4017-352C-466D-91EC-604CF522063D","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":"Q2975907$D154AF65-C021-4C59-A354-1237F0E2F5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"672114adb12f82b8be71c2f4b6ab541f146e57ec","datavalue":{"value":{"entity-type":"item","numeric-id":24807,"id":"Q24807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$A83CFD46-4ED4-4534-9761-D6EC3221B755","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":"Q2975907$3F37F3BB-6629-4080-8FF9-355737097C90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf3d3b797fe6960a7b9cc558f7fd22dab9ccb3ac","datavalue":{"value":"W2589072973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2975907$D29CEA5D-35FC-4923-95B7-BCAC32C6311E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$B6AB888C-495A-440F-B1AF-0C0172032895","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":"Q2975907$784104C5-DF89-4404-926B-077F0ACE1C23","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":"Q2975907$D844EC05-9057-40FA-8CD6-74A3DFDA6BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95f9d2c9ea37b35073a294e7e9f195b16978054a","datavalue":{"value":{"entity-type":"item","numeric-id":4241213,"id":"Q4241213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$7EA2D072-DADF-4ADE-A48D-592C6DD6CA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad58de4c5f58ad6bf266d658ca51c3660f8483c","datavalue":{"value":{"entity-type":"item","numeric-id":5404850,"id":"Q5404850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$0B7C174C-3C1C-4EDB-A293-E070E284F6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5750958b2ae4a92f6acb6a9779ec9d53230d98a9","datavalue":{"value":{"entity-type":"item","numeric-id":2789127,"id":"Q2789127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$B1FDF22A-ED2A-41B8-84A1-24646BB19EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$33587715-296C-4739-8FD8-774C73B71252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$7D575670-9D98-43A7-9BC1-ACF2DFE8818F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$3C3C90DE-C105-4C8B-BD75-80C11BCEE5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$EB8EFEBC-82C4-4F32-BE7C-D015842D971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05da2442709fdd4198e4c62191ae97ddf5f32dc","datavalue":{"value":{"entity-type":"item","numeric-id":4036757,"id":"Q4036757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$21C7FFFC-EFB3-40F4-A102-E427F18D032D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9f04363dbc9485c87b863b1866a585ca49d6c4","datavalue":{"value":{"entity-type":"item","numeric-id":1944679,"id":"Q1944679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$49A55F09-6087-49F2-A77D-1D8ED95FBE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$5FD8F8F5-90F2-4C02-A794-96C8FE4DC390","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":"Q2975907$6E5F282A-3362-4471-AD8D-6775687987D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2975907$3F89675B-68C4-454B-9C9E-5C791273520D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b851509a9f45010b786e09234bf59344d5cb340","datavalue":{"value":{"entity-type":"item","numeric-id":2929958,"id":"Q2929958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3265d96d0fc99435d617e54fcda0a55ddc181f05","datavalue":{"value":{"amount":"+0.7306622266769409","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":"Q2975907$CD6FD16E-F17B-44E7-963E-F3A211E2790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a478684cfd6d6ad8ce9c9cbec4d01a23e14532f","datavalue":{"value":{"entity-type":"item","numeric-id":3172901,"id":"Q3172901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8ae2dfdf327ccc51c8190838f6b6207a9a07ae","datavalue":{"value":{"amount":"+0.727736234664917","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":"Q2975907$3194A0F9-B747-4FA6-94BC-EA630DF3FF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d3a469c44401452317208b7afde796bdd9cad5b","datavalue":{"value":{"entity-type":"item","numeric-id":2474435,"id":"Q2474435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99288e14c7d085d30c097d5df4baf14936c1c66","datavalue":{"value":{"amount":"+0.7276576161384583","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":"Q2975907$04E08AB1-40AC-4F7B-ADA8-C3C513CBFE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e965f9091659e8dfd242a4bfc4c8b39b045532","datavalue":{"value":{"entity-type":"item","numeric-id":3076605,"id":"Q3076605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6830e788e41e8e3198facdfcc9023d5e4116448","datavalue":{"value":{"amount":"+0.721729576587677","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":"Q2975907$6615999D-934B-4007-809D-140D7DC16D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d6a87c3317ebaf2af401c9011e33499c33da67","datavalue":{"value":{"entity-type":"item","numeric-id":2890294,"id":"Q2890294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f115080b2faa3a65f0326ea161d3e934f97f52ba","datavalue":{"value":{"amount":"+0.7123721241950989","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":"Q2975907$0DED0ECA-A8BE-4A12-AAD9-73DB79BA727B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2975907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2975907"}}}}}