Strukturierungen von Termen und Gleichungen