Steven Givant
E354423
Steven Givant is a mathematician known for his work in algebraic logic and for coauthoring influential texts on relation algebras and the foundations of mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Steven Givant canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3380951 — 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: Steven Givant Context triple: [Alfred Tarski, notableStudent, Steven Givant]
-
A.
Stephen Frank
Stephen Frank was an early American pioneer after whom the city of Frankfort, Kentucky, is named.
-
B.
Paul Scheuring
Paul Scheuring is an American screenwriter, director, and producer best known as the creator of the television series "Prison Break."
-
C.
Cary Coglianese
Cary Coglianese is an American legal scholar known for his expertise in administrative law, regulation, and regulatory policy, and for founding the Penn Program on Regulation at the University of Pennsylvania.
-
D.
Warren Spady
Warren Spady is a designer best known for creating the trophy awarded in the historic Oregon–Oregon State college football rivalry.
-
E.
John Gibbon
John Gibbon was a 19th-century United States Army officer and Civil War general who later played a key role in the Indian Wars, including campaigns against the Nez Perce.
- 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: Steven Givant Target entity description: Steven Givant is a mathematician known for his work in algebraic logic and for coauthoring influential texts on relation algebras and the foundations of mathematics.
-
A.
Stephen Frank
Stephen Frank was an early American pioneer after whom the city of Frankfort, Kentucky, is named.
-
B.
Paul Scheuring
Paul Scheuring is an American screenwriter, director, and producer best known as the creator of the television series "Prison Break."
-
C.
Cary Coglianese
Cary Coglianese is an American legal scholar known for his expertise in administrative law, regulation, and regulatory policy, and for founding the Penn Program on Regulation at the University of Pennsylvania.
-
D.
Warren Spady
Warren Spady is a designer best known for creating the trophy awarded in the historic Oregon–Oregon State college football rivalry.
-
E.
John Gibbon
John Gibbon was a 19th-century United States Army officer and Civil War general who later played a key role in the Indian Wars, including campaigns against the Nez Perce.
- F. None of above. chosen
Statements (31)
| Predicate | Object |
|---|---|
| instanceOf |
mathematician
ⓘ
person ⓘ |
| coauthorOf |
Relation Algebras
ⓘ
surface form:
Introduction to Relation Algebras
Logic, Language, and the Foundations of Mathematics ⓘ Relation Algebras ⓘ The Calculus of Relations ⓘ |
| coauthorWith |
Alfred Tarski
ⓘ
Leon Henkin ⓘ Paul Halmos ⓘ R. L. Vaught ⓘ |
| fieldOfWork |
algebraic logic
ⓘ
foundations of mathematics ⓘ mathematical logic ⓘ relation algebras ⓘ |
| genre |
mathematics textbook
ⓘ
research monograph ⓘ |
| hasAcademicDiscipline |
logic
ⓘ
mathematics ⓘ |
| hasInfluenced |
research in algebraic logic
ⓘ
research on relation algebras ⓘ |
| hasWrittenAbout |
Boolean algebras
ⓘ
model theory ⓘ relational structures ⓘ set theory ⓘ |
| knownFor |
work in algebraic logic
ⓘ
work on foundations of mathematics ⓘ work on relation algebras ⓘ |
| language | English ⓘ |
| notableWorkArea |
Tarski-style algebraic treatments of logic
ⓘ
algebraic semantics for logical systems ⓘ |
| occupation | university professor ⓘ |
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: Steven Givant Description of subject: Steven Givant is a mathematician known for his work in algebraic logic and for coauthoring influential texts on relation algebras and the foundations of mathematics.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.