PanLinx
русский
rus-000
импликативная полурешетка
English
eng-000
implicative semilattice
PanLex