unification

Unification may refer to:

• Unification (album), a 1998 album by the band Iron Savior
• Unification (computer science), the act of identifying two terms with a suitable substitution
• Unification (graph theory), the computation of the most general graph that subsumes one or more argument graphs (if such a graph exists)
• "Unification" (Star Trek: The Next Generation), a two-part episode of Star Trek: The Next Generation
• Unification or re-unification of sovereign states, see political union
• The act of producing an undisputed champion in boxing
• The act of producing an undisputed championship in professional wrestling
• The concept behind unified field theory in particle physics
• An orthographic issue dealt with by Unicode

Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Zwei Ausdrücke werden unifiziert, indem ihre Variablen so durch geeignete Terme ersetzt werden, dass die resultierenden Ausdrücke gleich sind. Die Unifikation hat insbesondere in der Computerlogik und Computerlinguistik eine größere Bedeutung erlangt. So nutzt etwa die Inferenzmaschine des Prolog-Interpreters Unifikation. In der Computerlinguistik gibt es sogenannte Unifikationsgrammatiken, die sich auf dieses Konzept stützen. Auch beim Theorembeweisen spielt Unifikation eine große Rolle.

En informatique et en logique, un problème d'unification est un système d'équations qui portent sur des termes.

Unification è il secondo album della heavy metal band tedesca Iron Savior, pubblicato nel 1998 dalla Noise Records.

Unification – dwudziesty pierwszy album studyjny Black Uhuru, jamajskiej grupy muzycznej wykonującej roots reggae.