{"entities":{"Q6583725":{"pageid":14194881,"ns":120,"title":"Item:Q6583725","lastrevid":55722244,"modified":"2026-02-17T21:40:23Z","type":"item","id":"Q6583725","labels":{"en":{"language":"en","value":"A survey of statistical model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7892822"}},"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":"Q6583725$B974E6CD-D66F-4AAF-8293-A070593ACC83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d11081ea042954b952049b361f9491c106159c9","datavalue":{"value":{"text":"A survey of statistical model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6583725$BB29E158-9753-483E-81A7-5735F89DC2B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90d17c5b23f52b376b0a0c1cd7dac2a16ec18f12","datavalue":{"value":"1542.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583725$AAADBA0A-C66F-4AD2-9AEB-AC1C0853220D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"777d0768c622af70480aa772c2bddfadaf75d958","datavalue":{"value":"10.1145/3158668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583725$4BA7AC6F-BD67-4A8D-BD79-C7FC7A31D3FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd3869bc3ccb0a873a984a806d7689b9c2afe97","datavalue":{"value":{"entity-type":"item","numeric-id":2764141,"id":"Q2764141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6583725$70D20DFA-EF36-493D-A180-7C6732DA51AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b5ac0ae33ff7fa9924b6f774160286197ebb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4994125,"id":"Q4994125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6583725$FF474679-FD0C-4B4C-8FFC-B52512684744","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f5bae07c449260f47024289866c93e24bb0f22e","datavalue":{"value":{"entity-type":"item","numeric-id":64755,"id":"Q64755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6583725$302783B3-BD5C-4B4F-80D9-E479A4AE1B5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b289cc5d2b085b187346f3152c3a69a70d0e3be","datavalue":{"value":{"time":"+2024-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6583725$A2029D1C-9690-4DAC-BDCD-AA439200C2C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583725$F7C3246C-172A-4984-A7E6-9FA9879607DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583725$0C6AB348-EB05-467C-9307-B36AD6C94D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d678e3814c9d242125a70d49a616f736949e344","datavalue":{"value":"62F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583725$C31A59E1-9006-4EB1-A097-98F9F8CC90C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583725$E853A9E8-A65E-4305-B208-458CB8425122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583725$9BAD9502-C7FA-4BC3-8A65-F021C25CFCF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2726c76f3d125f6d51e6d1434aa49831e112540","datavalue":{"value":"7892822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583725$5F8D7470-963B-4FBE-B87E-657FF895F7E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6583725$2D0E1CAE-A808-4ABA-8C92-8F33680B0767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51aba755ea92906b7b2fc830c7ff47d9e14cdf2b","datavalue":{"value":"estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6583725$EE11554C-6789-4355-A848-100549E39E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7afb061a59320873c389bd9854f262530ac13ad","datavalue":{"value":"hypothesis testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6583725$03942C92-DBEE-40FC-9C77-5817CD515C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6583725$69D3DA6F-56A6-44E4-A606-E37D348E4D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6583725$5D916169-095D-47FC-8409-8F03BBA440D2","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":"Q6583725$58CAD75F-BCE1-48FC-8D2C-4ACB431590DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1122ae1c92e176f0ea55999fea38756a9683a74","datavalue":{"value":{"amount":"+0.8601155877113342","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":"Q6583725$7671E3B8-7F8D-4FC6-9D07-0D83F9401390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7bec40f17d824881dcdbea4aa9a0250d4f45d6","datavalue":{"value":{"entity-type":"item","numeric-id":2248081,"id":"Q2248081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5160a4a7ca622f07674ae607fc276c675b99e311","datavalue":{"value":{"amount":"+0.8451064825057983","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":"Q6583725$7732C18B-967D-4E0E-9104-84C6BC486B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c34f93c259408c506a35ff4b3377dd1b8a1a707","datavalue":{"value":{"entity-type":"item","numeric-id":2985888,"id":"Q2985888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26f1fa5eb41f620759dfd44681d29ec46aca9cb","datavalue":{"value":{"amount":"+0.8447666168212891","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":"Q6583725$38BB65F0-A4B0-4AFC-BFDE-FE6BB7B317A6","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":"450bb169a68417c2d5b4cc4b46f9eda91cf284a7","datavalue":{"value":{"amount":"+0.8415778875350952","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":"Q6583725$3FE99A8F-1E69-455F-8AA6-8FD718766C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba384fd3f96e06c9824e71a026517f4640b2454","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c698f10ee1a460ff60400860203aa481647520","datavalue":{"value":{"amount":"+0.8348191976547241","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":"Q6583725$EB8EEE5F-E9FF-4EE9-B4E8-70B8FEA712D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6583725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6583725"}}}}}