{"entities":{"Q5033991":{"pageid":7063568,"ns":120,"title":"Item:Q5033991","lastrevid":98313269,"modified":"2026-06-05T17:12:16Z","type":"item","id":"Q5033991","labels":{"en":{"language":"en","value":"Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7480750"}},"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":"Q5033991$F4D2C609-7CD9-45DA-8894-169567ABAADA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ab608c80db18d2205f72f0b1d1c08f47d19c4b9","datavalue":{"value":{"text":"Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5033991$6D968763-0936-487F-9856-28E9C24CD6D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c99d4f6a23ed331017a6178f813a252194387fc2","datavalue":{"value":"10.1109/TAC.2020.3046193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5033991$329A79C8-D7F6-4497-B504-2EA138F8E81E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1721f8dc03c1958bbe6b317ac564e1ce708d10d","datavalue":{"value":{"entity-type":"item","numeric-id":1680918,"id":"Q1680918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033991$6276E5CB-19DE-42AB-AEED-684CB25FB586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b629bd364942ba6afff8f0c113fe447e227616","datavalue":{"value":{"entity-type":"item","numeric-id":212274,"id":"Q212274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033991$03A1B50F-7EBF-4556-96D5-038FECC3BD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033991$958582CF-F204-49A3-B6EF-224C00309580","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033991$5304571E-529D-479A-A2D5-1D22399210D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"196912be4672b459976a88ae8f7f9742202f7363","datavalue":{"value":{"time":"+2022-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5033991$37721539-4EB4-4279-8F44-D2D2ACD553A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e983a4d5652c52e7fd44a5b6aa64dac91a5c77e","datavalue":{"value":"https://arxiv.org/abs/1903.01287","type":"string"},"datatype":"url"},"type":"statement","id":"Q5033991$EABA70CA-AA4B-46E6-B162-5C3945E3E6C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5033991$3390EC00-19A5-4EDA-9947-6E64E811BC7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5abcb309a61763d0678e90417119566de274096","datavalue":{"value":"7480750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5033991$D85AAC1B-DEAB-4E52-ACE5-0D2E89BDF0C3","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":"Q5033991$35941DDC-325D-4481-944C-83A81B463476","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f07bf77c2e47a37aa777663c5df9822041a0540","datavalue":{"value":"W3117881175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5033991$AF9E0E84-1ECE-4A0B-8AA8-E991F0C3BB06","rank":"normal"}],"P1643":[{"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":"6214d7efc6c19fa3872d47d9af66620c054a882a","datavalue":{"value":{"amount":"+0.9052621","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":"Q5033991$8839419F-46EB-459A-8A5A-68C35DFFF9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e24a4e44c182412af85f12e2ab253e35c4dcec","datavalue":{"value":{"entity-type":"item","numeric-id":5875362,"id":"Q5875362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da303ddfdb12178fb6aa463524f13695d1e9837b","datavalue":{"value":{"amount":"+0.9044905","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":"Q5033991$759C2377-6D65-4DD0-AC39-18A29B2AEB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5e9575d3f99653ee212b6198623fb0a9530c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2151229,"id":"Q2151229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d26f3b98cd563fd645d1c293992c7304490e10b","datavalue":{"value":{"amount":"+0.8877698","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":"Q5033991$22663ECB-3EEA-4849-9F99-2E74048C199E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1c1ae633ff0d1b07d83c7f5e4d12767763bca4","datavalue":{"value":{"entity-type":"item","numeric-id":6097125,"id":"Q6097125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeff1d9adf199808306634e68beb3ca0dafaf304","datavalue":{"value":{"amount":"+0.88369656","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":"Q5033991$5C63D559-8883-478E-A3DF-6D80604EC3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b42f3d808f0e118d4d933bb9b69d5f7ebc20d00","datavalue":{"value":{"entity-type":"item","numeric-id":6134350,"id":"Q6134350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b565805e0c138c1386f4dfa53c3efc65a146db","datavalue":{"value":{"amount":"+0.8767784","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":"Q5033991$2AE776D5-DC69-4C4E-AD1D-BB59AE4ED001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247d2778ad12707d5eb18c4036c6bd4370b231a8","datavalue":{"value":{"entity-type":"item","numeric-id":5239233,"id":"Q5239233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e4dbb6f231fc309a887d2b20bddcbd90a39863","datavalue":{"value":{"amount":"+0.8762229","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":"Q5033991$9C57188D-5817-44F3-86F3-32AFD1164130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safety_Verification_and_Robustness_Analysis_of_Neural_Networks_via_Quadratic_Constraints_and_Semidefinite_Programming"}}}}}