{"entities":{"Q2145325":{"pageid":2156068,"ns":120,"title":"Item:Q2145325","lastrevid":57751446,"modified":"2026-04-01T06:47:35Z","type":"item","id":"Q2145325","labels":{"en":{"language":"en","value":"Static analysis of ReLU neural networks with tropical polyhedra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543913"}},"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":"Q2145325$57581A14-9A6B-449E-929F-298F223FA6F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ffa022865453b20be127982fe327389c781e3c1","datavalue":{"value":{"text":"Static analysis of ReLU neural networks with tropical polyhedra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145325$A74A4FC4-E3A2-43DA-A128-061674089DB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13439310c7df75cbbf677145c3eba37d81ab24fe","datavalue":{"value":"1497.68304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145325$4E18B707-B39B-4DDE-93B4-5637A88AD77D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8139f14ab40c37593210cdcf3064f66a6af0b86","datavalue":{"value":"10.1007/978-3-030-88806-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145325$9294E331-9661-4505-B937-4A228E45FF20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e209a35bf5e2cbd1fae2b73e33e3e782b75441","datavalue":{"value":{"entity-type":"item","numeric-id":2145323,"id":"Q2145323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$8322C433-66A7-465B-90F1-207A71211F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6056005ef8a93d8e49d6cc037b0f0f5499413b29","datavalue":{"value":{"entity-type":"item","numeric-id":246148,"id":"Q246148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$F556DC6F-E172-488A-AF07-C4984D9CA01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba38a4951a631c62a3322943c27422193e52561","datavalue":{"value":{"entity-type":"item","numeric-id":2145324,"id":"Q2145324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$61D4BB72-9FCE-49EB-B6A1-32300221C63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$5C48781E-A797-4ABF-BD42-0C83E5E8A9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d92f428d699274a229faa3ab95d1f469858165","datavalue":{"value":{"entity-type":"item","numeric-id":246147,"id":"Q246147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$9EEA5A2C-09FF-4C87-A327-4B8130E478FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-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":"Q2145325$DD16271A-EFD0-46DB-B36E-795B9F1EFD1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcbb234b5076d022ac2042a45c79dba83d552815","datavalue":{"value":"https://arxiv.org/abs/2108.00893","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145325$1FE00A1B-3D79-4AF8-8964-52420081D5B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145325$133F2D37-1929-4979-B3F2-3325A3829D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ee36cb9440316a9a6993f06afa9ca576bb3d76c","datavalue":{"value":"14T90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145325$C1E9BB66-B7FA-464F-8590-129D37753A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ede024a2e42be41193baf32f90dd58f10db2ea3","datavalue":{"value":"52B12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145325$7060BA3B-12AB-40D9-A7D9-EDB17AA475EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145325$D8C7E1CB-B432-45D6-98D2-103D32BB2A04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"116e74ae63c3f59f9f57b356721634d6099ab2c9","datavalue":{"value":"7543913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145325$3AFC3C06-60FD-48AA-964A-76711DBCE0BC","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":"Q2145325$9BD1A600-E0A6-4B1C-8C9F-E5AA8A7E51A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"655f9e77e46d50bff90d824923a1cd076e7568d8","datavalue":{"value":{"entity-type":"item","numeric-id":1350652,"id":"Q1350652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$45B096DB-7119-4EE6-9149-7D079AA68B92","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":"Q2145325$BF161240-AB37-415D-A9D1-FFA757871135","rank":"normal"},{"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":"Q2145325$86A486B8-E679-4F50-B61D-4A6733BEFA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01b0e50000fc071d9360745d45c5b4cb36855f9a","datavalue":{"value":{"entity-type":"item","numeric-id":13478,"id":"Q13478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$5F761811-E660-407C-962F-11D2DA02627B","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":"Q2145325$F31D5D40-7825-4ADA-857A-3695110D3143","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c38a3446b464daf7fe16fba0c272ebe92d1814f7","datavalue":{"value":"W3209638148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145325$1D3A8EB4-4A06-42E4-BA11-1FCB3C0D72B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7139abc2e75773432a7a82b05049cab804674386","datavalue":{"value":{"entity-type":"item","numeric-id":3113735,"id":"Q3113735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$388024D3-3F1F-4EB4-8BBD-8B4DE118E9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab228c7e62b1bcdad8c7ad948c685ebbb01d43c","datavalue":{"value":{"entity-type":"item","numeric-id":3522071,"id":"Q3522071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$4E5F229C-28EC-4F15-B5B2-445BAE70DC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3971371b90a9c3399b1543fbb0799c60a386f29b","datavalue":{"value":{"entity-type":"item","numeric-id":2225077,"id":"Q2225077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$690AF7BD-9BEB-407E-A375-122472CCC857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$1DE95DBC-026C-48CC-BBE4-501DA4F91035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bef7da6f721acd6129927d43edfe7dfae2ccb7b","datavalue":{"value":{"entity-type":"item","numeric-id":5239232,"id":"Q5239232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$7E5CEB10-E56C-4360-A3D6-FA30D54A4420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23ef8e6a9e622e6b393d8e76b8cb5af8306781e","datavalue":{"value":{"entity-type":"item","numeric-id":5239249,"id":"Q5239249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$D3BE043A-EB25-4A95-BD78-AC31ABD82E1C","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":"Q2145325$0D90277C-B5F4-4D62-AB88-81C52B3170CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268d2bfdf9f0e3d8518aa7be35559046e1b68b4c","datavalue":{"value":{"entity-type":"item","numeric-id":869905,"id":"Q869905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$3CAC17B1-9362-41C1-B1D4-2CD3721230FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8280aff11428083e4366bd7dfdb53414ebf38a77","datavalue":{"value":{"entity-type":"item","numeric-id":4518980,"id":"Q4518980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$EB2078BE-FB4D-4A88-B58B-C816DD4B5AC9","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":"Q2145325$2C9EBCC0-354B-4074-B346-0BF1AFAF5C51","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":"Q2145325$3E34F275-0AF6-41E6-9E2E-DAEC7AED7DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c46f165ee4f659eb9f05c09e269baf8eb44879","datavalue":{"value":{"entity-type":"item","numeric-id":5146366,"id":"Q5146366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$B4D71E73-B111-41E9-9E91-DF5272FCFC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b27fba20adb4b1be28577604256256716180d","datavalue":{"value":{"entity-type":"item","numeric-id":5316570,"id":"Q5316570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$8C2465FE-C2B0-42CB-8071-8C795B324081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$0C760B69-917E-4CBA-8CE6-E96FF8760203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145325$EC458764-825A-4C66-ADDF-B638A1103BBD","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":"483776f1e27e19f2980c3a00be937b22cd38f77c","datavalue":{"value":{"amount":"+0.7590855360031128","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":"Q2145325$454AA4B2-7A2F-40DA-9BD6-2E6765919ADC","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":"e6f433c7df0a0badd533cd61612ddebd7f24da94","datavalue":{"value":{"amount":"+0.7497293949127197","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":"Q2145325$B3C02684-8365-44B2-B063-718E7958068A","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":"0075ae187eb79d0dab64d4a6e29e7567a294f384","datavalue":{"value":{"amount":"+0.7335435748100281","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":"Q2145325$13B45365-320E-4D38-89D3-6FBB59D86BFA","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":"beed84f0e2862a91a78be84407f4127f552ac2ba","datavalue":{"value":{"amount":"+0.7209795117378235","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":"Q2145325$F6CC3FFE-16C3-4989-A21A-252C73F41BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf24e9f721fb827a7be4bf40b8d0b1b20ddec3c","datavalue":{"value":{"entity-type":"item","numeric-id":832168,"id":"Q832168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6561a5599a5371b0f30a5fcee85e9127921609","datavalue":{"value":{"amount":"+0.713421106338501","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":"Q2145325$3BE40340-B655-480C-9C5E-D41A9AE19CA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145325"}}}}}