Unifikation

aus Wikipedia, der freien Enzyklopädie

Zur Navigation springen Zur Suche springen

Eine Unifikation (Zusammenführung) ist

in der Logik eine Operation, siehe Unifikation (Logik),
in der Linguistik eine Operation in einer Unifikationsgrammatik,
in Unicode die Zusammenführung von als gleich erkannten CJK-Zeichen, siehe Unicode.

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Unifikation&oldid=116749881“

Begriffsklärung