{"entities":{"Q2894280":{"pageid":2905005,"ns":120,"title":"Item:Q2894280","lastrevid":51501116,"modified":"2026-01-18T13:01:07Z","type":"item","id":"Q2894280","labels":{"en":{"language":"en","value":"Coupling and importance sampling for statistical model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051095"}},"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":"Q2894280$6F3EB8A9-F160-4426-8DAC-2F9EFABE014E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19ca0e7b39c6d9c9922a3d2b69c49e61e551f385","datavalue":{"value":{"text":"Coupling and Importance Sampling for Statistical Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894280$76B13046-1543-49A3-BA91-AFD7B819858B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6655d055a76d46ccb44ecb7d2a94688d50c2ccb","datavalue":{"value":"1352.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894280$4BBE0106-DA2F-4D88-A0BC-4DF0717711C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89295401b599aae24ed8476356c650f3a75459b5","datavalue":{"value":"10.1007/978-3-642-28756-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894280$88EAFE58-D16A-4E48-BEFF-B3ED61A42306","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bf51f0ae4cf797400fbd6a96d9259a51cc234c1","datavalue":{"value":{"entity-type":"item","numeric-id":1693097,"id":"Q1693097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894280$4D241D10-FA78-4472-A3D5-733590BAEF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894280$BFC1BFE8-C04D-449D-98D9-4433E78CA41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f1d2fde8a6c4137f5c8d1f106d6e45e31f0187e","datavalue":{"value":{"entity-type":"item","numeric-id":1092154,"id":"Q1092154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894280$62C9970E-670B-454D-A76C-F5C008527C65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894280$6111796F-B072-4F56-B972-F03C57A15A84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894280$A3026EF9-6A8D-440D-B08E-5F014A9E0782","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894280$13FCBBE0-972A-4319-9B7F-7B0B5449975B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894280$9CBBE0CF-C56F-4D7E-B216-5A5CB4E9B3EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e85c14076056f486469274895b5e65fd183a9772","datavalue":{"value":"6051095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894280$82ABAF3E-A9C4-4BA4-8175-BA80E342D568","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894280$896EF3E0-3352-406D-BF52-4A50C135E515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec54e9e8d83e18d3b16ff914f8f5c8f3e9c3374","datavalue":{"value":"rare events","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894280$8819064D-4E57-4CAD-8935-DA51C9F20E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3b9a2c122dd89be72ecbd4dd046019cd3c25be","datavalue":{"value":"importance sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894280$913C3D32-C4BB-4B49-8DAC-95F9D5F2F153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde0b5753e7bee56433fc0efda8d5d3fd8ff2812","datavalue":{"value":"coupling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894280$C52EAFC2-BE0B-401F-B8E0-F95B6FCF79CA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894280$A2E02760-8D37-4D61-978D-4688D7370C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d9e3398f9a03c25d17ec7e1e092f704c058607e","datavalue":{"value":{"entity-type":"item","numeric-id":20434,"id":"Q20434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894280$C11E4343-F2BB-4D2D-B18F-DD3000F74B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"212677f99a6c3412eccae3eac191b7600c2f8be4","datavalue":{"value":{"entity-type":"item","numeric-id":25245,"id":"Q25245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894280$397448AD-108C-4BE1-B928-6D0C04264918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfebd1f9d3386388c2989cd97f5b743d8cb75b8e","datavalue":{"value":{"entity-type":"item","numeric-id":13144,"id":"Q13144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894280$55C315D0-8D4B-4CD0-9D87-A90206A90EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a24f32ac943cc7165f75749d6e9b8abceef2d731","datavalue":{"value":{"entity-type":"item","numeric-id":14268,"id":"Q14268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894280$D346D8D0-8C3C-4B65-92F8-46F356887F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894280$9C6F7D48-6687-4CDE-A537-985FA11A231E","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":"Q2894280$46CE381D-B6A4-4849-8664-E2A0F226C29C","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":"Q2894280$BFB9AE8F-9D92-48E8-A8B5-0B7B5142F0EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b08f9401fd3d8e097339a50ebee410bf78358a5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894280$12D8FF4B-B353-413C-897B-28B82BD3AB35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62ec7a962df18809dd84de09065e5754159a067a","datavalue":{"value":"W2277593739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894280$6BBBBD7B-94B8-46CF-831C-4FDFABA488B7","rank":"normal"}],"P1643":[{"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":"54b94d4888024bcca8a2c5c0c1911977a783bb91","datavalue":{"value":{"amount":"+0.8407212495803833","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":"Q2894280$EA89F944-2F68-43B2-87D7-ABE3C26FF6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d9405aa27ae5e7a65c5273a0c1ea6c9a64526a","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee7eef3e37cec97245b635b09634fdac1e59eb8","datavalue":{"value":{"amount":"+0.8263766765594482","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":"Q2894280$20CC5CA2-EA5F-4FDA-AFF8-A9BFD1862993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be628412c5176cfb7120de6a9c3ddae2464edce","datavalue":{"value":{"entity-type":"item","numeric-id":313977,"id":"Q313977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf3789ba2e52ee04fc69d01181afa68f7f23aec","datavalue":{"value":{"amount":"+0.823978841304779","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":"Q2894280$F3820151-6426-4C7B-8B37-B0AE3E0A2722","rank":"normal"},{"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":"2a4ae81e3303d703079e7927666b1c77982d84fc","datavalue":{"value":{"amount":"+0.8179856538772583","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":"Q2894280$FF364C0D-5644-45D5-9FC1-3A5E3C92BE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf00b74c83b3f9a9ddb1cdd893492aa51a0e6ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3648695,"id":"Q3648695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5820bfdb58ad07a1b35c80179302f0769049d79","datavalue":{"value":{"amount":"+0.7992412447929382","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":"Q2894280$245CDF13-40B6-48D7-B6FF-FC2EAF7D9A43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894280"}}}}}