{"entities":{"Q2145326":{"pageid":2156069,"ns":120,"title":"Item:Q2145326","lastrevid":57749043,"modified":"2026-04-01T06:28:12Z","type":"item","id":"Q2145326","labels":{"en":{"language":"en","value":"Exploiting verified neural networks via floating point numerical error"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543914"}},"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":"Q2145326$80FC5C1D-F7AF-4893-BE66-5082B239637C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75b0324d56c594e127d0920cbd65fa82e2df2363","datavalue":{"value":{"text":"Exploiting verified neural networks via floating point numerical error","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145326$CD2CC3C5-2017-433D-8162-F747A8DC6E86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"055933ed2e8c6a5f947159dbce26a16b26b38abe","datavalue":{"value":"1497.68309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145326$CB52BAEF-DB34-40C9-86E2-4BD0212D5EEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"375f144e6495b8e2ba432b64bc794188ee25896d","datavalue":{"value":"10.1007/978-3-030-88806-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145326$302AFE09-C475-4583-B025-099DF070F958","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"374bd87390f97e8774ef97d1d6eac067001d2e29","datavalue":{"value":{"entity-type":"item","numeric-id":680464,"id":"Q680464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$AF61F72E-DE83-4779-82C2-EEABC87D80CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3818a1716b8610e195be4975a458855618b9d1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1268805,"id":"Q1268805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$2C266C83-EFE2-48BC-985E-89FB82B6B77A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145326$3071EF2D-A789-414F-B01D-F0D2149EBB7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3f376663f8f50afa32db48eec49c6192dbe1fdf","datavalue":{"value":"https://arxiv.org/abs/2003.03021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145326$00449158-BE2F-43FD-810F-DD3B4EE4D732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145326$34E46AF8-B685-4CAC-A8F8-F0E7D0841191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145326$49F72CF5-C362-4C83-B3AF-04AC0D8469F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145326$BA415B62-BC0D-4B85-A626-87145ADFCAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145326$A72ABFEE-CF04-48C4-AE47-5F3ECE96984D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53e2920233ae5d53380f2fade81841ad127459da","datavalue":{"value":"7543914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145326$D338DFA8-CD6F-4589-99EB-FC40F5B854AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e118136a89ba513637ffcf08d9ac9d106ccd7b","datavalue":{"value":"verification of neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145326$F0A2E64F-F557-47D8-BC75-A46D4A1CD2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"339dc6d327f2f940d98509e79bba29996415b776","datavalue":{"value":"floating-point soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145326$C7B18E55-0646-4BE9-B9B0-95D78722699A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0b0a23ea79b462a7296422f1462074f770a52a","datavalue":{"value":"tradeoffs in verifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145326$F25E4E28-8FE9-4C5F-8489-50E262A564EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$83D18452-4BE1-4C12-B5BF-8A7FE7CF7CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fac9f12a57b80383023f1d0f3d27b15b8df1d760","datavalue":{"value":{"entity-type":"item","numeric-id":43078,"id":"Q43078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$A5D74841-ED93-4EB5-9158-D67B39FA0C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$D34E7645-D9E2-442F-87BE-4E8E66257CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a28c49518b2391a3c9e2da3891679e04c0308e5d","datavalue":{"value":{"entity-type":"item","numeric-id":32752,"id":"Q32752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$EDEE03E8-78D6-4B75-BB89-8F90482DB69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bac85f5f92b393f33b3a7d62467a1410e107d8be","datavalue":{"value":{"entity-type":"item","numeric-id":53741,"id":"Q53741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$44500A22-7923-4F7F-A1EE-F7F77D267534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e114fabacca379e1dc21384fcc7e0a16fc37c466","datavalue":{"value":{"entity-type":"item","numeric-id":56247,"id":"Q56247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$F06E7150-2FC3-42A8-B035-91E6E44EC5F9","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":"Q2145326$56200805-6E4E-472F-80A6-564DD7D72F6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd451e41419c99fd7c730f393836d753bfce6fb0","datavalue":{"value":"W3210373155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145326$C41A2883-B86B-4B3D-9C30-13D6D9D1DCF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab1fb3b741de6ad15a6cf3e725ed00bb86921b6","datavalue":{"value":{"entity-type":"item","numeric-id":5274886,"id":"Q5274886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$48FB33BA-78FA-4835-A4DD-6EDE6A21D9A6","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":"Q2145326$C59315E1-67EE-4EF2-A8FD-30ED9773B173","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":"Q2145326$32CF8159-CB2F-4045-B8F0-6C1D8778A32C","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":"Q2145326$776A5219-2B50-4509-8B67-DADBD33BE653","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":"Q2145326$76806CC5-3A24-4EB8-AD83-2DD574852978","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":"Q2145326$FC5E976C-E912-4256-99B8-8792E42FD3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79f794cb0b04265fbc6f7edbeaedf1dc142dec9","datavalue":{"value":{"entity-type":"item","numeric-id":5308685,"id":"Q5308685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$F1E717FE-D598-4C07-8C68-7A5E1E67EC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91a08968cbf34d793a372ad4134ba1188e31e68","datavalue":{"value":{"entity-type":"item","numeric-id":1434074,"id":"Q1434074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$DE711386-DFCB-406B-94D2-62F6D60D6120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763c291ff2ba9310c8ef7eb25800bf72343cf19d","datavalue":{"value":{"entity-type":"item","numeric-id":2181945,"id":"Q2181945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$F25F606F-3119-4670-B8B1-16CCF853D329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6eb40f53a6a840ff4c22ca7d5bbe012d2de958","datavalue":{"value":{"entity-type":"item","numeric-id":3296349,"id":"Q3296349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145326$6A6A34B1-8418-476F-B057-E905A1A9DB78","rank":"normal"}],"P1643":[{"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":"6705f643cbc284a8f35c533e80f0d25ec8a72faf","datavalue":{"value":{"amount":"+0.7308906316757202","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":"Q2145326$090582B0-367F-4B0C-A720-B20CEC8DCCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c35f16574fc06d6eccd38fbf10b4591d2b7727","datavalue":{"value":{"entity-type":"item","numeric-id":6108442,"id":"Q6108442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c95b68b37eb74abe6e73657a40b9f9ce5f801d6","datavalue":{"value":{"amount":"+0.7214381694793701","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":"Q2145326$183D0193-7907-40AA-A232-38722833AD9E","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":"e79aab14f3b2a5b7b1efd0fa0bf2eb4682e23504","datavalue":{"value":{"amount":"+0.7211126089096069","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":"Q2145326$C79FB4A1-18AF-463E-B8FB-BE4FEEA6D66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48df00c9c5e50ee749ea5374ace1386d1a8698ec","datavalue":{"value":{"entity-type":"item","numeric-id":6487315,"id":"Q6487315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf5ca55f19dfaf58f3f0e19e010b1e7cd89c888","datavalue":{"value":{"amount":"+0.7203067541122437","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":"Q2145326$CAAEBF7B-8FC1-4E76-8C62-93521E38AE55","rank":"normal"},{"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":"3c338cef3807c143f1b54305abb728d52b1fee9c","datavalue":{"value":{"amount":"+0.719903290271759","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":"Q2145326$962FE5B8-3A50-462F-AA73-D4C837AA0B4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145326"}}}}}