German ⇄ Danish Dutch English Finnish French Greek Italian Japanese Portuguese Russian Spanish Swedish

Prädikatenlogik f
gen.	predicate logic
AI.	functional calculus; quantifier logic
IT	first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus
math.	quantificational logic (ssn)

Prädikatenlogik: 18 phrases in 4 subjects

Artificial intelligence	8
Computers	1
General	1
Information technology	8