quantifier-free
| inference
| quantifier-free abbr. | |
| math. | бескванторный |
| inference abbr. | |
| gen. | вывод; заключение; выведение; предположение; следствие |
| automat. | умозаключение |
| IT | логический вывод |
| Makarov. | процесс логического умозаключения |
| robot. | заключение; умозаключение |
| |||
| бескванторный | |||
|
quantifier-free : 6 phrases in 2 subjects |
| Artificial intelligence | 1 |
| Mathematics | 5 |