【単一化】

たん￨いつ･かtanʼitsu·ka0

N., mit suru trans. V.

Vereinheitlichung f f; Vereinfachung f f; Unifikation f f.

Ableitungen
	単一化する～する \| vereinheitlichen; vereinfachen.

Unifikation (in der Programmiersprache Prolog)