{"entities":{"Q5875362":{"pageid":7904913,"ns":120,"title":"Item:Q5875362","lastrevid":39654482,"modified":"2024-12-30T16:43:15Z","type":"item","id":"Q5875362","labels":{"en":{"language":"en","value":"Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649909"}},"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":"Q5875362$5E10B453-CA1D-410D-894A-8C62F10709B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875362$01FFDFAF-DB68-4068-A5D9-A635226666D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875362$C557D012-7852-4C62-BBA1-309F739C883A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875362$D6A88E1C-4961-4E59-9C89-FDD8C1CAF941","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3827b70150f0edf43ff75b9ce0877e6398f6576","datavalue":{"value":"7649909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875362$CE92D7D5-9072-4D82-BF57-8137424D3997","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efe91da4df536f9ec53a9f276b6c2c113d29db","datavalue":{"value":"neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875362$A0632986-D39F-40A2-835E-7531A7E35A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875362$BF49F952-C350-41F8-A39D-C6B152B47874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875362$E94720A2-8988-43AD-9F22-533580ED60F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d738543e8dc00ad2fb051715416d0715b263c30","datavalue":{"value":"Bayesian neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875362$265AD281-0551-4360-857A-C0E84B118D65","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2f5ea38f865305d6b80363a168145004bbdc042c","datavalue":{"value":{"entity-type":"item","numeric-id":28423,"id":"Q28423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875362$B6121248-CDC5-41FE-B67D-FCB55FE9AC9A","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":"Q5875362$BEA6AC6B-3B32-4E44-AB6D-2C64D13E06EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed8b80c0a1de26afcf875b9853cb4287bfa6624c","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2019/10903/pdf/LIPIcs-CONCUR-2019-1.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875362$C8087B29-0631-4BB4-9DC1-C1C63AC02212","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bd2054725dde956a541c22fa98485c70303390b","datavalue":{"value":"W2970180080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875362$9B710D1E-420F-4CF0-BC80-8B682D9BE26C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f4bf9415fac35a94e01774e5e15cada06d52f99","datavalue":{"value":{"text":"Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875362$371D453D-A741-48AD-A4D8-6A61620CB499","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0560d1c327ad31efacda0335b3172566e741ab91","datavalue":{"value":{"entity-type":"item","numeric-id":2151229,"id":"Q2151229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875362$63A8233C-8D6C-4FF3-8ED3-8030B7E47A21","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":"Q5875362$36398340-3651-487F-833B-9625CFBCAC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78b4c1979734563721a3c8a0cacaee721529532","datavalue":{"value":{"entity-type":"item","numeric-id":3005896,"id":"Q3005896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875362$92C15422-82D2-41E1-A6D7-CB868A28BCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999cf2e6278ba54cf0d79c77e3661aea4e64fb2b","datavalue":{"value":{"entity-type":"item","numeric-id":2286751,"id":"Q2286751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875362$8A64281F-CFDC-4D73-958D-E6EA1A6AC69B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10182f36876c649f78254b667a831a97ab424b0d","datavalue":{"value":"10.4230/LIPICS.CONCUR.2019.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875362$E0F8E3E7-F2D7-4853-AB28-7EB4F6450222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875362"}}}}}