Jisho

×
ユニフィケーション
Links
Noun
1. unification​
Wikipedia definition
2. Unification (computer science)​Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact either identical or just equal. Unification is widely used in automated reasoning, logic programming and programming language type system implementation.
Read “Unification (computer science)” on English Wikipedia
Read “ユニフィケーション” on Japanese Wikipedia
Read “Unification (computer science)” on DBpedia

Discussions

to talk about this word.