William W. Boone
E401645
William W. Boone was an American logician and mathematician known for his work in mathematical logic and group theory, particularly on decision problems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| William W. Boone canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T1449579 — 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: William W. Boone Context triple: [Verena Huber-Dyson, notableStudent, William W. Boone]
-
A.
William E. Hunt
William E. Hunt was an American jurist who served as a justice on the Montana Supreme Court.
-
B.
William G. Anderson
William G. Anderson was an American osteopathic physician and prominent civil rights leader who helped spearhead desegregation efforts in the early 1960s.
-
C.
William H. Hunt
William H. Hunt was a 19th-century American lawyer and statesman who served as U.S. Secretary of the Navy and played a key role in modernizing the Navy’s institutions and intelligence capabilities.
-
D.
J. Buford Boone
J. Buford Boone was an American newspaper editor and publisher best known for his courageous civil rights advocacy in Alabama, for which he received the Pulitzer Prize for Editorial Writing in 1957.
-
E.
William F. Raynolds
William F. Raynolds was a 19th-century U.S. Army officer and explorer known for his surveying and exploratory expeditions in North America and beyond.
- 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: William W. Boone Target entity description: William W. Boone was an American logician and mathematician known for his work in mathematical logic and group theory, particularly on decision problems.
-
A.
William E. Hunt
William E. Hunt was an American jurist who served as a justice on the Montana Supreme Court.
-
B.
William G. Anderson
William G. Anderson was an American osteopathic physician and prominent civil rights leader who helped spearhead desegregation efforts in the early 1960s.
-
C.
William H. Hunt
William H. Hunt was a 19th-century American lawyer and statesman who served as U.S. Secretary of the Navy and played a key role in modernizing the Navy’s institutions and intelligence capabilities.
-
D.
J. Buford Boone
J. Buford Boone was an American newspaper editor and publisher best known for his courageous civil rights advocacy in Alabama, for which he received the Pulitzer Prize for Editorial Writing in 1957.
-
E.
William F. Raynolds
William F. Raynolds was a 19th-century U.S. Army officer and explorer known for his surveying and exploratory expeditions in North America and beyond.
- F. None of above. chosen
Statements (30)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
logician ⓘ mathematician ⓘ |
| contributedTo |
applications of logic to algebra
ⓘ
development of undecidability results in group theory ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| doctoralAdvisor | Alonzo Church ⓘ |
| educatedAt |
Princeton University
ⓘ
University of Virginia ⓘ |
| employer | University of Illinois at Urbana–Champaign ⓘ |
| fieldOfWork |
decision problems
ⓘ
group theory ⓘ mathematical logic ⓘ |
| hasAcademicDiscipline |
logic
ⓘ
mathematics ⓘ |
| hasFamilyName | Boone ⓘ |
| hasGivenName | William ⓘ |
| influencedBy | Alonzo Church ⓘ |
| knownFor |
contributions to mathematical logic
ⓘ
work on decision problems in group theory ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf | American Mathematical Society ⓘ |
| notableStudent |
Gilbert Baumslag
ⓘ
Roger Lyndon ⓘ |
| notableWork | solution of the word problem for finitely presented groups ⓘ |
| occupation | university teacher ⓘ |
| researchInterest |
recursion theory
ⓘ
undecidability in algebra ⓘ word problem for groups ⓘ |
| sexOrGender | male ⓘ |
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: William W. Boone Description of subject: William W. Boone was an American logician and mathematician known for his work in mathematical logic and group theory, particularly on decision problems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.