{"entities":{"Q7030712":{"pageid":21687162,"ns":120,"title":"Item:Q7030712","lastrevid":77531570,"modified":"2026-05-04T20:59:54Z","type":"item","id":"Q7030712","labels":{"en":{"language":"en","value":"Neuron pairs in binarized neural networks robustness verification via integer linear programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7981219"}},"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":"Q7030712$033945B6-6F44-46BB-BB60-5A41D2D55430","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7be4cec71457b8f1d96d1c4cb955e7c315ae92cb","datavalue":{"value":{"text":"Neuron pairs in binarized neural networks robustness verification via integer linear programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7030712$5444B2D7-9AF5-4AA5-87C8-81427D104782","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f545e49ddda5d6685800cd5b37197a448d0ad8f6","datavalue":{"value":"10.1007/978-3-031-60924-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7030712$5C916CAB-00B3-463C-8C30-2A1B31C18F0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b30288bf73f5ceb14686f6c58ae4f7a16e4e62","datavalue":{"value":{"entity-type":"item","numeric-id":6730150,"id":"Q6730150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030712$D2008475-938E-4B04-B04A-E83A7DCE1C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d8cd91cbcacb329be0a801361ab7fe7508f2305","datavalue":{"value":{"entity-type":"item","numeric-id":271648,"id":"Q271648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030712$79C785C6-1B3D-46EE-9370-00954537E9D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6451a7084150e57d8187f13df3637bcc3e62c7d9","datavalue":{"value":{"time":"+2025-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7030712$D2961919-881A-432C-A484-43BC1C6E5F69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7030712$E5346B4A-F63E-4EFE-81C0-D8312C520500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d09060761b4919f9e241cd71f83ad9cf80a159a","datavalue":{"value":"7981219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7030712$339DD4D0-7D6A-497E-BF0D-7ED1B2BCA020","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bee42658ba779211664c0b56b2db68b50666673","datavalue":{"value":"disjunctive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q7030712$2AA22362-9A1D-4D86-841F-9195F704E494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aac0b4664f379e71fbc4dd420a6ccbb0603ece3","datavalue":{"value":"cutting-plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q7030712$5FE0AFAC-2705-415B-AA50-783AFEAFC18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c623d681f15a4d9c36e93eec1d6544fabe005f","datavalue":{"value":"robustness verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7030712$9FC23371-C176-4DB8-9B8D-51DC56433985","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":"Q7030712$39F508C9-588F-4A75-936E-E9BF3B28CB17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"361040b217fbb78ab3fa16524208e865804267f5","datavalue":{"value":{"entity-type":"item","numeric-id":2233508,"id":"Q2233508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030712$29C660B9-13CE-475B-A8D0-2817961F21E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f194700ee4d8560b548e917840036c4ab443c0","datavalue":{"value":{"entity-type":"item","numeric-id":6830357,"id":"Q6830357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030712$85052E9D-0F54-49ED-8098-51518F14E684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce2db716390a4a4b22332e20dea90a43a4fc948","datavalue":{"value":{"entity-type":"item","numeric-id":2953934,"id":"Q2953934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030712$76261573-6C90-47B7-8CBE-60194EE1C2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa6fbcaf7b6acdc779bbf7625bf3ec9050c926f","datavalue":{"value":{"entity-type":"item","numeric-id":1708845,"id":"Q1708845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030712$8E049E83-FAC6-48B5-BBFC-46DF89B4CC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc9f7ebd5f09d49a9e465debd4557920ac25257","datavalue":{"value":{"entity-type":"item","numeric-id":6108442,"id":"Q6108442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7030712$94F6FBFF-E081-4D05-AF0A-51FFBA5A5AB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Neuron pairs in binarized neural networks robustness verification via integer linear programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Neuron_pairs_in_binarized_neural_networks_robustness_verification_via_integer_linear_programming"}}}}}