Matches in DBpedia 2014 for { <http://dbpedia.org/resource/William_McCune> ?p ?o. }
Showing items 1 to 68 of
68
with 100 items 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 wikiPageRevisionID "488893445".
- 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 Otter_(theorem_prover).
- William_McCune knownFor Prover9.
- William_McCune knownFor Robbins_algebra.
- 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 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 type CausalAgent100007347.
- William_McCune type LivingThing100004258.
- William_McCune type Object100002684.
- William_McCune type Organism100004475.
- William_McCune type Person100007846.
- William_McCune type PhysicalEntity100001930.
- William_McCune type Scientist110560637.
- William_McCune type Whole100003553.
- William_McCune type YagoLegalActor.
- William_McCune type YagoLegalActorGeo.
- William_McCune type Agent.
- William_McCune type Person.
- William_McCune type Scientist.
- William_McCune type Person.
- William_McCune type Scientist.
- William_McCune type Q215627.
- William_McCune type Q5.
- William_McCune type Agent.
- William_McCune type NaturalPerson.
- William_McCune type Thing.
- 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 m.04n6v0r.
- William_McCune sameAs Q8015374.
- William_McCune sameAs Q8015374.
- William_McCune sameAs William_McCune.
- 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".