反ユニフィケーション

反ユニフィケーションとは、2つの与えられた記号式に共通の一般化を構築するプロセスである。ユニフィケーションと同様に、許可される式(用語とも呼ばれる)と、等しいと見なされる式に応じて分類できる。

この神経はここで途切れています。