{"entities":{"Q6174546":{"pageid":13309434,"ns":120,"title":"Item:Q6174546","lastrevid":55476571,"modified":"2026-02-17T17:17:26Z","type":"item","id":"Q6174546","labels":{"en":{"language":"en","value":"The octatope abstract domain for verification of neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728857"}},"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":"Q6174546$127A58EB-2B12-4B78-8B5E-08472CCCA05B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6c663ece8b9e38e359eee5b72299da2b832b71b","datavalue":{"value":{"text":"The octatope abstract domain for verification of neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174546$1D823FEB-625D-478D-AF76-AB59BAE6C63F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"549546efe8970020d74c6f96eb3ac51e3bf070b5","datavalue":{"value":"1529.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174546$5F117947-3844-49FB-97C4-EC05948CC2BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d60566b2c4596ddfa785cd0ccc7b629f66d0294a","datavalue":{"value":"10.1007/978-3-031-27481-7_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174546$DD4E466E-325F-480B-A02D-3410E90C6291","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":"Q6174546$6CEF878E-1CC8-49FD-8BA9-30C10A78B2D0","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":"Q6174546$E543AD6D-D5DF-48FE-BFB0-80F331E1C598","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":"Q6174546$43123E36-4F64-45BB-9A8F-BA6C8944982F","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":"Q6174546$37DB5AF5-8DD7-480B-9259-A45FE0733C76","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":"Q6174546$14457501-2CA4-4A8F-B50E-361B4C0A21F4","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":"Q6174546$800C0423-541F-453F-B021-2DF07F34F9EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174546$6E7D8B25-0D7B-44D4-867F-6FFEB4D8A21A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174546$AA7451B0-D19D-4657-A41A-F0335A60A24A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174546$205AC002-F4AA-4757-A1EF-C0F325C4A443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174546$803D2080-9D3F-49B5-B190-5CC598EF3D56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b37f621bb183701b4caa8ebdc2dfdbc07b1f760f","datavalue":{"value":"7728857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174546$0CF00B7E-B485-40E0-BEAD-A615093C7C2A","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":"Q6174546$DAC7CC9D-53CE-46C7-9DE3-1BC66BB6ED9D","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":"Q6174546$1F67926A-C79F-4206-B927-1F9C07B27354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0758a362d9eb156bbec39e58b0fc854887b8c07a","datavalue":{"value":{"entity-type":"item","numeric-id":5233234,"id":"Q5233234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174546$0D0A7834-C0E3-45CD-B3A3-6DFCF1CEB295","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":"Q6174546$E2CAEE34-FC73-4008-9D5E-529CC94F315F","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":"Q6174546$8430B381-0B20-4649-836B-8B9F489B6233","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":"Q6174546$4DBB6D36-F8E7-4EBB-9B05-C6DB1D823483","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":"Q6174546$7090B467-C89C-44D6-A2DF-E88022E13A1E","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":"Q6174546$5D12D7CE-C2EB-4650-A342-E952EE74D0FA","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":"Q6174546$CA064081-DF9A-4A03-90B2-B6A0CEDE7B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5800d93eb4f8caa03263f0b51c3001208ff1e9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3050157,"id":"Q3050157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174546$28165F52-72D0-4990-9E6F-4844E49104AE","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":"Q6174546$1A1568CF-B204-4D7A-BAED-995AEDA52E16","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":"Q6174546$C8E1DD65-0D8F-48D8-953B-F5BD21E3192C","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":"Q6174546$BAE721A1-AD2E-45C1-80FB-AC2C4DCDD1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8753e520f7d6967cd6b68ee4b8342c58e4801be1","datavalue":{"value":{"entity-type":"item","numeric-id":1373741,"id":"Q1373741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174546$5C5D00E4-D278-4E77-9C73-5A946DFBD536","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":"Q6174546$16722080-C9A3-45FC-897E-6158337E95F2","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":"Q6174546$BE44A064-E719-43D9-B7D3-E99386AE555B","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":"Q6174546$5395F011-1E56-4F7B-B4E0-933D756638AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c928aa69eeb9863feff2691dfbd266b7b306a139","datavalue":{"value":{"entity-type":"item","numeric-id":6661753,"id":"Q6661753"},"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":"Q6174546$29F602D2-2D8F-4B07-B98D-7DF6A836033C","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":"b1a7bcb04b0087152eaf2a39f2119b5b18d04b41","datavalue":{"value":{"amount":"+0.7324700951576233","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":"Q6174546$C1EAC0CA-B082-44CB-B10C-3BEA1AE7AA91","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":"0c1e700f5f5af232fef28558bae296ca26511f26","datavalue":{"value":{"amount":"+0.7144696116447449","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":"Q6174546$2AE41FF0-5233-4E34-A39D-4F5079662124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a98bd47a3fb60d20cfd8d5e364b26525d4f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":1982635,"id":"Q1982635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01583198ce150809b03ce153c2f1c152a75a49a3","datavalue":{"value":{"amount":"+0.704456090927124","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":"Q6174546$AA18FF02-B4A9-465B-A95F-101F42E7CCFC","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":"bfaf206a6dd6404bd06c495aadbfa3ccaa0fb3da","datavalue":{"value":{"amount":"+0.698966383934021","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":"Q6174546$A9C79062-83A9-4B07-8DC4-082B65DFA2CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174546"}}}}}