{"entities":{"Q1919667":{"pageid":1930409,"ns":120,"title":"Item:Q1919667","lastrevid":71162406,"modified":"2026-04-13T19:53:26Z","type":"item","id":"Q1919667","labels":{"en":{"language":"en","value":"Long symmetric chains in the Boolean lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 909612"}},"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":"Q1919667$B11D5806-89E2-4DA0-A8BE-B38E8A2FC068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"686661ee494c84420098a36da80f898d78a3614d","datavalue":{"value":{"text":"Long symmetric chains in the Boolean lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1919667$2DDF552C-F53E-40DB-93A5-C1CDEDA0759C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8679aaf39a86a732285409214be2c4087980640a","datavalue":{"value":"0855.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919667$86C9621F-D8B1-4FCA-8751-CAA6F773C886","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59dde45a716958e108c5c7c168b94cdc52aedde6","datavalue":{"value":{"entity-type":"item","numeric-id":458286,"id":"Q458286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919667$5826B28C-A0F7-4093-85F0-1C71E6D7B944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cde4e5a1be5a21cb604c46a652b5643ce677cfa","datavalue":{"value":{"entity-type":"item","numeric-id":162954,"id":"Q162954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919667$0FFEC067-9EC8-4958-95B0-B5B7935C175F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919667$3CCB50CB-8357-4855-BB1A-D3FB64C69554","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e07d9d11a2ba302107962ee905494def3b3a5b21","datavalue":{"value":{"time":"+1996-10-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":"Q1919667$C01841F3-EBD7-4FEE-8A53-B1125380C7B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc775f7d708184ea0c4ddcab1fdcd0b0468fc8d2","datavalue":{"value":"https://semanticscholar.org/paper/c4cf70d8ba3dc45f2ca6f56dc3917353ef5a5190","type":"string"},"datatype":"url"},"type":"statement","id":"Q1919667$822D0C0C-AECA-4076-8ED9-B282AD6754E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3a24720c62c3236c2d60628686e9b98b6cf8a25","datavalue":{"value":"A chain \\((X_1 \\subset \\cdots \\subset X_l)\\) in the Boolean lattice \\(B_n\\) is called saturated if \\(|X_{i + 1} |= |X_i |+ 1\\), \\(i = 1, \\dots, l - 1\\). If, in addition, \\(l = n - 1\\) and \\(|X_1 |= 1\\), then the chain is said to be long. The authors prove by induction on \\(n\\): For \\(n \\geq 2\\) and any collection of \\(k \\leq n - 2\\) saturated chains in \\(B_n\\) there exists at least one long chain disjoint from the chains in the collection. For \\(n \\geq 3\\) and any collection of \\(k \\leq n - 3\\) saturated chains in \\(B_n\\) there are three pairwise disjoint long chains all being disjoint from the given ones. Moreover, the authors present an example of \\(n - 1\\) pairwise disjoint long chains such that their union is a cutset, i.e., there is no further long chain in \\(B_n \\backslash C\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919667$CCC8E253-AE87-4EBA-9304-F7A5D85068E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc01f965b0513cf320497fc21a959a6ae364b21d","datavalue":{"value":{"entity-type":"item","numeric-id":427811,"id":"Q427811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919667$11398887-5BBD-4C61-8C69-B1BBA11BC8CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919667$DFEAD6EB-6DAD-4DF7-9A31-BBDBBDB91CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919667$6BA5740D-6995-4A1E-8680-D2A5E615F330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"049fbd9dc1751f8933807c3906cb04e93a5d5dd5","datavalue":{"value":"909612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919667$809802C3-A91A-4C15-AD4D-8B43105CFBFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0535b7408db70f03151e8bce7635aabf63021d","datavalue":{"value":"symmetric chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919667$E4618A77-6A80-424E-83C1-5204F0E13659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e5635796d61a2276700c5751e732bf45eb0f7a","datavalue":{"value":"Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919667$59C39332-4485-436D-B2FD-7E464724F3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6215595576fca9bdccff614ddae9f5bf30438653","datavalue":{"value":"saturated chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919667$C6326FC4-BAEE-495F-9BAF-F4E3798E99E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df7b8ff128a991403c1773eed61d14b2127ee343","datavalue":{"value":"long chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919667$9EF58411-C4D5-4856-ADE2-B67D41DCAF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c76755b40378012473301226340484cbbecd869","datavalue":{"value":"cutset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919667$224656BA-BCB2-4C73-B948-CCA84173F158","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":"Q1919667$4335D655-1D50-4EF7-A4AA-617BF0F567CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ad36621cb0a282472eb3013bf44beb24c29f6cd","datavalue":{"value":"W2037553401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919667$DF3A3059-5856-4F5E-A169-01052571A2A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3463b9512b49247d7c13ef3e030d6b9a9a1e52ac","datavalue":{"value":"10.1006/JCTA.1996.0062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919667$DEDB7638-D2CB-42F5-8E8B-5451ACC8C3A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1174b10844fa1d9cff46a519b77cc4ea4d9a64d1","datavalue":{"value":{"entity-type":"item","numeric-id":1272952,"id":"Q1272952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b031e34d802c058a98ae47090c3ca75e1ea7d773","datavalue":{"value":{"amount":"+0.8403968214988708","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":"Q1919667$0B4B362A-3940-4728-AA37-14831A71BAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d763915b153df8f7dd7ba8f2b1a281eb5dc599","datavalue":{"value":{"entity-type":"item","numeric-id":5262057,"id":"Q5262057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b031e34d802c058a98ae47090c3ca75e1ea7d773","datavalue":{"value":{"amount":"+0.8403968214988708","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":"Q1919667$D1E6B9FE-E0C0-4F92-ACA0-2C3EB62547ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf0e642d954cfb06de830fca044bc9dc7e9b19a","datavalue":{"value":{"entity-type":"item","numeric-id":5937251,"id":"Q5937251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81adddc54dcf5c67b23eeb712b4704d475bdba94","datavalue":{"value":{"amount":"+0.7938433885574341","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":"Q1919667$4D5C8A72-3FD8-4925-9DA5-891ECF73421A","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":"81adddc54dcf5c67b23eeb712b4704d475bdba94","datavalue":{"value":{"amount":"+0.7938433885574341","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":"Q1919667$538EAE05-EF9B-44E6-990A-7A7A900BA7F7","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":"553f24929c22c77ab4e93e22cb6be95c26a78533","datavalue":{"value":{"amount":"+0.7821427583694458","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":"Q1919667$34C437D9-1095-482C-B016-247B4AE2BF87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Long symmetric chains in the Boolean lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Long_symmetric_chains_in_the_Boolean_lattice"}}}}}