{"entities":{"Q660087":{"pageid":661936,"ns":120,"title":"Item:Q660087","lastrevid":63545172,"modified":"2026-04-11T13:53:45Z","type":"item","id":"Q660087","labels":{"en":{"language":"en","value":"All binary linear codes of lengths up to 18 or redundancy up to 10 are normal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6000193"}},"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":"Q660087$419326C4-8036-42AA-9FD6-971E0C8BB538","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02b21df5f2433cfd5388bd9053b25c7733d32f23","datavalue":{"value":{"text":"All binary linear codes of lengths up to 18 or redundancy up to 10 are normal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q660087$A4075B57-456A-4038-B67C-0849DBA32D18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9cbb01fb4695fa2991a448b914c558ce518224d","datavalue":{"value":"1239.94081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q660087$CFF9C36B-02F1-4E3A-9DDC-C3ED24D75FF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6930ab8e1ff702d6af91a0a660c081a26e7eb4f9","datavalue":{"value":{"entity-type":"item","numeric-id":259257,"id":"Q259257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q660087$9D918805-4B5B-4C26-AAC3-63DD3EC447C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b136833f6dd599b8d20cb3deaa176b89049c2fb8","datavalue":{"value":{"time":"+2012-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q660087$6FEEEC5A-74C4-40D7-B558-8B51B8A53684","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65fd41640f1d2e9f8f059e80ee9b2067d6be1b10","datavalue":{"value":"For a survey of covering codes, see for example [\\textit{G. Cohen}, \\textit{I. Honkala}, \\textit{S. Litsyn} and \\textit{A. Lobstein}, Covering codes. Amsterdam: Elsevier (1997; Zbl 0874.94001)].     Normality and amalgamated direct sum are used to construct good covering codes, i.e., codes with small covering radius compared to others of the same length and dimension. This kind of approach requires the constituent codes to be normal. Hence, much research has been focused on the question: which codes are normal? The author proves in this paper the normality of the binary linear codes of lengths 16, 17 and 18, or redundancy 10.","type":"string"},"datatype":"string"},"type":"statement","id":"Q660087$D53C94F1-7220-46C3-B0CA-70CE17020681","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e51adb5fded8427aba510fd00c59eaf339cb8e95","datavalue":{"value":"94B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q660087$AA3DD01E-EB20-4695-B53B-C80FC1F7D5F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ac2b55d95a62b63f8b59ac22ed0c967ad0ae180","datavalue":{"value":"6000193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q660087$F1824196-AB31-40B6-9DE3-2C83B6B6220C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b5830331370a7f8546662871376e4d12cbee28","datavalue":{"value":"binary linear codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q660087$70702FA4-A2A3-4858-853A-20C45DBBC293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094a038b627c38304b5cc1f67ec7788e832dc03b","datavalue":{"value":"normal codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q660087$372F9182-9A09-45AC-9B3A-08C6809BB6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae759507bb9563b997a3ae1e2c1987b9dc770fd","datavalue":{"value":"covering radius","type":"string"},"datatype":"string"},"type":"statement","id":"Q660087$EE99B3B4-8C59-4A64-9CBA-F3023E9B3A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1129cb97af32e24b647840c54e177123123b150e","datavalue":{"value":"least covering radius","type":"string"},"datatype":"string"},"type":"statement","id":"Q660087$F1B5D47C-D4FC-4B87-A6ED-B79532E03A14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3986be96b37fa40a62e8b0df96c3cc666276d741","datavalue":{"value":{"entity-type":"item","numeric-id":1381614,"id":"Q1381614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q660087$C9BE302E-7D0A-43F5-9C68-17EFEC1996F3","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":"Q660087$591E5CDC-EEA6-4B30-92C7-A13015AB8C24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8900cd37189a50278c59f28b12682dc6aade29eb","datavalue":{"value":"https://doi.org/10.3934/amc.2011.5.681","type":"string"},"datatype":"url"},"type":"statement","id":"Q660087$53BA7907-3E17-42E8-945F-A688E698D6F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8738450011f9968d45e8946f1193615c2c919026","datavalue":{"value":"W2026759792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q660087$0B580812-AC68-4628-AB5A-A901783C5373","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"362d33826e0a24642f4fa5e2e2c683ed33a8d14a","datavalue":{"value":"10.3934/AMC.2011.5.681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q660087$ED06AB6C-47C7-44E3-B0BF-8F785B08E1F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"009f76a7d900796d5c7edd082adfe963c7b1f124","datavalue":{"value":{"entity-type":"item","numeric-id":3199339,"id":"Q3199339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80ae1e1afc21fbc07cb876a3eebe4635c3b032b","datavalue":{"value":{"amount":"+0.8516281247138977","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":"Q660087$7AD998ED-790D-4693-A623-3A84CFABD993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242926d29667651084e9b4c37b91e4ff89919c44","datavalue":{"value":{"entity-type":"item","numeric-id":4307357,"id":"Q4307357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dabf221ec339e7faafb16eef034ebcd07382777","datavalue":{"value":{"amount":"+0.8153091073036194","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":"Q660087$B9931AE2-B06E-4920-93A4-5091064BAFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4488c35838eb79350912342a47d6b2fbe2bec0d5","datavalue":{"value":{"entity-type":"item","numeric-id":1352424,"id":"Q1352424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99298b3db3c9e93afc82d3518a8c438c4c318c8a","datavalue":{"value":{"amount":"+0.8142082095146179","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":"Q660087$5A7F2FC9-5F13-4F32-A400-5D8660D5CFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"444c53df2618e80bf0a77ecc79a2ade45132ffd3","datavalue":{"value":{"entity-type":"item","numeric-id":3483220,"id":"Q3483220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee55524a4a5ff2e83b4b9081c61c232697a90d6","datavalue":{"value":{"amount":"+0.8136751055717468","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":"Q660087$C0875874-56F7-4CD7-85FA-0E32A6879FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05370c5721f6ffa7563eeb477106c29d44492a46","datavalue":{"value":{"entity-type":"item","numeric-id":5753879,"id":"Q5753879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9dabd938067fb59efdc8294204faa1483f5654","datavalue":{"value":{"amount":"+0.8025106191635132","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":"Q660087$BFCC20F4-75A8-413C-B87B-30584E4A7359","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"All binary linear codes of lengths up to 18 or redundancy up to 10 are normal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/All_binary_linear_codes_of_lengths_up_to_18_or_redundancy_up_to_10_are_normal"}}}}}