Anglais ⇄ Lituanien Russe Ukrainien +

interdeducible formulas contraintes
informat.	дедуктивно равные формулы
makar.	взаимновыводимые формулы
interdeducible formulae
math.	взаимновыводимые формулы; дедуктивно равные формулы