Horn-Formel Bezüge im Wissensnetz In Beziehung stehende Dewey-Dezimalklassifikation mit Determiniertheitsgrad 1 (1) GND 511.3 Oberbegriff allgemein (1) GND Mathematische Logik