{"entities":{"Q2226745":{"pageid":2237488,"ns":120,"title":"Item:Q2226745","lastrevid":57794640,"modified":"2026-04-02T13:43:41Z","type":"item","id":"Q2226745","labels":{"en":{"language":"en","value":"Unbounded-time safety verification of stochastic differential dynamics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307972"}},"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":"Q2226745$2101659C-92BA-4707-B4BD-D03DD310DEE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c843f4fada745ec066771bcda3c7a75064ab237","datavalue":{"value":{"text":"Unbounded-time safety verification of stochastic differential dynamics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226745$A13738F3-7E8A-4D0F-8DAF-04F8735C717C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffcc4db3bd2d01c9dd28ef0b39d96880e90f7b5d","datavalue":{"value":"1478.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226745$D48A0475-0DEB-4ECE-AAB6-C44348270CE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c869c37024330ce7324de544ec645afcfabe194","datavalue":{"value":"10.1007/978-3-030-53291-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226745$976E3204-DE54-47D5-90B5-8470A0BC206C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"039dc279dfcfcc0cfa9ab8c3adb7e08c3aaf04fb","datavalue":{"value":{"entity-type":"item","numeric-id":2226744,"id":"Q2226744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226745$14E03864-D8FB-4F64-8862-B1C396B34BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cef1e06d83a491a0b29b5580590e2cd4ce05dbe","datavalue":{"value":{"entity-type":"item","numeric-id":832192,"id":"Q832192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226745$5EA917D2-9BD0-490B-9305-F40291CA63D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a157e506fc5c10d64914a77b9c6ded9494fdd3f","datavalue":{"value":{"entity-type":"item","numeric-id":832193,"id":"Q832193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226745$EEC87A4D-675E-44DC-A70B-1C13C615CD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226745$B30AEF43-0686-4852-B644-EA3F211678D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226745$D084A9AE-C0F9-4E1E-A5DF-3FEE6BB06204","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226745$30B11A30-2192-4985-B15E-4EA0FD92D5A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80040588056dc304792a755aa11a67d8dfafafee","datavalue":{"value":"https://arxiv.org/abs/2006.01858","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226745$CF092CC9-EA03-493C-A49B-88C6B302DBAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226745$05A46CA4-8676-481B-A034-E0712E09D1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1355fbb4f7dce5b1a2a667a659d4b16ecef07e4","datavalue":{"value":"60H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226745$5AF6FC4F-1CD0-4266-8E9E-28E08E03857C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"255d5b2358f062153998bb0d71ed453b8857f2df","datavalue":{"value":"7307972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226745$CDCC7A6F-2CB8-4D33-A79C-40837724CBBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edf184cfabd353da2ef66fc9f35dd79e080c53fb","datavalue":{"value":"stochastic differential equations (SDEs)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226745$5519887B-50A3-43E3-BD3F-A6D1FFFDEBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79075a7262af4e328d26c8862d0f31d764def7e","datavalue":{"value":"unbounded safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226745$0C50340C-95BA-4C76-923C-0D475E7A8CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b33a2133f3cb3556dd08a88991b8a8bb69d97b5b","datavalue":{"value":"failure probability bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226745$A05A5233-1C98-40B2-BEE9-337A806EFC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e008fdd0dcb8c515569f45545f1874abb9093a8","datavalue":{"value":"barrier certificates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226745$656B996B-C067-4408-BD69-50C2F1E1A7D3","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":"Q2226745$8C83E3E4-C8E1-4FCC-A1D7-A5B11EAF0734","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e61633515171f6f78e3148cc5f553033cc20d108","datavalue":{"value":"W3043808265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226745$CD6BD909-AD1C-472C-A54F-FDABFFAF1D62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0eb088f4addf817c49604b5c8d2edf04137a91","datavalue":{"value":{"entity-type":"item","numeric-id":2988991,"id":"Q2988991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728ec7cbdd19b8f6124d519c1c9527bf2fa8005d","datavalue":{"value":{"amount":"+0.7464146614074707","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":"Q2226745$F25CDCBF-AECE-4E30-8F20-27D45BC427E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec91a0ffe90c99be52554ea2eb0b77b13d3c8054","datavalue":{"value":{"entity-type":"item","numeric-id":2663942,"id":"Q2663942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f5b3d88a07fe1c406760112fec397d9fd2f3b1","datavalue":{"value":{"amount":"+0.7431337237358093","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":"Q2226745$3436E441-9B66-4BF6-A4B5-7623C600B1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003be66fc5eeee7df6e9ece570dffe3975ed0b77","datavalue":{"value":{"entity-type":"item","numeric-id":6109588,"id":"Q6109588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30cdba1967fa02bd631d9e8dd109bb26f3cbee5d","datavalue":{"value":{"amount":"+0.7164139151573181","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":"Q2226745$4321B264-3E93-4DCD-8422-1729E44A17B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a873c125fa8140c4d5e23041e3ee33ad70b1032","datavalue":{"value":{"entity-type":"item","numeric-id":389835,"id":"Q389835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac5f8d3414c16c38c7d8aabcec5cde500c6c43a","datavalue":{"value":{"amount":"+0.6840689182281494","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":"Q2226745$E921548D-CA78-464F-A659-2E5C43F02E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44122167d6e6da07bca03f3adbe6b9c4257238d","datavalue":{"value":{"entity-type":"item","numeric-id":2065176,"id":"Q2065176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9ba788f62d98a071fe4d735daa3892eb8c4687","datavalue":{"value":{"amount":"+0.6798301935195923","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":"Q2226745$C339AD53-E6F2-4A40-AB19-BAE16E193D9C","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":"Q2226745$31274525-B9E9-40AA-AE34-705F03B7452B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226745"}}}}}