Constraint-Expression

Kompatibilitäts-Feststellung

Kompatibilitäts-Feststellung zur Super-Menge allgemeineren Expression (ZENTRALE) ⇒ (ZENTRALE or NIEDERLASSUNG) | +-erfüllt für Logiker: einfache Implikation (ein Term ist kompatibel, wenn er immer erfüllt ist, wenn der bezogene(this) Term erfüllt ist) thisTerm ⇒ kompatiblerTerm Operator doppelter Pfeil nach rechts (fat arrow)
Anfang weiter