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