Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:affiliation |
gptkb:Los_Alamos_National_Laboratory
|
| gptkbp:awards |
ACM Fellow
|
| gptkbp:born |
January 1, 1920
|
| gptkbp:children |
2
|
| gptkbp:contribution |
Developed automated reasoning software
|
| gptkbp:died |
March 15, 2000
|
| gptkbp:education |
gptkb:University_of_California,_Berkeley
|
| gptkbp:field |
Automated Theorem Proving
|
| https://www.w3.org/2000/01/rdf-schema#label |
William H. McCune
|
| gptkbp:influenced |
Automated reasoning community
|
| gptkbp:influencedBy |
Alfred Tarski
|
| gptkbp:knownFor |
Contributions to logic and mathematics
|
| gptkbp:notableWork |
Prover9
|
| gptkbp:occupation |
Mathematician
|
| gptkbp:researchInterest |
Computer Science
Logic |
| gptkbp:spouse |
gptkb:Jane_McCune
|