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

resolution theorem proving מתח
.טכנול	доказательство теорем методом резолюции