Subject	English	Russian
math.	quantifier-free	бескванторный
math.	quantifier-free calculus	бескванторное исчисление
math.	quantifier-free formula	бескванторная формула
math.	quantifier-free inference	бескванторный вывод
math.	quantifier-free sentence	бескванторное высказывание
AI.	quantifier-free uninterpreted function	бескванторная неинтерпретируемая функция (Alex_Odeychuk)