Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6831376> ?p ?o }
Showing triples 1 to 75 of
75
with 100 triples per page.
- Q6831376 subject Q10172270.
- Q6831376 subject Q5312304.
- Q6831376 subject Q7020244.
- Q6831376 subject Q8170135.
- Q6831376 subject Q8237007.
- Q6831376 subject Q8416149.
- Q6831376 subject Q8466127.
- Q6831376 subject Q8620694.
- Q6831376 subject Q9706336.
- Q6831376 abstract "Michael John Caldwell "Mike" Gordon FRS (born 28 February 1948) is a British computer scientist.Mike Gordon led the development of the HOL theorem prover. The HOL system is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. There has been a series of international conferences on the HOL system, TPHOLs. The first three were informal users' meetings with no published proceedings. The tradition now is for an annual conference in a continent different from the location of the previous meeting. From 1996, the scope broadened to cover all theorem proving in higher-order logics.Gordon was born in Ripon, Yorkshire, England. He gained his Ph.D. at University of Edinburgh in 1973 with a thesis entitled Evaluation and Denotation of Pure LISP Programs. He has worked at the Cambridge University Computer Laboratory since 1981, initially as a Lecturer and moving to Reader in 1988 and Professor in 1996. He was elected a Fellow of the Royal Society in 1994, and in 2008 a two-day research meeting on Tools and Techniques for Verification of System Infrastructure was held there in honour of his 60th birthday.".
- Q6831376 almaMater Q160302.
- Q6831376 birthDate "1948-02-28".
- Q6831376 birthPlace Q163.
- Q6831376 birthPlace Q21.
- Q6831376 birthPlace Q661529.
- Q6831376 citizenship Q145.
- Q6831376 field Q21198.
- Q6831376 knownFor Q17030435.
- Q6831376 nationality Q145.
- Q6831376 residence Q23112.
- Q6831376 thumbnail ProfessorMichaelJCGordon.jpg?width=300.
- Q6831376 wikiPageExternalLink mjcg.
- Q6831376 wikiPageExternalLink 6654.
- Q6831376 wikiPageWikiLink Q10172270.
- Q6831376 wikiPageWikiLink Q121594.
- Q6831376 wikiPageWikiLink Q123885.
- Q6831376 wikiPageWikiLink Q145.
- Q6831376 wikiPageWikiLink Q160302.
- Q6831376 wikiPageWikiLink Q163.
- Q6831376 wikiPageWikiLink Q1644136.
- Q6831376 wikiPageWikiLink Q17030435.
- Q6831376 wikiPageWikiLink Q21.
- Q6831376 wikiPageWikiLink Q21198.
- Q6831376 wikiPageWikiLink Q23112.
- Q6831376 wikiPageWikiLink Q35794.
- Q6831376 wikiPageWikiLink Q431667.
- Q6831376 wikiPageWikiLink Q5312304.
- Q6831376 wikiPageWikiLink Q661529.
- Q6831376 wikiPageWikiLink Q7020244.
- Q6831376 wikiPageWikiLink Q752297.
- Q6831376 wikiPageWikiLink Q7895212.
- Q6831376 wikiPageWikiLink Q8170135.
- Q6831376 wikiPageWikiLink Q8237007.
- Q6831376 wikiPageWikiLink Q82594.
- Q6831376 wikiPageWikiLink Q8416149.
- Q6831376 wikiPageWikiLink Q8466127.
- Q6831376 wikiPageWikiLink Q860654.
- Q6831376 wikiPageWikiLink Q8620694.
- Q6831376 wikiPageWikiLink Q9706336.
- Q6831376 almaMater Q160302.
- Q6831376 birthDate "1948-02-28".
- Q6831376 birthPlace Q163.
- Q6831376 birthPlace Q21.
- Q6831376 birthPlace Q661529.
- Q6831376 citizenship Q145.
- Q6831376 field Q21198.
- Q6831376 knownFor Q17030435.
- Q6831376 name "Michael J. C. Gordon".
- Q6831376 nationality Q145.
- Q6831376 residence Q23112.
- Q6831376 type Person.
- Q6831376 type Agent.
- Q6831376 type Person.
- Q6831376 type Scientist.
- Q6831376 type Agent.
- Q6831376 type NaturalPerson.
- Q6831376 type Thing.
- Q6831376 type Q215627.
- Q6831376 type Q5.
- Q6831376 type Q901.
- Q6831376 type Person.
- Q6831376 comment "Michael John Caldwell "Mike" Gordon FRS (born 28 February 1948) is a British computer scientist.Mike Gordon led the development of the HOL theorem prover. The HOL system is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware.".
- Q6831376 label "Michael J. C. Gordon".
- Q6831376 depiction ProfessorMichaelJCGordon.jpg.
- Q6831376 name "Michael J. C. Gordon".