{"entities":{"Q1094437":{"pageid":1105189,"ns":120,"title":"Item:Q1094437","lastrevid":66955392,"modified":"2026-04-12T13:58:04Z","type":"item","id":"Q1094437","labels":{"en":{"language":"en","value":"Partitioning Boolean lattices into chains of subsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4025494"}},"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":"Q1094437$8B3C501E-1081-4E55-832C-0BA6D567530E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd64cc45896fe4e7cdc5b9e20955125944ea4aa0","datavalue":{"value":{"text":"Partitioning Boolean lattices into chains of subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094437$F923ED69-4967-4264-9575-98DD5FAFE57A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"076492cf7e62105d4dcc56f90c67b4f1f59fae4a","datavalue":{"value":"0631.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094437$2D6749D7-747A-4294-8485-2E583DE8F1FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eea8e7d77c3bd85961dad34f48622f9613bb045","datavalue":{"value":{"entity-type":"item","numeric-id":594100,"id":"Q594100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094437$C2165817-C640-4EE4-8201-A4C584557DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f7813ba231c95dbcf9560adb0731b57ce52926","datavalue":{"value":{"entity-type":"item","numeric-id":1094436,"id":"Q1094436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094437$0592EBBF-4F56-4E57-AFAF-2816F0BD1268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"869dab8b43689dfc97a92e2a50b736bbf844e44e","datavalue":{"value":{"entity-type":"item","numeric-id":796545,"id":"Q796545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094437$55599430-720E-4094-9341-F32283ED0ECF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094437$6352A9D6-6A32-4711-BD48-1D417A3BBF4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1094437$9FE15DC6-742A-4B93-A768-1198169B053D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b6f015308daf7f882e8557377787cff245ba0f37","datavalue":{"value":"The authors prove that the Boolean algebra \\(B_ n\\) of all subsets of an n element set can be partitioned into \\(2^{n-2}\\) chains of length four if and only if \\(n\\geq 9\\). If \\(n\\leq 8\\), then there are more than \\(2^{n- 2}\\) sets of cardinality [n/2] in \\(B_ n\\), so that the condition \\(n\\geq 9\\) is clearly necessary. By induction, it suffices to prove that \\(B_ 9\\) admits a partition into four element chains. This is done, using Hall's theorem and the Kruskal-Katona theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094437$98038BB6-837F-40D5-9783-1EEA1B47FCA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094437$35CD3C5A-C5FF-4B42-9A7F-96AC1BC35E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094437$A3238538-A269-4AAF-A6A1-E3FED94D3C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4920bcb5055cf3da94830f00d832c01308357d4b","datavalue":{"value":"05B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094437$6A72DEC6-119B-45D1-A955-744AFA29337C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8eef0f80712b415210dc37d397aef5028c9faffb","datavalue":{"value":"4025494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094437$A1F6E2EB-2BFD-4A09-B92B-43F02FF6CF9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094437$93C0AE3A-081E-496E-B43B-5D650C1D4D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0d43ada2e36a3aa34971708edc8f8f0b35bfe19","datavalue":{"value":"partition into four element chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094437$4A717A42-6AE2-4472-BAF4-8F12A5F17659","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":"Q1094437$709710C2-F767-4454-879D-523EC6CD9999","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4566693b727ef3a3f950fba8de8661e6f8dac5b","datavalue":{"value":{"entity-type":"item","numeric-id":1861242,"id":"Q1861242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4705ac95ada570f981cd8400aca15811bb056139","datavalue":{"value":{"amount":"+0.948111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094437$7B4E72F1-D16F-4878-B358-D77D83714819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db26821c9ab849bc0219ebbe55ae9860d94c357","datavalue":{"value":{"entity-type":"item","numeric-id":1604571,"id":"Q1604571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47ea89d34efc3ff3b800d514950b3feb7426a54","datavalue":{"value":{"amount":"+0.94701684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094437$688F6D7A-5320-4479-9456-18F679D6BFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a592482571daa26594bf5737964c6fbb4e645d1f","datavalue":{"value":{"entity-type":"item","numeric-id":1867287,"id":"Q1867287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f5cc3797d3223027ba1d7bbb39652d03a0b96b","datavalue":{"value":{"amount":"+0.9446728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094437$F3550FF9-73E5-4E20-9322-4B9DF9545D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa632a5c1cc14f904c2b07af19cc0b09d06a5533","datavalue":{"value":{"entity-type":"item","numeric-id":4405934,"id":"Q4405934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ed91d227e7e98b7cc7572b500e5256292d2cc1","datavalue":{"value":{"amount":"+0.9428332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094437$0D1BD338-F600-4E84-B6CF-6850028C9ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1093a2de03459c32de8205a98d3756511956fe5","datavalue":{"value":{"entity-type":"item","numeric-id":1332423,"id":"Q1332423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adea5200f7b424b806dbd1a21a21164252f145fa","datavalue":{"value":{"amount":"+0.9266469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094437$D6720E6C-7C7A-4B47-B024-45470468B6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0bae86be37a8d15cf0ae776b48de3fb8a00743","datavalue":{"value":{"entity-type":"item","numeric-id":1041598,"id":"Q1041598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ff4f8f68e9cd1542c6f5180960b683661b6ac6","datavalue":{"value":{"amount":"+0.9111422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094437$0FD84E29-712A-4CE3-A055-3DF6063DCD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14329c7c5178ded1504aa5473800e98682e06703","datavalue":{"value":{"entity-type":"item","numeric-id":1621412,"id":"Q1621412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db152f8670b94ef8ba62ea362a1f6b9f9efb3574","datavalue":{"value":{"amount":"+0.91071224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094437$CA72718E-400F-4DD1-A4DD-7A649840F5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5de9019007607dbad1d2ab21e9928c497fba43fc","datavalue":{"value":{"entity-type":"item","numeric-id":501073,"id":"Q501073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325f26620ca539d400ec44d4eaf578180e8a2379","datavalue":{"value":{"amount":"+0.90868664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094437$AD6F9EC6-00C7-4348-BCC0-56C0B27F82BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c3a2ddfd7a779aa9e05ce9bc8a58e5f75cb0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4133680,"id":"Q4133680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ea54722970f3c97cb28cb59fb35c17f12ab959","datavalue":{"value":{"amount":"+0.8910724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094437$5F018840-F2F4-4931-8C00-D702824CE986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9894e229f5c5ef81a37bf3334b7c0bc7c92751","datavalue":{"value":{"entity-type":"item","numeric-id":1182036,"id":"Q1182036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753dbc456e74d9582b34edd8513f7f4206b6870a","datavalue":{"value":{"amount":"+0.87745565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094437$EE688A8A-C6CB-4006-B8B2-DC10D0E33E18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partitioning Boolean lattices into chains of subsets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partitioning_Boolean_lattices_into_chains_of_subsets"}}}}}