{"entities":{"Q2225080":{"pageid":2235823,"ns":120,"title":"Item:Q2225080","lastrevid":78749381,"modified":"2026-05-06T12:20:59Z","type":"item","id":"Q2225080","labels":{"en":{"language":"en","value":"Systematic generation of diverse benchmarks for DNN verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306406"}},"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":"Q2225080$584D3DF4-ABD7-48BA-A551-8D4ACB52B450","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7520cde66ee5c007e78a99560989351d08cd8c4e","datavalue":{"value":{"text":"Systematic generation of diverse benchmarks for DNN verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225080$894F4180-C584-4E3A-A299-4D84364C8575","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"586e9b7ebe0aa6f3c276846aa9874681315ea859","datavalue":{"value":"1478.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225080$E76C1E61-07FD-4DA6-84E7-446F55F9970C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7737bc1d9ddc8f327650cb27cb3beaabfb33a7a6","datavalue":{"value":"10.1007/978-3-030-53288-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225080$E4C7C4EB-1B22-4008-A847-E58C8FA5BC1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ace0d3d349a001b3d42832058c5b5e495c6275b4","datavalue":{"value":{"entity-type":"item","numeric-id":474077,"id":"Q474077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225080$F0353A6D-903B-45F8-B70A-3290A136E105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c6e7d59df7210e3f46b5157e5d2796304304def","datavalue":{"value":{"entity-type":"item","numeric-id":2225078,"id":"Q2225078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225080$1BDAF95B-ACBA-47B8-85CE-09D14AFBE755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fd944228db4d60cbe510a5ef912d4a914118554","datavalue":{"value":{"entity-type":"item","numeric-id":816195,"id":"Q816195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225080$FA2B892A-186C-4A11-8E3E-2B98FCA5BA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f989a967a3f4cb568c418e498657ae5c301773ee","datavalue":{"value":{"entity-type":"item","numeric-id":2225079,"id":"Q2225079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225080$3F4D2EAE-0659-4DB8-A7E2-670F787F8D9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225080$3DB5270B-B3FC-4F28-A119-1CA648AD1AE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225080$16EE2D2F-FAF8-4393-A755-B90F0A5CD8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225080$F62DDA02-8235-4F0A-8D8D-F0D0D1BD6041","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b71c16ed069f0386d85b78b6cee6ff10ef7cfa62","datavalue":{"value":"7306406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225080$74C032DE-3109-4A0F-A7FE-68CF7A5D7249","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"694eecdc2f71e4a898283c6db5c2b7894fc662da","datavalue":{"value":"neural network","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225080$2B9F9DA0-560B-49D1-BA92-424CAC5C1431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225080$4B8215D4-6538-4B5B-9068-7F8C175903A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c09e946233810b1fca92ac89457c740af81e41","datavalue":{"value":"benchmark","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225080$A2CF79FA-011C-476D-9401-5B7F2136CEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddf050de6f27d9d34def2d804a7326a42ab408c","datavalue":{"value":"covering array","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225080$FDDE04F7-B7E2-4B11-B341-EB53A29E73B9","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":"Q2225080$1CC533EF-589F-4074-9973-88734AA96336","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1daa7c309e8106ddd82d4d3866847b30dc7d4c4e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53288-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225080$339E834C-0B09-4883-874F-476B7E9E8ABB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0efb316118808d7cc81dbcd669490a308061abf1","datavalue":{"value":"W3043641198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225080$D3186DC1-45FF-4F3E-B4A5-48506594E433","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":"f16c03174d8cb1e54c2588fb3a469f90ed53fa85","datavalue":{"value":{"amount":"+0.7022352814674377","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":"Q2225080$9D592BB4-84A6-4A23-BC69-2C7EFCE6A212","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":"5aa95aa1a3c18c159b829c77a2ad0f9962d0ef13","datavalue":{"value":{"amount":"+0.7009077668190002","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":"Q2225080$5EE595B5-73EF-4601-A808-C139A567635D","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":"3e76a118b17854a82d0f741f1f7b70ef85d38a2f","datavalue":{"value":{"amount":"+0.6938931941986084","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":"Q2225080$11D0F6E2-5AD7-478B-88F2-4A8D5D6B9974","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":"1de79b9a43de4138042b9106cae5236f919de48a","datavalue":{"value":{"amount":"+0.6924610137939453","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":"Q2225080$F6576808-AEF8-45CB-9A0E-7D16B8AB7685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64f097ff2f5c48daaae55323ae0d3305c1db980","datavalue":{"value":{"entity-type":"item","numeric-id":6485856,"id":"Q6485856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c3d58e02c489bab40f589c895357eecea5d8fa","datavalue":{"value":{"amount":"+0.6912045478820801","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":"Q2225080$FC5CEA1B-79EB-42C3-9E68-E8A5E70EA7D0","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":"Q2225080$DF1667A7-3A70-4D79-B460-01E561606935","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systematic generation of diverse benchmarks for DNN verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Systematic_generation_of_diverse_benchmarks_for_DNN_verification"}}}}}