{"entities":{"Q2225077":{"pageid":2235820,"ns":120,"title":"Item:Q2225077","lastrevid":78749354,"modified":"2026-05-06T12:20:59Z","type":"item","id":"Q2225077","labels":{"en":{"language":"en","value":"Improved geometric path enumeration for verifying ReLU neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306405"}},"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":"Q2225077$D34C9AB0-DD30-44AE-8BD9-58BA0FE7E022","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e12a027a57392f4c2f70e3f347f830f867a20d6","datavalue":{"value":{"text":"Improved geometric path enumeration for verifying ReLU neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225077$51AE5503-4504-4B90-84B0-BEC2C0D39AD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"745ec79d70cdbcde6de93dda0d672db2099f8161","datavalue":{"value":"1478.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225077$84E12612-6CDE-4052-A421-EB62DD25CD32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"febd4214fc3c25f4340bfadabb84211c0320fcd0","datavalue":{"value":"10.1007/978-3-030-53288-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225077$C549DBF9-526F-4F39-BB6A-61D24F26D7F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b477b5658b51465a1d02c115134f329e7a04eb9","datavalue":{"value":{"entity-type":"item","numeric-id":296101,"id":"Q296101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225077$5B6C39E2-166E-4CC6-9E3D-645E0D9C4A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e6981264371a222c260c51150751e6b6f45dc","datavalue":{"value":{"entity-type":"item","numeric-id":832174,"id":"Q832174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225077$03BC1065-FE9F-4EEC-B284-F742CD44BAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29122b1f10c022059849f7c6a816453846f0a508","datavalue":{"value":{"entity-type":"item","numeric-id":2225076,"id":"Q2225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225077$D4025888-B239-4BE0-9C61-370A09CC2DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69541f5d9e9de0adc652cdfebff99a31ad41bfc","datavalue":{"value":{"entity-type":"item","numeric-id":832179,"id":"Q832179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225077$FEAED719-B6D6-476F-977A-B826ABDBC904","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225077$8F80A189-A155-424D-9E86-339FADFFE5B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225077$078E88A6-5658-4F07-88A5-A138704F7EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225077$A6706972-6226-47B1-8491-1A74DD6B926F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20e86d03364a91c7badaf517e285569827526d9c","datavalue":{"value":"7306405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225077$AC3B6407-DBA6-4450-8485-868E96F6F8ED","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":"Q2225077$695A8984-27B1-4537-ACD1-B950C031E1BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68fa8526e4730ce5525a020a039fe79d069bf293","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53288-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225077$B67F4B68-A200-4A71-B179-FA62ABF66116","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fa92a1876cc8999ca98d7b0ccc5642308fe7022","datavalue":{"value":"W3043655933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225077$4DA39E1F-41C0-4664-B7DB-2BFBAB9C0F82","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":"5efa1693875cc032cbf98e9e6610ee2405ceb387","datavalue":{"value":{"amount":"+0.8981378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225077$91F6B8CC-F5A9-428F-9A70-02BF55C42DD0","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":"0a7120b2657386ca17ba32c32bdbfa8513c164ec","datavalue":{"value":{"amount":"+0.88319093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225077$50EDBFF9-26F9-4CC9-990B-D3CFE0330C22","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":"ceac9afca3de70d77ba0e07c0ffd82ca454967f5","datavalue":{"value":{"amount":"+0.87285113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225077$452ED8F5-3B16-40A7-A0B1-525CA521D8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460f518104e0ecdd1c6e673ed29c147db1e2991f","datavalue":{"value":{"entity-type":"item","numeric-id":2102314,"id":"Q2102314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf522182dc8ea3a6edaa693801747944b7a4b390","datavalue":{"value":{"amount":"+0.8646799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225077$EA5153B7-DFDB-4768-98A3-7DA38BF2B8F3","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":"4c5ed0b73f8dbd8ea692ee29c9026a7c56485ee1","datavalue":{"value":{"amount":"+0.8510555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225077$4E492FA6-FB16-4C98-8CD4-733F32CAFA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b84a0f17563a3f7c9f930426b0185850139739","datavalue":{"value":{"entity-type":"item","numeric-id":6111608,"id":"Q6111608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d1cbbce8fec3f17e79b64b8b75401a6da3b228","datavalue":{"value":{"amount":"+0.8480907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225077$B384BFFA-13FE-4B18-967B-3E47C10C007F","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":"Q2225077$DD62275F-0092-4BA4-AF95-11BB66C2F3C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved geometric path enumeration for verifying ReLU neural networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improved_geometric_path_enumeration_for_verifying_ReLU_neural_networks"}}}}}