| Subject | English | Russian |
| AI. | quantifier-free uninterpreted function | бескванторная неинтерпретируемая функция (Alex_Odeychuk) |
| progr. | uninterpreted function | функция с пустым телом (русс. перевод в терминологии ведущих языков программирования Alex_Odeychuk) |
| AI. | uninterpreted function | неинтерпретируемая функция (Alex_Odeychuk) |