{"entities":{"Q5194936":{"pageid":7224508,"ns":120,"title":"Item:Q5194936","lastrevid":91521833,"modified":"2026-06-04T23:23:07Z","type":"item","id":"Q5194936","labels":{"en":{"language":"en","value":"Multilevel Monte Carlo method for statistical model checking of hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105900"}},"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":"Q5194936$EA43831F-2266-4587-B291-F563E0942C69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e691b42ea80570cb653e12e40ac9d807d3cf119a","datavalue":{"value":{"text":"Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194936$ABC5203D-D85C-4077-B276-FF817167F4C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f2564196d47708c29f21323f0118132958c8350","datavalue":{"value":"1420.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194936$B5F0F51B-1AFD-4164-A988-21AFD8FAA15F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"314b87a8c2c6d17003000fcf3342771e8bce0ab7","datavalue":{"value":"10.1007/978-3-319-66335-7_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194936$6F5A17DB-4C5B-44B9-8D9C-540A26F07051","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a1f91e571b8e79a9601e7de65c49892f6d9269a","datavalue":{"value":{"entity-type":"item","numeric-id":523134,"id":"Q523134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194936$74269DFB-7809-4AFE-9587-DFD0B772A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194936$4082305D-0621-470E-8A8C-36AD1BE3D60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2115b9c50c38d652739df089c3ed8e397bd4e496","datavalue":{"value":{"entity-type":"item","numeric-id":393283,"id":"Q393283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194936$4F72472D-F534-4EE1-ADD9-7EF165EC0B1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14c790a373839096cbb828adccdd03da8785642b","datavalue":{"value":{"entity-type":"item","numeric-id":5194919,"id":"Q5194919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194936$EDCF8CD3-C61A-4D2A-8EA9-CE7BC3498E95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194936$F460B902-CA53-4E1E-B5C0-7553E528C7FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5937a30e43f05421ddae0f858df92735c984b86","datavalue":{"value":"https://arxiv.org/abs/1706.08270","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194936$45B883B1-8251-407E-8611-93973542E295","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194936$E29A7DD2-A427-47FC-94C3-45852D2D2931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"63aec181f5f25f527f4a50518ef030353abadcda","datavalue":{"value":"65C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194936$824F60C7-A2A7-4D38-8350-C7E0AA91263B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194936$4BD855DF-98CD-4B64-B138-C3BDAE5379F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2a510b5544f88570cebdbbbec2f9400e3adae31","datavalue":{"value":"7105900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194936$0BA3B6F1-9D1C-4ECC-994D-9D36D570D2CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194936$B663A9B2-C1D9-45C5-9068-874A26FA4B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194936$618E835D-AB3B-4315-9D7A-10FF9232215F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205c7b47fe302c594883d7ad80e6f728ab39fe69","datavalue":{"value":"multilevel Monte Carlo","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194936$04363BF7-5E56-4EF2-91C2-C4AD141472DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194936$26353662-E400-4CEA-B165-1273A5930527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac07195aa5740872d8d3e6459b2a8204cf5318f7","datavalue":{"value":"continuous-time stochastic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194936$C11B1A82-86DF-49A7-9EBE-C9D31015D5D5","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":"Q5194936$907519F8-518B-4358-B412-1673D2F12B26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b3e322700ca8b74776ad098952e4ddd85b36c19","datavalue":{"value":"W2702352633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194936$372C172C-563F-4D44-A475-D12DB1E05B51","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":"e0f7ac8d37a0013880176501fe9dd1b8bb386d2a","datavalue":{"value":{"amount":"+0.7608609199523926","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":"Q5194936$DF962E7F-786C-48B0-BA56-8937518EC48A","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":"a2615a2ddcae6cc16bb26acaa0edf50ef48252b3","datavalue":{"value":{"amount":"+0.7479454874992371","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":"Q5194936$3C04D4FC-0A44-443D-96B6-E2CE79DC3BF4","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":"edb3cbf0fc6e82308fb24bc23fb3216064d1c9c2","datavalue":{"value":{"amount":"+0.7479244470596313","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":"Q5194936$3C827A03-66C0-44A3-B1DA-85828F4EC948","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":"23bc9390a5fb37fa20da280168ff28bce9da4ba2","datavalue":{"value":{"amount":"+0.7411326169967651","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":"Q5194936$85B002BA-4629-4FD1-B3FA-26D281961826","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":"5904efae346988682bcf11c224849eb94c8c4fde","datavalue":{"value":{"amount":"+0.7384229898452759","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":"Q5194936$F1804920-E9CC-4502-96E8-68D7EABAC9D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multilevel Monte Carlo method for statistical model checking of hybrid systems","badges":[]}}}}}