Englisch ⇄ Chinesisch Deutsch Dänisch Englisch Finnisch Französisch Griechisch Italienisch Japanisch Niederländisch Portugiesisch Russisch Schwedisch Spanisch +

first-order predicate logic
IT	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
KI	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
Englisch Thesaurus
first-order predicate logic
Abkürz., Math.	first-order logic (ssn)