{"entities":{"Q2225072":{"pageid":2235815,"ns":120,"title":"Item:Q2225072","lastrevid":57793722,"modified":"2026-04-02T13:38:25Z","type":"item","id":"Q2225072","labels":{"en":{"language":"en","value":"Verification of deep convolutional neural networks using ImageStars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306403"}},"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":"Q2225072$671AD542-1412-4B83-8EF1-1C9E2EC4E8A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db14695d2be5bb267b035573723e314fea26e9c7","datavalue":{"value":{"text":"Verification of deep convolutional neural networks using ImageStars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225072$E6FC588A-74A5-4945-AFB3-3ED64734860C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3530c1b182ff4b202b2f455c12be57b030ef86a7","datavalue":{"value":"1478.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225072$F7E0E696-A335-4640-9B50-B6E6298C547B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3415e524a43137886969371a79cf6f2857a4b2e8","datavalue":{"value":"10.1007/978-3-030-53288-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225072$1A3D0958-3B81-4C01-AFD8-A8A14657EA3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e6981264371a222c260c51150751e6b6f45dc","datavalue":{"value":{"entity-type":"item","numeric-id":832174,"id":"Q832174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225072$298943D5-07DD-4F9E-AC1E-EB6A604F2DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b477b5658b51465a1d02c115134f329e7a04eb9","datavalue":{"value":{"entity-type":"item","numeric-id":296101,"id":"Q296101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225072$E04B7B67-F7E7-44A1-962C-94F4E26F047C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eac54765784a929e7136c9a4db3bd68ac0d1cdef","datavalue":{"value":{"entity-type":"item","numeric-id":279607,"id":"Q279607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225072$65D9B355-A7F4-4A4E-B707-C82417D5AB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69541f5d9e9de0adc652cdfebff99a31ad41bfc","datavalue":{"value":{"entity-type":"item","numeric-id":832179,"id":"Q832179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225072$29A5287B-7A4D-42B0-97DE-5DDF4C22552F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225072$02A7931F-60A8-4547-B9F1-6186408E17E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60303d59380cdc7e48de3f1d3dadd23c422fac0a","datavalue":{"value":"https://arxiv.org/abs/2004.05511","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225072$5DF68C58-2F04-4459-B6EF-E19E1F44028A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225072$4A05A07D-5FCD-4785-BFCA-55A804D51C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225072$9725C3D5-18A2-41DA-B229-AFEC8481691C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ebf0f2849b55956bfa4d8a6c8afd54fb9e567526","datavalue":{"value":"68T45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225072$B08F9B8A-59A0-4C70-B026-B35D11D68619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab7a0d2add14e0dbd91ec8ae1d32a5bb94f2fb34","datavalue":{"value":"68U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225072$B4DBE164-0C11-4073-95D3-19D72A43A1CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"425398b339db26301e1765e35f75c559248a6984","datavalue":{"value":"7306403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225072$21A90A24-34AD-43BE-89FE-E8FAF00116A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efe91da4df536f9ec53a9f276b6c2c113d29db","datavalue":{"value":"neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225072$FF4F9103-C2F3-4907-9D22-5BF3A4149794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225072$6BB621A0-6383-48CE-91D8-F30429EC5463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225072$800EEE95-D09D-497E-AC84-131EC2FF278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cc5918892b50010a90ee07fa121a8c66268a4b7","datavalue":{"value":"computer vision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225072$2AA018CA-45FD-46B2-B388-A3101AF3EF7E","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":"Q2225072$E3FA39C9-D2F9-485D-978E-901FAB7007DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8de010c6f86710bda887b63130620d97dd335b8","datavalue":{"value":"W3046662910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225072$8F3DCE32-01BA-422D-B1B2-7BD59E0F29C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a98bd47a3fb60d20cfd8d5e364b26525d4f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":1982635,"id":"Q1982635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08989de6e5316ab8f5b97c0cbe80b01834e37ca3","datavalue":{"value":{"amount":"+0.7373107671737671","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":"Q2225072$61D60A7E-BE3D-4388-BD69-340C40F6089B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5e9575d3f99653ee212b6198623fb0a9530c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2151229,"id":"Q2151229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3611a21baa997a16034ceb06e0236da227bd3fd8","datavalue":{"value":{"amount":"+0.7330822348594666","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":"Q2225072$54050B9D-CE48-4E12-B741-BD993AB36CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6cf199740c460fdde423c3a0aa9a622f186082","datavalue":{"value":{"entity-type":"item","numeric-id":832180,"id":"Q832180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83795429b16c8c14c1f869b69aff08f74e6f9eb","datavalue":{"value":{"amount":"+0.7183714509010315","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":"Q2225072$62016EEB-9660-4F06-93CE-FCDEC9911CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c35f16574fc06d6eccd38fbf10b4591d2b7727","datavalue":{"value":{"entity-type":"item","numeric-id":6108442,"id":"Q6108442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4087620637000490f8f0c648663aaab91ea5d9","datavalue":{"value":{"amount":"+0.7004327774047852","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":"Q2225072$3A4C3E8D-A6B7-4866-A13C-24A9A66F7438","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":"1af7a897fcc6f3ebc13b50193d6753b5b1a73225","datavalue":{"value":{"amount":"+0.696404755115509","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":"Q2225072$66741D44-FCC4-444F-85AB-2E45769E0823","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":"Q2225072$80C48F43-639F-40C7-B5B5-C1559D501131","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225072"}}}}}