Terms containing predicate logic

Subject	English	German
IT	clause form of predicate logic	Klausellogik
AI.	first-order predicate logic	Prädikatenlogik erster Ordnung (Stufe)
AI.	first-order predicate logic	Quantorenlogik erster Ordnung (Stufe)
IT	first-order predicate logic	Prädikatenlogik
IT	first-order predicate logic	Prädikatenlogik 1.Ordnung
AI.	first-order predicate logic	Prädikatenkalkül erster Ordnung (Stufe)
phys.	predicate logic	Attributenkalkül
gen.	predicate logic	Prädikatenlogik
IT	predicate logic	Prädikatenlogik 1.Ordnung
AI.	predicate logic	Prädikatenkalkül
AI.	predicate logic	Quantorenlogik
AI.	predicate logic	Funktionenkalkül
tech.	predicate logic	Praedikatenlogik
IT	second-order predicate logic	Prädikatenlogik 2.Ordnung