{"entities":{"Q1086262":{"pageid":1097014,"ns":120,"title":"Item:Q1086262","lastrevid":42865764,"modified":"2025-07-15T13:00:12Z","type":"item","id":"Q1086262","labels":{"en":{"language":"en","value":"Unichain coverings in partial orders with the nested saturation property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3983230"}},"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":"Q1086262$40E98D52-597F-40D0-A193-E976263D9DF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ac98e2ed06a856f01b784f8a3676a9c6a2eb2d2","datavalue":{"value":{"text":"Unichain coverings in partial orders with the nested saturation property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1086262$01153B3C-17D1-4D20-BADE-6C2E1B160BBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"752b29439f3cec58a40777643ea77eda015c6529","datavalue":{"value":"0608.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086262$BFED67BA-C556-47AA-9C87-F5D368ACC46B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98687fb18899cbfd063fc8921a8598b672498c26","datavalue":{"value":"10.1016/0012-365X(87)90018-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086262$63AE676B-B07D-4C33-8109-97F8C4B1370C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d4c73f0a1fcfa77f8c56f84fd9c0566fb0d581","datavalue":{"value":{"entity-type":"item","numeric-id":185079,"id":"Q185079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086262$0E5DEF34-204C-408B-8E6A-46998C033B73","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":"Q1086262$FD45BA35-0AA5-4708-9833-E5C0706B089F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1086262$4113887A-D6EA-4741-82C6-E3FEBC5E47F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c4cf80361f22dd5f2dfed9766d04936af72adaf5","datavalue":{"value":"In a direct product of posets unichains are chains that vary in only one coordinate. Semi-antichains are collections taking no pair of elements from a single unichain. A k-family in a poset P is the union of k antichains. The largest size of a k-family is denoted \\(d_ k\\). The number \\(\\Delta_ k=d_ k-d_{k-1}\\) is also denoted \\(\\Delta^ P_ k\\) for the poset P. A poset P has the nested saturation property if it has a sequence \\(C=C_ 1,C_ 2,..\\). of chain-partitions such that \\(C_ k\\) is \\(k,k+1\\) saturated and such that \\(S_{k-1}(C_{k-1})\\subseteq S_ k(C_ k)\\), \\(S_{\\ell}(C_ j)\\) is the set of elements of chains of size at most \\(\\ell\\) in \\(C_ j\\). The main theorem of this paper is that: if P and Q have the nested saturation property then \\(P\\times Q\\) has a unichain covering with \\(\\sum \\Delta^ P_ k\\Delta^ Q_ k\\) chains, which, though not always minimal, is so in the case \\(P_ n\\times P_ m\\) is the product of canonical poly-unsaturated posets, studied by the author as an important class of posets with respect to the Greene-Kleitman Theorem in his reference [4] that is reviewed in this journal [J. Comb. Theory, Ser. A 41, 105-116 (1986; Zbl 0583.06002)]. The dualization produces a largest cover of semi-antichains containing the same number of elements \\(\\sum \\Delta^ P_ k\\Delta^ Q_ k\\) \\((P=P_ n\\), \\(Q=P_ m)\\) in this case as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086262$6EBC97FE-2527-4E1C-BD4E-301BF5F37BE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086262$BD02EEAB-CBC8-4A4F-8AC8-C7370774FBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb6fa31c061028a10fb1c2a1679af7746583c504","datavalue":{"value":"05B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086262$DA4B02EC-8621-47D5-A15A-C61EF89F5C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086262$D0941209-75AD-42C9-8162-08BFE41F980A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20d77ea360d830ca0f4bfed3b5b77c177d8bfcfb","datavalue":{"value":"3983230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086262$2CD0774D-71AE-4588-8D29-6C8E4870E6DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af454455f2e5281e02dca37900fae0bde8c2f3c","datavalue":{"value":"direct product of posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086262$AE8F167D-498B-4B1B-8DF1-2A8F327394F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc3169b4094abdec3cf565788ebc125c4e8531","datavalue":{"value":"Semi-antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086262$82635E54-6781-4E16-AE54-D4FA694A5D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a34c1c0c58a60dffc193861813c189a2ed9e0d","datavalue":{"value":"nested saturation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086262$04056858-E22A-4C52-8DDF-D2ED75E030EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d699866840e76453033321522d5762fbfe51d93","datavalue":{"value":"chain-partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086262$5B0F268E-2333-4A03-A81C-C4492274F4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5549592fc6329eb54ae2237b238164c0563eed49","datavalue":{"value":"unichain covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086262$1C627DF3-A34B-4182-A8E7-622DD2B5CABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d288cdee0cee1025e3eff75e3caf8805c20d3ff9","datavalue":{"value":"poly-unsaturated posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086262$CCF1AB18-11FE-41AB-855F-30129A2E5D67","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b626688718ca3d61fce8479b1c17fa40d92d8dda","datavalue":{"value":{"entity-type":"item","numeric-id":233347,"id":"Q233347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086262$29DA218F-89BB-4B57-95A4-D49AF0EBBA02","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":"Q1086262$78B2CDA7-FD9F-4A58-9BE7-316B99902B32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3540803e6c2941a79b658c1ad46488049de9a54a","datavalue":{"value":{"entity-type":"item","numeric-id":5966939,"id":"Q5966939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086262$5882710D-2E3E-4644-B791-2FB7F1BDC024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b4c0d55da4a212c0db02f08a57e43ff09c2d22","datavalue":{"value":{"entity-type":"item","numeric-id":3684157,"id":"Q3684157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086262$C8E1EBBE-EAA3-4AE3-B7D5-0CDBE48B2BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c09d9c453d8c9bc51b0953066abfe5dbd6867879","datavalue":{"value":{"entity-type":"item","numeric-id":1069961,"id":"Q1069961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086262$13576103-B6C0-41F4-9CEF-E2E1B0B5BA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0f324a04950095dede8cc7c2547a2f1a267c7b","datavalue":{"value":{"entity-type":"item","numeric-id":3966188,"id":"Q3966188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086262$07D61B2A-3C65-4CD3-9E5F-F693E3768F1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3789a4848586d2cd44fc789fb6c2aea6e09bc5","datavalue":{"value":{"entity-type":"item","numeric-id":1850016,"id":"Q1850016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86e52fcbce23e55cd7394157d1d25a19526ee24","datavalue":{"value":{"amount":"+0.76383376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1086262$4F73ACE4-6BE8-41CF-B054-CDB33889A69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a4b160024f0cbba5b775577a770ba01f4957fe","datavalue":{"value":{"entity-type":"item","numeric-id":580378,"id":"Q580378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cbea53b9bf1c26b61559b0fe5cf0f453e57a5f","datavalue":{"value":{"amount":"+0.7588476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1086262$F26EF975-8FCF-4BEE-A5C4-B8E17F8BB35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fa45f01f502f9cf9a4987919ed5eeffa345076","datavalue":{"value":{"entity-type":"item","numeric-id":1013994,"id":"Q1013994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df32f980f00a147d0e60b92cd0039f5da911e11","datavalue":{"value":{"amount":"+0.75222945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1086262$23DA1C84-6590-4EA9-A5FA-5C5085083E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51cfb897bfe48bfa0b4de0288024fb5934bcdb4a","datavalue":{"value":{"entity-type":"item","numeric-id":5965139,"id":"Q5965139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b32ff8b2bc21356c43278af57e1b5d38bab49a","datavalue":{"value":{"amount":"+0.72702235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1086262$CFE7E5A9-F2F9-4F99-8539-2AEC10241B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78c97e41b1651fbe9afb6cddc4c6c3c16739a62","datavalue":{"value":{"entity-type":"item","numeric-id":2907485,"id":"Q2907485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ead7d75327dabf046102598a6e116afea20f1b","datavalue":{"value":{"amount":"+0.72533184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1086262$462C79AA-1AF2-46BE-B314-B1C64DAC143F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a632c3abcb9ae553a243ff742ba53ea284b12324","datavalue":{"value":{"entity-type":"item","numeric-id":3428796,"id":"Q3428796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e675d0214809aaec28af5333a9fe017dbbd0d3c9","datavalue":{"value":{"amount":"+0.7251167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1086262$AE49E951-11F0-4112-8596-FA524FF2AB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cb5c10309715eb6988fb42a0ce4c160b56fc1a","datavalue":{"value":{"entity-type":"item","numeric-id":1069961,"id":"Q1069961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873216f11eac2644927f3206c3cff4efb1a532e9","datavalue":{"value":{"amount":"+0.71357656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1086262$DC200A55-88B6-457C-8DD9-35E38BD49329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ffc39eab1dc16365b7102f3920a1766d015163","datavalue":{"value":{"entity-type":"item","numeric-id":1059648,"id":"Q1059648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca00a8467114cd7a2c320cd53cda4f89f0f5fe29","datavalue":{"value":{"amount":"+0.70367616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1086262$57790DBB-B36E-48FB-AE9A-F613CE92A135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2119f1b90628e944a73007fca871639de097b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2035097,"id":"Q2035097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07031d26c1588e7be0e6904bb1fb1af06e6cc59","datavalue":{"value":{"amount":"+0.6913069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1086262$123D2BBD-97A6-408D-8E4D-FBAE79771ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987981bb45d333aec9422e99c2117a59ceff3a77","datavalue":{"value":{"entity-type":"item","numeric-id":1207720,"id":"Q1207720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26312d8545e789d0eb1785877089140d81aeadac","datavalue":{"value":{"amount":"+0.6871607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1086262$0822C42E-7536-49CC-B56A-07A052B8D694","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1086262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1086262"}}}}}