| English | German |
| first-order logic | Prädikatenlogik erster Ordnung (Stufe) |
| first-order logic | Quantorenlogik 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 logic | Prädikatenlogik erster Ordnung (Stufe) |
| first-order predicate logic | Quantorenlogik erster Ordnung (Stufe) |
| first-order predicate logic | Prädikatenkalkül erster Ordnung (Stufe) |