Unification (computer science)
In logic and computer science, unification is an algorithmic process of solving equations between symbolic expressions. Depending on which expressions (also called terms) are allowed to occur in an equation set (also called unification problem), and which expressions are considered equal, several frameworks of unification are distinguished. If higher-order variables, that is, variables representing functions, are allowed in an expression, the process is called higher-order unification, otherwise first-order unification. If a solution is required to make both sides of each equation literally equal, the process is called syntactic or free unification, otherwise semantic or equational unification, or E-unification, or unification modulo theory.
known for
primaryTopic
Unification (computer science)
In logic and computer science, unification is an algorithmic process of solving equations between symbolic expressions. Depending on which expressions (also called terms) are allowed to occur in an equation set (also called unification problem), and which expressions are considered equal, several frameworks of unification are distinguished. If higher-order variables, that is, variables representing functions, are allowed in an expression, the process is called higher-order unification, otherwise first-order unification. If a solution is required to make both sides of each equation literally equal, the process is called syntactic or free unification, otherwise semantic or equational unification, or E-unification, or unification modulo theory.
has abstract
En informatique et en logique, ...... ont syntaxiquement différents.
@fr
In logic and computer science, ...... er to first-order unification.
@en
Unificação, em ciência da comp ...... unificação de primeira ordem.
@pt
Unifikacja (ang. unification) ...... , unifikacja się nie powiodła.
@pl
Unifikation ist eine Methode z ...... ngen können unifiziert werden.
@de
Если в формулу вместо переменн ...... новок называется унификатором.
@ru
ユニフィケーション（英: unification）は数理論理 ...... のの探索）を排除することで自動推論技術への大きな一歩とした。
@ja
本文有关计算机科学主题。其他学科的条目参见合一 (消歧义)。 ...... 以通过采纳 X = Z3 和 Y = Z2 而同一到 Z6。
@zh
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
745,295,437
quote
Symbols are ordered such that ...... fi
σ := σ { s↦t }
done
title
Robinson's 1965 unification algorithm
subject
hypernym
type
comment
En informatique et en logique, ...... une solution car les termes et
@fr
In logic and computer science, ...... or unification modulo theory.
@en
Unificação, em ciência da comp ...... semântica, ou unificação equac
@pt
Unifikacja (ang. unification) ...... ądkowań. Algorytm wygląda tak:
@pl
Unifikation ist eine Methode z ...... Unifikation eine große Rolle.
@de
Если в формулу вместо переменн ...... новок называется унификатором.
@ru
ユニフィケーション（英: unification）は数理論理 ...... のの探索）を排除することで自動推論技術への大きな一歩とした。
@ja
本文有关计算机科学主题。其他学科的条目参见合一 (消歧义)。 ...... 以通过采纳 X = Z3 和 Y = Z2 而同一到 Z6。
@zh
label
Unification (computer science)
@en
Unification
@fr
Unificação
@pt
Unifikacja (informatyka)
@pl
Unifikation (Logik)
@de
Частный случай формулы
@ru
ユニフィケーション
@ja
合一
@zh