{"entities":{"Q6134350":{"pageid":13268657,"ns":120,"title":"Item:Q6134350","lastrevid":58710582,"modified":"2026-04-06T10:27:03Z","type":"item","id":"Q6134350","labels":{"en":{"language":"en","value":"Generating probabilistic safety guarantees for neural network controllers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7730697"}},"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":"Q6134350$1A2E40C1-0E85-4543-9640-5AFCC267915C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2eff992ad62c0f286c5f8bfdbfb9687c58d1d0d","datavalue":{"value":{"text":"Generating probabilistic safety guarantees for neural network controllers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6134350$CA6DDE10-7E26-4D6D-B3AB-0DB339801A50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74e4a6155e7ad750422f09d0c3b7d690fb5ad986","datavalue":{"value":"1518.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134350$9F952D65-AB4E-41F7-BE51-A7279B987AC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fcb19b2f4a60f7e2377d00bda7e3c4bbc0ef2f1","datavalue":{"value":{"entity-type":"item","numeric-id":6134349,"id":"Q6134349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$D1212E83-F251-4E39-BB8A-D1CA42ADFFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"772b5d146f9ee2fb7a778408727d7cb208016bde","datavalue":{"value":{"entity-type":"item","numeric-id":6053799,"id":"Q6053799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$59653F6A-EC7B-44DD-926A-1C47A41C99C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b310be1fe2671c35268b44e6e79a99b0ae114846","datavalue":{"value":{"entity-type":"item","numeric-id":6053798,"id":"Q6053798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$94C44DC9-DB4D-4A09-8FCF-1DD88351296C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d33cb3cd805d6edbe61572e88ef6f09a93a3d677","datavalue":{"value":{"entity-type":"item","numeric-id":1694947,"id":"Q1694947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$F3096787-D19F-4D69-9C4F-CA4D6C9F7BFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2500bd7472785bf7f3577cddf9bbcc323031858b","datavalue":{"value":{"entity-type":"item","numeric-id":65106,"id":"Q65106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$39424428-6630-4A7A-B6C3-1A1E306EB6DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8a9ee3cfbf450df25fa8a78d8962a05d424cea0","datavalue":{"value":{"time":"+2023-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6134350$F77A7F12-393D-43A1-8033-44B164D9D794","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c2c32064ff874370d8118eb25ee066f7dc585dd","datavalue":{"value":"https://arxiv.org/abs/2103.01203","type":"string"},"datatype":"url"},"type":"statement","id":"Q6134350$419D51C7-02CE-4DA8-8278-9068D067C7DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134350$5344B093-F247-48AF-A0E5-E9C7F94E2394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134350$3AE7B57F-1AFB-479A-800A-968087AAB377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd9a801a526fc4d8fad4b9db030b9cb0c67a3fce","datavalue":{"value":"93C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134350$D4DDAB73-B346-4DA7-9EDD-60528217F039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134350$F1D05E58-99EE-4BD4-A122-2A1301CF192D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1ef357b9fd963a71a5572620000585ffe8dbaf4","datavalue":{"value":"7730697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134350$B3905E80-5E3B-4DC6-9568-3393A04D926A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f70aeacecf4af484d57f663b0d3ea2d0c898cb3f","datavalue":{"value":"neural network controller","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134350$64959918-AE74-4FEC-B795-7634868D1645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134350$EB3B6489-A8CF-4EFD-AF07-3EDD0879CFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134350$FAFB6F8F-075B-4609-9B46-E012D9B16EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134350$DDF16AD0-3C74-4D7F-A8F8-CEEC3F8ECB98","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":"Q6134350$445DDBD6-6463-4D63-874A-A97420BCF0D8","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":"Q6134350$2FFDB8C2-DC19-4B40-8EDB-1AA1005A16BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"966e31d66cc513ab985bc7a4a511702a7a14c2d8","datavalue":{"value":{"entity-type":"item","numeric-id":5812624,"id":"Q5812624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$94977B7F-B2DC-4EE7-839E-A4706C2C0F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bef7da6f721acd6129927d43edfe7dfae2ccb7b","datavalue":{"value":{"entity-type":"item","numeric-id":5239232,"id":"Q5239232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$F0F6767E-2799-44F0-BA62-23B6A3FF8CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80261a9172a3fe7b744c2e07607c3df774722d25","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$4DCED40B-E943-48DC-A471-11577265B797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbd0823fa5b5a36751278925bae4f67a5044c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5239233,"id":"Q5239233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$F8BC14E4-5C0E-4D61-8796-68B63A1A22C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d76610be2db7a475aae1f8e37aec5be549c297","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$14B773C1-BD64-4750-9161-4BD3B6587F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e4b95c017e4a642b16e917decfdfe65f6303030","datavalue":{"value":{"entity-type":"item","numeric-id":2794334,"id":"Q2794334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$5B901928-FA55-4C8D-9421-19220A264370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a20c4345a95f1bb0e9776f4c31c322036d055b","datavalue":{"value":{"entity-type":"item","numeric-id":1604826,"id":"Q1604826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134350$0EEB2AEC-2E95-4855-8A7D-5ACAA4DE8CA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3980af8c570740ba8e3d35130ba0464227f5ca37","datavalue":{"value":"10.1007/S10994-021-06065-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134350$3055CF50-3921-4174-80D5-7AC00AADB9D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c0d9bbb2e84e54d5d77c51d76b08cf8b960bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5918787,"id":"Q5918787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17960db778aa8d529123d1b2c5412a650caf5070","datavalue":{"value":{"amount":"+0.7313312888145447","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":"Q6134350$4CA0FD5C-167D-405F-A4FA-D47B1700808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a39b8346a701dca94fccc131df022344915ff","datavalue":{"value":{"entity-type":"item","numeric-id":5918375,"id":"Q5918375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1979198008523aab6dc3e9c2b5d46ce5816af3c9","datavalue":{"value":{"amount":"+0.718239963054657","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":"Q6134350$2C353347-2141-4A36-AA8F-EAAC4E2AE63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e30cac41cc7c955986b8a9b8e0a2f8a0780db8f","datavalue":{"value":{"entity-type":"item","numeric-id":832173,"id":"Q832173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faabad890e3aa04365bf40ebe0dee1e876d90120","datavalue":{"value":{"amount":"+0.6966943144798279","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":"Q6134350$61D2A823-CBAB-4B02-B82E-B431560C80EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad154492e2ccfce2f2ad6c23951e81de3c57b2b1","datavalue":{"value":{"entity-type":"item","numeric-id":2225075,"id":"Q2225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec61efa2e850bde12507bc97189638cea03025c2","datavalue":{"value":{"amount":"+0.6920490264892578","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":"Q6134350$1F8AAD77-1BA0-48B0-BB15-DE0BCCD55C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2735ce5445fbf4136018e4c64618efc7f65be80","datavalue":{"value":{"entity-type":"item","numeric-id":2145327,"id":"Q2145327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9095cde72c93fc62e7283d631a2e6a4a8879b696","datavalue":{"value":{"amount":"+0.6839942932128906","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":"Q6134350$EEF7D61D-05C6-4F5B-BE7E-6B879BF2FD5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6134350","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6134350"}}}}}