{"entities":{"Q2225075":{"pageid":2235818,"ns":120,"title":"Item:Q2225075","lastrevid":57784113,"modified":"2026-04-02T12:40:54Z","type":"item","id":"Q2225075","labels":{"en":{"language":"en","value":"An abstraction-based framework for neural network verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306404"}},"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":"Q2225075$FA263EEB-F1FA-48C1-9816-F99DAB1A39D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d37615bfea918ca4990b09718024bf81ef21502f","datavalue":{"value":{"text":"An abstraction-based framework for neural network verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225075$582A7762-A134-4F3E-BB8A-7BA7BA6B4F2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed8178970f8a7c5c811f7736e2be3719981ef2a3","datavalue":{"value":"1478.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225075$812AADC7-7E52-462B-A55B-7BC8336BBB81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a02ee9e673786d2916a12872a05a8daf1aa58d86","datavalue":{"value":"10.1007/978-3-030-53288-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225075$78F47C1B-90BE-4340-ACC0-C6C299FD78D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d362ddcd16326307d4fd7493c9656b3edc926746","datavalue":{"value":{"entity-type":"item","numeric-id":2225073,"id":"Q2225073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225075$F9FA4159-10BC-4527-92D4-2BCB39EDB108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366ca45dfa1d22c248fa09233fd14e74b91860ca","datavalue":{"value":{"entity-type":"item","numeric-id":2225074,"id":"Q2225074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225075$2FF4715A-F449-43B6-BC4A-CCA1E39A428D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"051db72c27a6ffd1dc64c69febb1b92cb862178b","datavalue":{"value":{"entity-type":"item","numeric-id":2151236,"id":"Q2151236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225075$25D6884E-F748-4023-AF2F-BE2F6F2F5D13","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":"Q2225075$57AA3946-D01B-4EA3-AAA1-380D5F8760E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ea9c9edd09d1f4d2c3c5bccb3444403ebb44a7d","datavalue":{"value":"https://arxiv.org/abs/1910.14574","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225075$4EF97208-067D-4EF7-B30D-B5BB7553F6AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225075$0AC48116-382D-44CB-B2F7-75977E5E0E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225075$8C13F2EC-399E-4736-9D89-CBD216EB2A58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c4f547d2b9929963dfe5a72d80c9a93ed137c56","datavalue":{"value":"7306404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225075$0D3F939A-6584-4B9A-A0FF-C2DB9A9203D5","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":"Q2225075$52DD39D8-6D73-4586-BB58-11D6A8FD96A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5dbb03b32e0ea902e8742d1cfaa062e3501f864c","datavalue":{"value":"W3102139284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225075$695A834F-9F3C-4B4C-8991-2D929DF6332B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4206468fcaed657fd6204860c04b650f7d953f02","datavalue":{"value":{"entity-type":"item","numeric-id":6174546,"id":"Q6174546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"433e2ed735144ed5ad023589508f9d17d39f9130","datavalue":{"value":{"amount":"+0.9147037","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":"Q2225075$B99DD43D-5D61-476D-810B-51950399C52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4558a08cc3adc6446fc117618fcc96fd49177c0","datavalue":{"value":{"entity-type":"item","numeric-id":2780087,"id":"Q2780087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a096220c85715195929c1444ec088fc2bb3a3f67","datavalue":{"value":{"amount":"+0.9033584","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":"Q2225075$99A997BA-4E50-4728-9E8C-6A185A6EBD27","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":"5fe43284b782aea437ccf5367abceb4a4e56a59f","datavalue":{"value":{"amount":"+0.9031532","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":"Q2225075$74795840-8D99-42F6-AC73-2AF8D8D3AD59","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":"3fe161057018e831b5d5bfb5a663a66dbbd8e275","datavalue":{"value":{"amount":"+0.9012905","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":"Q2225075$39108A6D-C188-4060-A394-DBD1C34070AF","rank":"normal"},{"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":"77dc1455faf522aeedcda0806e8ae7b28994f1e8","datavalue":{"value":{"amount":"+0.9001304","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":"Q2225075$AC711D2C-205C-4D4E-96A9-3D96B65287C5","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":"Q2225075$228B3579-BCDA-46DA-B717-66CB744652CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225075"}}}}}