אנגלית ⇄ רוסית

first UIP clause learning מתח
.בינה	метод первой точки единичной импликации для запоминания дизъюнктов (Alex_Odeychuk)