{"entities":{"Q2999315":{"pageid":3010039,"ns":120,"title":"Item:Q2999315","lastrevid":85675892,"modified":"2026-06-03T10:59:08Z","type":"item","id":"Q2999315","labels":{"en":{"language":"en","value":"Statistical verification of probabilistic properties with unbounded until"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887523"}},"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":"Q2999315$E0625491-6B28-435E-AD1A-15655495C1C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"582a9b26f9f9cab1a321f1e11e3b0b4e846e1360","datavalue":{"value":{"text":"Statistical Verification of Probabilistic Properties with Unbounded Until","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2999315$2A7ECDA1-BA52-42AB-9546-C0AB085EAE9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a773be8f297c4ab7aa42a3fb1af787eef0d86ddb","datavalue":{"value":"1325.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999315$1AD6D054-C4FC-4F93-8C74-75738523BD7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cafe5bdbf0c1285994228d7e4a384bb81aa0a656","datavalue":{"value":"10.1007/978-3-642-19829-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999315$7173DF79-7809-4139-8B62-C842EDCA3D94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5b32a226edf387007e27470756606e0bc701d86","datavalue":{"value":{"entity-type":"item","numeric-id":2509357,"id":"Q2509357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$1A008AE1-ADDE-4F9C-9C50-F05ADA6C829E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a2df4c9c185a830f3bb11dd84a837b0bb6e787b","datavalue":{"value":{"entity-type":"item","numeric-id":1031863,"id":"Q1031863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$63A5A5DE-73A9-4BB6-87B6-6349259615A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$4C31A827-07F5-48E5-B3D7-2FDA33AF4BDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$C39FE91D-251C-4714-8FCC-DBD1FBC9FC18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f158f41192295853b61fc4556e992b30521ff06f","datavalue":{"value":{"time":"+2011-05-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":"Q2999315$2B3D8003-237C-41B0-BF90-62B8234CD0A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f93b781d0369ac1ed821495567b180abda99b8e","datavalue":{"value":"https://eprint.ncl.ac.uk/fulltext.aspx?url=188991/990E03F6-984D-402E-88CF-9CB5EBEA168D.pdf&pub_id=188991","type":"string"},"datatype":"url"},"type":"statement","id":"Q2999315$479290D5-36A6-458C-A1B1-581A52B29AC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999315$5D6683F7-5EB1-4CAB-8B8C-C2C5B53324E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999315$68D716F1-CE8C-4396-B9A3-D4A0881EA440","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c70e8709effbb0f768549d3b1d1ba43a4657194","datavalue":{"value":"5887523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999315$896B8B80-BF5C-47F3-9984-804F6EE4EC66","rank":"normal"}],"P1463":[{"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":"Q2999315$5B9E3ACF-ED4A-47FA-B31C-B9990940625B","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":"Q2999315$EDC1D2AD-DB32-401C-8FF8-0D724900E1A1","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":"Q2999315$0163C38E-B17E-449D-8C9C-E6079C068AB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f44a0532cb0835a21c9b9d26bb9621749c8d7e6f","datavalue":{"value":"W2105964247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999315$ABA9FDE3-66FD-40EB-9471-E03616A9CA71","rank":"normal"}],"P223":[{"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":"Q2999315$9A94D2F1-5910-408B-BCF8-3568196734B6","rank":"normal"},{"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":"Q2999315$DC2C3314-5714-4E7F-B65B-028818006117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8416c2eada6f3a5d370717013f3b2ec7d9ec741","datavalue":{"value":{"entity-type":"item","numeric-id":5517375,"id":"Q5517375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$268B22F9-76D9-42A5-A575-30896038FB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd6ccc0c0ea6628e8df8934229508b7dee53753","datavalue":{"value":{"entity-type":"item","numeric-id":3648695,"id":"Q3648695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$6EF88E99-2FB1-4203-A97A-23563199B9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03164093ca4593bf060b8a8e34dd937cca29baa8","datavalue":{"value":{"entity-type":"item","numeric-id":2577437,"id":"Q2577437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$8979E2F8-C35F-4CC5-BA40-BE0338BA44EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb37617fa3ce59254b4f40b96c8e5d7b053acf76","datavalue":{"value":{"entity-type":"item","numeric-id":4869639,"id":"Q4869639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$0845EB7B-E604-42C5-86CC-6DD315F542E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$68006112-D116-4B2B-BDC9-E4EAD9685E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$DBB435EC-234C-4931-95F8-7C8CA9D17470","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":"Q2999315$EED381E3-6762-4681-BBC2-21D6AF2D80A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab7c7fd6825580b7d92a77d89a1c50b56a14ff","datavalue":{"value":{"entity-type":"item","numeric-id":2478551,"id":"Q2478551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$BE72D529-0309-41AF-86EF-4588FE2DB11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e0e15f144f19b1726526fc8b4040e45c341fab","datavalue":{"value":{"entity-type":"item","numeric-id":5178876,"id":"Q5178876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$A7774983-A79E-4F4D-B1E7-DAD6C65D4950","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":"Q2999315$FD4D28CE-9EEC-4CEA-84FA-DAEA17AC8E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$01B51E6B-BFBD-406A-82FC-D5CD3EACE6B1","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":"Q2999315$CDAB83EF-64D8-4F19-8B08-104B8B27C02D","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":"Q2999315$F427C2F5-6406-4102-985F-1ABE701F5780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237b2e37dda09b6829cc29b36cd88ad81c2173f8","datavalue":{"value":{"entity-type":"item","numeric-id":5898615,"id":"Q5898615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999315$4B1724A7-289B-4140-A716-244871267E21","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":"Q2999315$6EE89DC7-2E3C-49D7-9A94-6E328D5C52EB","rank":"normal"}],"P1643":[{"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":"ce92bd3a393535899950b01fa83508e80a1be673","datavalue":{"value":{"amount":"+0.7819821834564209","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":"Q2999315$DC15EE8F-FE66-4134-BE3C-53B80B4ABA7C","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":"bb5b370b950551304ca41c0839a5a85d6b450045","datavalue":{"value":{"amount":"+0.7674127817153931","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":"Q2999315$A111A97F-B867-4D55-A23F-AA10D13C1D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c28e967fcf1fb46e2bdd428d79c05271b01fe2","datavalue":{"value":{"entity-type":"item","numeric-id":5308388,"id":"Q5308388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ab2118aad9ab938467ea7a08fd71c81f657695","datavalue":{"value":{"amount":"+0.7289074063301086","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":"Q2999315$DF07A9D0-E95F-4744-B559-A46E0305B375","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Statistical verification of probabilistic properties with unbounded until","badges":[]}}}}}