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