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