Terms for subject Artificial intelligence containing clause

English	Russian
clauses without bodies	дизъюнкты без тела (facts; University of Melbourne, Австралия Alex_Odeychuk)
combinatorial explosion of clauses	комбинаторный взрыв вызовов дизъюнктов (Alex_Odeychuk)
conflict-driven clause learning	управляемое конфликтами обучение дизъюнктам (Alex_Odeychuk)
first UIP clause learning	метод первой точки единичной импликации для запоминания дизъюнктов (Alex_Odeychuk)
guard of the clause	охранное условие дизъюнкта (Alex_Odeychuk)
guard of the clause	охрана дизъюнкта (Alex_Odeychuk)