{"entities":{"Q2286751":{"pageid":2297494,"ns":120,"title":"Item:Q2286751","lastrevid":57825945,"modified":"2026-04-02T16:58:06Z","type":"item","id":"Q2286751","labels":{"en":{"language":"en","value":"A game-based approximate verification of deep neural networks with provable guarantees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7155411"}},"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":"Q2286751$A9876A1D-8B93-419D-89D7-BF3085B466A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"049c0db8f4a703346070c5a58ca9eba35ed8a2e1","datavalue":{"value":{"text":"A game-based approximate verification of deep neural networks with provable guarantees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2286751$5725462A-2E46-461F-B662-81F84778E509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"375c4b45e058b3ba0693fbf1b71aa8f3749c4ed9","datavalue":{"value":"1436.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286751$E77B5C57-1CF9-4CCD-992F-5D64794DFBFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286751$D42401B3-AF6C-4936-BCFC-F4C6D50849EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286751$C2C06CA7-4A2B-4D9F-B555-70FCE3BB9047","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2286751$4D394B80-1142-475A-A549-F0E88199A063","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf7f80c0632441e8bad6a3665c619f7ca858ca31","datavalue":{"value":"https://arxiv.org/abs/1807.03571","type":"string"},"datatype":"url"},"type":"statement","id":"Q2286751$27BD6934-4835-40F3-BE90-45AD49710D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"04b57d2eea1b539b3e0def8cac3ff0a023c5bf6a","datavalue":{"value":"https://eprints.lancs.ac.uk/id/eprint/134979/1/WWRHK.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2286751$5D7BDD0D-C3A2-4FA2-8EF6-8003A1BFAF44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286751$562D1F51-58C3-4534-A1AF-F6E496D2DFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286751$5DE85366-FFDD-4D56-B7CF-B5F760C2ACF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286751$6786EF22-CB63-47CA-8A69-D51BF89DF7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"893911e5ae2ffc65195ec11aa1932dc9c4510bfc","datavalue":{"value":"91B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286751$A0673470-9DF7-4E4C-86FC-65E814E7D894","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2840bd3f21b896e49201203735f6f4dc1ecf1dd7","datavalue":{"value":"7155411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286751$C945BC00-7425-40FB-9E15-4F20E055C69F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286751$35B4CCDC-3F31-4254-8428-0095FD2CB66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45834fdab123fb26e935bb7ca4decfccc85c01c3","datavalue":{"value":"deep neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286751$34B9F03E-304E-4807-AEE9-DBE4E2E6AEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2795ed7284f61f3634b8696bf464608ec4e6e4a1","datavalue":{"value":"adversarial examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286751$8193DA8F-6F7A-4A8B-870B-25316E51928D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d092135172eef42bee0874b867dc1e3754a2332d","datavalue":{"value":"two-player game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2286751$75885D56-C285-4843-9381-0B366A4DF23F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2f5ea38f865305d6b80363a168145004bbdc042c","datavalue":{"value":{"entity-type":"item","numeric-id":28423,"id":"Q28423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286751$8EB521B2-3A18-48D1-AB25-40BB8C85F600","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":"Q2286751$890C4267-80B1-4D89-B4AA-48A38CC45130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1fef282851dce6d923f49e36df1b654f2da2e6ae","datavalue":{"value":{"entity-type":"item","numeric-id":41475,"id":"Q41475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286751$87E41B70-309A-411B-A912-99E82E400F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72bd61cd0fd9b445cae40b2b6508fe4b02523a1e","datavalue":{"value":{"entity-type":"item","numeric-id":42615,"id":"Q42615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286751$968549AD-1FC9-498D-972B-EE9FD6973CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a7324327e964ef9e4989b9b4fed8f6b27126b31","datavalue":{"value":{"entity-type":"item","numeric-id":29713,"id":"Q29713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286751$72CEB3CA-FC2C-4C14-9698-613C062B1076","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":"Q2286751$E23DCF37-1AF1-4A24-A6B8-A7A3CF8EE4FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab82587f47e949f51fc6f1fd2e666b7e71415a62","datavalue":{"value":"W2869036160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286751$DF3CE4E0-1404-41D9-8C57-77B722EE2C6B","rank":"normal"}],"P223":[{"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":"Q2286751$EBA1F4AA-90A6-427C-8C69-F3C6D003427D","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":"Q2286751$B954D321-A6DD-4857-B407-7C12820346DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd65a7f0e9d5070ab744130bb863e968183f95ad","datavalue":{"value":{"entity-type":"item","numeric-id":942833,"id":"Q942833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286751$5531F86E-63DB-4CDC-AE64-636005D716E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b2935c15b5d8a330c5fcf82c7b37bdc77eee68","datavalue":{"value":{"entity-type":"item","numeric-id":5506116,"id":"Q5506116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286751$18EB69EF-F8B1-4279-92EE-E6CAD008BB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c5f008b4f4c1807fbea38f0fe3e22fe63b6287","datavalue":{"value":{"entity-type":"item","numeric-id":6109575,"id":"Q6109575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2286751$45BDA243-8D2A-4EE4-98C1-7D0AEC46B01E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a9dbaf24e8cc035ce5d9591ece1c733a0fc2920c","datavalue":{"value":"Q127454406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286751$2FC5C384-F3DE-43AE-AB57-9D856F8CDBDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04ecb93e9755fe4156269fbbe0adef009817ea0a","datavalue":{"value":"10.1016/J.TCS.2019.05.046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2286751$ECE4E01C-5108-4F39-B2FE-E07DD83E2C55","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":"3ffa38c66071deff3dc7238fb5bd8bd50443cfa6","datavalue":{"value":{"amount":"+0.7741521000862122","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":"Q2286751$18081BF4-0011-478E-8436-7611A3B7CDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b0b5660171c37ad7e676fe393a393a2233fdb6","datavalue":{"value":{"entity-type":"item","numeric-id":6109575,"id":"Q6109575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5632c152faa417ddc788d2ff5ac0c7d27adf3896","datavalue":{"value":{"amount":"+0.7602208852767944","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":"Q2286751$14D97E48-CC2E-4320-BEB0-2C4FA27BD036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502c74c0a5a2bc4c7c610d5649e4e5c86673ea39","datavalue":{"value":{"entity-type":"item","numeric-id":2050096,"id":"Q2050096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7948cd1fb926c8c69cccaa59c991aaa1c18fa63","datavalue":{"value":{"amount":"+0.734321117401123","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":"Q2286751$8FB58B78-263B-42AE-98DB-AAF5F02FC97B","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":"bf9c038d192d91a6b43c7f177ac3b8df1ee5d62b","datavalue":{"value":{"amount":"+0.7152838110923767","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":"Q2286751$10F86184-590A-4E87-80AC-0ABD0CA3B96E","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":"eaf5cfe9ac156f545436f14eee7a77c6e518eeea","datavalue":{"value":{"amount":"+0.7015964984893799","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":"Q2286751$6D42D8BB-123E-4D63-946F-40C883440E2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2286751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2286751"}}}}}