{"entities":{"Q6487301":{"pageid":14066070,"ns":120,"title":"Item:Q6487301","lastrevid":47781040,"modified":"2026-01-02T16:27:38Z","type":"item","id":"Q6487301","labels":{"en":{"language":"en","value":"SpecRepair: Counter-Example Guided Safety Repair of\u00a0Deep Neural Networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628092"}},"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":"Q6487301$E2DF6485-A9A6-4EBF-B0EB-3BD8C4D7C4F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04919d4469846ed85f11c8fdad60bcef1a51c4fd","datavalue":{"value":{"text":"SpecRepair: Counter-Example Guided Safety Repair of\u00a0Deep Neural Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487301$BF9E67FB-939A-4E13-A0CD-BF417EC8740E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f160dd171860db7d51e9df7e8e2a484c566ac42","datavalue":{"value":"1514.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487301$B892989E-9908-455E-91E3-DE379A006BCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6344c32b6bbc7ebcc209589f2bdf45f83320cbc9","datavalue":{"value":"10.1007/978-3-031-15077-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487301$E9B16131-B8BA-4360-BB29-17B99E613D45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"feac91c250d055d0ea1903f0cf571cf5a44c4e11","datavalue":{"value":{"entity-type":"item","numeric-id":6174533,"id":"Q6174533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487301$84C7991A-FBAE-4C27-A1E0-A49FAD8C943D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad79bdc89ee5b346b2881831afd9f983cf50e49","datavalue":{"value":{"entity-type":"item","numeric-id":6485524,"id":"Q6485524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487301$65C13BD6-4391-428F-97BB-D3B12CF1085D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9093835d0b08b4f8c6e225d8367927d561504b81","datavalue":{"value":{"entity-type":"item","numeric-id":420802,"id":"Q420802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487301$3BCBADF6-3F2D-4672-B292-F1D6F6EB0B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c306eb228b9c879511d123ab3e00929e1d263c7","datavalue":{"value":{"entity-type":"item","numeric-id":2105417,"id":"Q2105417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487301$0582BCCB-B32F-4414-85DF-3A13F5892FB5","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":"Q6487301$47ED3D61-D4B9-4B6F-B23C-E03354D33182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487301$E6D39FB7-3EFF-42CB-954B-486B1E8081AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487301$B0ABA7F0-AA98-4AA0-9BC3-259321E81721","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaf3ac3bd18d50e902211a5de53a94b590bb4a50","datavalue":{"value":"7628092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487301$827D7FEC-BCDD-49C3-BB83-C1B820EEC80C","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":"Q6487301$C145454C-12A9-4801-A8BA-05503D0C0E81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b2c564037fa192c13e09b7166ae202d97ccd4b","datavalue":{"value":{"entity-type":"item","numeric-id":1756767,"id":"Q1756767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487301$13BC35C8-AF26-4977-8DD7-B53ECD06F9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0262656e41c382f9f5a9a7b3bb892ab61ed599","datavalue":{"value":{"entity-type":"item","numeric-id":5270493,"id":"Q5270493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487301$8878D373-628A-4D2C-977E-D225226B0B4F","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":"Q6487301$63A6DDD8-B84B-4163-9D35-F09DC6E8E7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdca663ddce1210e95fb4bd242238ce255b275dc","datavalue":{"value":{"entity-type":"item","numeric-id":2026298,"id":"Q2026298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487301$3D1C8231-E1E4-468F-AD1B-23F36E71E730","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":"Q6487301$C28C9181-5485-479F-A318-E6FF1AFB7FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e50a090b7bade0ffedb1e9a9ec39413492c3e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4626278,"id":"Q4626278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487301$DBCD0D20-000E-44FF-B61F-97C7BDB6F3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487301$B583EB92-10A7-4A93-A282-3504C7A2313A","rank":"normal"}],"P1643":[{"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":"3765e6a9b51a3b35dcf97ababcad1a02a6784a04","datavalue":{"value":{"amount":"+0.7335741519927979","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":"Q6487301$D5ED4305-34BF-4483-88B4-8DC3B9B8256A","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":"b20b8e2f95870ea9dacaba664b1ca1a808d9962f","datavalue":{"value":{"amount":"+0.7253668904304504","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":"Q6487301$B7F8BE7E-9C10-4AC0-B1CE-4CD4F2E6F100","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":"bf83f2b9fe61463d5cc35de25d31d68592317b90","datavalue":{"value":{"amount":"+0.7168177366256714","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":"Q6487301$C9D8CD0C-346B-4053-83C2-AE24345AC56B","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":"77a56bb6cbb4ee922fbc25c7804af0e7ef7bd420","datavalue":{"value":{"amount":"+0.7046367526054382","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":"Q6487301$2DA67FB0-889F-4DB1-A782-5F8C6019931F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1764a65cb4a07d5e7c4470ac49751b042722d8e8","datavalue":{"value":{"entity-type":"item","numeric-id":6109579,"id":"Q6109579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c469da0e35dc94ca4908e9a00f2745657b98519","datavalue":{"value":{"amount":"+0.6990768313407898","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":"Q6487301$393B74A1-AC40-4FCE-A093-DD6BB82297B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487301"}}}}}