Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/William_McCune> ?p ?o }
Showing triples 1 to 89 of
89
with 100 triples per page.
- William_McCune abstract "William McCune (December 1953 – May 2011) was an American computer scientist and logician working in the fields of Automated reasoning, Algebra, Logic, and Formal Methods. He was best known for the development of the Otter, Prover9, and Mace4 automated reasoning systems, and the automated proof of the Robbins conjecture using the EQP theorem prover.".
- William_McCune alias "McCune, Bill".
- William_McCune birthDate "1953".
- William_McCune birthYear "1953".
- William_McCune deathDate "2011".
- William_McCune deathYear "2011".
- William_McCune knownFor Otter_(theorem_prover).
- William_McCune knownFor Prover9.
- William_McCune knownFor Robbins_algebra.
- William_McCune nationality United_States.
- William_McCune wikiPageExternalLink ~mccune.
- William_McCune wikiPageExternalLink prover9.
- William_McCune wikiPageID "19331865".
- William_McCune wikiPageLength "1442".
- William_McCune wikiPageOutDegree "19".
- William_McCune wikiPageRevisionID "488893445".
- William_McCune wikiPageWikiLink Algebra.
- William_McCune wikiPageWikiLink Automated_reasoning.
- William_McCune wikiPageWikiLink Category:1953_births.
- William_McCune wikiPageWikiLink Category:2011_deaths.
- William_McCune wikiPageWikiLink Computer_scientist.
- William_McCune wikiPageWikiLink EQP.
- William_McCune wikiPageWikiLink Formal_Methods.
- William_McCune wikiPageWikiLink Formal_methods.
- William_McCune wikiPageWikiLink Logic.
- William_McCune wikiPageWikiLink Logician.
- William_McCune wikiPageWikiLink Mace4.
- William_McCune wikiPageWikiLink Otter_(theorem_prover).
- William_McCune wikiPageWikiLink Otter_theorem_prover.
- William_McCune wikiPageWikiLink Prover9.
- William_McCune wikiPageWikiLink Robbins_algebra.
- William_McCune wikiPageWikiLink Robbins_conjecture.
- William_McCune wikiPageWikiLink United_States.
- William_McCune wikiPageWikiLink University_of_New_Mexico.
- William_McCune wikiPageWikiLinkText "William McCune".
- William_McCune wikiPageWikiLinkText "William W. McCune".
- William_McCune alternativeNames "McCune, Bill".
- William_McCune caption "William McCune".
- William_McCune dateOfBirth "Dec 1953".
- William_McCune dateOfDeath "May 2011".
- William_McCune field "Computer Technology".
- William_McCune hasPhotoCollection William_McCune.
- William_McCune imageSize "200".
- William_McCune knownFor Mace4.
- William_McCune knownFor Otter_(theorem_prover).
- William_McCune knownFor Otter_theorem_prover.
- William_McCune knownFor Prover9.
- William_McCune knownFor Robbins_algebra.
- William_McCune knownFor Robbins_conjecture.
- William_McCune name "McCune, William Walker".
- William_McCune name "William McCune".
- William_McCune nationality "American".
- William_McCune residence "USA".
- William_McCune shortDescription "Computer scientist".
- William_McCune wikiPageUsesTemplate Template:Compu-scientist-stub.
- William_McCune wikiPageUsesTemplate Template:Infobox_scientist.
- William_McCune wikiPageUsesTemplate Template:Persondata.
- William_McCune wikiPageUsesTemplate Template:US-scientist-stub.
- William_McCune workInstitution University_of_New_Mexico.
- William_McCune description "Computer scientist".
- William_McCune description "Computer scientist".
- William_McCune subject Category:1953_births.
- William_McCune subject Category:2011_deaths.
- William_McCune hypernym Scientist.
- William_McCune type Agent.
- William_McCune type Person.
- William_McCune type Scientist.
- William_McCune type Scientist.
- William_McCune type Person.
- William_McCune type Agent.
- William_McCune type NaturalPerson.
- William_McCune type Thing.
- William_McCune type Q215627.
- William_McCune type Q5.
- William_McCune type Q901.
- William_McCune type Person.
- William_McCune comment "William McCune (December 1953 – May 2011) was an American computer scientist and logician working in the fields of Automated reasoning, Algebra, Logic, and Formal Methods. He was best known for the development of the Otter, Prover9, and Mace4 automated reasoning systems, and the automated proof of the Robbins conjecture using the EQP theorem prover.".
- William_McCune label "William McCune".
- William_McCune sameAs William_McCune.
- William_McCune sameAs m.04n6v0r.
- William_McCune sameAs Q8015374.
- William_McCune sameAs Q8015374.
- William_McCune wasDerivedFrom William_McCune?oldid=488893445.
- William_McCune givenName "William Walker".
- William_McCune isPrimaryTopicOf William_McCune.
- William_McCune name "McCune, William Walker".
- William_McCune name "William McCune".
- William_McCune name "William Walker McCune".
- William_McCune surname "McCune".