{"entities":{"Q2044215":{"pageid":2054957,"ns":120,"title":"Item:Q2044215","lastrevid":57700107,"modified":"2026-03-31T23:32:16Z","type":"item","id":"Q2044215","labels":{"en":{"language":"en","value":"Improving neural network verification through spurious region guided refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378314"}},"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":"Q2044215$E14966CF-DA40-4EBA-9E01-41980016992F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f53f75cb0364710ffb109e537fc1d264b2eaff79","datavalue":{"value":{"text":"Improving neural network verification through spurious region guided refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2044215$5D627806-51FA-4B2F-8FBC-8B9E4F90007A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"736a1d36e7d5f9a9f13e3a4c6f6f60c9e0bc1e4d","datavalue":{"value":"1467.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044215$7C55CB14-E10C-43F3-986E-6633B2B3F5EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c54a77fc7d9a9cf2f6be041d2b2075f45551460f","datavalue":{"value":"10.1007/978-3-030-72016-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044215$47FA8A87-142E-4602-BF7B-197DC3BD9C6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044215$E09E43E4-7B39-4189-A6EC-B43417DCC200","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-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":"Q2044215$9792B786-9B31-4D83-8943-C71C41822609","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c76d1f4dece7a380df6d9196cd7b25ceb82c43d","datavalue":{"value":"https://arxiv.org/abs/2010.07722","type":"string"},"datatype":"url"},"type":"statement","id":"Q2044215$E544AA19-E836-4A4A-959F-4A80EED00A1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044215$C804E1E1-40D3-440A-B38E-942CE157E4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044215$B40D3DEC-5BAE-4245-AF2E-90C5E72FDB30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d0d705b16adc8408349679fce3bec050db3eabe","datavalue":{"value":"7378314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044215$491B9E4C-7AC1-4E9E-88F1-AA643487FD28","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":"Q2044215$16B9369B-169B-436E-965F-1801A68D83FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f40422e2e74752828c4193d13799d42b4c1cd62d","datavalue":{"value":"W3147451797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044215$F75D9C36-9195-4909-8493-6210BEA515F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa29ea6e4c2472e088e5a4872adab6c6de9303bf","datavalue":{"value":{"entity-type":"item","numeric-id":1185093,"id":"Q1185093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044215$40083325-AE60-4BDC-AA2A-C8FF2219763B","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":"Q2044215$DAF4123F-2456-482A-920C-62CB7B8D1396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044215$9705DD47-A45C-468F-B6A3-E5C4EA1F0B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca2cb695ccee87b37905ebfd04f155e8df7f201","datavalue":{"value":{"entity-type":"item","numeric-id":2810900,"id":"Q2810900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044215$09225B24-9B71-47E8-A99E-2BA135CF32FC","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":"Q2044215$B15CB0DA-473D-4140-B241-9E5B222B3ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63598ebd52d831a12f353a583aeb504550a49674","datavalue":{"value":{"entity-type":"item","numeric-id":2225075,"id":"Q2225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044215$70076FF7-85F6-4AC8-83ED-4F394F9BB12E","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":"Q2044215$4EF2F8E8-0176-4AEB-8B42-70F8C3B8B3AC","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":"Q2044215$3968FB24-2DC2-4643-ADAF-94C2E42E09FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05f84c1eae7d58b1794ec71b77ea8963935fe7a","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044215$0CC5814B-A8CC-4ED9-8CDD-68BD5DE61141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e380f0634e7bb742b5e5f5caa3a75eb92cf878","datavalue":{"value":{"entity-type":"item","numeric-id":2225072,"id":"Q2225072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044215$364DCACB-0880-4B22-A4D4-305023C0560E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999cf2e6278ba54cf0d79c77e3661aea4e64fb2b","datavalue":{"value":{"entity-type":"item","numeric-id":2286751,"id":"Q2286751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044215$D9FA1E9B-833D-497A-BA33-B68539F265BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52457598458a84ab137c1d4bf407418c8bbb2db","datavalue":{"value":{"entity-type":"item","numeric-id":2044215,"id":"Q2044215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044215$239D11BD-5F10-47CA-BD51-D5F079C42717","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad154492e2ccfce2f2ad6c23951e81de3c57b2b1","datavalue":{"value":{"entity-type":"item","numeric-id":2225075,"id":"Q2225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b318647a95b4e38d5d66b8d702a7341c008d94","datavalue":{"value":{"amount":"+0.7472020387649536","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":"Q2044215$AA899CB3-098C-46E9-A8DF-3A964CE4C55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502c74c0a5a2bc4c7c610d5649e4e5c86673ea39","datavalue":{"value":{"entity-type":"item","numeric-id":2050096,"id":"Q2050096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6404ccb67ffede0d977eef10d903e158fc602b4e","datavalue":{"value":{"amount":"+0.73092120885849","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":"Q2044215$AE15B776-7334-47F7-A39E-EE87742F7114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85cea1ff044ff4cce339eeeecb38788d5dffa57e","datavalue":{"value":{"entity-type":"item","numeric-id":2145326,"id":"Q2145326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e74ca0e4dab8a22f1d79415750d2e39e793c6ad","datavalue":{"value":{"amount":"+0.7013146877288818","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":"Q2044215$715D24B6-A7F8-4852-984B-BD29D60540B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a98bd47a3fb60d20cfd8d5e364b26525d4f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":1982635,"id":"Q1982635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80d0ba873a4b8324df469e23e988491faae6bde","datavalue":{"value":{"amount":"+0.692229688167572","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":"Q2044215$3C0E244D-E381-4211-B42E-CDA1C87B5BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b0b5660171c37ad7e676fe393a393a2233fdb6","datavalue":{"value":{"entity-type":"item","numeric-id":6109575,"id":"Q6109575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca19a6b62bed0eed8531119279757a086ac49b3","datavalue":{"value":{"amount":"+0.6794701218605042","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":"Q2044215$F56EBACF-E55D-45B3-98D9-40DB64ABAFBD","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":"Q2044215$D75071F4-1043-483A-96F0-16DAEA5C97BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2044215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2044215"}}}}}