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