{"entities":{"Q6399373":{"pageid":13532641,"ns":120,"title":"Item:Q6399373","lastrevid":59082090,"modified":"2026-04-07T12:08:07Z","type":"item","id":"Q6399373","labels":{"en":{"language":"en","value":"Sampling-Based Verification of CTMCs with Uncertain Rates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628138"}},"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":"Q6399373$0F642735-1ED8-4B38-9DB6-BF243FE6701D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a56af58cfd4d3b017f8833425a5cd2b6e7283d16","datavalue":{"value":{"time":"+2022-05-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":"Q6399373$72CEBE15-A9DD-4481-BAF9-B97ACD3E7A7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfb37f1e9e8a2804677c80ecff49e7ee0afd34ca","datavalue":{"value":{"entity-type":"item","numeric-id":6399372,"id":"Q6399372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$DF62451E-86ED-4057-A4C2-BC934808A7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc3636d4eb9483884cb439da1e5812c56aac88c1","datavalue":{"value":{"entity-type":"item","numeric-id":402122,"id":"Q402122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$6F034FA3-8928-4613-B1B5-51CDF2060C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ef31944b5821ac2278e65baa6cb79a07bb5617","datavalue":{"value":{"entity-type":"item","numeric-id":832289,"id":"Q832289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$F835252C-65EE-43D2-9D74-92068E50AA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e81000e95d5baed5e5b30033cfcd1070b84fdc23","datavalue":{"value":{"entity-type":"item","numeric-id":225107,"id":"Q225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$9DC77A53-69C6-4248-BC49-E06C231B80EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18f666594a4b773edf28b39f14586455cf52cd8a","datavalue":{"value":{"entity-type":"item","numeric-id":667039,"id":"Q667039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$8FFE7C21-7120-46FD-B91F-0A494E67D820","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399373$7FA9D609-53DB-4E9E-8430-0D0AE64D4AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399373$9A38C020-8BF8-4A4D-A2CA-C50EBABAD606","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fcf23f5b5fb749c574d6c57750361554fdad0b3","datavalue":{"value":"7628138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399373$39443B1F-53AB-47C1-97B4-BC6144840FCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62f42c8b284069ed8f488ac572e991e365f57379","datavalue":{"value":"1514.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399373$0681D52F-46CC-4F3B-9EC6-77013C452E9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1adf5eed8e43d33d3a2f4842171bef6173dec763","datavalue":{"value":"10.1007/978-3-031-13188-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399373$8893CE06-9283-41F2-870D-DC3E9CADC56A","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":"Q6399373$3FD87834-342F-49BD-8458-6EC404B42849","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73a5a06aa27e2dc90245db25e3a33a92b5571775","datavalue":{"value":"https://doi.org/10.1007/978-3-031-13188-2_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q6399373$4D089FA1-56F1-4ED8-AE90-FFD27B5B906D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dd781c89312020ea9b238db4b6f11364b10faba","datavalue":{"value":"W4289874404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399373$E7474A77-2434-42E0-9078-C0C97D973A59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee1a7fc69fd13403507bb7241f68a2be3b55050b","datavalue":{"value":{"text":"Sampling-Based Verification of CTMCs with Uncertain Rates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6399373$1F876B95-27FF-4588-A02B-2E81072F48E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"667cdb9e4b6b285f6a81eda61e6702c4820374a8","datavalue":{"value":{"entity-type":"item","numeric-id":1581775,"id":"Q1581775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$5081974C-5CB6-41A9-8522-6E20F1420841","rank":"normal"},{"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":"Q6399373$E3667BC9-2306-4E92-8A57-BA05700944CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77da9c7cd24530917bacd85da4f1b422641f138","datavalue":{"value":{"entity-type":"item","numeric-id":5039513,"id":"Q5039513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$09B7979B-5DBD-4AC6-AF6F-06D3FC23B9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ee393960372036d69977fc732505b4b812eff3","datavalue":{"value":{"entity-type":"item","numeric-id":6399373,"id":"Q6399373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$CDEC09F2-4E60-4EFD-B791-D6F91BADF03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d81fa34b75538c6fc7490766c0d7105fcbddbad","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$267B52B0-4B1B-4B6B-BDBE-F3EE65320F44","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":"Q6399373$F6243D15-585F-47A0-92D8-45E7C9D2FF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e18cf3fb61738b07cb7d8c5a689529cb8381d03","datavalue":{"value":{"entity-type":"item","numeric-id":259074,"id":"Q259074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$2E347F65-67E8-4D32-8593-5E89EA5D5E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157a27473a3169f78149da7dbcb09ab72920f13c","datavalue":{"value":{"entity-type":"item","numeric-id":2324239,"id":"Q2324239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$E0619FE9-8260-4312-9B49-FFBF38CC1440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$BA7D528E-2403-47FE-94B7-C348C3B0D6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39d74afe4c0bc6628836a8785eaf8ed8a2b44f1","datavalue":{"value":{"entity-type":"item","numeric-id":5281828,"id":"Q5281828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$205691EF-759A-4359-AAC7-95F65278D941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c41279a2461606b27f394dbfe6457cabdec415b","datavalue":{"value":{"entity-type":"item","numeric-id":3395012,"id":"Q3395012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$ADDED331-FBCF-4F93-BEED-186460DF6B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9514464daf7f5eacf567c52bab6c7858eacef754","datavalue":{"value":{"entity-type":"item","numeric-id":535064,"id":"Q535064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$80F311BD-AD90-4761-96E8-7A3FC81AA005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5019120b0fae14299c15af0f8bfc7278119c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4613999,"id":"Q4613999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$B0C7AD58-0F9A-4DF8-8295-256ED71B7ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a906dc0097f8cbb1d89f108966eb137304123267","datavalue":{"value":{"entity-type":"item","numeric-id":681495,"id":"Q681495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$9D112659-2860-4E3F-B08B-533C95D9A0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fae6a0a551ed87aac7749605055db85e189d97c","datavalue":{"value":{"entity-type":"item","numeric-id":832091,"id":"Q832091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$956BB7A9-B6DB-44AC-93AE-7CDEBC0EE783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205393c6b9cc5afcfbf253fc2c43643c0de62075","datavalue":{"value":{"entity-type":"item","numeric-id":2407983,"id":"Q2407983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$4F3FD310-4C77-471B-8053-1952CB9ACD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d3bf53e94a938d4f9a9fcdc3603c5ab6b47000","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$242E0F9B-2F10-4557-9DBE-96FC8ED0B389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0ee19bd540b6cc22f5bfe8f13813842620984e","datavalue":{"value":{"entity-type":"item","numeric-id":2118077,"id":"Q2118077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$E47798E3-1F2A-42CA-ADBB-672DCA8F9DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b49d69d76bc721ffe93f299ec0552f08f47dd33","datavalue":{"value":{"entity-type":"item","numeric-id":1583513,"id":"Q1583513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$40D7CCC0-20D1-469D-8B6F-38CEF81C1324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401797d3a891c9289ac45deca7ae4b1a58b9129","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$DD0A63AE-F412-4FF3-9517-B4843FDF7168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497cceac7d6c6acd7624c65e3bd42c3b938c2d3b","datavalue":{"value":{"entity-type":"item","numeric-id":2075782,"id":"Q2075782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$C9276509-0F80-45F7-9BB4-AC3DE178DE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2029e781547df7ecfd7ef0a3d1f1b2fab6e3dd7f","datavalue":{"value":{"entity-type":"item","numeric-id":4000341,"id":"Q4000341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$55AF93B4-92C9-4B4C-ABBE-AF855597C1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78da1ee870312cbd9637b6547d8105ccf45fa7e8","datavalue":{"value":{"entity-type":"item","numeric-id":2864840,"id":"Q2864840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$520EC709-7DFA-4358-B9D1-4BFB544F37F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9bae6a57bb3ecd21f54e2aa59923bdda73a2cd5","datavalue":{"value":{"entity-type":"item","numeric-id":2352775,"id":"Q2352775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$2507D506-1E8A-4D22-89AF-8132536FB6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$07E9E2B4-765E-4D16-9AE1-7878D4270A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8433d36f9953e72693f38149c06d29f0ff92b1","datavalue":{"value":{"entity-type":"item","numeric-id":5899070,"id":"Q5899070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$793DE98A-A525-4CB4-A6FD-2F1C3CE2B504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34360f71e298e16f12bb7faa99a592c2f2a6eed","datavalue":{"value":{"entity-type":"item","numeric-id":962945,"id":"Q962945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$660D930A-A720-4425-B749-73186368223E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8a7d69d1fddee9c9a2d74466b5eb6eab42ed50","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$8DAC2F64-800C-4773-8B76-7F2CB3C84B97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43d68be216e6a8a1b1cae1756f4161eec483e02","datavalue":{"value":{"entity-type":"item","numeric-id":5039513,"id":"Q5039513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8f63597a2d99c5f37b7c6ed9fc1590b36bd892","datavalue":{"value":{"amount":"+0.7690445184707642","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":"Q6399373$85A52CCF-B08E-40B1-B532-E2ACD7A67699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e895e6f3c9971a8388a0ebadf5d797ef506ac291","datavalue":{"value":{"entity-type":"item","numeric-id":259074,"id":"Q259074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09eb783d3582cdd7ca6f1270caa1ec256bf2411","datavalue":{"value":{"amount":"+0.7500569224357605","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":"Q6399373$CA608149-277C-4406-8C63-4125466F81DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b109350a0bb5dc91015b1c779d6b136c5d41d49","datavalue":{"value":{"entity-type":"item","numeric-id":832091,"id":"Q832091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7222b05bba7dd58afc2044e68b330f03ddf75a5","datavalue":{"value":{"amount":"+0.7340598106384277","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":"Q6399373$02CC23AB-0B00-4D4A-8754-7FF9487755ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a786592cf3bec7cca2ad40165966b5fdf1f90c","datavalue":{"value":{"entity-type":"item","numeric-id":1990499,"id":"Q1990499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8936564ef100a99159f23572008c75b37cfaa8b","datavalue":{"value":{"amount":"+0.7200061082839966","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":"Q6399373$45144292-4579-4C95-9371-4B78154CCB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec956f61f31d31e2ca94eaf22e11d8aa175a8463","datavalue":{"value":{"entity-type":"item","numeric-id":3457809,"id":"Q3457809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c260c92466ac626265c590f695bfc628372d8a","datavalue":{"value":{"amount":"+0.7185651659965515","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":"Q6399373$D6DD9134-C5E4-45FE-9DBE-90CED08D424B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399373$6212818D-B118-4617-9F77-7B53C5290675","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6399373","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6399373"}}}}}