PanLinx
русский
rus-000
эквациональная теория
English
eng-000
equational theory
PanLex
