quantifier instantiation
| procedure
| quantifier instantiation abbr. | |
| AI. | инстанцирование квантора |
| procedure abbr. | |
| gen. | методика; образ действия; процедура; метод; способ; техника |
| |||
| инстанцирование квантора (Microsoft Alex_Odeychuk) | |||
|
quantifier instantiation : 2 phrases in 1 subject |
| Artificial intelligence | 2 |