{"entities":{"Q6487315":{"pageid":14066084,"ns":120,"title":"Item:Q6487315","lastrevid":57591663,"modified":"2026-03-31T13:05:36Z","type":"item","id":"Q6487315","labels":{"en":{"language":"en","value":"Shared Certificates for\u00a0Neural Network Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628114"}},"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":"Q6487315$161829E8-C4A9-4AB2-929E-7C074ECACF58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d568144ef3765fa2a8211ffcc819f9a61e29e76f","datavalue":{"value":{"text":"Shared Certificates for\u00a0Neural Network Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487315$D25E889A-E288-464A-9CCE-F0272A03900E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b8d63a17c8f75ee6564795a760a10d6c5280f8f","datavalue":{"value":"1514.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487315$7D9775C0-8C48-4623-B07C-19DDBB3DCB70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c47c20adb568353df59d678f583bedb7b03c199b","datavalue":{"value":"10.1007/978-3-031-13185-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487315$42866131-1E2F-4AFD-8CEF-9AB5B9AD74D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"442786559e1f1498743b1309b0ec93f6ad7cb186","datavalue":{"value":{"entity-type":"item","numeric-id":4928951,"id":"Q4928951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487315$D8515517-C074-46BD-909B-C00F34924E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7e30ca5bd404591306c1dbfdb4bde876e4567a","datavalue":{"value":{"entity-type":"item","numeric-id":6485555,"id":"Q6485555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487315$2207D7A4-4AC0-4AE7-8C03-711E871846EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47fed4323942bea2aa11295a03f82bff0b714a87","datavalue":{"value":{"entity-type":"item","numeric-id":6485556,"id":"Q6485556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487315$870CE176-2664-4707-813D-DCBBF16C8C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a255e7cccd6ab0db9b345e7e07f75e1563b1ace","datavalue":{"value":{"entity-type":"item","numeric-id":326864,"id":"Q326864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487315$8CE50AD5-A94D-418B-A37F-A9BEE874B7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e1f45a09a9a289346056c16d3533cd18ecb557","datavalue":{"value":{"entity-type":"item","numeric-id":681345,"id":"Q681345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487315$34731EA9-72BB-462B-93BD-29E1A3A7A32E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487315$BDEAE8F7-5FBE-4A53-8A03-64AE31458E67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487315$263A9A1A-6E30-4A69-82E8-606862667ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487315$3FB21697-60D2-4C5E-81E0-9464C30F5116","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad2ab90087e171a62cffa6e846fa51a5af51378a","datavalue":{"value":"7628114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487315$B1F19452-C0AC-49B6-ACBF-5F26DE1F1E86","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":"Q6487315$4CB7BD8A-22E4-49F8-95DE-A0790E096237","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487315$E51342C1-F845-459A-BEB4-C0B5E660F830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487315$73CE9A7F-CC8D-47C8-A89E-D4EF72AD8F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88d21d151a9cef0934f2be2ba0e0186401c42db","datavalue":{"value":{"entity-type":"item","numeric-id":5962973,"id":"Q5962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487315$0D29ADCE-8DB2-4465-96CA-9A6C8185969A","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":"Q6487315$B9C26AF3-4695-4AFB-92B0-A84F283F21DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d76b8e4de3a7441fcc68a29e8b3ae5d635e8fd","datavalue":{"value":{"entity-type":"item","numeric-id":4969086,"id":"Q4969086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747638c13f7fe0cad2c039f93c1347caf2eb53b4","datavalue":{"value":{"amount":"+0.7293915152549744","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":"Q6487315$EA429C90-2194-465B-8443-85BC59AEB2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf24e9f721fb827a7be4bf40b8d0b1b20ddec3c","datavalue":{"value":{"entity-type":"item","numeric-id":832168,"id":"Q832168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e56dd3d2d26ce21fea43d706276da6c0c6b0c55","datavalue":{"value":{"amount":"+0.7291263341903687","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":"Q6487315$3A55599F-1DC2-4B37-BA07-D197187372A2","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":"48d54e8f76e0b1806acce9c16d577d78e5f503ae","datavalue":{"value":{"amount":"+0.720439076423645","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":"Q6487315$88E66526-FB63-480C-A2B3-C54B370FF63A","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":"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":"Q6487315$D260C4C9-CAF9-408C-9622-4307A0966DCF","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":"58d413c631a8c2e60fa49f9fb444a8b133a4c1fa","datavalue":{"value":{"amount":"+0.7195312976837158","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":"Q6487315$F8C8D58C-C340-4728-8D41-F2DC32C488B3","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":"Q6487315$72DB22EB-CD1E-46C3-B349-8D1EA82909EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487315"}}}}}