WS21/22 A1 mgu +
WS21/22 A5 a +
SS21 A1 mgu +
WS20/21 A1 mgu +
SS19 A1 unifikation +
f(c) und f(d) kann man nicht unifizieren, wenn c und d Konstanten sind.
→ Unikation von zwei Konstanten ist nicht moeglich!
WS19/20 A1 Substitution +