Jeffrey Huet
E1328915
UNEXPLORED
Jeffrey Huet is a comic book inker known for his work on major Marvel titles, including the "Planet Hulk" storyline.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Jeffrey Huet canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T18527873 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Jeffrey Huet Context triple: [Planet Hulk, inkers, Jeffrey Huet]
-
A.
Gilles Dowek
Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
-
B.
Yves Bertot
Yves Bertot is a French computer scientist known for his work on formal methods and the Coq proof assistant.
-
C.
Gérard Berry
Gérard Berry is a prominent French computer scientist known for his pioneering work in programming languages, formal methods, and synchronous programming.
-
D.
Xavier Leroy
Xavier Leroy is a French computer scientist best known for his work on the OCaml programming language and the formally verified CompCert C compiler.
-
E.
Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Jeffrey Huet Target entity description: Jeffrey Huet is a comic book inker known for his work on major Marvel titles, including the "Planet Hulk" storyline.
-
A.
Gilles Dowek
Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
-
B.
Yves Bertot
Yves Bertot is a French computer scientist known for his work on formal methods and the Coq proof assistant.
-
C.
Gérard Berry
Gérard Berry is a prominent French computer scientist known for his pioneering work in programming languages, formal methods, and synchronous programming.
-
D.
Xavier Leroy
Xavier Leroy is a French computer scientist best known for his work on the OCaml programming language and the formally verified CompCert C compiler.
-
E.
Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.