Algebraischer Kalkül Bezüge im Wissensnetz Unterbegriff allgemein (6) GND CCS Church-Rosser-Thue-System Semi-Thue-System TCSP Termkalkül Thue-System Oberbegriff allgemein (1) GND Kalkül