Terms for subject Artificial intelligence containing second order

English	German
second-order logic	Prädikatenlogik zweiter Ordnung (Stufe)
second-order logic	Quantorenlogik zweiter Ordnung (Stufe)
second-order logic	Prädikatenkalkül zweiter Ordnung (Stufe)
second-order predicate calculus	Quantorenlogik zweiter Ordnung (Stufe)
second-order predicate calculus	Prädikatenlogik zweiter Ordnung (Stufe)
second-order predicate calculus	Prädikatenkalkül zweiter Ordnung (Stufe)
second-order quantification	Quantifizierung zweiter Ordnung
second-order set	Menge zweiter Ordnung