{"entities":{"Q2233508":{"pageid":2244251,"ns":120,"title":"Item:Q2233508","lastrevid":57805731,"modified":"2026-04-02T14:53:50Z","type":"item","id":"Q2233508","labels":{"en":{"language":"en","value":"An SMT-based approach for verifying binarized neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410487"}},"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":"Q2233508$34471877-1359-4294-A395-FAE57D696907","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d535e7dc29e5c84a7394753a5ee8d5f62f7d80a","datavalue":{"value":{"text":"An SMT-based approach for verifying binarized neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233508$839D62EB-73A4-4730-A29F-8DD7D83AFB1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37ab7192862e3df0a1d41621f36eb4775a39f2bf","datavalue":{"value":"1474.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233508$E437FC13-6DFA-4975-964B-1D5BF059E211","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ae3257e7b97e190c2cb14052ca82f5217a35440","datavalue":{"value":"10.1007/978-3-030-72013-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233508$343A18D8-A86B-4A23-A053-6E6875858CA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62ac125cf264339dc7993b652482bd2f589f534","datavalue":{"value":{"entity-type":"item","numeric-id":2233506,"id":"Q2233506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$A6E50CC9-CF38-49C1-85AE-DF4E0AAB110E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ade46f720180f7c8b8a0de9c99f92bc941ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2233507,"id":"Q2233507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$FD140CA4-2147-45F6-9434-E86A2BDBEB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$6E816606-7D04-4E09-A091-223AA5714DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"051db72c27a6ffd1dc64c69febb1b92cb862178b","datavalue":{"value":{"entity-type":"item","numeric-id":2151236,"id":"Q2151236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$458F52B3-5BCD-4548-8CC6-7126A271F263","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233508$CF8CD1EE-A185-47DE-9C28-8B1BC8F657A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53136474d95391260a3afe554759d9af697c56ae","datavalue":{"value":"https://arxiv.org/abs/2011.02948","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233508$102BD296-E635-43D8-A744-688CC78B3E41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233508$5E2385CF-D8CD-40D5-9D97-D973E8870DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233508$BF15762C-64CF-4532-A7E5-0469743E7A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233508$30A5ACA0-8E55-479A-BD96-4E20685AE73B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c91d246641474eb1a016ec9c93bea007a6895c7d","datavalue":{"value":"7410487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233508$60A10DBA-1D21-47B0-A813-F37F1AD70103","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"273a55e912b533b7db7ca824eda3b520cd983c15","datavalue":{"value":{"entity-type":"item","numeric-id":43079,"id":"Q43079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$8F391EBF-E57C-4973-92FA-CC1D7E3E7D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0364616695d19b8e3446dbd4f27b6d12cc8f587","datavalue":{"value":{"entity-type":"item","numeric-id":55293,"id":"Q55293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$8ED93E64-18AA-4E9A-859B-1B889D688CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ad272bfe859f13b7b909ce234248edd9336fa40","datavalue":{"value":{"entity-type":"item","numeric-id":43553,"id":"Q43553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$8A2C3BEB-1D68-42A4-89D1-A6CFDBC88A4B","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":"Q2233508$7D250DA8-6BE5-4394-BE1C-9BA7A0DCB469","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4881ab80509615a84720261e16420b10003b40b7","datavalue":{"value":"W3140205966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233508$B2AABB47-CEDD-4212-B452-ABA7A0337F42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$AE22FE95-A6F1-4EAD-A244-842595DC7D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ca27cba6b8cbde68d00987a946f9cde333444","datavalue":{"value":{"entity-type":"item","numeric-id":3844775,"id":"Q3844775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$12315684-064F-4AB3-B331-389F82F08DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0530cff2ea3a00fdf0e71f199a08187bea8b91","datavalue":{"value":{"entity-type":"item","numeric-id":5096089,"id":"Q5096089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$417BC4E4-83D6-44B3-AA5B-67DB97D73137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63598ebd52d831a12f353a583aeb504550a49674","datavalue":{"value":{"entity-type":"item","numeric-id":2225075,"id":"Q2225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$4843E93C-DD99-4252-B8D6-ED673DE6DB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f64dc3b77585aac20b4f3d7105d6d9d1361fe4a","datavalue":{"value":{"entity-type":"item","numeric-id":5164169,"id":"Q5164169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$7B259C92-E69E-4D76-881F-B384D674C1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0262656e41c382f9f5a9a7b3bb892ab61ed599","datavalue":{"value":{"entity-type":"item","numeric-id":5270493,"id":"Q5270493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$7F53C327-2405-4F7F-9384-433BD09A3CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c5f008b4f4c1807fbea38f0fe3e22fe63b6287","datavalue":{"value":{"entity-type":"item","numeric-id":6109575,"id":"Q6109575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$26E07A75-5B6B-4E36-B2D5-55FE8D639DFA","rank":"normal"},{"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":"Q2233508$A6441741-9A8A-48BD-B6A0-87B692B63AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa01475c4ee3efef6f312be38c36d5030c34ec2","datavalue":{"value":{"entity-type":"item","numeric-id":4558516,"id":"Q4558516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$4F10EB33-E19F-4207-BAF8-0193FA6E7AA1","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":"Q2233508$32183817-A330-4118-ACFA-9BFBC3EEAC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e380f0634e7bb742b5e5f5caa3a75eb92cf878","datavalue":{"value":{"entity-type":"item","numeric-id":2225072,"id":"Q2225072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233508$87885741-EB19-44E2-BA37-A4C5E00BB849","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b29facfabd7e0fedcc0d4cd80fc5bd885afb5b","datavalue":{"value":{"entity-type":"item","numeric-id":2181945,"id":"Q2181945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd97fbb2ee7c8553a01caf0c5cc56d75bef3f46","datavalue":{"value":{"amount":"+0.7848615050315857","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":"Q2233508$A5C71438-5B27-41EE-AE60-250EB3649AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ce4b731b66f3ec4eee0fb926cae915eb308b8f","datavalue":{"value":{"entity-type":"item","numeric-id":832164,"id":"Q832164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7debd0c3b5c74ff1626ba4c4cfeec0936cf53bb0","datavalue":{"value":{"amount":"+0.7801921367645264","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":"Q2233508$14A7C622-EC71-48CE-8F38-947729E0EF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af31fb59eda929cea216c67c45e6e252ec9e724","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661a3f6eeb9b72e895c2ae1ff20d2c6e7a57af3e","datavalue":{"value":{"amount":"+0.7762618064880371","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":"Q2233508$A47EAC9C-9C5F-47E7-842F-2B4A14068334","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":"d1c453144d871f8713aaf196a76eb5522dcd2b76","datavalue":{"value":{"amount":"+0.7595859169960022","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":"Q2233508$F62BACDC-47A6-415B-BFD3-FB472DEEAC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db2590a686e2cd107be2bfb07bc1026cc813b3b","datavalue":{"value":{"entity-type":"item","numeric-id":5096089,"id":"Q5096089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c77e89b839ca2c76af6d14a8ff0adb999444a3","datavalue":{"value":{"amount":"+0.7587636113166809","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":"Q2233508$452A79EC-AE2D-4A12-9B30-8A16BC347F5E","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":"Q2233508$D6AB84BC-5DEB-4313-9C3A-0F429D37F0D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233508"}}}}}