English-Russian big polytechnic dictionary
предикат выбора
predicate calculus machinery — аппарат исчисления предикатов
restricted predicate calculus — узкое исчисление предикатов
quantification of the predicate — квантификация предиката
predicate selectivity — применяемость предиката
sameness predicate — предикат тождественности