PanLinx
русский
rus-000
эквационально полный
English
eng-000
equationally complete
PanLex