Terms for subject Artificial intelligence containing first-order

English	German
discrete time homogeneous first-order Markov chain	homogene Markowsche Kette erster Ordnung mit diskreter Zeit
first-order functional calculus	Quantorenlogik erster Ordnung (Stufe)
first-order functional calculus	Prädikatenlogik erster Ordnung (Stufe)
first-order functional calculus	Prädikatenkalkül erster Ordnung (Stufe)
first-order logic	Quantorenlogik erster Ordnung (Stufe)
first-order logic	Prädikatenlogik erster Ordnung (Stufe)
first-order logic	Prädikatenkalkül erster Ordnung (Stufe)
First-order Logic Program	FOL-Programm (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung)
first-order predicate calculus	Quantorenlogik erster Ordnung (Stufe)
first-order predicate calculus	Prädikatenlogik erster Ordnung (Stufe)
first-order predicate calculus	Prädikatenkalkül erster Ordnung (Stufe)
first-order predicate logic	Prädikatenlogik erster Ordnung (Stufe)
first-order predicate logic	Quantorenlogik erster Ordnung (Stufe)
first-order predicate logic	Prädikatenkalkül erster Ordnung (Stufe)
first-order projection	Projektion erster Ordnung