{"entities":{"Q6097125":{"pageid":13231432,"ns":120,"title":"Item:Q6097125","lastrevid":57545802,"modified":"2026-03-31T08:37:04Z","type":"item","id":"Q6097125","labels":{"en":{"language":"en","value":"Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7694472"}},"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":"Q6097125$93CDBEF8-91F7-4467-AAC4-0A781E847FA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32d3dab920b451423bfbba0c8bfdc78f8a3f3bef","datavalue":{"value":{"text":"Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6097125$3D30A564-184B-41D2-8B37-F90A4EE9C9FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8072f81c4e080789dc507a145563dc819abf17c4","datavalue":{"value":{"entity-type":"item","numeric-id":337542,"id":"Q337542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097125$E0D4A4D9-AEED-4C0D-B36D-2C1F2EB7804B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6a2bf440466d8935822f643d297ea8f3ef3e2b","datavalue":{"value":{"entity-type":"item","numeric-id":98777,"id":"Q98777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097125$6BEBA59D-4D3B-41F1-88B1-D948CADCF3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c37511580ea9fb10d7c424d57f8633a07f73ecf","datavalue":{"value":{"entity-type":"item","numeric-id":1707467,"id":"Q1707467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097125$1127EF67-4CF8-44C5-BE41-DED2E4B7F373","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2500bd7472785bf7f3577cddf9bbcc323031858b","datavalue":{"value":{"entity-type":"item","numeric-id":65106,"id":"Q65106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097125$5BDCEA43-4C06-4172-989D-F001ED59F15C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e4620bd86abefef837721d712e51cc457b512df","datavalue":{"value":{"time":"+2023-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6097125$FB569FC3-DC9A-498F-A0D9-5C3205CD2550","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097125$9E2B6786-3516-438F-9000-448809A9A850","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf9bc8128bf4159bcb2acdc4e219169d338f4cb6","datavalue":{"value":"7694472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097125$A7297D7D-3F8B-46F8-BF31-C74DC6327A31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36596554f34054acf9dc6319bf5ac7c38f9eb557","datavalue":{"value":"neural network verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097125$ADE1AF6A-62AA-4862-B415-598A97E61066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa9089d9f7f5a1b8ff7aefaf14a78f5ae28c62f","datavalue":{"value":"mixed integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097125$8BB237BC-3452-4F61-A48A-0B5290D8F61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef89c63f930023a462289f9ade00939590835b8","datavalue":{"value":"automated algorithm configuration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097125$5CD3622E-5BF8-4F69-8B7E-7561D40247A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da61e878955f6ed25b0ccb61fe3a88290179d23d","datavalue":{"value":"algorithm selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q6097125$217D32DD-CB20-4822-8A2F-DD9CDA1CC5B3","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":"Q6097125$1243B5E5-8FE3-4B32-A93B-1937EFE503A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"467787e00ee22ccaefbc646a6656bd464a3bf811","datavalue":{"value":"https://doi.org/10.1007/s10994-022-06212-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q6097125$C0117950-E5B1-41B1-B1AF-EC7C17DF93A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"707f890476b3acf6c2cf38ba19a48b8766592ce4","datavalue":{"value":"W4297691576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097125$09D0302A-7B40-4E7B-8152-BDB0CE13510C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"032214631398f0318a00a388b2cef5ea5392c7c7","datavalue":{"value":"Q114224929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097125$FB52AF14-FA5A-45E0-BD5D-1E72EFCA89B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a73b7e48adb4260cb48d91e95198beb0803e94","datavalue":{"value":{"entity-type":"item","numeric-id":5952197,"id":"Q5952197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097125$A4138876-0C07-4C68-BA52-C30D66A70FF4","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":"Q6097125$6E55947E-B0E6-4DA2-9D03-78F54A888CF2","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":"Q6097125$987D5952-DD43-48B4-AA4D-3362E62126A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec92487e0774e4ecd565c4d24d646490b018f3c","datavalue":{"value":{"entity-type":"item","numeric-id":3651487,"id":"Q3651487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097125$CA065206-6017-4824-9BDF-7E64D1FD0196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d851b43cc825fe5357151b169748d35d9167b6","datavalue":{"value":{"entity-type":"item","numeric-id":502389,"id":"Q502389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097125$DCC0EF28-E20B-4D67-83D2-986EF620083C","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":"Q6097125$1314893F-6B32-4DFB-A89F-4E52F071E80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c5018bce590480e045aeb1ba45b983f743c295a","datavalue":{"value":{"entity-type":"item","numeric-id":4988865,"id":"Q4988865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097125$793E4E4D-9B36-4266-AD45-E2259F3D39CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abebbac545932ca6ece58342e6d7664b2e46e5f2","datavalue":{"value":{"entity-type":"item","numeric-id":2256321,"id":"Q2256321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6097125$2949563A-7C96-45D8-A5FF-E919F9C1BAC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d1a91d0ec0a88962852998fd33808e6ce95161d","datavalue":{"value":"10.1007/S10994-022-06212-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6097125$EE47995E-712D-45CC-A192-FEA61F502D95","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":"Q6097125$6337737B-EF3D-471B-A34B-87C2B4D31463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6097125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6097125"}}}}}