אנגלית ⇄ אוקראינית ליטאית רוסית +

interdeducible formulas
.טכנול	дедуктивно еквівалентні формули