{"entities":{"Q762182":{"pageid":764031,"ns":120,"title":"Item:Q762182","lastrevid":64184718,"modified":"2026-04-11T18:11:41Z","type":"item","id":"Q762182","labels":{"en":{"language":"en","value":"Antichain cutsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3887749"}},"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":"Q762182$D58E57E1-3324-4FEA-9E44-71DB37F8C241","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc364c55642a201465fe2c3be44727091265cd21","datavalue":{"value":{"text":"Antichain cutsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762182$B6F36328-01F9-4513-A4F4-005E95DB8045","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d8bc838a61a643a2ba23bcb9a086f06d49868f0","datavalue":{"value":"0557.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762182$E7ACE50A-C117-4FCB-81C9-C83D59511F1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcb05cbabd3deb5c2778c2def4d40f402b7f5c33","datavalue":{"value":"10.1007/BF00383600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762182$842DE11F-326D-4E47-B7F2-0B8FC9146475","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a5dba8a868cf8efb55f25660c00e370221df2f2","datavalue":{"value":{"entity-type":"item","numeric-id":686306,"id":"Q686306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762182$C106508A-BBFF-45B8-9906-C02B2407E344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"717d1316694a09b72da7b907a09f6b8bfbc28007","datavalue":{"value":{"entity-type":"item","numeric-id":603887,"id":"Q603887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762182$46B7A58C-A314-4E5E-9272-0CF729D16E87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762182$C009F678-5DF6-41FC-B6D2-3527CCC32953","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q762182$8FCEADB4-EA45-472D-94FF-26EEB1FB5CD3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00a25a3f220bc68438075675d1dafb176ea308df","datavalue":{"value":"If P is a poset, then a cutset A of P meets every maximal chain of P. Those finite posets which can be expressed as unions of antichain cutsets have a reasonably non-chaotic appearance. In this paper the authors prove a theorem similar in spirit to the classification theorem of modular (or non-modular) lattices, viz., T1: A poset in which every chain is finite is the union of antichain cutsets iff it contains no alternating-cover cycle. The theorem is a consequence of T2: In a poset in which every chain is finite, an element x is contained in an anti-chain cubset iff there is no generalized alternating-cover cycle based at x.    Given P, a sequence \\(\\{x=x_ 0,x_ 1,...,x_ n=y\\}\\) is a generalized alternating-cover path from x to y provided \\(x_ i<x_{i+1}\\) whenever i is even and \\(x_ i>x_{i+1}\\) whenever i is odd. If \\(y=x\\) and n is odd the sequence is a generalized alternating-cover cycle based at x. If in addition \\(x_{2u}=x_{2v+1}\\) implies \\(2u=0\\), \\(2v+1=n\\), then the generalized alternating-cover cycle is an alternating-cover cycle. Additional information is also obtained. Thus, if \\(N=\\{a<b>c<d\\}\\) then T3: If P is a poset which contains no subset isomorphic to N, then every finite minimal cutset of P is an antichain. Also T4: The only antichain cutsets in \\(2^ n\\) are the levels. This interesting paper is one more indication of the strong relationship that exists between chains and antichains in posets, a relationship that can also be made meaningful in a functorial setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q762182$6584EC71-AB3D-40CC-BF14-D36F00BD1E61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762182$C8168086-C609-4308-AAD3-65F6BB8C8E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a5e47548ef139717b317f83801cfef606a623d","datavalue":{"value":"05C38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762182$D5EC50C8-3EFE-40D9-BC1D-7B7B318E69C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28faaae9825db362a19d7bfca9299a67024dd842","datavalue":{"value":"3887749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762182$7193430D-AD82-43F9-8319-7370616E32A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4dcbdb024ae00dea05385ce42b2d20d88d510c","datavalue":{"value":"forbidden substructures","type":"string"},"datatype":"string"},"type":"statement","id":"Q762182$31BCF35F-B716-49FC-B5B4-A96A65495996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"713ceb79a10f8309ceb9a2e4a915c2f3d6536608","datavalue":{"value":"finite posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q762182$D8FA4CF8-99D1-4C03-98AE-F611CA4344D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23a653e88922043fb2839624f627cf7f2484fa5f","datavalue":{"value":"unions of antichain cutsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q762182$CF330EB6-0D99-4B0B-B79F-4C54FFD93B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16b80da2dba7089b89bce3297022d4b433c2011e","datavalue":{"value":"alternating-cover cycle","type":"string"},"datatype":"string"},"type":"statement","id":"Q762182$68A5B011-582F-4C6A-BEB5-27DD4939A6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d937e7c76dc62bb049154751ac5402ec52f6c774","datavalue":{"value":"levels","type":"string"},"datatype":"string"},"type":"statement","id":"Q762182$A78E4505-F05A-4EB9-BF8F-2476F1DD0392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad5599d0b8005742d4eb354b6906a61e9640688","datavalue":{"value":"chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q762182$0D6A5556-D7E2-47D3-8299-72BF5A04A1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922c01258e140214b68568956989c4ba97b3c6f4","datavalue":{"value":"antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q762182$6920EBC2-6EC1-42EC-A61C-6030944D7693","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":"Q762182$BD83ED96-C51A-4D47-B00D-F2806DA507D4","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":"Q762182$3F64BC3A-B390-4182-A024-BA48ABC19875","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"007c64cb1e51e420a82b1528582743678952b922","datavalue":{"value":{"entity-type":"item","numeric-id":2648578,"id":"Q2648578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762182$3A21E4FF-EB5B-4E5C-9D58-CA322EF9D348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d238718d4f9c4b411f5f3530a939e8b4916352c8","datavalue":{"value":{"entity-type":"item","numeric-id":5584558,"id":"Q5584558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762182$89E53910-76E2-4FFC-8EE2-47607B52BA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7bf23ef18fe656ee82acb4586c7d9adb3e4719","datavalue":{"value":{"entity-type":"item","numeric-id":3217243,"id":"Q3217243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762182$1CF3E8CC-278A-490D-A5A5-56AE8BD977EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fdb8b0d0445e510d81cbcd07ba41ea7543866f","datavalue":{"value":{"entity-type":"item","numeric-id":802580,"id":"Q802580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762182$6C1C7378-77A7-4C77-814C-C27D2587D263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6ac11073d1feae5d3b5ea3b3fb57bb14591823","datavalue":{"value":{"entity-type":"item","numeric-id":1394240,"id":"Q1394240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762182$F394DC7F-BFF8-4AA5-A284-9A22BE7BBB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fcfe987d8cbbd43f7b7238b024d7a85de33a069","datavalue":{"value":{"entity-type":"item","numeric-id":3936212,"id":"Q3936212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762182$5B9C9373-B85F-40CE-9097-75A8625EA713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5da61ddb134decad7ce4bbc8fedc2e8b1d5adfd","datavalue":{"value":{"entity-type":"item","numeric-id":3691784,"id":"Q3691784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762182$CA8A903F-1AEB-4FAA-97F3-BFD5C816B783","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2258464ca953674d108c96b2a99673ed6fb1772","datavalue":{"value":"https://doi.org/10.1007/bf00383600","type":"string"},"datatype":"url"},"type":"statement","id":"Q762182$63A7FB08-D4B6-4E65-8D9D-2EE31D203A51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1a716a3830cc7f457118f8bbd0fdd9afe31648d","datavalue":{"value":"W4246843255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762182$024391CD-4C21-42B3-AAD9-926CA48DE174","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f024e64c6cc6738087fb884b9fcfeaec1cc465ac","datavalue":{"value":{"entity-type":"item","numeric-id":3353064,"id":"Q3353064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc1b82293627fe17086c79ea9adb30d34e00aad","datavalue":{"value":{"amount":"+0.9240755438804626","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":"Q762182$5EA37337-DDDA-4612-B80C-8FB93877236A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63315db4520dd3f864a269c22f3c7dd186deb7b","datavalue":{"value":{"entity-type":"item","numeric-id":3765826,"id":"Q3765826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86eb0743a8c8a682db07c94fdeb2ed3fee4ab7e0","datavalue":{"value":{"amount":"+0.881888747215271","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":"Q762182$274E6F03-36D3-4761-8674-C87FC27C8429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78dc956f654d5c50bb7f01e7429c76c584163a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1061754,"id":"Q1061754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e088b923e9288d1054112c1b839110a80fb624","datavalue":{"value":{"amount":"+0.866410493850708","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":"Q762182$9B16BAD0-F005-4F23-BDD8-325B323133B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454070b44c805c4f1f6ff0a768c18b86353be522","datavalue":{"value":{"entity-type":"item","numeric-id":4325650,"id":"Q4325650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb4479019b4fad9538420848dc7114cd48dee7c","datavalue":{"value":{"amount":"+0.8552762866020203","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":"Q762182$885AA507-A399-47B0-ADC7-6E853A212E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bba4e50c362bb4db6543055539030e7e04e4bb","datavalue":{"value":{"entity-type":"item","numeric-id":3490046,"id":"Q3490046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024ba0185395ca7efcb670708dde8a1040718185","datavalue":{"value":{"amount":"+0.8552761673927307","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":"Q762182$7DE2D3DB-8E81-43F1-A187-83F6F87F0AE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Antichain cutsets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Antichain_cutsets"}}}}}