W. H. Mc Cune

URI: https://gptkb.org/entity/W._H._Mc_Cune
GPTKB entity
Statements (13)
Predicate Object
gptkbp:instance_of gptkb:Person
gptkbp:alma_mater gptkb:University_of_California,_Berkeley
gptkbp:birth_place gptkb:United_States
gptkbp:birth_year 1950
gptkbp:field gptkb:Mathematics
https://www.w3.org/2000/01/rdf-schema#label W. H. Mc Cune
gptkbp:known_for Automated theorem proving
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:Mathematician
gptkbp:work gptkb:Prover9
Mace4
gptkbp:bfsParent gptkb:The_Tulsa_Fire_Alarm_Building
gptkbp:bfsLayer 6