| Subject | English | Russian |
| AI. | approximate inference algorithm | алгоритм приближённого вывода (Alex_Odeychuk) |
| progr. | Damas-Milner type inference algorithm | алгоритм вывода типов Дамаса-Милнера (Alex_Odeychuk) |
| AI. | inference algorithm | алгоритм логического вывода (Alex_Odeychuk) |
| progr. | type inference algorithm | алгоритм вывода типов (Alex_Odeychuk) |
