Triple
T2419094
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Gérard Huet |
E52376
|
entity |
| Predicate | knownFor |
P22
|
FINISHED |
| Object |
Huet unification algorithm
The Huet unification algorithm is a higher-order unification procedure introduced by Gérard Huet that generalizes first-order unification to handle lambda calculus terms and plays a key role in type theory and automated theorem proving.
|
E265288
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ab495622948190bc6bc6e4cddaf645 |
elicitation | completed |
| NER | batch_69abc96e1b3881909de57501b5d4099a |
ner | completed |
| NED1 | batch_69aebf5397508190b755e522060041c0 |
ned_source_triple | completed |
| NED2 | batch_69aec488a4448190b2e9bf40a0fea5ee |
ned_description | completed |
| NEDg | batch_69aec3cf3d8881908d0e5d72f625634c |
nedg | completed |
Created at: March 6, 2026, 9:42 p.m.