| Subject | English | German |
| IT | first order logic | Prädikatenlogik 1.Ordnung |
| IT | first order logic | Prädikatenlogik |
| gen. | first order logic | Prädikatenlogik der ersten Stufe |
| AI. | first-order logic | Prädikatenlogik erster Ordnung (Stufe) |
| AI. | first-order logic | Quantorenlogik erster Ordnung (Stufe) |
| AI. | first-order logic | Prädikatenkalkül erster Ordnung (Stufe) |
| comp. | first-order logic | Prädikatenkalkül erster Stufe |
| AI. | First-order Logic Program | FOL-Programm (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung) |
| IT | first-order predicate logic | Prädikatenlogik 1.Ordnung |
| IT | first-order predicate logic | Prädikatenlogik |
| AI. | first-order predicate logic | Quantorenlogik erster Ordnung (Stufe) |
| AI. | first-order predicate logic | Prädikatenlogik erster Ordnung (Stufe) |
| AI. | first-order predicate logic | Prädikatenkalkül erster Ordnung (Stufe) |