{"entities":{"Q1337570":{"pageid":1348309,"ns":120,"title":"Item:Q1337570","lastrevid":67187544,"modified":"2026-04-12T15:55:24Z","type":"item","id":"Q1337570","labels":{"en":{"language":"en","value":"The dimension of interior levels of the Boolean lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683159"}},"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":"Q1337570$0B1A02E1-221A-40A5-B254-10F3D6A01719","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"307cbb15e7e70843ab21cb93a63af9e3e6688de2","datavalue":{"value":{"text":"The dimension of interior levels of the Boolean lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337570$9AA5CB6B-B5D8-4B7C-81D5-3AFCF2C5DF9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"868adad66f3db4359745b5c5f8b07ed5ca6b803c","datavalue":{"value":"0809.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337570$3FF5912F-3651-4E86-9053-8D70EB059D84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec3e37f96d3bc1a402603a0ec7f0fa5b86acfa15","datavalue":{"value":"10.1007/BF01462227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337570$67C193C4-CBEC-44D7-A70B-E36DA3A75E91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baaccf29edb2eb29a64d777b77cbf3a8d0ec6552","datavalue":{"value":{"entity-type":"item","numeric-id":1337569,"id":"Q1337569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$79218B1B-5E8A-4E8B-A97F-16B2BA59D6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54156d800bdfce1cf8a5cc3c4ddc37bba6e07e9e","datavalue":{"value":{"entity-type":"item","numeric-id":442314,"id":"Q442314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$043CD4B5-358D-493A-AF31-C499A38A8A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a112fcddf40de3e0f26627c12549da4365ccc05","datavalue":{"value":{"entity-type":"item","numeric-id":214987,"id":"Q214987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$1088B1A4-DDC9-42A2-807D-AE3A85A51170","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":"Q1337570$081C9908-BC4A-463E-94E4-5BD6DA0BB354","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d7b3792c6f1d919d9d108f6161dcb3e3ccde785","datavalue":{"value":{"time":"+1994-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337570$5F1EFA4B-DD30-4820-A1A5-73AF07BF3A7D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f319bb36ebbd52930aacc3010b3bc4636a3f50f","datavalue":{"value":"For a positive integer \\(n\\) and integers \\(k\\) and \\(r\\), \\(0 \\leq k < r \\leq n\\), let \\(K\\) and \\(R\\) denote (respectively) the families of all \\(k\\)-element and all \\(r\\)-element subsets of \\(\\{1, 2, \\dots, n\\}\\). The dimension \\(d(k, r; n)\\) of the containment order \\(P(k,r;n)\\) on \\(K \\cup R\\) is the least number of linear extensions of \\(P(k,r;n)\\) such that their intersection is \\(P(k,r;n)\\).   The main results describe \\(d(k, r;n)\\) for the case \\(k \\geq 2\\): 1. For \\(n \\geq 5\\), \\(d(2,n - 2;n) = n - 1\\). 2. Let \\(n\\) and \\(j\\) be positive integers with \\(n \\geq 5\\), \\(2 \\leq j \\leq j_{n - 1}\\) and \\(\\left \\lfloor {n - 1 \\over j - 1} \\right \\rfloor \\geq 3\\). Then let \\(r\\) be the unique positive integer such that \\(\\left \\lfloor {n - 1\\over j} \\right \\rfloor + j - 2 \\leq r - 1 < \\left \\lfloor {n - 1 \\over j - 1} \\right \\rfloor + j - 3\\). (1) If \\(n - 1 \\not \\equiv 0 \\bmod (j - 1)\\), then \\(d(1, r - 1; n - 1) = n - j = d(2, r;n)\\). (2) If \\(n - 1 \\equiv 0 \\bmod (j - 1)\\), then \\(d(1, r - 1; n - 1) = n - j \\leq d(2, r;n) \\leq n - j + 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337570$A5B6ED17-8F6E-4E68-80BC-02F49BF3AA01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337570$3B855758-DD80-4305-84F8-88C259A8FC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a3bb76dbd41580d9287ece5137de80ddf22202f","datavalue":{"value":"05C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337570$C4898D8C-42AB-44E9-A88F-19696DDF2B11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30797eee89f362f2246b385792ec743780ae073f","datavalue":{"value":"683159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337570$8B07B0C6-2F4E-4F73-B346-D4C16E195DD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4768181659397122937393c61764e2f954409467","datavalue":{"value":"dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337570$6A87FD97-45BF-4ECB-8ABA-55B20932C1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b224e24b6a4d8a24ae50f5398b56748a28ea121","datavalue":{"value":"containment order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337570$5D621A11-B54E-4905-B0A4-446837D2DF30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2bd152c47da1e590d7463e91ee84cdb7d2fbcbf8","datavalue":{"value":{"entity-type":"item","numeric-id":587477,"id":"Q587477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$1235BB42-96DF-4FE4-815A-3D55D6B3C653","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":"Q1337570$7ADEC8D7-FA98-43AE-A12B-16B90B61F2C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d9095e4db95fb3b4120f1231e76983ec657071","datavalue":{"value":{"entity-type":"item","numeric-id":1338128,"id":"Q1338128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$C372C4AE-EB94-4C05-B0C2-98EBD7325D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9e3a50b294cb145c582a935154bcdc21a83fd2","datavalue":{"value":{"entity-type":"item","numeric-id":5800364,"id":"Q5800364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$D8CDB99F-0EAE-4BC1-8A1D-0F5EBABB628E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04655507cfa3b8351f7f0657e6f8472d4b8b19a3","datavalue":{"value":{"entity-type":"item","numeric-id":5780132,"id":"Q5780132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$210174D9-C121-4959-A704-9468F69247C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87012ac2416e011f5073be291f7fc0e6b84791f7","datavalue":{"value":{"entity-type":"item","numeric-id":1337568,"id":"Q1337568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$CE09AA64-1E7A-4010-BC4F-4C725166400C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bcb963f62a4cbbca21ce29c88d24d2cccd3004","datavalue":{"value":{"entity-type":"item","numeric-id":3137188,"id":"Q3137188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$45562E86-1B50-4AB1-B98E-56B46D463399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a712983657eae1c618a992c9f42063a2ca4fdc","datavalue":{"value":{"entity-type":"item","numeric-id":1322186,"id":"Q1322186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$33758DB0-FA96-4573-A692-14596820AF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccee73b0e548b561c250a58de15d07206cfc4ae","datavalue":{"value":{"entity-type":"item","numeric-id":5652683,"id":"Q5652683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$7ABDA172-176A-47F5-B0F2-486801BA4F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fcfd47c3fe9e0f097b76c7c78a15869fd96ffd9","datavalue":{"value":{"entity-type":"item","numeric-id":4004146,"id":"Q4004146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337570$B923BC9F-3BFA-47AF-98CE-54B304C6D0E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603bdde022cf136e19755da253389dab241be869","datavalue":{"value":{"entity-type":"item","numeric-id":1970928,"id":"Q1970928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be640ee1250cd2f1be16f1403d9eccf689bf3add","datavalue":{"value":{"amount":"+0.9005745053291321","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":"Q1337570$0A633B30-F779-430C-80F6-0655DA17B82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c2567925fe392e527adb6f7c6f869e4fac51242","datavalue":{"value":{"entity-type":"item","numeric-id":1267550,"id":"Q1267550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be640ee1250cd2f1be16f1403d9eccf689bf3add","datavalue":{"value":{"amount":"+0.9005745053291321","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":"Q1337570$7D947411-B256-460C-92AA-50145D3B1E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea4c99e07f5be019cc7907717796cb71d110b99","datavalue":{"value":{"entity-type":"item","numeric-id":1337568,"id":"Q1337568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581da9932f9baee126a7dc38c51b32eb1be64b2a","datavalue":{"value":{"amount":"+0.8631949424743652","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":"Q1337570$4E6F9143-D8EF-475E-9714-9668118D6993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbda781714f35399964a3dee98facd9fd9737188","datavalue":{"value":{"entity-type":"item","numeric-id":1906136,"id":"Q1906136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2afcab67150320f85bbf0525c55cdc3fc39050","datavalue":{"value":{"amount":"+0.8614678978919983","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":"Q1337570$1D6AB899-7DC4-49A7-96CD-78C87F283D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f98c968e3b941967205d6050e4c72af7c2e582","datavalue":{"value":{"entity-type":"item","numeric-id":1301734,"id":"Q1301734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1210ac375b947ac97d580f6e77f46455241c5a1c","datavalue":{"value":{"amount":"+0.829383909702301","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":"Q1337570$9A48BDFB-B6C4-44D8-9DB2-C48395CB6E90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The dimension of interior levels of the Boolean lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_dimension_of_interior_levels_of_the_Boolean_lattice"}}}}}