Angielski ⇄ Litewski Rosyjski Ukraiński +

interdeducible formulas akcenty
makar.	взаимновыводимые формулы
technol.	дедуктивно равные формулы
interdeducible formulae
mat.	взаимновыводимые формулы; дедуктивно равные формулы