Huet's unification algorithm
GPTKB entity
Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algorithm
|
| gptkbp:complexity |
exponential in worst case
|
| gptkbp:field |
gptkb:logic
computer science automated reasoning |
| gptkbp:input |
two first-order terms
|
| gptkbp:introducedIn |
1976
|
| gptkbp:namedAfter |
gptkb:Gérard_Huet
|
| gptkbp:output |
most general unifier
|
| gptkbp:relatedTo |
gptkb:Robinson's_unification_algorithm
higher-order unification |
| gptkbp:solvedBy |
first-order unification problem
|
| gptkbp:usedIn |
logic programming
type inference theorem proving |
| gptkbp:bfsParent |
gptkb:Gérard_Huet
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Huet's unification algorithm
|