Verena Huber-Dyson
E31257
Verena Huber-Dyson was a Swiss-American mathematician known for her work in group theory and logic, and for her contributions to the philosophy of mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Verena Huber-Dyson canonical | 6 |
How this entity was disambiguated
This entity first appeared as the object of triple T145481 — 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: Verena Huber-Dyson Context triple: [Freeman Dyson, spouse, Verena Huber-Dyson]
-
A.
Katherine Oppenheimer
Katherine Oppenheimer was an American biologist and former Communist Party member best known as the politically controversial wife of physicist J. Robert Oppenheimer during the Manhattan Project era.
-
B.
Grete Hermann
Grete Hermann was a German mathematician and philosopher known for her foundational work in quantum mechanics and early contributions to computer science and the philosophy of science.
-
C.
Marie Krackowizer
Marie Krackowizer was the wife of pioneering anthropologist Franz Boas and a supportive partner in his academic and intellectual life.
-
D.
Katherine Hudson
Katherine Hudson was the wife of English explorer Henry Hudson, known primarily through historical records of his voyages and family.
-
E.
Linda Salzman Sagan
Linda Salzman Sagan is an American artist and writer best known for co-designing the Pioneer plaque and contributing to other interstellar message projects alongside Carl Sagan.
- 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: Verena Huber-Dyson Target entity description: Verena Huber-Dyson was a Swiss-American mathematician known for her work in group theory and logic, and for her contributions to the philosophy of mathematics.
-
A.
Katherine Oppenheimer
Katherine Oppenheimer was an American biologist and former Communist Party member best known as the politically controversial wife of physicist J. Robert Oppenheimer during the Manhattan Project era.
-
B.
Grete Hermann
Grete Hermann was a German mathematician and philosopher known for her foundational work in quantum mechanics and early contributions to computer science and the philosophy of science.
-
C.
Marie Krackowizer
Marie Krackowizer was the wife of pioneering anthropologist Franz Boas and a supportive partner in his academic and intellectual life.
-
D.
Katherine Hudson
Katherine Hudson was the wife of English explorer Henry Hudson, known primarily through historical records of his voyages and family.
-
E.
Linda Salzman Sagan
Linda Salzman Sagan is an American artist and writer best known for co-designing the Pioneer plaque and contributing to other interstellar message projects alongside Carl Sagan.
- F. None of above. chosen
Statements (49)
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Verena Huber-Dyson Description of subject: Verena Huber-Dyson was a Swiss-American mathematician known for her work in group theory and logic, and for her contributions to the philosophy of mathematics.
Referenced by (6)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
George Dyson
subject surface form:
Verena Huber-Dyson