Alwen Tiu
E1455293
UNEXPLORED
Alwen Tiu is a computer scientist known for his work in formal methods and logic, including the development of the Abella interactive theorem prover.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Alwen Tiu canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T20885029 — 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: Alwen Tiu Context triple: [Abella, developedBy, Alwen Tiu]
-
A.
Glynis
Glynis is a feminine given name most notably associated with the British actress and singer Glynis Johns.
-
B.
Dryna
Dryna is an island located within the municipality of Haram in Møre og Romsdal county, Norway.
-
C.
Gwynplaine
Gwynplaine is the disfigured, perpetually grinning protagonist of Victor Hugo’s novel "The Man Who Laughs," whose tragic appearance inspired later characters like the Joker.
-
D.
Welun
Welun is the German name for the Polish town of Wieluń, known for being one of the first places bombed at the start of World War II.
-
E.
Ethelyn
Ethelyn is a feminine given name, considered a variant of Ethel, that saw occasional use in English-speaking countries in the late 19th and early 20th centuries.
- 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: Alwen Tiu Target entity description: Alwen Tiu is a computer scientist known for his work in formal methods and logic, including the development of the Abella interactive theorem prover.
-
A.
Glynis
Glynis is a feminine given name most notably associated with the British actress and singer Glynis Johns.
-
B.
Dryna
Dryna is an island located within the municipality of Haram in Møre og Romsdal county, Norway.
-
C.
Gwynplaine
Gwynplaine is the disfigured, perpetually grinning protagonist of Victor Hugo’s novel "The Man Who Laughs," whose tragic appearance inspired later characters like the Joker.
-
D.
Welun
Welun is the German name for the Polish town of Wieluń, known for being one of the first places bombed at the start of World War II.
-
E.
Ethelyn
Ethelyn is a feminine given name, considered a variant of Ethel, that saw occasional use in English-speaking countries in the late 19th and early 20th centuries.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.