first-order
| predicate calculus
| first order | |
| gen. | Erstauftrag |
| opt. | erste Beugungsordnung; erste Ordnung |
| predicate calculus | |
| gen. | Prädikatrechnung |
| AI. | Funktionenkalkül; Quantorenlogik |
| IT | Prädikatenlogik 1.Ordnung; Prädikatenlogik |
| phys. | Attributenkalkül |
| |||
| Erstauftrag m | |||
| erste Beugungsordnung; erste Ordnung | |||
| |||
| erster | |||
| English thesaurus | |||
| |||
| FO (Alex Lilo) | |||
|
first-order : 112 phrases in 27 subjects |