{"entities":{"Q2145327":{"pageid":2156070,"ns":120,"title":"Item:Q2145327","lastrevid":57751449,"modified":"2026-04-01T06:47:36Z","type":"item","id":"Q2145327","labels":{"en":{"language":"en","value":"Verifying low-dimensional input neural networks via input quantization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543915"}},"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":"Q2145327$F4ED6355-8DF6-4A29-B178-970ED92CA86D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"980aabfac8ccb820b8791510001fb0f9fe40a2dc","datavalue":{"value":{"text":"Verifying low-dimensional input neural networks via input quantization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145327$980D7CDC-84EF-4544-A9F4-78598AC3876B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5b13381ce2ad3ad81a89d8913c56531936e27b9","datavalue":{"value":"1497.68310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145327$74361196-9382-4E1F-9E41-9D4DA1FDECC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7adc94b06c06061a3c269b74c6ec2ae65cf90144","datavalue":{"value":"10.1007/978-3-030-88806-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145327$61AA779B-5F13-46EC-8302-B8FC490A2792","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":"Q2145327$A7846B22-2C6C-4DD6-9526-E8AA0366FEB9","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":"Q2145327$ABF10E86-88D1-4484-87D5-B6401C203DCC","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":"Q2145327$F3C76346-87E0-43A0-A524-FCEEFC82277D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8dc60dddc6398bf0d5e5c531ff29993d4d26784","datavalue":{"value":"https://arxiv.org/abs/2108.07961","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145327$D311DFDC-1666-4E5F-AC67-F3D41C4C8938","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145327$E67C618B-77D9-451F-ACB3-3D01140A7E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145327$124F9C99-22F0-4D2A-95A4-6808712F497B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145327$080C9129-B1A6-4EF8-B86C-B974A4F5B4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145327$99B73D63-1C63-45D1-9284-DD5F9D2F88EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57fe54d25139eea3dee30e635d25aca278fc22ac","datavalue":{"value":"7543915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145327$7892C99F-CC8B-4ABE-8DC4-92BA5DE214E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36596554f34054acf9dc6319bf5ac7c38f9eb557","datavalue":{"value":"neural network verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145327$5E77541C-E7EF-47E5-936C-2C0EABA2930E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b64c2799597c4bfacbb15926b75a18a83864c47b","datavalue":{"value":"verification by enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145327$D8B5EDCA-DA4F-4434-A7C0-215F72F265CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01b73eabef9a81ba09d9fc1f798b06bbbd860d9","datavalue":{"value":"ACAS Xu network verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145327$B51B867E-1E6F-4D5D-BA36-2C41BA7D0EA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b1da0dec4b2c296f76dd6a92d31f4cf37542d86","datavalue":{"value":{"entity-type":"item","numeric-id":44250,"id":"Q44250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145327$A6A50289-11CB-490F-AEC6-D1E0528A2F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d39bac55eb43afd9f37cc0c551cea183dc3098e8","datavalue":{"value":{"entity-type":"item","numeric-id":46791,"id":"Q46791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145327$8F368E61-52D6-435F-A9E6-4FCFF492362C","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":"Q2145327$3AE6F25E-561E-404F-B2AA-999050471A22","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":"Q2145327$7B71598B-C48D-46AE-93FE-91B552F47D10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c611584f7aca7b1b38a9b852e014ebe3ac81516","datavalue":{"value":"W3208555259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145327$7A203DD3-1C2F-44E5-ACDD-47194E498F67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3971371b90a9c3399b1543fbb0799c60a386f29b","datavalue":{"value":{"entity-type":"item","numeric-id":2225077,"id":"Q2225077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145327$755A4E6B-3372-4D49-A6C4-2A68BCF1DE9A","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":"Q2145327$C089B400-A6F6-4601-B737-9CCBEEECE042","rank":"normal"}],"P1643":[{"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":"df1994677c2db9f66f3b73f1805ed9514d217fea","datavalue":{"value":{"amount":"+0.7421258091926575","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":"Q2145327$59EA724E-C4F6-4929-9D9A-A2CA566AA24A","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":"a9940fd055932c4928b57edacc21c4d79ecc68bd","datavalue":{"value":{"amount":"+0.7400131821632385","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":"Q2145327$D257995A-9090-494D-91AE-9FE64B7F1258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af31fb59eda929cea216c67c45e6e252ec9e724","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06a2c1118217d1e90049d60befa7a0768d26c2c","datavalue":{"value":{"amount":"+0.7273123264312744","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":"Q2145327$B2C1372D-6DE6-479C-922C-029653242E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca5d37a7870049cecfe718c1400ac47316e9738","datavalue":{"value":{"entity-type":"item","numeric-id":2233525,"id":"Q2233525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f89a6dc820942f2ad0492087cdd1d7a5a8eed31","datavalue":{"value":{"amount":"+0.7250641584396362","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":"Q2145327$0A2B8A97-6B2F-4E39-8143-79DC9C32898E","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":"8b258de999be7033e91401a690bd72640e32b3a7","datavalue":{"value":{"amount":"+0.7249834537506104","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":"Q2145327$F36B0FB9-2625-4418-B02E-74AECCC2B748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145327","badges":[]}}}}}