Charles Gonthier
E1256398
UNEXPLORED
Charles Gonthier was a Canadian jurist who served as a justice of the Supreme Court of Canada, contributing significantly to the development of Canadian constitutional and Aboriginal law.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Charles Gonthier canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17207019 — 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: Charles Gonthier Context triple: [Delgamuukw v. British Columbia, judge, Charles Gonthier]
-
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.
Thierry Coquand
Thierry Coquand is a French logician and computer scientist known for his work on type theory, constructive mathematics, and the development of the calculus of constructions.
-
C.
Vaughan Pratt
Vaughan Pratt is a computer scientist known for his contributions to algorithms and formal methods, including co-developing the Knuth–Morris–Pratt string-searching algorithm.
-
D.
Martin Davis
Martin Davis was an American mathematician and logician renowned for his foundational work in computability theory and the Entscheidungsproblem, including contributions to the Davis–Putnam algorithm.
-
E.
Gerard J. Holzmann
Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
- 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: Charles Gonthier Target entity description: Charles Gonthier was a Canadian jurist who served as a justice of the Supreme Court of Canada, contributing significantly to the development of Canadian constitutional and Aboriginal law.
-
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.
Thierry Coquand
Thierry Coquand is a French logician and computer scientist known for his work on type theory, constructive mathematics, and the development of the calculus of constructions.
-
C.
Vaughan Pratt
Vaughan Pratt is a computer scientist known for his contributions to algorithms and formal methods, including co-developing the Knuth–Morris–Pratt string-searching algorithm.
-
D.
Martin Davis
Martin Davis was an American mathematician and logician renowned for his foundational work in computability theory and the Entscheidungsproblem, including contributions to the Davis–Putnam algorithm.
-
E.
Gerard J. Holzmann
Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.