{"entities":{"Q1332423":{"pageid":1343168,"ns":120,"title":"Item:Q1332423","lastrevid":68489973,"modified":"2026-04-13T00:03:12Z","type":"item","id":"Q1332423","labels":{"en":{"language":"en","value":"Partitions of large Boolean lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 626345"}},"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":"Q1332423$2722FC51-D8EE-4544-A402-1154523CD54E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4ad246e28b9b552e86597a009341c23f1acb043","datavalue":{"value":{"text":"Partitions of large Boolean lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332423$1CF0DE58-23A5-48CB-8F72-E3D2907AACB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"297a283e9e705a59bc621b48729eedd152bf51f9","datavalue":{"value":"0812.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332423$E139F14F-B0D0-4F4C-9B02-215DD229B26F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30939d880397a837c7478ea5d13b506b30c3b163","datavalue":{"value":"10.1016/0012-365X(94)90382-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332423$E3AB105E-101F-4A89-A318-6AB5B3C0CFA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a094617668ca5472864a91b2127d79b99bab01cc","datavalue":{"value":{"entity-type":"item","numeric-id":298334,"id":"Q298334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332423$E1432CCE-671C-4570-91CC-B5795B227EDF","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":"Q1332423$0882571C-F1A1-41EA-BE72-0C7EDC7C2D5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12c17d7316137b5457243cfe10f00c4bb5a56573","datavalue":{"value":{"time":"+1994-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1332423$2B490354-0C11-486A-B519-D5680B08FFEC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e5cd8dd146807263d285e7746df03c2dd60e210","datavalue":{"value":"Let \\(2^ n\\) be the ordered set of all subsets of \\(\\{1,2,\\dots,n\\}\\) ordered by set inclusion and \\(2^ n_ -\\) be the ordered set obtained by deleting both the greatest and the least elements from \\(2^ n\\). Main result (Theorem 2.1): For each positive integer \\(m\\) and \\(n \\geq m + 1\\), the ordered set \\(2^ n_ -\\) can be partitioned into antichains of size \\(m\\) except for at most \\(m - 1\\) elements which also form an antichain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332423$1B2B31C3-0BEA-43D9-9FD8-993BFCED3962","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332423$3954828E-83F3-413F-8654-DAB2319D361C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bafbaf4759ddbd9a9ae744a353450376f5f9bc7e","datavalue":{"value":"626345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332423$7260D257-08E2-4A0C-8A45-7BCCED30DF4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e5635796d61a2276700c5751e732bf45eb0f7a","datavalue":{"value":"Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332423$FDBD5FAE-0B82-4FCB-87BA-C8BC49EFDA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51df554145b60d94c69864664e49b02e152530ef","datavalue":{"value":"partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332423$E64FE741-17EA-4B7B-AD3D-3C0FB7CD302A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332423$972428BB-D004-4A8A-BADA-10859A8A7C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b4012ccbdab023048a01bfc8f94bd23553d1d4","datavalue":{"value":"ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332423$074A469E-DD6B-41A7-970A-FD6514315D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922c01258e140214b68568956989c4ba97b3c6f4","datavalue":{"value":"antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332423$FB3FE0BD-DA65-45F2-8FA0-E4DF0AA9BD5C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332423$78B3E3D9-C34C-4C8E-A2F1-FDCF87AD30C1","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":"Q1332423$538C3EE9-0F2A-479D-A5C2-963720E2480A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30f64611deea4236b46f7a64c31f3d4a14f0f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5650698,"id":"Q5650698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332423$6989A667-CF19-4F1F-8B62-B54DA5A0BDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f9f44969660fd2d731fa92a77cfb97303148fc","datavalue":{"value":{"entity-type":"item","numeric-id":1115891,"id":"Q1115891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332423$6944E9DA-66A6-4ECA-8DEC-F62A98657F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e83df0a21335989058758ebcbd545165b02075a","datavalue":{"value":{"entity-type":"item","numeric-id":1094437,"id":"Q1094437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332423$060E158B-1E51-4D7E-88F3-E72EA9F23FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6d587befe3bccd7fd8b90f02a772be13728bab","datavalue":{"value":{"entity-type":"item","numeric-id":1182036,"id":"Q1182036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332423$5CA17C92-6FA9-445E-8592-C1C59902F280","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":"d4788da6948b668d2f1ec9b24210d8d72d82c63c","datavalue":{"value":{"amount":"+0.8475030660629272","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":"Q1332423$A49CC645-9AA4-4F4D-A12B-326E044EC03B","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":"d291b96a865d18b299dd86636155bdedfe18da93","datavalue":{"value":{"amount":"+0.8332131505012512","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":"Q1332423$FA9F3FA2-993F-46A5-BE0D-311E0950B847","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":"549fd81695d0b3bb4287ccf020d4546dc2b0eb4a","datavalue":{"value":{"amount":"+0.8261107206344604","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":"Q1332423$AF42034A-4478-4D86-97A6-D965E85A6F1B","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":"88d90a8ddc2003065d4b87e0449eb492cf4836c1","datavalue":{"value":{"amount":"+0.8235109448432922","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":"Q1332423$701F3E7E-E725-4E64-8202-0A6D8E0672EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partitions of large Boolean lattices","badges":[]}}}}}