Subject	English	Russian
AI.	per-predicate-set lock	блокировка на уровне группы предикатов (Alex_Odeychuk)
progr.	predicate set	множество предикатов (Alex_Odeychuk)
progr.	set of predicates	набор предикатов (Alex_Odeychuk)
AI.	set of predicates	группа предикатов (Alex_Odeychuk)
math.	set predicate logic	теоретико-множественная логика предикатов
math.	set-theoretic predicate logic	теоретико-множественная логика предикатов