{"entities":{"Q1903016":{"pageid":1913758,"ns":120,"title":"Item:Q1903016","lastrevid":69242970,"modified":"2026-04-13T05:43:02Z","type":"item","id":"Q1903016","labels":{"en":{"language":"en","value":"Cross-intersecting families of finite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 823504"}},"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":"Q1903016$2C343AFE-397A-4374-A792-D2D5E1942FF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad0c4169a5854f1e03fcf09503900ec1b572642a","datavalue":{"value":{"text":"Cross-intersecting families of finite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1903016$59937CA9-4C6B-45E2-B326-729B19FEACDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9900cbc6513aec50431a3c6a0732bebe476caad8","datavalue":{"value":"0839.05092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903016$F307D6C7-2D5B-4C94-A517-4657FEE5C043","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"272df1c6efb6ca4db1197f74ad6621c06a266fa2","datavalue":{"value":"10.1016/0097-3165(95)90072-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903016$5099E294-9358-4D76-95F6-B066050AE249","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":"Q1903016$0BEF94EF-4B12-4468-A2E8-C5C41BE7776A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a9ac108536f3c309e9b3d5701fd44ae212270d9","datavalue":{"value":{"time":"+1996-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1903016$C0FDC944-CEBB-496C-81A5-6642502EAA6B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"410f75e7577e0b89cc9513c872d09faa66a6c140","datavalue":{"value":"The author continues the study of cross-intersecting families of finite sets initiated by Hilton and Milner. He describes the structure of the nontrivial extremal systems, namely he proves the theorem: If \\({\\mathcal A}\\subset (\\begin{smallmatrix} [n]\\\\ a\\end{smallmatrix})\\), \\({\\mathcal B}\\subset (\\begin{smallmatrix} [n]\\\\ b\\end{smallmatrix})\\), \\(n\\geq a+ b\\), \\(A\\cap B\\neq \\varnothing\\) for all \\(A\\in {\\mathcal A}\\) and \\(B\\in {\\mathcal B}\\);  \\[ |{\\mathcal A}|> (\\begin{smallmatrix} n- 1\\\\ a- 1\\end{smallmatrix})- (\\begin{smallmatrix} n- b- 1\\\\ a- 1\\end{smallmatrix})\\quad\\text{and} \\quad |{\\mathcal B}|> (\\begin{smallmatrix} n- 1\\\\ b- 1\\end{smallmatrix})- (\\begin{smallmatrix} n- a- 1\\\\ b- 1\\end{smallmatrix}), \\]  then one of the following cases holds: (i) there exists \\(x\\in [n]\\) such that \\(x\\in \\bigcap {\\mathcal A}\\) and \\(x\\in \\bigcap {\\mathcal B}\\); or  \\[ |{\\mathcal A}|= (\\begin{smallmatrix} n- 1\\\\ a- 1\\end{smallmatrix})- (\\begin{smallmatrix} n- b- 1\\\\ a- 1\\end{smallmatrix})+ 1\\quad\\text{and} \\quad |{\\mathcal B}|= (\\begin{smallmatrix} n- 1\\\\ b- 1\\end{smallmatrix})- (\\begin{smallmatrix} n- a- 1\\\\ b- 1\\end{smallmatrix})+ 1.\\tag{ii} \\]  The extremal cases in (ii) are described in full details.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903016$9A8C6496-55F8-4D08-8EDF-D40AFFD26581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903016$C8E914A7-C4A4-40BA-A594-5FB5C810373D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11ef5a33e0f3920e53624714431b87e532d15bfa","datavalue":{"value":"823504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903016$D59B60F9-3F6A-49BA-AB8B-A54D7372A413","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4681f5442ae4e9ceb47a32657140488d43668804","datavalue":{"value":"Hilton-Milner theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903016$4F5FDC88-8853-4241-A51C-AF1B37F247C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af382619138028df7d5168bd82da015c6843185e","datavalue":{"value":"shifting technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903016$D0A1D553-4334-44F8-9FE5-74CC643C9710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d9b62a6e8c916a922264009a8ddf4cf382289c","datavalue":{"value":"cross-intersecting families","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903016$82EF8D0F-61C1-4807-B416-C444F49E9DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3bdfaf50a859f5dcfd6c0d4cd8eb8dd602821d3","datavalue":{"value":"finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903016$7FBC58E7-2141-4ECF-A553-BBAC4F133D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d1d2d6034bd9fbece545b9ec986e7bc614b9ca8","datavalue":{"value":"extremal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903016$9A0C7E09-5322-4052-8B53-AA3CB8F67FBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"947071be942dac18e853a747b6abc41c36475503","datavalue":{"value":{"entity-type":"item","numeric-id":787137,"id":"Q787137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$8656A5BF-4271-42CE-ABB2-22E887A6B840","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01b0989d65d3fe37f1a608a8cd96e416bda56c38","datavalue":{"value":{"entity-type":"item","numeric-id":200913,"id":"Q200913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$17CC36DC-5E34-4D07-AE93-A8957945A913","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":"Q1903016$6196F2FD-63AA-4FBE-80AF-3F6BFF11A114","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06604b0416e4efbb5bb09acb4779b19bdc8fcc47","datavalue":{"value":"https://doi.org/10.1016/0097-3165(95)90072-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1903016$E04FA01F-BB2C-491A-8E6C-F9E470153D26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d08548349b9a7a25a76c38da99ad2575269b1a5","datavalue":{"value":"W2076669108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903016$8C1A0338-218B-43F5-9F03-174A5FAE9402","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c67cd1fc5f79128afc0722554e08faf0c36cc03","datavalue":{"value":{"entity-type":"item","numeric-id":3726125,"id":"Q3726125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$52C9CFA8-B74E-4F33-8725-04D6EDDC76B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"519c04edb24aef1ce88b720e46082a964b292326","datavalue":{"value":{"entity-type":"item","numeric-id":3281090,"id":"Q3281090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$029DE9B7-C908-4A44-8125-B4C8D3ABF97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6062db7162ee35b3d6ea77b2177bbe535e6567","datavalue":{"value":{"entity-type":"item","numeric-id":3770569,"id":"Q3770569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$3D4747EF-45CB-4C6E-B804-08A6040C4D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4c2c71e4b72eaca55a26746dd6a240d4cea619","datavalue":{"value":{"entity-type":"item","numeric-id":1057858,"id":"Q1057858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$8D9D2181-B044-4B66-A065-59DFEF3A4BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a90104c97733fb25f66ac0187735bd78d4eb845","datavalue":{"value":{"entity-type":"item","numeric-id":1069937,"id":"Q1069937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$B29DE572-6EB5-49BE-AC62-31DEDBD5D240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f069f75721da7ca546786b9594b70a09137721","datavalue":{"value":{"entity-type":"item","numeric-id":1194751,"id":"Q1194751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$6FD8BF89-E48A-4ABD-8748-F506B4FC4090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc1ba004e877c37fbbda4136c6b548a11270f275","datavalue":{"value":{"entity-type":"item","numeric-id":3676174,"id":"Q3676174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$07E67E61-D471-4D28-8500-074B259DED75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4db718337c47f930eac480f7f0beee5c7871d7","datavalue":{"value":{"entity-type":"item","numeric-id":5554997,"id":"Q5554997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$76782EE5-BC23-4D54-AEEA-670B189BF78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e623297f7916b87c113a3afabdf787d783b053b4","datavalue":{"value":{"entity-type":"item","numeric-id":1356702,"id":"Q1356702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$192A5817-974B-46A8-AEC6-0AC37CC46529","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":"Q1903016$5119F4FF-155F-4D8F-AA21-684A80F90299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427f3d523406d29855d53492e0acf3a39a52c5b9","datavalue":{"value":{"entity-type":"item","numeric-id":810546,"id":"Q810546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$A81359F4-3DF9-466D-9BED-E5AC01809BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb69f0d1d5683d309c51f3313282132a3eec64a3","datavalue":{"value":{"entity-type":"item","numeric-id":5916418,"id":"Q5916418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$1329B3B1-47A1-43B9-BF5B-F3FDDBD09A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5b56615316ddad3dd15e01b9c63408a52d5546","datavalue":{"value":{"entity-type":"item","numeric-id":2366030,"id":"Q2366030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903016$4F04DB1F-233F-4313-9B51-6DDD2A932E6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af80cb2120f24e57eacaeec5334f607acd49d120","datavalue":{"value":{"entity-type":"item","numeric-id":1194751,"id":"Q1194751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5a7097f63cbdb679f17f747fe7c6f72663d23b","datavalue":{"value":{"amount":"+0.900363028049469","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":"Q1903016$EE615E48-1B9F-434C-91D8-A4D44AB2EBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300384a9a58941a198ea886c50dba93a38d48ad2","datavalue":{"value":{"entity-type":"item","numeric-id":1987086,"id":"Q1987086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb34d4f83ff160f181f03fa1483469e903d69d9","datavalue":{"value":{"amount":"+0.86876380443573","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":"Q1903016$91A51DDD-AC93-44CC-B7F1-2166A65E5C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6672c430350239e0d0c76fdc04ad62e6a6d87b56","datavalue":{"value":{"entity-type":"item","numeric-id":810546,"id":"Q810546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9e16f0acf0031055d2b916c751dfedeb25b2af","datavalue":{"value":{"amount":"+0.8652698993682861","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":"Q1903016$588E2A74-1320-4CE7-A955-C843536C4B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234330bd21113e0cb42fadb03e6c037ab49ea5d0","datavalue":{"value":{"entity-type":"item","numeric-id":5943047,"id":"Q5943047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3083f66205e35e1c2ea973906fa18df084aa2fba","datavalue":{"value":{"amount":"+0.8647975921630859","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":"Q1903016$72E9D49D-5586-4CE9-AC5C-C7197355D220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18dbcd986a967221939c86a3dfb39bce662e4ef","datavalue":{"value":{"entity-type":"item","numeric-id":4228201,"id":"Q4228201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d657d817031505716d9ffda81625a5ca3e499e2","datavalue":{"value":{"amount":"+0.860593318939209","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":"Q1903016$81B9304E-6F62-42AC-9B31-B2B8C5EF0EE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cross-intersecting families of finite sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cross-intersecting_families_of_finite_sets"}}}}}