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

first-order predicate logic
AI.	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
IT	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
English thesaurus
first-order predicate logic
abbr., math.	first-order logic (ssn)