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