{"entities":{"Q313977":{"pageid":315744,"ns":120,"title":"Item:Q313977","lastrevid":60877602,"modified":"2026-04-10T19:42:47Z","type":"item","id":"Q313977","labels":{"en":{"language":"en","value":"Command-based importance sampling for statistical model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6626489"}},"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":"Q313977$E1FAC024-34D2-4108-832F-4AD21A4DFF49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf1e09b9f217c1bbf5bb8e10521fcf9fbb0b26fd","datavalue":{"value":{"text":"Command-based importance sampling for statistical model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q313977$22D8AC74-571D-4841-B84A-9C6501DFDB14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70cacdbf16c1a997522a4bf8aa3da9f351d22a68","datavalue":{"value":"1377.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313977$2F7218F5-6C31-4A47-B2CD-E2E9AD21EE6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54fbc53fca1c7932f054d27ca446ca3ca2429b4c","datavalue":{"value":{"entity-type":"item","numeric-id":313976,"id":"Q313976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$9DA5731F-F89E-45F6-8CEE-0C9BD898B4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$687E79CE-5A87-40D8-81CB-8EF074B45690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39db320c091dbceb1577c5fb39426f47b4caacd1","datavalue":{"value":{"entity-type":"item","numeric-id":289448,"id":"Q289448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$8F5BD9C1-62D0-4AB0-9AA9-D92A4550840B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$E7FFB086-B75F-4031-80C3-382E2D372C76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f36863be325de210ff9d9a68f784ab8b753f9ea2","datavalue":{"value":{"time":"+2016-09-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":"Q313977$004DFCCA-5C44-40CF-8508-1D12A58F5D1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313977$1E31A936-03DF-4265-88D4-CA2178D06129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313977$490EBFE8-A11D-413B-8847-D39D237534F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ff367c1706fe88d3dd6a185fc5ace6654f60b4d","datavalue":{"value":"6626489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313977$149C3CF7-F456-48E7-B468-46609C4DF83F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q313977$DD5F6420-0B59-4DDC-8423-319BD4BD78A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b667044fecd62dfdceea4abbb4c0f04769e2532a","datavalue":{"value":"Monte Carlo","type":"string"},"datatype":"string"},"type":"statement","id":"Q313977$DDC510CE-B6EA-45F0-977E-E939DD2CEAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec54e9e8d83e18d3b16ff914f8f5c8f3e9c3374","datavalue":{"value":"rare events","type":"string"},"datatype":"string"},"type":"statement","id":"Q313977$4BE582BD-39DD-4CFF-BDA6-EA8FE3640CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3b9a2c122dd89be72ecbd4dd046019cd3c25be","datavalue":{"value":"importance sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q313977$E539970F-3E8E-48AB-8ECA-A9E27AE3D00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040b7ae51f27bbc9c6597227cd6afada447c309d","datavalue":{"value":"cross entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q313977$7F20A00B-657E-4ADA-8030-5CC0427CB783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee7fdf2049db9290d38cc9f0709f4ba151de5a1","datavalue":{"value":"guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q313977$94058408-5E0B-4A79-9293-5107676B15D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"861443a070102dae819f802c4e9019c8e18ea0a7","datavalue":{"value":{"entity-type":"item","numeric-id":30260,"id":"Q30260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$212C84E5-4B78-49D4-B146-8F6188F47559","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":"Q313977$29A611ED-7E12-4DDA-8370-B53A2FEBB2C3","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":"Q313977$75D83D9D-D52F-4EAC-9BE9-3E5AA1BA0B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5eddc44fe60ff556f07b5cde5b024f0f9e8e6987","datavalue":{"value":{"entity-type":"item","numeric-id":25244,"id":"Q25244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$A3B544ED-BF86-4F18-9ADC-AB502E13CD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dafecf3283df8ccaa4c245bc31762b904ddf38b8","datavalue":{"value":{"entity-type":"item","numeric-id":44818,"id":"Q44818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$A91FBB54-A8C1-4D48-AEB7-3735AD2A142E","rank":"normal"},{"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":"Q313977$9E20E27C-0F2E-47B5-9AE2-2D2D0F68F710","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":"Q313977$55DA1399-1B1A-4AAE-A0F7-0BD96E6DEE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$B05322A8-9CEF-4FE7-90BE-287B77FC3317","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":"Q313977$D1452F2A-7C49-450D-AEC2-D49505264281","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f3a54432cd16c833804bb6632a21cfc87bc4a5c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.08.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q313977$EE752EEF-2738-49BD-AAE7-77126FEB3972","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2b2128a8e5daeb3ff0d8bcab91323df4d1b302c","datavalue":{"value":"W2515987250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313977$38F8A5F0-6CC3-4E0B-97AE-C6514B2381B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$B7758DFF-809C-47C7-AF35-2C7D9FF996EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e90df9c1808bbdbed1a180785eb0aaff379ccf8","datavalue":{"value":{"entity-type":"item","numeric-id":4094202,"id":"Q4094202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$1F0012F0-C054-4451-BF7F-37D8F3E5DDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951e3fac2f8a7f42245afc2da005b718ed618b05","datavalue":{"value":{"entity-type":"item","numeric-id":3616303,"id":"Q3616303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$212C28A8-8D54-4ED4-87AC-1CCC4B548008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d6452e54e5e6983bfa6dba10e55824db2fd929","datavalue":{"value":{"entity-type":"item","numeric-id":5814290,"id":"Q5814290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$50952C84-F9D3-4BDE-B466-330F0B2695FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4661313f8bb8e1db5ce14e3f97740a0272860637","datavalue":{"value":{"entity-type":"item","numeric-id":770003,"id":"Q770003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$8AF95565-E6E4-4FA5-82BE-0C8CEE68C884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08dd2cde602af137c52ba4f69c22bcd86e50c081","datavalue":{"value":{"entity-type":"item","numeric-id":5332577,"id":"Q5332577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$09B1597C-8A52-47C5-9FF7-91D7641BB599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27c3d7723f28194a995f526d5c63bbd591aa725","datavalue":{"value":{"entity-type":"item","numeric-id":5836364,"id":"Q5836364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$99758546-7956-4A77-B7BF-09324A1AA850","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":"Q313977$5397F522-6607-4905-A0D1-7C6CCB4A797C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d615dacbf3f35be184edc2977b87fd140cee3a6","datavalue":{"value":{"entity-type":"item","numeric-id":2894294,"id":"Q2894294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$DC496A82-A5E5-4DA1-907B-DB8303ACC68C","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":"Q313977$D2A9BC13-7801-45EC-9CB5-6A14FE0B7D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e675c7756caa950c29dff18629a1cb3045a44aa","datavalue":{"value":{"entity-type":"item","numeric-id":5789631,"id":"Q5789631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$6DD2C753-71C5-4A1D-9103-C9A7D18AA01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$832ED513-1C9E-4C8B-8E4D-DF0851E37399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba3f2da6f5e5b177208c3209b0b1757bf7a5128","datavalue":{"value":{"entity-type":"item","numeric-id":5529067,"id":"Q5529067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$1E318775-A539-47F5-8262-44F0054C9B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27db1360be976e8b5ec294314dc1e48796a18574","datavalue":{"value":{"entity-type":"item","numeric-id":1278808,"id":"Q1278808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$CA751587-E056-4740-B932-32488E886C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecce04d77d247072c0ce31a4052da03b55f4f77f","datavalue":{"value":{"entity-type":"item","numeric-id":1961837,"id":"Q1961837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$0FDFCDC2-43DD-491B-8196-9EB53BD44491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70cad83bc351ef92f78d3de14ff6962b80556345","datavalue":{"value":{"entity-type":"item","numeric-id":4302651,"id":"Q4302651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$045EC2CD-A40A-4CC4-8BD1-4BC323339E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46fbf9e352bb7dcfec41ae8aa5afeebc5394804","datavalue":{"value":{"entity-type":"item","numeric-id":4876027,"id":"Q4876027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$4C4D2FCB-31D3-4E85-B0F7-1F8DB044DA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6680707770c7e2f8e275a2c17f2cebbb19d320c","datavalue":{"value":{"entity-type":"item","numeric-id":2485929,"id":"Q2485929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$758C899A-0040-4F73-8E07-FBF1EFD8EAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc00b8b56b27df08cd50387f038d47c9cc07efb","datavalue":{"value":{"entity-type":"item","numeric-id":3114686,"id":"Q3114686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$96901C74-3701-4C2F-9A1F-6809CF51F589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01429f6203afa9e4100f19dc26684eeb6bc3720","datavalue":{"value":{"entity-type":"item","numeric-id":3172901,"id":"Q3172901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$BF2B4DCF-7949-4608-A6E7-E180F736ECEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd180298f1ccfc598b8c3b942fb607dcd3318b4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894280,"id":"Q2894280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$606E40D1-0867-455B-863A-10FB2B492240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497ecb1857dfa30877055f6ba9457bbd21fc290b","datavalue":{"value":{"entity-type":"item","numeric-id":4828566,"id":"Q4828566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$13402DC0-00E5-4CD3-BC4D-A0A4D359697D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ebba9f38f836ce9224fc096257cc0a153a516d8","datavalue":{"value":{"entity-type":"item","numeric-id":3867715,"id":"Q3867715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$3AA45F60-1B4C-4607-BA9F-E073FE7DE3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8c65a426e1abed174bad6af2db1bc9eeb8c147","datavalue":{"value":{"entity-type":"item","numeric-id":602672,"id":"Q602672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$1AED9FD8-70E9-446F-BBAA-BB170F3C77A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152e70547080800ceafa6046ed9f072d47804551","datavalue":{"value":{"entity-type":"item","numeric-id":2892351,"id":"Q2892351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313977$4D86A5B8-5688-45D0-899E-6027706F6B13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"563e7d42dd963b0a5a655b566182f241b5f2a0c1","datavalue":{"value":"10.1016/J.TCS.2016.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313977$D5D8A528-A7BC-4174-A5F5-C032A4DBE7D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404b9ed1b463490bb7722e17afc8c4a98045defc","datavalue":{"value":{"entity-type":"item","numeric-id":2894280,"id":"Q2894280"},"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":"Q313977$8F7653B0-85AF-4C97-8004-E19B032992C6","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":"be670ab4912953f106a0c61b66160664fb37a037","datavalue":{"value":{"amount":"+0.8017133474349976","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":"Q313977$F039F36C-8D09-4664-9EBE-A98D6EDDCDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f22f8f8024a6257d27e35e89e8bb6f6cf4f3a7b","datavalue":{"value":{"entity-type":"item","numeric-id":2986769,"id":"Q2986769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f86676653b2a9aaaafc092e05af570b35e4b681","datavalue":{"value":{"amount":"+0.7663584351539612","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":"Q313977$06F241BB-C0CC-47F5-ADCB-3A8E371032DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60416ab0d8244c93d6e69f2ec3485c4e017a8de6","datavalue":{"value":{"entity-type":"item","numeric-id":1660773,"id":"Q1660773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c227da5aebadeb64284825bd84aaeb361bc084c5","datavalue":{"value":{"amount":"+0.7502421140670776","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":"Q313977$3BEF5668-900F-49FA-9618-7E6DC5A3991D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f842cb182b3a04330d2469e0337e62249d095bc","datavalue":{"value":{"entity-type":"item","numeric-id":2075782,"id":"Q2075782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43dbb882abf55dd1e65d5470e1403e7209978c8e","datavalue":{"value":{"amount":"+0.7471238970756531","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":"Q313977$BEB635C0-9547-4FA6-B858-796B1F250321","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Command-based importance sampling for statistical model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Command-based_importance_sampling_for_statistical_model_checking"}}}}}