{"entities":{"Q6487316":{"pageid":14066085,"ns":120,"title":"Item:Q6487316","lastrevid":56661531,"modified":"2026-03-18T12:12:47Z","type":"item","id":"Q6487316","labels":{"en":{"language":"en","value":"Example Guided Synthesis of\u00a0Linear Approximations for\u00a0Neural Network Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628115"}},"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":"Q6487316$E437D007-6ACF-4249-BC7C-94B557229FDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a72a60a7b97940a993ee057a4fa30cd0ef05967","datavalue":{"value":{"text":"Example Guided Synthesis of\u00a0Linear Approximations for\u00a0Neural Network Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487316$B3BB3E49-5C9C-4CDD-87D0-D2D8F46413C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e49326baef9e7da69239fb72bafaba8b337faac0","datavalue":{"value":"1514.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487316$8A3CA07A-8026-48E0-BFCD-27DB75CF1B55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4512a767d25ac292db6f008390d1c2464c5c083","datavalue":{"value":"10.1007/978-3-031-13185-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487316$A608B3C2-3FAE-4467-808F-F58E085A5A5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b21bc3d0708933d67347488aa81775cad9c0cf","datavalue":{"value":{"entity-type":"item","numeric-id":832043,"id":"Q832043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$D66A71AD-E361-4F4C-AD62-B05C96FDF810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$0BB8146F-9D44-4581-A0D3-41F926B26B1C","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":"Q6487316$47160123-E679-4043-A1FC-97129650E95D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487316$367D8C66-37CA-4042-B1AC-639ECF6E8F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487316$C157522A-2FDC-4C44-827A-70A2D018F08C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91321fe0695500e7bf4bffa3fb577eb4c500156c","datavalue":{"value":"7628115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487316$FFE0F975-8F62-4128-8EF3-1995AF059411","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":"Q6487316$10271B0C-3E37-4A07-BEFF-31EDC947169A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5ffd31d465a566a686c7d217db9ca46a4868d","datavalue":{"value":{"entity-type":"item","numeric-id":3549165,"id":"Q3549165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$1D26C681-8BC8-4870-B91A-D2E0E67B0CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c097581642c0ced6b1f5dc4e109b27162e9298a","datavalue":{"value":{"entity-type":"item","numeric-id":840818,"id":"Q840818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$E3243327-FEF6-47D7-8A20-9208FA034008","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":"Q6487316$0947625F-BE05-47E8-8465-C2D9BC5DC9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4513c5833bc466d4a79387675503215f33e20eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1394116,"id":"Q1394116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$98CC5FEE-DEFF-456F-9D3D-2839F46D153F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$883C268F-FF19-43B0-BC71-91A7165C2462","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":"Q6487316$B627B607-4107-4754-A5AE-0B68CA836D9A","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":"Q6487316$B2129522-464C-45E9-8C8D-00062D790963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f21cacd9181ad5433129ed46bf24db08ccea6a","datavalue":{"value":{"entity-type":"item","numeric-id":861905,"id":"Q861905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$47F56AAA-3B9A-43BC-B104-42FE5D6B4792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ac5558f75945593b2da5c22aa01b5d14f8f7c8","datavalue":{"value":{"entity-type":"item","numeric-id":832044,"id":"Q832044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$377AB2DD-8EE4-4D94-9462-8476ED92D893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a544f201c6283b7933810872cf2a33339cdad9","datavalue":{"value":{"entity-type":"item","numeric-id":3605131,"id":"Q3605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$FBDFCB5E-0AC5-4913-A9B8-08C28D9D0C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a49255a4fe4b204b6afec7d567ebd9bc0fc7ae","datavalue":{"value":{"entity-type":"item","numeric-id":5341249,"id":"Q5341249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$5F0C371B-D5D5-422D-B907-3F1CF9035A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d5bf69ff10103ec84b7706f7e2841f8b424c91","datavalue":{"value":{"entity-type":"item","numeric-id":832168,"id":"Q832168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$8A3C8F87-E6E3-4CEF-949B-AE631D82EF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f70b2594075ff3ca2e5a3ffcb1bfcc3f5f22be","datavalue":{"value":{"entity-type":"item","numeric-id":486384,"id":"Q486384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487316$A3CCC8A3-62D8-4F49-A925-32EBC3D7284F","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":"14ee1f533ae553348b0af93d882925edad02a6d5","datavalue":{"value":{"amount":"+0.777055025100708","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":"Q6487316$74EDAF84-B0C6-4234-93E5-43C2FEF8B385","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":"3a1029c331a006102eaf2a3ac449448ec3cca5c3","datavalue":{"value":{"amount":"+0.7340977191925049","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":"Q6487316$47FBB94E-C5DE-4191-B5FB-4B03AFB30230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da609d20dbdbe2bfd6c5168a4c9a04e0787c3e5","datavalue":{"value":{"entity-type":"item","numeric-id":2145332,"id":"Q2145332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21a14c1a561b7b1fef44c5d5cc3e21914a90f2d","datavalue":{"value":{"amount":"+0.7222992181777954","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":"Q6487316$A747DB2C-9CDE-42E7-9DCD-F97B581FA73A","rank":"normal"},{"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":"d49901077a4040c37cef7ffe339e5f10c8c7d17f","datavalue":{"value":{"amount":"+0.718154788017273","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":"Q6487316$B7FD61DD-D096-40D9-837D-D1F6002B02C0","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":"3e73a6a0bd4b884ec85cafadba4e81156d556c69","datavalue":{"value":{"amount":"+0.7166199088096619","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":"Q6487316$6D1B7D9A-CB59-459B-85AB-70596A46F91F","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":"Q6487316$4414A1D6-F6F4-462C-BFCA-E1BDC02046A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487316"}}}}}