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