{"entities":{"Q2111774":{"pageid":2122517,"ns":120,"title":"Item:Q2111774","lastrevid":74110836,"modified":"2026-04-14T18:24:19Z","type":"item","id":"Q2111774","labels":{"en":{"language":"en","value":"Saturation for small antichains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7642881"}},"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":"Q2111774$64A14FA5-925C-4AF7-A4E2-6016EDC33CBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"441c2bf759120097f55fd2ca24a30204649039a1","datavalue":{"value":{"text":"Saturation for small antichains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2111774$ACD3643C-02AB-4EAD-883A-C3759B469817","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94d13051dce0705e34ec7bd05813ff69e64d09ee","datavalue":{"value":"10.37236/11262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111774$C6B05C5A-5C9D-4477-B373-5A3C8F073A1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed4b05b140c7d0ed4fd2ed7890a07ef1e8bef1c6","datavalue":{"value":{"entity-type":"item","numeric-id":2111772,"id":"Q2111772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111774$57C5768E-7699-473F-8416-680C7176B5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794a6135c2e5b070350cb47e1fa72434e01d67bd","datavalue":{"value":{"entity-type":"item","numeric-id":2111773,"id":"Q2111773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111774$D4BAA293-B56F-4613-B6C9-7992B82BA0FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111774$C6204C31-073E-4B3D-89DA-1969BD2970D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"957af406b21c0dd147c281b56551aa32e3ad16a3","datavalue":{"value":{"time":"+2023-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2111774$481AA493-AD6D-4EAD-AC9B-0CD7541B0F18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de5f708fe46d81f1f00705cdbd1eda60372671ec","datavalue":{"value":"https://arxiv.org/abs/2205.07392","type":"string"},"datatype":"url"},"type":"statement","id":"Q2111774$CA135948-BD54-44AA-B37A-68FE5978E008","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bd344e6640ae39bcc86b1bd18b11abad079ed89","datavalue":{"value":"Summary: For a given positive integer \\(k\\) we say that a family of subsets of \\([n]\\) is \\(k\\)-antichain saturated if it does not contain \\(k\\) pairwise incomparable sets, but whenever we add to it a new set, we do find \\(k\\) such sets. The size of the smallest such family is denoted by \\(\\text{sat}^*(n, \\mathcal{A}_k)\\). Ferrara, Kay, Kramer, Martin, Reiniger, Smith and Sullivan conjectured that \\(\\text{sat}^*(n, \\mathcal{A}_k)=(k-1)n(1+o(1))\\), and proved this for \\(k\\leqslant 4\\). In this paper we prove this conjecture for \\(k=5\\) and \\(k=6\\). Moreover, we give the exact value for \\(\\text{sat}^*(n, \\mathcal{A}_5)\\) and \\(\\text{sat}^*(n, \\mathcal{A}_6)\\). We also give some open problems inspired by our analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2111774$BEA326BE-91C0-4917-87A4-F3C2657EE4CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111774$F0494176-3DA5-4CDD-B31F-F1306924D959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111774$2AC1E634-0BAB-477F-9B48-D47E3E9B9E69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"053e5566c2cea325a876c1eb4e655824a47544bb","datavalue":{"value":"7642881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111774$CE69FEFB-C323-464B-A55A-DBF7BC9911A2","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":"Q2111774$89E5864A-2D73-4866-94FF-C5D9C5E9AD15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20dbcc6383af0471d869e26f22da451296b74e08","datavalue":{"value":"W4316037943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111774$801D6E28-F4A3-4A1D-8874-B54F5D520F52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eadb11ffaa47384e03a27c266e9016f367c3ea79","datavalue":{"value":{"entity-type":"item","numeric-id":2012537,"id":"Q2012537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111774$684FF3A5-0575-44C2-A0C0-AD891274F4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8427f6f49fa225ccd4bc86f6c8c4da5a086eb5","datavalue":{"value":{"entity-type":"item","numeric-id":367051,"id":"Q367051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111774$BDE1D518-D9AA-4DC7-B83F-5C7511F2B206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70147f9d14f8516487425ae3f20a64abbe7e4da6","datavalue":{"value":{"entity-type":"item","numeric-id":2049440,"id":"Q2049440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111774$82CA3DE0-4D1A-4363-AD5F-F47616213716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e1acffd665a329f8eedaae4732155bf0b3a07c","datavalue":{"value":{"entity-type":"item","numeric-id":2185221,"id":"Q2185221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111774$306C88DB-E798-4A6B-97A1-FE86E192B727","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"6c8e5618069c5ece835e67c3f07f291bf19a0914","datavalue":{"value":"bafkreihw4aqcaap5ylhqxmwddccbb4efp7njsa7ida6fa2xdnrafy2phtq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2111774$3DCB5845-D406-4131-8764-78A32FC02649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c63ea324938c8aa1f1448ea8da589c110665f4fa","datavalue":{"value":{"entity-type":"item","numeric-id":6615500,"id":"Q6615500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0397f386bcd305115914e8e2248c0eeca08197","datavalue":{"value":{"amount":"+0.8704041838645935","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":"Q2111774$D4DEC07F-7788-4BFE-878D-8C7E6E703DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a20e1a47b86e39286674a087ce2bf3b10b2103","datavalue":{"value":{"entity-type":"item","numeric-id":405311,"id":"Q405311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310b57b04f3f30f12b3cd9ccb043100355fe6f5b","datavalue":{"value":{"amount":"+0.7847589254379272","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":"Q2111774$9CF639C2-A83B-42CA-999C-7C1E2B7330F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da872b773fc403578e4a2f60ab65a7a6fa8ac600","datavalue":{"value":{"entity-type":"item","numeric-id":4583638,"id":"Q4583638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fc8560046a1827e8d411c73d9d9787852a23ad","datavalue":{"value":{"amount":"+0.77683025598526","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":"Q2111774$79483681-8251-489E-9F67-1E5096CE4716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941e3469f9a0dd9956bb6dd5985f3c42999d8dab","datavalue":{"value":{"entity-type":"item","numeric-id":367051,"id":"Q367051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7f9c5f0f3d112b30d9d830990a36e8fa711140","datavalue":{"value":{"amount":"+0.7629051804542542","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":"Q2111774$5C39CA48-3C62-4BED-B79B-C6A1BD83A247","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2111774$5FF46996-44FC-4425-BE83-FC03EFAAE4D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Saturation for small antichains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Saturation_for_small_antichains"}}}}}