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

resolution theorem proving
מחש.	доказ теорем методом резолюції