Carol Karp

URI: https://gptkb.org/entity/Carol_Karp
GPTKB entity
Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Southern_California
gptkbp:birthDate 1926-08-10
gptkbp:birthName gptkb:Carol_Ruth_Vander_Velde
gptkbp:causeOfDeath gptkb:cancer
gptkbp:deathDate 1972-08-20
gptkbp:doctoralAdvisor gptkb:Leon_Henkin
gptkbp:employer gptkb:University_of_Maryland,_College_Park
gptkbp:field gptkb:logic
gptkbp:gender gptkb:female
gptkbp:knownFor gptkb:infinitary_logic
gptkbp:nationality gptkb:American
gptkbp:notableWork Languages with Expressions of Infinite Length
gptkbp:occupation gptkb:mathematician
gptkbp:spouse gptkb:Arthur_Karp
gptkbp:bfsParent gptkb:Michael_Morley
gptkb:Karp
gptkbp:bfsLayer 7
https://www.w3.org/2000/01/rdf-schema#label Carol Karp