{"entities":{"Q6109431":{"pageid":13243738,"ns":120,"title":"Item:Q6109431","lastrevid":55468207,"modified":"2026-02-17T17:05:15Z","type":"item","id":"Q6109431","labels":{"en":{"language":"en","value":"\\textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719742"}},"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":"Q6109431$8BA2C9A2-61C9-42F6-87A2-E7DCD5CBE72C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b07b7f32f0518d4004a3e9a494a97504d6f63c8d","datavalue":{"value":{"text":"\\textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6109431$9EA5B0F3-F3FD-4A7A-9BA8-479790B7AD27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6141f5b0a0c99f286198bdca2fa044450e6eba0","datavalue":{"value":"1524.68328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109431$1570CA85-2045-48F3-9D87-707379B5CCA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d6005c5d9c9a6cc06f85eca5afc22996567fbeb","datavalue":{"value":"10.1007/978-3-031-22308-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109431$229334B8-5AE4-4DAE-80F2-01E0952B9BB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad7f57c2c37f761854ac276bfae4c37ea90a22dc","datavalue":{"value":{"entity-type":"item","numeric-id":832162,"id":"Q832162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$5CE70738-64D3-4F25-A158-793C390E7CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eec636025b9e0dd0d863718e8a72b94d2b98449","datavalue":{"value":{"entity-type":"item","numeric-id":832161,"id":"Q832161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$B2E47F68-7FC2-41C9-9791-1ACC5A2911DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0b6c2c33adb5a9df89fed1477abaa768367110","datavalue":{"value":{"entity-type":"item","numeric-id":832163,"id":"Q832163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$5E84814E-70EC-43DF-8278-0E88D2D81F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7827c426fd62b1155223da4c43f3f5ddccba9caa","datavalue":{"value":{"entity-type":"item","numeric-id":342710,"id":"Q342710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$7795C38D-171E-4C44-A76D-CB2EA5B4950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$9C6AFB9B-EF20-4B5B-9113-C6F2AD197B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d64add4224d48d3e6a017692fd022ede79a50f","datavalue":{"value":{"entity-type":"item","numeric-id":823307,"id":"Q823307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$F7BBE035-8C28-40C8-8A23-B9C3BA1F3762","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$7AC8FC1B-6B68-4CC8-B655-686461AD2C48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6109431$EAC11AE3-144F-41DD-A117-9808916FB217","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109431$A064AA94-85E6-455B-8ED0-3DCCCA56380E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109431$A46CC6B1-ED0F-4FAB-9273-60B2AF9B4E7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"834ef00e5a46f88cc1a8bdc4da60766d1af3dacb","datavalue":{"value":"7719742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109431$3C725194-ACEA-495E-A26F-5E0D53764FD1","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":"Q6109431$AB694535-2E32-4C35-ADEE-D5E515D39C15","rank":"normal"}],"P223":[{"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":"Q6109431$2D3AEE07-CA68-45C0-8C85-A38931C9F77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$0E0689F7-36CE-48FD-BDC9-6D7D2C75C549","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":"Q6109431$5391A1E9-EAA3-4137-A0C1-829BBF9575ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63598ebd52d831a12f353a583aeb504550a49674","datavalue":{"value":{"entity-type":"item","numeric-id":2225075,"id":"Q2225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$10CCF0A0-24FF-42E1-898E-E35DC8A9440C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deafa9883cebce71d1ffce967094d3d8ba5557cd","datavalue":{"value":{"entity-type":"item","numeric-id":2145325,"id":"Q2145325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$2299088A-8D17-440F-AE1D-3CB5555B2930","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":"Q6109431$5A8670EC-AF2A-4AA8-B576-09AA27BDE778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486aa65e03e0326d20b4ed3ea97a80fca13e0ad8","datavalue":{"value":{"entity-type":"item","numeric-id":2145327,"id":"Q2145327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$35838736-A169-46FE-B094-149F002ED77F","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":"Q6109431$7F7727CA-7F5A-4A1F-B809-EAC13DBE0520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ed34f0440d1a5b75d421d9255d6e2bb618871","datavalue":{"value":{"entity-type":"item","numeric-id":2233541,"id":"Q2233541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$35B1156A-FD3B-4BF0-A729-D75048A5A630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78b4c1979734563721a3c8a0cacaee721529532","datavalue":{"value":{"entity-type":"item","numeric-id":3005896,"id":"Q3005896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$B88E7A1A-2142-4C5E-A393-0560B36A8362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1d9913d42c8b64fda8f3e4ce37675c9f250c23","datavalue":{"value":{"entity-type":"item","numeric-id":2233525,"id":"Q2233525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$6D9E1F24-39F2-4BA5-A7D6-6F0A89DE96D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd785b03208cb2c13185b67451307362c9e4895a","datavalue":{"value":{"entity-type":"item","numeric-id":2050096,"id":"Q2050096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$0F770069-F154-4B44-8B26-A444679C9E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52457598458a84ab137c1d4bf407418c8bbb2db","datavalue":{"value":{"entity-type":"item","numeric-id":2044215,"id":"Q2044215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$EC28B80D-55D2-4527-BAD3-A39B4F4476A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d08af5bebe8165c58cfdfdfdae462c48cfb5f90","datavalue":{"value":{"entity-type":"item","numeric-id":832164,"id":"Q832164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$82D4655B-29E2-4489-9880-3FD45E42D615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ecde95463180395b72c8abce77dbd4b4902eed","datavalue":{"value":{"entity-type":"item","numeric-id":6487315,"id":"Q6487315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109431$0B9F11E0-3D52-4ADB-8527-AF3FD0766C4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81800da6aea084e50e51330a07fc6a7747551490","datavalue":{"value":{"entity-type":"item","numeric-id":6113995,"id":"Q6113995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84e3db4fd13827aa8cc5b9a03360a4112e2c518","datavalue":{"value":{"amount":"+0.729668140411377","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":"Q6109431$74C9609A-C978-491C-821F-1DABFAACB718","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":"daecb3f9e28ab09aa21a7d41bbbf299d25b3834f","datavalue":{"value":{"amount":"+0.7273418307304382","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":"Q6109431$8E2A52B0-FE99-4851-8A54-16ACA2006015","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":"9b91018d0e44bc2136a97f34ba026e3506970f82","datavalue":{"value":{"amount":"+0.719440758228302","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":"Q6109431$A81C0782-B360-42B1-97EF-8E47D55A2C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f1e56ef15a676956e05c569dd1f1a194309f8b","datavalue":{"value":{"entity-type":"item","numeric-id":2233508,"id":"Q2233508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cdeaa21b727dda3a1150d6b94255b60c5b4d87","datavalue":{"value":{"amount":"+0.7181521654129028","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":"Q6109431$3BC9A5F4-1629-4C95-AF23-2166402A2685","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":"2ac67187966ff7f7daf427e51659dfd80c2a5e96","datavalue":{"value":{"amount":"+0.7177445292472839","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":"Q6109431$8165C2E8-6ACB-4ABA-A70A-576499662DE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6109431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6109431"}}}}}