![]() |
check satisfiability | |
AI. | проверить выполнимость |
of | |
gen. | относительно; от; обо; изо; служебное слово, указывает на вкус или запах; служебное слово, выражает свойство или возраст |
logical formula | |
math. | логическая формула |
| |||
проверить выполнимость (напр., формул в теориях Alex_Odeychuk) |
check satisfiability : 3 phrases in 1 subject |
Artificial intelligence | 3 |