PanLinx
English
eng-000
interdeductive
русский
rus-000
взаимно выводимый
русский
rus-000
дедуктивно-равный
PanLex