| dbo:description
|
- mathematischer Satz (de)
- kombinatorikai állítás (hu)
- theorem that the maximum size of an antichain in a finite partial order equals the minimum number of chains into which it can be partitioned (en)
- twierdzenie dające równość mocy najdłuższego antyłańcucha i minimalnej liczby łańcuchów, które pokrywają zbiór częściowo uporządkowany (pl)
|