{"entities":{"Q917551":{"pageid":919399,"ns":120,"title":"Item:Q917551","lastrevid":65334291,"modified":"2026-04-12T01:52:14Z","type":"item","id":"Q917551","labels":{"en":{"language":"en","value":"An identity in combinatorial extremal theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4156437"}},"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":"Q917551$540A9274-07BB-445A-8237-1F30F3BF3D0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10c3965ed13483134f031596596900a48fd8efa0","datavalue":{"value":{"text":"An identity in combinatorial extremal theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q917551$5D1D19C4-704D-4C94-A4C0-B85C52280267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b99140409afe6d1ac1b530bf5bf455ef7f055848","datavalue":{"value":"0705.05002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917551$C5E9F627-BC67-4982-9B44-46790FAD0E34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d4e41fee94ca117ad683c3207a0bb1bdebca334","datavalue":{"value":"10.1016/0001-8708(90)90023-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917551$A2B9B9EA-B0B5-4F3C-826B-AEAAAD843650","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc54f481984393999c33d1174b6c893ac7b1e9e","datavalue":{"value":{"entity-type":"item","numeric-id":400540,"id":"Q400540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$E5E2168B-6EB8-41A4-A92D-BF2E109AA485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13e78d027f9957631248b78948d4df59b38cd87f","datavalue":{"value":{"entity-type":"item","numeric-id":6481941,"id":"Q6481941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$23CB2912-2322-42E6-979F-99E8F1F9C3F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$235A11D9-0DA2-49C0-A54F-40B9D6F2345D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q917551$3D23883F-8CAE-48D6-8178-C662AADA399F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ca1dd316d84a5bf6adc6b68b275d19461d887df","datavalue":{"value":"The paper deals with the following identity: For every family \\({\\mathcal A}\\subset 2^{\\Omega}\\) of non-empty subsets of \\(\\Omega =\\{1,2,...,n\\}\\) is \\(\\sum_{X\\subset \\Omega}W_{{\\mathcal A}}(X)[| X| \\left( \\begin{matrix} n\\\\ X\\end{matrix} \\right)]^{-1}\\equiv 1,\\) where \\(W_{{\\mathcal A}}(X)=| \\cap_{X\\supset A\\in {\\mathcal A}}A|.\\) It can be shown that the following identity is equivalent to the preceding one  \\[  \\sum_{X}W_{{\\mathcal A}}(X)[| X| \\left( \\begin{matrix} n\\\\ | X| \\end{matrix} \\right)]^{-1}=\\sum^{n}_{i=1}W_{{\\mathcal A}}^{(i)}[i\\left( \\begin{matrix} n\\\\ i\\end{matrix} \\right)]^{-1},  \\]  where \\(W_{{\\mathcal A}}^{(i)}=\\sum_{X\\in {\\mathcal P}_ i}W_{{\\mathcal A}}(X)\\) and \\({\\mathcal P}_ i\\) is the set of all i-element subsets of \\(\\Omega\\). One of the most important results of this paper is    Theorem 1: For every family \\({\\mathcal A}\\) of non-empty subsets of \\(\\Omega =\\{1,2,...,n\\}\\) is \\(\\sum^{n}_{i=1}W_{{\\mathcal A}}^{(i)}[i\\left( \\begin{matrix} n\\\\ i\\end{matrix} \\right)]^{-1}=1.\\)    Further there are consequences for families of sets where there are considerations especially about new results for generalized antichains and about an extension to several families. In the section of geometric consequences occur investigations about n-dimensional unit-cube \\(C^ n=\\{0,1\\}^ n\\) with the usual \\(n.2^{n-1}\\) edges. The contents of the part of uniqueness proofs are some special cases as e.g. Spencer's case and other ones. The next section is dedicated to an identity for posets. In the end there are two further proofs of Theorem 1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q917551$86D7E5C0-8A5C-46F7-908C-0444C8C39A7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f3f0378ecfa7a4c451fa6524721960709997f4ea","datavalue":{"value":{"entity-type":"item","numeric-id":917550,"id":"Q917550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$7E8D9E00-7BC7-4E5A-A55C-53E657B52242","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917551$5E9E66E0-C8C1-4369-B16E-40963B69B2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff9d350acea12ffd75e7ed8da6f45c48ff041eef","datavalue":{"value":"05A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917551$F22EA854-2C7C-4B59-9088-9C750211982E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917551$F4DA3E83-CED2-4EBF-8CB2-544CE557E084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917551$11900244-950A-4EAA-8320-11F4D95AACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917551$F91D52E7-3626-4D99-8592-2F7D3C8997BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16b48282c689bdb8fde24e1982c7e47b713b8d4a","datavalue":{"value":"4156437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917551$C8ADF014-41CC-4F82-8605-9EDB297702C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e3f554922f9694348e52a5b28c17b7a78d430e","datavalue":{"value":"identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q917551$E5196010-BE37-4A62-877B-CB383DAAA7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d21e0b9a7c824e408ff49cf6a54144c47575977","datavalue":{"value":"subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q917551$8E422857-3F61-4EBB-8AE5-A0A30027C2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee4ea71f1a76d84fa20eae1f071e8d0be2af218","datavalue":{"value":"families of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q917551$764548C3-3A1A-499B-A1EF-2563D24FE48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df6a0b84cdf51f07a264e006f398a63f86cfd92b","datavalue":{"value":"geometric consequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q917551$C2CF8255-565F-4115-B86C-7B98DA0B5771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d974b0ffc6c4fb6b4f5eb7f579e852fe2f27b978","datavalue":{"value":"uniqueness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q917551$22B60213-C623-41A3-A76C-1A8A79BAC127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b12196137a69e1d4e0fde2510411b78fd158af41","datavalue":{"value":"identity for posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q917551$FDC2DBA1-0AB7-42C6-962D-B3F726EDA535","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":"Q917551$49E337A5-932D-4AD5-B43F-0EA62EBDF0E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb31d0d4f4da123a91db4ab9637fc41988f09c21","datavalue":{"value":{"entity-type":"item","numeric-id":2651979,"id":"Q2651979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$7B810AAA-0CB1-4543-AC04-B2964B423DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff6cfc722cee7357396e985123f9d62c2b3081f","datavalue":{"value":{"entity-type":"item","numeric-id":5736604,"id":"Q5736604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$D51E1B9E-613B-47C9-83C7-FAD79C40D82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f436f28d3a5620f930b43277d4434d830265a110","datavalue":{"value":{"entity-type":"item","numeric-id":5529497,"id":"Q5529497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$FED3EC6D-F036-49E6-9E1B-CE3F9E195357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c0a273982b6733ef06176a7e421cfe6976ddab","datavalue":{"value":{"entity-type":"item","numeric-id":4196436,"id":"Q4196436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$A2CEF6F6-5299-4826-9A89-F0A7B2E2F45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab0f3ffddd1b3954dff8a9e44762fef95697c50","datavalue":{"value":{"entity-type":"item","numeric-id":3797242,"id":"Q3797242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$ABD7EF6C-D27B-40DA-BE0E-690EFACB15A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b4b8064068f078b68a5cb6b19761f59c4a9eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5903678,"id":"Q5903678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$8FE83164-004D-4C34-9E08-F1BAE205F626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a63527d251dc2190f5d0e2276c8a93ecd992f0","datavalue":{"value":{"entity-type":"item","numeric-id":4745831,"id":"Q4745831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$5875FE9A-A972-45C2-93CC-F77CC26AEF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91e6a343e70f472c589a8134b7bd6fd555fdf538","datavalue":{"value":{"entity-type":"item","numeric-id":5635450,"id":"Q5635450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$65671F5E-6F92-4100-AD1F-4B313896612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9edecb511440383399e02e73639f3f749f79ed35","datavalue":{"value":{"entity-type":"item","numeric-id":5512798,"id":"Q5512798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$3C5FD6C4-114C-4CFE-86BB-2EFEA62D9CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3daee72772d0a86277b8e752921a53d6edcd61","datavalue":{"value":{"entity-type":"item","numeric-id":594865,"id":"Q594865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917551$3198CDFD-77CA-411B-B296-8BCF95374616","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c4b59695f0ee365720f43128b83484f1f34dc3","datavalue":{"value":{"entity-type":"item","numeric-id":1311014,"id":"Q1311014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476c1105ae7b03c841917b5946e9465de49f77ef","datavalue":{"value":{"amount":"+0.8296346664428711","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":"Q917551$BDB67711-98E2-4DDC-AFDE-C3F632967B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b241a35d7dc800f276cf485de409d80dcebd4f96","datavalue":{"value":{"entity-type":"item","numeric-id":762158,"id":"Q762158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aebc76b1624569a52461f2a0023ae768339c0a44","datavalue":{"value":{"amount":"+0.8292638063430786","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":"Q917551$2CC8CF43-6F24-4EA7-8331-8D93E04DF59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b36b7a7ae464de5fbbbbb28b050aae82e4e1e3","datavalue":{"value":{"entity-type":"item","numeric-id":4489203,"id":"Q4489203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87bd540b883710a431d40a41e65934018e3fb11d","datavalue":{"value":{"amount":"+0.7551631927490234","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":"Q917551$45DBEFC0-A51F-4212-AD8E-4B46A6146819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca322143f9cffe71ad31e43ae781adef17825d54","datavalue":{"value":{"entity-type":"item","numeric-id":5937926,"id":"Q5937926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47c9fb1dc5ce73b60625cd38fa989b1485bc0b6","datavalue":{"value":{"amount":"+0.7547289729118347","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":"Q917551$FD63BB90-35A5-4168-8EED-1AF8C9F14993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a15de910faba5d2ffda8b8939c274f39dd0777","datavalue":{"value":{"entity-type":"item","numeric-id":1908275,"id":"Q1908275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8934d3f256969e843c7c24268c5ba269a65ebd01","datavalue":{"value":{"amount":"+0.7536892890930176","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":"Q917551$76ADB9E9-7231-4668-B272-FB3781990EDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An identity in combinatorial extremal theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_identity_in_combinatorial_extremal_theory"}}}}}