{"entities":{"Q1079808":{"pageid":1090560,"ns":120,"title":"Item:Q1079808","lastrevid":69913278,"modified":"2026-04-13T11:10:45Z","type":"item","id":"Q1079808","labels":{"en":{"language":"en","value":"An inequality in binary vector spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3964851"}},"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":"Q1079808$67FA58DC-4AA8-4EC0-9053-70AA95CED6BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46c0c96923af1c876b1d87e7dddd49d05c26536f","datavalue":{"value":{"text":"An inequality in binary vector spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079808$6B5256B6-2FF2-4999-B20F-9F12CAE327B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21e02be1349c9aaa1449882ce784caa71fa6d8ce","datavalue":{"value":"0598.51010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079808$5DE96DF9-2954-44EF-8CDA-924E454E6D65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a87f9745de4c4314e81d9a8dc7de5c8209117206","datavalue":{"value":"10.1016/0012-365X(86)90177-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079808$44BEC405-4FF5-436B-B41A-9C6186BACF80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079808$7C9B23A6-AB56-4E03-ABE9-19E1CA2D277B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1079808$F5B05671-3A68-4863-8839-D1FB54D13710","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8a8e16fe4f47593c552aaa5d7b32cb7a76cddda","datavalue":{"value":"The author considers the following problem posed by Ganter: ''Let V be a vector space over GF(2) such that  \\[  V =\\cup^{k}_{i=1}U_ i;\\quad V \\neq \\cup_{1\\leq i\\leq k, i\\neq j}U_ i\\quad (j=1,...,k);\\quad \\cap^{k}_{i=1}U_ i= \\emptyset.  \\]  Does this imply that dim V\\(<k ?''\\) and gives an affirmative answer.    This settles a conjecture by G. Bruns on the covering of Boolean algebra by subalgebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079808$EE42C577-96B9-4856-8FAD-9F2F8C393235","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"81f6c4acc14213666fc75fd9b7e3778359d51d7e","datavalue":{"value":{"entity-type":"item","numeric-id":593721,"id":"Q593721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079808$43270539-ACB6-47AC-A9DB-BD76855D2AC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5b02769611dbfc22bf11ec4d30f72c20adf5c5","datavalue":{"value":"51E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079808$3262D002-E564-4419-9EA8-126BF0708ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079808$D47B926B-7304-4B1E-B6D1-7C97C10F2536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079808$903F29CC-2893-496A-9660-7E2B30209625","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"716ee92569ddffbe664721191cc8e0f4fd6e14f3","datavalue":{"value":"3964851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079808$722C6BB7-59EE-4FD2-8D15-92DFBAA9E6CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b2e482883e87a19954678311a51081a485f629","datavalue":{"value":"n-dimensional vector space over GF(2)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079808$930DDC2A-F79C-4A4A-AEB1-978679DAF5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cce75d7bd2127a123982f75c3b203c0be873653","datavalue":{"value":"union of subspaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079808$341289EC-5F60-4D41-A09B-F5F4C3954DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c2fdedc98ad165e3500f2f99377d96c3d5a4e4","datavalue":{"value":"problem of Ganter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079808$3EA6C5FE-D00B-4E53-839C-28A863299FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26737fa1e22ddc668806886bbddff16c024ea1e3","datavalue":{"value":"conjecture of Bruns","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079808$5C4B63C6-6ECA-4C2D-B037-6718510D7F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc483c15e1c618a14e1f35feb3b6e1464c91160e","datavalue":{"value":"covering of Boolean algebra by subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079808$5466FF43-948B-498A-B3F4-A9D4903D2A62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63514f8901601be748fabcb75a902e9d454a0194","datavalue":{"value":{"entity-type":"item","numeric-id":203455,"id":"Q203455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079808$01600CFF-3DA8-4C18-8CE0-D41C048037E9","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":"Q1079808$3F178F5C-F1EA-4C79-8F95-9CAA45E7643D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e016a3c8ca2ac05d4f722a308e7e947547828ac8","datavalue":{"value":{"entity-type":"item","numeric-id":3851217,"id":"Q3851217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079808$46260188-7297-4621-B0B9-10271275961F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aa842c76abdfd0e6a6a79fd088f4d98c841966c","datavalue":{"value":{"entity-type":"item","numeric-id":3889692,"id":"Q3889692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079808$FBC8F08A-E95B-4ECB-B5FB-F61BC43C4321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8addb515b9673ce0cd03efcadc0a5c7c4e978f76","datavalue":{"value":{"entity-type":"item","numeric-id":3955406,"id":"Q3955406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079808$76277FC2-91F0-4ED9-AB38-7267452113C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b30dae1900fa8a46da153b9202d3c94b266bb5d","datavalue":{"value":"https://doi.org/10.1016/0012-365x(86)90177-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079808$91B745BF-4C4C-4F2A-8745-A1D657B10619","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c794610c18ffcc2c21c149d34a57eab2285d725","datavalue":{"value":"W2139857936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079808$191C93CB-1FE0-4398-88CE-0E30B7254EF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2015ad943064236c627f2a80cb30e283a183357a","datavalue":{"value":{"entity-type":"item","numeric-id":840668,"id":"Q840668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366607b106374674153071d3cb2d1619a7cf0ffd","datavalue":{"value":{"amount":"+0.7546067833900452","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":"Q1079808$572DAA42-0A15-4C16-903D-F798036AB908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4889b999b0b4d9966d64b3c0749fdf7cc51a69ad","datavalue":{"value":{"entity-type":"item","numeric-id":4871373,"id":"Q4871373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d90f2d326f4b20a201e04212b9d403c8188d9e8","datavalue":{"value":{"amount":"+0.7379893064498901","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":"Q1079808$1CDBD775-FF94-4BF3-9790-487478D9875A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d0057d905935d65437bed54a7bfff482e98406","datavalue":{"value":{"entity-type":"item","numeric-id":5581649,"id":"Q5581649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdba40952ab72e2b3b5422bc47c75e74fcd2b51b","datavalue":{"value":{"amount":"+0.7301478981971741","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":"Q1079808$40CF2D45-120A-4BE8-B301-2DECC339B1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3315b7fa7ffada68bf9de5b3f5c4264606b96321","datavalue":{"value":{"entity-type":"item","numeric-id":3816194,"id":"Q3816194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d031444d3c355580970d7d3e3627dc2e64e883","datavalue":{"value":{"amount":"+0.7227204442024231","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":"Q1079808$1C71C330-A5DB-4429-A89F-8D4ABD270EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ce0335c63ecf65609372ef273a5f8d04841063","datavalue":{"value":{"entity-type":"item","numeric-id":2904855,"id":"Q2904855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27051189d9424ec6646320634c4f137ac1305fc3","datavalue":{"value":{"amount":"+0.7222420573234558","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":"Q1079808$7A8AB7B4-CE14-41A7-8EC7-ED0F8E71C3AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An inequality in binary vector spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_inequality_in_binary_vector_spaces"}}}}}