Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q8015374> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Q8015374 description "Computer scientist".
- Q8015374 description "Computer scientist".
- Q8015374 subject Q6647483.
- Q8015374 subject Q6914491.
- Q8015374 subject Q7067047.
- Q8015374 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.".
- Q8015374 alias "McCune, Bill".
- Q8015374 birthDate "1953".
- Q8015374 birthYear "1953".
- Q8015374 deathDate "2011".
- Q8015374 deathYear "2011".
- Q8015374 knownFor Q7252336.
- Q8015374 knownFor Q7341067.
- Q8015374 nationality Q30.
- Q8015374 wikiPageExternalLink ~mccune.
- Q8015374 wikiPageExternalLink prover9.
- Q8015374 wikiPageWikiLink Q1049183.
- Q8015374 wikiPageWikiLink Q1190812.
- Q8015374 wikiPageWikiLink Q2555318.
- Q8015374 wikiPageWikiLink Q30.
- Q8015374 wikiPageWikiLink Q3968.
- Q8015374 wikiPageWikiLink Q5323984.
- Q8015374 wikiPageWikiLink Q6647483.
- Q8015374 wikiPageWikiLink Q6914491.
- Q8015374 wikiPageWikiLink Q7067047.
- Q8015374 wikiPageWikiLink Q7252336.
- Q8015374 wikiPageWikiLink Q7341067.
- Q8015374 wikiPageWikiLink Q8078.
- Q8015374 wikiPageWikiLink Q82594.
- Q8015374 alternativeNames "McCune, Bill".
- Q8015374 dateOfBirth "Dec 1953".
- Q8015374 dateOfDeath "May 2011".
- Q8015374 knownFor Q7252336.
- Q8015374 knownFor Q7341067.
- Q8015374 name "McCune, William Walker".
- Q8015374 name "William McCune".
- Q8015374 nationality "American".
- Q8015374 shortDescription "Computer scientist".
- Q8015374 type Person.
- Q8015374 type Agent.
- Q8015374 type Person.
- Q8015374 type Scientist.
- Q8015374 type Agent.
- Q8015374 type NaturalPerson.
- Q8015374 type Thing.
- Q8015374 type Q215627.
- Q8015374 type Q5.
- Q8015374 type Q901.
- Q8015374 type Person.
- Q8015374 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.".
- Q8015374 label "William McCune".
- Q8015374 givenName "William Walker".
- Q8015374 name "McCune, William Walker".
- Q8015374 name "William McCune".
- Q8015374 name "William Walker McCune".
- Q8015374 surname "McCune".