{"entities":{"Q6661753":{"pageid":14272910,"ns":120,"title":"Item:Q6661753","lastrevid":103793552,"modified":"2026-06-06T08:12:14Z","type":"item","id":"Q6661753","labels":{"en":{"language":"en","value":"The hexatope and octatope abstract domains for neural network verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7965961"}},"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":"Q6661753$066DC609-2E9B-400D-ABDC-AC938489A676","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efeb2d3072030b871c3496622b7cb7245b55a4d9","datavalue":{"value":{"text":"The hexatope and octatope abstract domains for neural network verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6661753$B90A0DFF-5D0F-43A9-B42A-072F2FD84C85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b477b5658b51465a1d02c115134f329e7a04eb9","datavalue":{"value":{"entity-type":"item","numeric-id":296101,"id":"Q296101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$FEEF288D-3CA1-41FF-AFBC-E642B6745DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f03180680bf68acd425ddc5f22e966ee359c4e4a","datavalue":{"value":{"entity-type":"item","numeric-id":2140497,"id":"Q2140497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$25EF49E1-889F-4820-808F-7630D80AB2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$47748ACA-1937-4964-BB5A-7DD13FE73CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a72b28ad0c1900b47db02f10ab1ac784719860f","datavalue":{"value":{"entity-type":"item","numeric-id":278756,"id":"Q278756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$7FC10F3B-4A6B-4E92-BAD7-7335F732D388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1752151d88a10b19a02268b9972590cd5361ddb","datavalue":{"value":{"entity-type":"item","numeric-id":831744,"id":"Q831744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$30823479-8EEB-41ED-923F-2D76D12A5F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$E12F1C4C-2987-4245-B986-924C14688919","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$0C165C4E-ED9D-43F7-998A-3DF361F3AFE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f056a8af4460fa19ed4a426ef391be1015492c54","datavalue":{"value":{"time":"+2025-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6661753$945B76D9-9156-46E5-8D60-8AC379B23242","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661753$E3C93775-FEC0-41D1-8FD8-9BB3CE87CA84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"775c3531f9f9e046cfbb9ce22c1ab4f65c07e4b0","datavalue":{"value":"7965961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661753$AC74037D-8D2F-46A2-B1AE-EAEAC1B1E159","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36596554f34054acf9dc6319bf5ac7c38f9eb557","datavalue":{"value":"neural network verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661753$6337E9B3-65AD-47EB-9F11-C2814B93F755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661753$B70A403F-4F82-446C-8C50-F3DF9013E1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dacafb13c7424032099496b7b9301abe189895e","datavalue":{"value":"zonotopes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661753$17EA8EE1-894F-4C60-9E2D-3E9B78F46315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e96ede7ef6128f46df33fd99cb4f4ec1ca03803","datavalue":{"value":"star sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661753$3250409A-6394-40EA-8CBE-F833659E123F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fdfdba556d2c121667d92af306564f08cba6c9f","datavalue":{"value":"difference constraint system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661753$389BFBBD-3663-4B9D-B53A-3CA7798B043F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e0a1c5d12ff599c2405f5a1f44802b225362e65","datavalue":{"value":"unit-two-variables-per-inequality (UTVPI) constaint system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661753$C4BE103F-9545-4110-A007-8961C7FD70DC","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":"Q6661753$DF2E78B3-4C91-4235-AA54-CAC656A8E7E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"beafd09c79dfa9f43f527c7e484481f6934843d2","datavalue":{"value":{"entity-type":"item","numeric-id":3056948,"id":"Q3056948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$89347182-B253-41CA-ACED-EEA119BA4DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec58276d56b23f946ab887b0200f52c7e8c57ac4","datavalue":{"value":{"entity-type":"item","numeric-id":6174546,"id":"Q6174546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$3723645D-71AA-4830-AE11-81836BF67980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3971371b90a9c3399b1543fbb0799c60a386f29b","datavalue":{"value":{"entity-type":"item","numeric-id":2225077,"id":"Q2225077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$9958BB8E-2EE9-4657-AB81-3657F8761081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6799fff5697cb3874f83af8531a79e208cfe1daa","datavalue":{"value":{"entity-type":"item","numeric-id":5056400,"id":"Q5056400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$536DB1CB-F375-4C8A-9E5E-51AE70B326BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$458181EB-DB49-4F3C-BC9B-D94BF838A2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ccbd6e154af64b688640cfa7069952b1451025","datavalue":{"value":{"entity-type":"item","numeric-id":4633548,"id":"Q4633548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$435442C1-0B1C-4280-A46C-2A95D05437F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec171f9018b32584bd67ba1cf14549c4f56f0dcd","datavalue":{"value":{"entity-type":"item","numeric-id":5419098,"id":"Q5419098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$E8DC502F-0A67-4CAB-84C6-B1E55A852831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e511efae2023331fbf1248470e005ba94e7b7254","datavalue":{"value":{"entity-type":"item","numeric-id":3474897,"id":"Q3474897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$45CD1B0C-852A-4584-A3C8-A5A73EAD5322","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":"Q6661753$E11F9C46-F8E9-4CA5-BC3F-A8C4897AE3DE","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":"Q6661753$8BA4DD0A-5C7D-43A1-AB13-AEED2788FA1A","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":"Q6661753$876F9650-55C1-4119-8EE2-FBB0C3BD9277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97236fbeb6b6b2bba840114a8ba2f0448b9619f9","datavalue":{"value":{"entity-type":"item","numeric-id":4197641,"id":"Q4197641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$9B35EC18-7B26-4CB1-8A68-8E1971746582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c255f2e6ecd34a611f1ccf928bf197acbeea63","datavalue":{"value":{"entity-type":"item","numeric-id":4051879,"id":"Q4051879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$CED2D71F-8F6C-47FB-86C9-CE6E05F1DDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$2FF560D7-0347-4366-B5B0-BE15C3F18F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$A9AA9926-8CE2-4298-B9C4-777AFE99FED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7a3170a5f8f14a6a900125be96ee0a20ed8e0f","datavalue":{"value":{"entity-type":"item","numeric-id":4875221,"id":"Q4875221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$ABB9A174-67A0-4E42-A48C-4464B6DB56CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3bd02791f3fd6f2c39b3ae9244b7d656a93c72","datavalue":{"value":{"entity-type":"item","numeric-id":4626283,"id":"Q4626283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$D1368907-6019-4FA3-9076-F029A9C0780A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e380f0634e7bb742b5e5f5caa3a75eb92cf878","datavalue":{"value":{"entity-type":"item","numeric-id":2225072,"id":"Q2225072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$BF9DE69B-9217-479A-958B-15733F40C264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4978f69ddc102f2ab5569daf36651899d3c49181","datavalue":{"value":{"entity-type":"item","numeric-id":6535978,"id":"Q6535978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$90DB031A-177F-4A01-B51A-7EE5EF122501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627334195505159406ab26372b23e8a91a7042ef","datavalue":{"value":{"entity-type":"item","numeric-id":832180,"id":"Q832180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661753$28834C7F-5937-4259-8C23-C1F2662B5865","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8684cbc623d196a84cf87a57f745039ffdd59337","datavalue":{"value":"10.1007/S10703-024-00457-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661753$2EFC1EFC-0D59-4DB5-84C2-038858548F8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4206468fcaed657fd6204860c04b650f7d953f02","datavalue":{"value":{"entity-type":"item","numeric-id":6174546,"id":"Q6174546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43325989ef595bfe6437258049e65319fdca668","datavalue":{"value":{"amount":"+0.9495396614074708","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":"Q6661753$A1ED7A1D-E599-4F06-8392-3F9086AF2CAB","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":"425b621536224d1a6e6798cda187daf24780263e","datavalue":{"value":{"amount":"+0.7369734644889832","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":"Q6661753$CEA97B20-BBE3-4132-BD6C-EB0DB8D36285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e79bbe16207307dd07563d9231ad0755c63084","datavalue":{"value":{"entity-type":"item","numeric-id":6535978,"id":"Q6535978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d94ed39cda688ea81249411c83d0a615b551f0","datavalue":{"value":{"amount":"+0.7107505202293396","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":"Q6661753$8A19FDE0-1951-4E2A-92AD-EAABC69044B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45293ef691d2bc97a00b249dfea176a4c541ff93","datavalue":{"value":{"entity-type":"item","numeric-id":2145325,"id":"Q2145325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85315bf1cd377016bee7c9358c31655912ec4ae5","datavalue":{"value":{"amount":"+0.7099621891975403","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":"Q6661753$8B3CE596-B664-40FC-A428-3B9F5940A65C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The hexatope and octatope abstract domains for neural network verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_hexatope_and_octatope_abstract_domains_for_neural_network_verification"}}}}}