{"entities":{"Q1283310":{"pageid":1294060,"ns":120,"title":"Item:Q1283310","lastrevid":68454786,"modified":"2026-04-12T23:49:33Z","type":"item","id":"Q1283310","labels":{"en":{"language":"en","value":"On Lih's conjecture concerning Spernerity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275379"}},"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":"Q1283310$405998FF-58B9-4796-8A6D-C84DDA11ACD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b97332ba45687f247326d3a56c577d87bbffb3f","datavalue":{"value":{"text":"On Lih's conjecture concerning Spernerity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283310$D7925AE4-8A57-4DBD-BEF8-CFEDB2705AE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"177e5f1d9475de1e2f795fdcb4752a159bf9e810","datavalue":{"value":"0916.05068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283310$96A012BE-B570-41E9-8B88-8F490FC4DE19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70fb901fbd78445ca7ba46f172c7dcc7dc3d251a","datavalue":{"value":{"entity-type":"item","numeric-id":1283309,"id":"Q1283309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283310$8ECF94E8-5875-447C-8915-8B6883CB776E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283310$C67B843B-2036-4F46-8B49-68F24A31E4EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f17fe6f73043bfd4b99079c382b6d17c4e7b22f","datavalue":{"value":{"time":"+1999-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283310$038BCCF1-4816-4C41-B055-8F83129622C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"840cced6ee11ef95c28b653838d6d040401f87ed","datavalue":{"value":"https://semanticscholar.org/paper/9a70581aaba40cd3a7cc2661605e0f5de0ef0ce3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1283310$360CAF89-D949-4D69-AC02-722B07938211","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd98cf211887f3a2b312cc131e397b8a39f69443","datavalue":{"value":"\\textit{Ko-Wei Lih} proved in 1980 [J. Comb. Theory, Ser. A 29, 182-185 (1980; Zbl 0446.05002)] that if \\(Y\\) is a fixed \\(k\\)-element subset of \\([n]\\) and \\(P\\) denotes the poset that consists of all subsets of \\([n]\\) having non-empty intersection with \\(Y\\) then \\(P\\) satisfies the Sperner property. Lih observed that \\(P\\) can be considered as a filter in the Boolean algebra \\({\\mathcal B}_n\\) generated by \\(k\\) one-element sets. From this result he conjectured that if the poset \\(P\\) is a filter in \\({\\mathcal B}_n\\) generated by a non-empty collection of \\(t\\)-element subsets, then \\(P\\) is also Sperner. The conjecture was proved to be false for \\(t\\geq 4\\). This paper proves it for the case \\(t=2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283310$B9E1E8D1-2BF4-4FA0-8C12-F4851C8AC7DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283310$BB824927-E37F-4ACF-9680-7F12D9632C13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd680aa46037d7485272be219f03e54591fc9aac","datavalue":{"value":"1275379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283310$C51F3B43-8B1B-4014-9BF3-4A61FC8D2231","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76667e59268c0deea29137aac269638a3559c856","datavalue":{"value":"Sperner theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283310$43EB0B89-AE02-40C7-BE5B-7E0DA43BFB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a795786cad2130fba5ac812b591ad83bc7fc9c6f","datavalue":{"value":"Lih's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283310$ECD6EED6-366A-493B-BEF7-62BB51D9574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8838cf47497d797c546b34ec758ed2cdf36c73b5","datavalue":{"value":"poset filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283310$FFE5FD9F-75B6-44AD-9F52-F71B41B35E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab57561e8c95fe21680ade7400a07692c4406a75","datavalue":{"value":"intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283310$753BC717-5772-49D1-8DF6-C6C657C22A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13d0a8937ce7d751aeb4e0334539bd7bc381a68d","datavalue":{"value":"Sperner property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283310$8E000107-7C4F-48CF-A757-9F046DC4192B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e43cd5be6be24d313b1e251ef7235cb543b2e57d","datavalue":{"value":"Q123152673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283310$9938D832-9CC8-496A-89B4-CFDC516CF9DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01b0989d65d3fe37f1a608a8cd96e416bda56c38","datavalue":{"value":{"entity-type":"item","numeric-id":200913,"id":"Q200913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283310$C8463F13-593A-4D02-BDC3-A2EB15BE84B2","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":"Q1283310$30F2D2C3-689F-4BC1-8F36-81FF83159EA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4076dab2b4525437547c255523fcc7d9382970ac","datavalue":{"value":"W1969178215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283310$DBC972AB-10E5-476D-9A55-F6815C674035","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fc7a4be7c28c6a0e4ea587d98f5b022833f793c","datavalue":{"value":"10.1006/EUJC.1998.0261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283310$CF0E9745-D1AC-45C9-B604-F4787AEB4915","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32c0b611239849bc1c31ec9fe5d59f1b1bc154f","datavalue":{"value":{"entity-type":"item","numeric-id":1264161,"id":"Q1264161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631f5e4c0c2e1c03d218232fea2a2a947d3a26d6","datavalue":{"value":{"amount":"+0.925449788570404","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":"Q1283310$797C1EDA-B392-493D-90A1-6226D0665DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c1caf210fed273eae7c720bff83cd99a47f23d8","datavalue":{"value":{"entity-type":"item","numeric-id":3837200,"id":"Q3837200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346a6c08e2e0203e22b9d4742b75fc0bb76a163d","datavalue":{"value":{"amount":"+0.8581487536430359","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":"Q1283310$E9555544-E248-4DBA-A072-DEA1915BF223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec32660b4969da03e0eef1ddd20285be23d9d3d","datavalue":{"value":{"entity-type":"item","numeric-id":5941526,"id":"Q5941526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7a107cfc68ebc5a826ad32402e0ce063a7a543","datavalue":{"value":{"amount":"+0.8390302658081055","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":"Q1283310$26D2A975-FBE1-4E70-9281-235A5488AB97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Lih's conjecture concerning Spernerity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Lih%27s_conjecture_concerning_Spernerity"}}}}}