{"entities":{"Q4969086":{"pageid":6998665,"ns":120,"title":"Item:Q4969086","lastrevid":58361172,"modified":"2026-04-04T21:29:31Z","type":"item","id":"Q4969086","labels":{"en":{"language":"en","value":"Branch and bound for piecewise linear neural network verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7255073"}},"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":"Q4969086$B5921AA8-CF5E-4C9C-81DC-C9D184FA06C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61aba701108a73fd22fffd2f16c0ffcba11c2001","datavalue":{"value":"1498.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4969086$62F7406F-7B00-4D1C-8295-BE1A6C9EF314","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1f464f662e46f22c366e3c27552d158990661f9","datavalue":{"value":{"entity-type":"item","numeric-id":4969083,"id":"Q4969083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$222F249D-80D2-4B03-995A-8C59FD8DBF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d26c575fdb1ecdf126e2df08ade2c27af5168d2","datavalue":{"value":{"entity-type":"item","numeric-id":4969084,"id":"Q4969084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$06E449F2-36DD-4F32-AE8D-A0677F90E056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c9bba22ecdfa97410e2b90bbdca6d6fb3329c3","datavalue":{"value":{"entity-type":"item","numeric-id":362140,"id":"Q362140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$91FBBBC8-AB10-45C3-B1D0-AC570CB047EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa0a3e45a0d1ecb950bbc60b24b4fff46bb1027","datavalue":{"value":{"entity-type":"item","numeric-id":2880873,"id":"Q2880873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$51D35215-6063-42A6-9F0E-76B95F3FCD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2393216369f952fdfe0bbd5c32d79a21a175228","datavalue":{"value":{"entity-type":"item","numeric-id":4969085,"id":"Q4969085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$FFA06DBA-9B99-4B90-B249-04CE6C346A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c382ec18c77392c7fbc1ed40c6af5af89325e7","datavalue":{"value":{"entity-type":"item","numeric-id":362139,"id":"Q362139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$8065BE6F-6B92-4C68-8735-D6CA7DEDB24E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98145858bd8b0e44fddc1472bb2c2b5069f5382c","datavalue":{"value":{"time":"+2020-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4969086$41CD358B-215E-4679-983A-629CDD7B6238","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ed719bc2563c1b8bd84805180cf1a4ffa252467","datavalue":{"value":"https://arxiv.org/abs/1909.06588","type":"string"},"datatype":"url"},"type":"statement","id":"Q4969086$E3F9AF3C-9512-4370-A22A-CB4F23777A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"783216c123e3aa7fe2ae1ca693f62b11e25d1175","datavalue":{"value":"https://jmlr.csail.mit.edu/papers/v21/19-468.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4969086$2A3ECFB2-41B1-4505-9BE7-C3BCC49E290B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4969086$F056FB0A-EDC7-44C5-BB7B-DC67830FD0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4969086$C139A619-82D6-4D27-95F3-C09684448F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4969086$3D971FDC-EE29-4FAD-A855-8EFD1E898EE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c1e7afb7b99173da5949eeffa55fbe4156db91d","datavalue":{"value":"7255073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4969086$C0B75E4F-1DFB-4207-B77A-C7FBFF5CD5BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4969086$267D363F-749D-4144-82CE-B5445F8C3DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc6164cf25ab131dbb818bbd16bab28b6f9d095","datavalue":{"value":"branch and bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4969086$4E7B8504-10A9-4A2C-82E9-B3751BC4763D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b151596a10cc3d7feaffb1180db0fc4cae4f3dcd","datavalue":{"value":"ReLU branching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4969086$5FB023C3-5605-4595-84CB-388AE50481BD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fac9f12a57b80383023f1d0f3d27b15b8df1d760","datavalue":{"value":{"entity-type":"item","numeric-id":43078,"id":"Q43078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$61B3B3EA-8B45-4B15-AC38-DB25B9D3CFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$CA6C3B28-557E-45F1-9AF2-45EDD5B3C964","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":"Q4969086$AF286EF8-3DA9-4016-8107-6487837F7154","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$2E1EBCFE-8C7A-47CB-ACB6-A49DE47B434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c35882bf1fd03aee6c18d4a286039bac87ad7bc","datavalue":{"value":{"entity-type":"item","numeric-id":3196626,"id":"Q3196626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$53932B9D-32B9-4AF7-B88C-11F3060D801E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cde1b22176cfc74d2b1b55ef698755dd145d5ae","datavalue":{"value":{"entity-type":"item","numeric-id":3565234,"id":"Q3565234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$B44E2936-8056-40E1-A255-07E4FCBD7E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$6ACFADCC-C27D-4078-A15F-912C0B21BD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e9ded7e964a85dff0ad311791cefe0338a3232","datavalue":{"value":{"entity-type":"item","numeric-id":1751150,"id":"Q1751150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$D861A9D7-5446-407C-88A2-705D22AA1843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9645ee2ceb6da21bfab3bc81d2ee8522dab39b90","datavalue":{"value":{"entity-type":"item","numeric-id":1329799,"id":"Q1329799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$D58452B2-FCC5-4053-BD9C-CEE0D92C7F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d931da9392c1d5e5cfa41ad0ceb9651d765b693","datavalue":{"value":{"entity-type":"item","numeric-id":4566878,"id":"Q4566878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4969086$55B592D2-ED70-44BC-BA8B-27A9642B96C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7594e0bd8e19d030028ffeb913e279a8573504","datavalue":{"value":{"entity-type":"item","numeric-id":2046329,"id":"Q2046329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029bdbffb01df49753a60a2fdd5e85befcfad5ce","datavalue":{"value":{"amount":"+0.8136702179908752","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":"Q4969086$7FD5252C-DAE7-4119-AAED-E23EADD6D660","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":"148c2eb7ad877db85e8ad0399d74deb8f340f697","datavalue":{"value":{"amount":"+0.8117377161979675","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":"Q4969086$DA97F80A-A14D-4E10-9976-878C93E8A8EC","rank":"normal"},{"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":"d866653210205edbb885617167790a9ef105cb2b","datavalue":{"value":{"amount":"+0.762609601020813","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":"Q4969086$225F4558-6B60-44E0-9C6A-D874F8AAAEDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4969086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4969086"}}}}}