Hierarchy:
Description:
{{context|mathematical logic|computer science}} Given two terms, their join with respect to a specialisation order.
Ngram:
Ngram Text:
unification
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
1
Wikokit WikiText ID:
1371808