{"entities":{"Q1311014":{"pageid":1321764,"ns":120,"title":"Item:Q1311014","lastrevid":47218267,"modified":"2026-01-01T01:17:48Z","type":"item","id":"Q1311014","labels":{"en":{"language":"en","value":"A generalization of the AZ identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 484129"}},"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":"Q1311014$97D51F4A-823D-431D-BEE2-80A2A31EF241","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7e0c6f89b5b23e0666217bd9681c90634194c3d","datavalue":{"value":{"text":"A generalization of the AZ identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1311014$B8E24D68-8C3C-4D17-9DFD-1FA1B6CA5318","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfd90695cf04b813171d8f095bc5b6402939f19e","datavalue":{"value":"0789.05088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311014$89E4BF6B-EA19-4CD0-B4F9-13CC8293334D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d30e9f5bb7d7be01bb1dee6191f96964ff2da5b3","datavalue":{"value":"10.1007/BF01202350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311014$C8A2AEF4-A066-4713-8CB7-68A2A061F2BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a11f02928f08cada9680e0c4ddbd9f84fb4b9bf5","datavalue":{"value":{"entity-type":"item","numeric-id":833564,"id":"Q833564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311014$F2019EF0-935B-4B18-A1FC-1F58CF0210CE","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":"Q1311014$3704919D-C74C-4899-922C-2C9D6E420E99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a87e84d22579e69c48ca0a6d828473db4dde3dd6","datavalue":{"value":{"entity-type":"item","numeric-id":168579,"id":"Q168579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311014$D9C90F79-2178-4A67-AEC1-FBF61950210C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c09ae88fd636512ceb4e3e21ab02e5e439d3b76","datavalue":{"value":{"time":"+1994-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1311014$3FA5ACCC-9C3D-4664-BC15-1F956790F847","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0bad0fc76761db10d49f7fd5417a42bb219d061","datavalue":{"value":"The main result is the following identity: Suppose that for a family \\({\\mathcal B}=\\{B_ 1,\\dots,B_ N\\}\\) of subsets of \\(\\Omega=\\{1,\\dots,n\\}\\) and a family \\({\\mathcal A}^*=\\{A_ 1,\\dots,A_ N\\}\\) of subsets of \\(2^ \\Omega\\), where \\({\\mathcal A}_ i=\\{A^ t_ i:t \\in T_ i\\}\\) for a finite index set \\(T_ i\\), the following conditions are satisfied: (a) \\(A^ t_ i \\subseteqq B_ i\\) for \\(t \\in T_ i\\) and \\(i=1,\\dots,N\\), and (b) \\(A^ t_ i \\nsubseteqq B_ j\\) for \\(t \\in T_ i\\) and \\(i \\neq j\\). Then with \\({\\mathcal A}=\\bigcup^ N_{i=1} {\\mathcal A}_ i\\)  \\[ \\sum^ N_{i=1} \\sum^{|T_ i|}_{k=1} (-1)^{k-1} \\sum_{S \\subseteq |T_ i|,\\;|S|=k} {n-|B_ i-\\bigcup_{t \\in S} A_ i^ t|\\choose |\\bigcup_{t \\in S} A^ t_ i|}^{-1}+\\sum_{X \\notin {\\mathcal D} ({\\mathcal B})} {W_{\\mathcal A} (X) \\over |X|{n \\choose |X|}}=1 \\]  where \\({\\mathcal D} ({\\mathcal B})=\\{D \\subseteqq \\Omega:D \\subseteq B_ i\\) for some \\(i=1,\\dots,N\\}\\) and \\(W_{\\mathcal A} (X)=|\\bigcap_{X \\supseteqq A \\in {\\mathcal A}} A|\\). Under some additional suppositions a full characterization of the cases with equality is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311014$C9D38473-D6C7-4035-BDE4-F1B318E51433","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311014$98DE0A7F-20D7-41E0-8596-BA39BB4A3287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311014$3CE290D3-2EB4-46A7-B3CA-6E11D6AE654A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311014$E3FF5370-9B34-460C-8828-14E898186089","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41a96c4b60ca8c7937e6b1b32b9793dd16fe2394","datavalue":{"value":"484129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311014$5146C92A-7AF1-4501-B298-3A754AA369E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b47be36898eee3a93078a43e4b49c21b588e35","datavalue":{"value":"AZ identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311014$A99EEB2D-AA89-4B44-BBE9-F096B0265C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57d041d8a0c5d40a929987378c1a637852f882f","datavalue":{"value":"Ahlswede-Zhang identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311014$C2577514-4260-48DB-BE9E-2E136D5ABD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5edd96c5f57c10b5d54548d08bec68c012cd016f","datavalue":{"value":"Bollob\u00e1s inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311014$D266455B-78AB-4BA2-A9E6-53CD8CF1DD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0d66bad0580413bf356b167a87f5942259be015","datavalue":{"value":"LYM-inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311014$56FC7E64-9045-4638-8985-F6C74AFA3E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27d36886ea32344d0a565a84fe5288c73cdc72ed","datavalue":{"value":"Sperner's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311014$F2477884-9257-49FE-9BA4-59120BF34587","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":"Q1311014$F6D2C174-A138-4DD3-BFF0-599F6B6F1020","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":"Q1311014$1D4AEFB3-4FEA-4ABC-BA66-E678526A81BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cae5f57997072ef8a73fbc1c94f572813026c1b","datavalue":{"value":{"entity-type":"item","numeric-id":917551,"id":"Q917551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311014$0D582CD1-C4A2-45E9-9B15-BB473304CB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5164299fa5aa807fc99b91b00799939a0b818f","datavalue":{"value":{"entity-type":"item","numeric-id":757448,"id":"Q757448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311014$208D5F40-CF45-49B7-99F3-45ABC0CF995E","rank":"normal"},{"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":"Q1311014$5744CC48-6032-435C-8C5A-DC5D7B138FF7","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":"Q1311014$0E181300-B0C2-43A3-8A98-D1842D46F733","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":"Q1311014$B4FA4DC6-F6F5-41D2-A3B7-C9997665F5A7","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":"Q1311014$4A1BD12D-1F2B-4F0A-B0A3-034D69097775","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":"Q1311014$513596AD-1234-49C2-8876-D2120DF59FBE","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":"Q1311014$62561521-9B86-4D0C-B711-80544CF7AB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb86981b6eaabdca39c29c542a5d3b45455c7798","datavalue":{"value":{"entity-type":"item","numeric-id":1185884,"id":"Q1185884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311014$A5C5F27E-1794-4CD5-B828-3B401DDB96A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d882f453b9221c79947bda3c80bdd99c48ae921a","datavalue":{"value":{"entity-type":"item","numeric-id":2459501,"id":"Q2459501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04b80d8017bb7984ceae40938a3478b4d95db26","datavalue":{"value":{"amount":"+0.8351390957832336","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":"Q1311014$6718C1E9-82F1-474C-AF2D-C5172E5CF0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"720b291e9115f0ab5e2516918385bf77d54d5488","datavalue":{"value":{"entity-type":"item","numeric-id":917551,"id":"Q917551"},"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":"Q1311014$BEAD2D77-E9ED-49A4-90EC-6088F19AF237","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":"b06dd7fa2bf5b417c995f1e00fa864e156d2dd67","datavalue":{"value":{"amount":"+0.8137588500976562","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":"Q1311014$166892F9-2DE3-457D-8355-F7F9C4EF0566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7194fe10cb039a6695ffef25cdf48d306d0c75","datavalue":{"value":{"entity-type":"item","numeric-id":2454041,"id":"Q2454041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5201372d0d15ad8bf1a7051d4f4196e65c3501","datavalue":{"value":{"amount":"+0.8133548498153687","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":"Q1311014$BF188EDA-0C59-497A-8943-D1649021A534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3791dfd155d6581bc00d634da529f4f387f2abfe","datavalue":{"value":{"entity-type":"item","numeric-id":2920888,"id":"Q2920888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9db81945863483ac814e6fe5670d7f831e6b78","datavalue":{"value":{"amount":"+0.8081958293914795","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":"Q1311014$D370E6BD-0FB0-486C-B1D8-3E52BA8FB7CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1311014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1311014"}}}}}