{"entities":{"Q2046329":{"pageid":2057071,"ns":120,"title":"Item:Q2046329","lastrevid":57639456,"modified":"2026-03-31T18:18:53Z","type":"item","id":"Q2046329","labels":{"en":{"language":"en","value":"Advances in verification of ReLU neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7382693"}},"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":"Q2046329$F7BB6457-2965-4E31-9F50-CA07C4DA7EED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f7de9c980e1b56fd4ee2b0e43b2926852e86a5a","datavalue":{"value":{"text":"Advances in verification of ReLU neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2046329$686A3E0D-B933-4280-BBD6-4E21FBD80A07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"297ce1fe24c527619852bd09b1e4e2201d90f5ae","datavalue":{"value":"1478.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2046329$C4E71CBD-9AD4-4EA3-A08A-E7A28F8FB65E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7ce3b8a7019497d3a06fb00b40e4b0c7cf68e83","datavalue":{"value":{"entity-type":"item","numeric-id":2046328,"id":"Q2046328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$5A37E368-EF40-46D2-8ACB-5C42DB600B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c316667f9b83983f6ca51c74001a4b3f24845712","datavalue":{"value":{"entity-type":"item","numeric-id":2034280,"id":"Q2034280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$96B098F5-B74A-46E4-9322-7CC74099DF6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c9a1d032b4dee05705e8b2f4f60118816c12892","datavalue":{"value":{"entity-type":"item","numeric-id":116038,"id":"Q116038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$3ECA7A55-1F6D-4F39-9E3E-1C88BC3F339C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e9d8f11f2475597204ac70874001750a176c698","datavalue":{"value":{"time":"+2021-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2046329$7C5227C7-76BB-4264-B4D6-6AFC7CD64251","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2046329$0EFD0621-0BB7-4601-A30F-D07DBE7CDE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2046329$9A800B9E-8574-4847-9166-4B92CF75307E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"815f2bd5dd8a6e97985acf8fceecf3ced2433e37","datavalue":{"value":"7382693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2046329$698B38AE-556F-4C49-BAA4-48BFF25EFA0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f130537e3e8e9553a5c103db75e86db8ad0c17a0","datavalue":{"value":"neural networks verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2046329$CA930498-9104-4DC4-83ED-F3DEA59B5B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea443d83ee3a763b630d36b33abcb03dbd898f3f","datavalue":{"value":"ReLU","type":"string"},"datatype":"string"},"type":"statement","id":"Q2046329$D123DC78-E84A-43C6-B06C-C3EC4454659A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a99de004f2e4e874de2a470310e7cd24e079ce","datavalue":{"value":"MIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2046329$8512D10F-75FD-4C1B-8A7A-0D7843B37D7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e114fabacca379e1dc21384fcc7e0a16fc37c466","datavalue":{"value":{"entity-type":"item","numeric-id":56247,"id":"Q56247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$E70C2B33-D2D3-4805-9ED7-534A0FCDD76D","rank":"normal"},{"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":"Q2046329$613505C9-F057-4114-BA45-229625AEBBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7faa953cf1eeab9e86c82c87d5a51d1f863d9da7","datavalue":{"value":{"entity-type":"item","numeric-id":1351437,"id":"Q1351437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$FDDDA01A-C6C6-4DA2-A39B-7E274581F10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6663be921a3fe3b244879abf2c0c98e00d21e962","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$159725AF-33AC-44D7-9CAD-59F4539DDF68","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":"Q2046329$668183E7-C420-42CF-9918-D542F1275056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6835c4a52fcccdad0b0188bd14db52a5d11604c","datavalue":{"value":"https://doi.org/10.1007/s10898-020-00949-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2046329$FC76E38A-4CA7-4116-A23C-FC58A372F951","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b63783421c2c5ff4fb4cbfac490fd742ac9ed2e7","datavalue":{"value":"W3033072407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2046329$C4AC6380-0559-4E1F-BFDC-58B044F3CD6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9093e089276382fe7a667726599803a633a2c677","datavalue":{"value":{"entity-type":"item","numeric-id":5241193,"id":"Q5241193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$39992F47-34B8-4FC5-8236-F689913BB489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ff8430de4acec00b0a825b545db2ac96e3f3c1","datavalue":{"value":{"entity-type":"item","numeric-id":5025773,"id":"Q5025773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$A2F38A3C-437D-41A8-9BD9-8875BE6AA56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d124ba485908c39aea6eefb8215d59ba42852d2","datavalue":{"value":{"entity-type":"item","numeric-id":4969086,"id":"Q4969086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$D49212B5-844E-4B0B-8062-A97719BC5A04","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":"Q2046329$8779C574-2B43-46ED-8C19-36CE7AE98355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c033838e6e6e16f14205ccd4fe53cd0af104e91d","datavalue":{"value":{"entity-type":"item","numeric-id":1617390,"id":"Q1617390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$D7F39FCF-BFC9-417A-9A0D-D7B7863994BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f99285343f13898b77cb6931c1266042564c17","datavalue":{"value":{"entity-type":"item","numeric-id":522269,"id":"Q522269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$7046972E-3A0A-480A-8EB8-6686A6E13823","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":"Q2046329$62D8B0F6-7AA3-4F08-B911-B7725AB99E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ba7f3f98fe5ba37363d6557283fbf0b5239baa","datavalue":{"value":{"entity-type":"item","numeric-id":3164970,"id":"Q3164970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2046329$A5358FAE-58EC-4BAA-A9FA-62D12C4EB35C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdacb2f59b041a017b0eff007ba61be107253e3e","datavalue":{"value":"10.1007/S10898-020-00949-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2046329$00C455A1-A5A8-483B-833D-83A50DF23F8D","rank":"normal"}],"P1643":[{"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":"83b00d409fc075bdf330a51f3ab1b573f2e857b9","datavalue":{"value":{"amount":"+0.8219337463378906","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":"Q2046329$8ECC4850-4687-47A6-98E4-9206001CC917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca5ce011e40c27c175d4f0d9a925083703c6ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2225077,"id":"Q2225077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42bcfd81b4c22e2ac5e650bea001fdb83001b8b6","datavalue":{"value":{"amount":"+0.8198904991149902","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":"Q2046329$DEB6A283-F438-4917-BC0E-79135F443DCB","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":"3202b143c33239889d79d5496c9da42f79c0e1af","datavalue":{"value":{"amount":"+0.8156821131706238","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":"Q2046329$3873967F-7697-4777-984F-556D58B61B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d76b8e4de3a7441fcc68a29e8b3ae5d635e8fd","datavalue":{"value":{"entity-type":"item","numeric-id":4969086,"id":"Q4969086"},"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":"Q2046329$9F4A90FC-2015-4761-AC02-C16F4F341A29","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":"4461929a2cdf569c9103fb3487890e28994177cf","datavalue":{"value":{"amount":"+0.7893878221511841","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":"Q2046329$BE21E920-114F-45B1-8C9A-2E4ADDAE66C9","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":"Q2046329$414292EB-5763-4DC8-AE3E-E4D65EF193D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2046329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2046329"}}}}}