clause form
| of
| predicate logic
| clause form abbr. | |
| AI. | Darstellung in Form von Klauseln |
| of abbr. | |
| gen. | von; vor; über; aus; nach; hiervon |
| predicate logic abbr. | |
| gen. | Prädikatenlogik |
| AI. | Prädikatenkalkül; Funktionenkalkül; Quantorenlogik |
| IT | Prädikatenlogik 1.Ordnung |
| phys. | Attributenkalkül |
| |||
| Darstellung in Form von Klauseln (Prädikatenlogik) | |||
| Klauselform f; konjunktive Normalform | |||
|
clause form : 3 phrases in 2 subjects |
| General | 1 |
| Information technology | 2 |