{"entities":{"Q790113":{"pageid":791961,"ns":120,"title":"Item:Q790113","lastrevid":48684346,"modified":"2026-01-05T14:49:12Z","type":"item","id":"Q790113","labels":{"en":{"language":"en","value":"Antichains in the set of subsets of a multiset"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847394"}},"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":"Q790113$3D013FBE-66E8-41AC-BF86-BFCC38524AD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6ba6c53ac59d2dfa44494c88e1c96ec1947868a","datavalue":{"value":{"text":"Antichains in the set of subsets of a multiset","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790113$6C49A130-4C9E-47E8-9EE7-F6D4332D6F97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8788d7b70bbc6aad035379c6815946a8ad729a42","datavalue":{"value":"0534.05006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790113$400C5200-11B0-41FA-ADFF-082AEEB0344D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea60e1fa365fcdb15a62155dd6a8dec52236938c","datavalue":{"value":"10.1016/0012-365X(84)90128-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790113$D0D4AF09-360B-4580-83A2-3ED8FEDE1CB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93dddee6d76536c87e79207f6d9f822f5b3bcf1f","datavalue":{"value":{"entity-type":"item","numeric-id":595652,"id":"Q595652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$67902E00-AFEF-4E2D-80A1-532B4ADD0C60","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":"Q790113$64791A92-49E5-4FF4-B9D5-AD9A6D9175D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q790113$20F64FA8-F4F0-4EBB-ADA5-33D084446E78","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b67a460138101e4f4d9ea42091bfe62887834a5","datavalue":{"value":"Let M be a multiset on \\(\\{\\) 1,2,...,\\(n\\}\\) with i occuring \\(k_ i\\) times, \\(k_ n\\leq...\\leq k_ 1.\\) S is the family of subsets, i.e. sequences \\(\\underline x=(x_ n,...,x_ 1)\\) with \\(0\\leq x_ i\\leq k_ i.\\) A c- chain is a sequence \\(\\underline x_ 0\\subset ...\\subset \\underline x_ c\\) from S. A c-antichain is an \\(F\\subseteq S\\) without a c-chain. For \\(\\underline x=(x_ n,...,x_ 1)\\) put \\(| \\underline x| =x_ n+...+x_ 1.\\) The weight of \\(F\\subseteq S\\) is \\(wF=\\sum \\{| \\underline x|:\\underline x\\in F\\}.\\) In this paper min wF is calculated when F ranges the f-element c-antichains. The formula uses a certain binomial coefficient-like representation of integers. The proof is modeled after \\textit{D. E. Daykin's} [Nanta Math. 8, 84-94 (1975; Zbl 0332.05002)] proof of the special case for sets, i.e. \\(k_ 1=1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q790113$B73BE3EF-7C0A-4574-BDA4-D0633AD9DC09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790113$469B0F7D-B74A-48C6-8BEE-29598830B15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790113$C56619D4-0597-4332-B238-A32DAB9E5748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790113$25D29641-2E1C-421E-A7ED-321E3614E521","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"967b3f8cf272d58accc95d10b0a49d57bced8b9f","datavalue":{"value":"3847394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790113$236A9EB1-05F8-4751-BADA-1FA0F7473B3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d21e0b9a7c824e408ff49cf6a54144c47575977","datavalue":{"value":"subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q790113$32F9E8FD-ADB4-48CA-97C3-920AF56F755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a66a7636bd7c5b607d0112def17c3279931092f","datavalue":{"value":"multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q790113$5AC072C1-5EDB-4436-949D-C65DEAB78471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71d8e7929b601d279588153134590ee861a4744","datavalue":{"value":"c-antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q790113$575A0B09-E683-441F-BD71-AE4919A6A72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f08afcdf058072e0491babb026633cefd7c28b55","datavalue":{"value":"Kruskal-Katona theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q790113$283F2924-A1FC-4EB7-9D20-21D9381DA2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886c4b80c7af7a359334a13a66ef44e5526d7bc2","datavalue":{"value":"binomial coefficient","type":"string"},"datatype":"string"},"type":"statement","id":"Q790113$993C7B14-B693-499E-B315-0CFAB50598A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"826db22c8ad0fdc537525e95eba03f39da931f90","datavalue":{"value":{"entity-type":"item","numeric-id":178041,"id":"Q178041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$0AAC05CB-03EC-4075-84AE-33A428746D70","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":"Q790113$4FB7EC49-A55A-4237-992A-BE8179E5D112","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16a03e97ab21198aa4981dce3fe27917612684","datavalue":{"value":{"entity-type":"item","numeric-id":5579514,"id":"Q5579514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$637190DF-B5C1-4686-9C6C-2CA450F4FDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93605e4ca311dddbb0d0c2ff604b4fadfabf8bcc","datavalue":{"value":{"entity-type":"item","numeric-id":2559471,"id":"Q2559471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$D187E1E9-0520-41DC-B704-D68044AEBDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead6b7eb25f02129c7bc13094a442f4a8b89ca5a","datavalue":{"value":{"entity-type":"item","numeric-id":1254998,"id":"Q1254998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$3086D228-B17E-4888-B3D9-2BED13AFAED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22faeea907990020b670ba1db633f61bfe962fd0","datavalue":{"value":{"entity-type":"item","numeric-id":1845734,"id":"Q1845734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$FACE3AFA-53F1-442A-9876-8D6AED172213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf817bd3cb33ce32f98fe4eb0e713db66244b4e4","datavalue":{"value":{"entity-type":"item","numeric-id":5611025,"id":"Q5611025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$7AA25273-988E-4054-9D77-C372CE880657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c182486a87efdc77fadf17feb74f14cac7165de9","datavalue":{"value":{"entity-type":"item","numeric-id":1257018,"id":"Q1257018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$0C8C69C1-5B58-4F81-A2CC-A0A1ED60FD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d55ba7680d79bfa51a9f2b8ec394bd82c3c46","datavalue":{"value":{"entity-type":"item","numeric-id":1154463,"id":"Q1154463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$96345D85-12B2-45D8-AF0F-780774D94D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f63f87b4f8ac82b2992fb6af2fd01a41778f76","datavalue":{"value":{"entity-type":"item","numeric-id":793732,"id":"Q793732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$4F38D178-2DFA-478B-9D0E-4E4D875CE854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1d365ed62d0dfd52fe0cf566ff3227bd075266","datavalue":{"value":{"entity-type":"item","numeric-id":4096951,"id":"Q4096951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$6E625D03-ABCB-4884-BFBF-80633F8A7488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e0ca32f0f7e04f15aa365dd49c1a0a4ea4e940","datavalue":{"value":{"entity-type":"item","numeric-id":4096954,"id":"Q4096954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$BB53EE74-A80C-489F-B2DC-FEDC08A6B984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ca996b0c5416dfe69d84689d11e32830836aad","datavalue":{"value":{"entity-type":"item","numeric-id":1845727,"id":"Q1845727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$723F8939-577C-46E9-8319-38B40E540879","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":"Q790113$496197F8-0BEC-4B36-A4BC-AAC95FE792DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96fe1377adf4bc2473cc2c298e11ba7b240673b","datavalue":{"value":{"entity-type":"item","numeric-id":4071752,"id":"Q4071752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$5BD8537F-B990-48A1-9BE5-A5D9BA5C765B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f452cfc46c61b9aec3f0c92cdf87b0bd8c84f73","datavalue":{"value":{"entity-type":"item","numeric-id":5726070,"id":"Q5726070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790113$12B6C4FF-9E80-4209-909A-2443DF1B7EA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebaabecdf226b891220e4758980a54ffcc225cbf","datavalue":{"value":{"entity-type":"item","numeric-id":1085160,"id":"Q1085160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f212a10fb8c6bfa9961aadd3ea6c45da697545","datavalue":{"value":{"amount":"+0.8236464858055115","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":"Q790113$008F803B-7D6B-48ED-AF0B-5658D22D7BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b0bcf81765af220a8d4c6b847891452eb9161e","datavalue":{"value":{"entity-type":"item","numeric-id":3023991,"id":"Q3023991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f153d1e5f707056ce8d8f55550b79f2bc20fc0f","datavalue":{"value":{"amount":"+0.8179999589920044","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":"Q790113$A9260BA3-87EA-4D9F-972B-B23EAC86CD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9499b63263597e1ad73ddf50a10a2849e20e624f","datavalue":{"value":{"entity-type":"item","numeric-id":921001,"id":"Q921001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff4c12ae78745c6e0b56bf4d9de6be77e25fc04","datavalue":{"value":{"amount":"+0.8062556982040405","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":"Q790113$85F7FA56-F9AE-4E08-90EB-F65553FDE151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bcb5fe7bd6d71bba9479e336d3ddf4da7022eb7","datavalue":{"value":{"entity-type":"item","numeric-id":3338255,"id":"Q3338255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207a9a49eb49c8cee885832f3a81e337ab2a7a4b","datavalue":{"value":{"amount":"+0.7792786955833435","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":"Q790113$13B60FA4-CF56-46D8-B8D7-3D4E5075F0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51694ee295d15c636b1d367ce5ca9c73f3fc1f02","datavalue":{"value":{"entity-type":"item","numeric-id":793732,"id":"Q793732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6c0d6e49fed5e1f92b4d94ee0a10520befc361","datavalue":{"value":{"amount":"+0.7684720158576965","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":"Q790113$9DFA009F-5568-42BD-B79E-0FD549B8C81C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:790113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:790113"}}}}}