Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6830387> ?p ?o }
- Q6830387 subject Q18672072.
- Q6830387 subject Q5312304.
- Q6830387 subject Q6275329.
- Q6830387 subject Q6376072.
- Q6830387 subject Q6847952.
- Q6830387 subject Q8218957.
- Q6830387 subject Q8219110.
- Q6830387 subject Q8237352.
- Q6830387 subject Q8237442.
- Q6830387 subject Q8313787.
- Q6830387 subject Q8445870.
- Q6830387 subject Q8466127.
- Q6830387 subject Q8797994.
- Q6830387 subject Q8974320.
- Q6830387 subject Q9717402.
- Q6830387 abstract "Michael Paul Fourman FBCS (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001–2009.Fourman is interested in applications of logic in computer science, artificial intelligence, and cognitive science – more specifically, formal models of digital systems, system design tools, proof assistants, categorical semantics and propositional planning.".
- Q6830387 almaMater Q459506.
- Q6830387 almaMater Q752297.
- Q6830387 birthDate "1950-09-12".
- Q6830387 birthPlace Q34217.
- Q6830387 doctoralAdvisor Q249984.
- Q6830387 doctoralAdvisor Q49823.
- Q6830387 field Q8078.
- Q6830387 field Q82594.
- Q6830387 residence Q22.
- Q6830387 thumbnail Michael_Fourman_July_2006.jpg?width=300.
- Q6830387 wikiPageExternalLink mfourman.
- Q6830387 wikiPageExternalLink fourman.html.
- Q6830387 wikiPageExternalLink 5758054.
- Q6830387 wikiPageExternalLink www.fourman.dsl.pipex.com.
- Q6830387 wikiPageExternalLink Michael_Fourman.html.
- Q6830387 wikiPageExternalLink fulltext.pdf.
- Q6830387 wikiPageWikiLink Q1095773.
- Q6830387 wikiPageWikiLink Q11387554.
- Q6830387 wikiPageWikiLink Q11660.
- Q6830387 wikiPageWikiLink Q1166618.
- Q6830387 wikiPageWikiLink Q1303814.
- Q6830387 wikiPageWikiLink Q1457340.
- Q6830387 wikiPageWikiLink Q147638.
- Q6830387 wikiPageWikiLink Q1517021.
- Q6830387 wikiPageWikiLink Q160302.
- Q6830387 wikiPageWikiLink Q1707899.
- Q6830387 wikiPageWikiLink Q173156.
- Q6830387 wikiPageWikiLink Q18376327.
- Q6830387 wikiPageWikiLink Q18672072.
- Q6830387 wikiPageWikiLink Q192161.
- Q6830387 wikiPageWikiLink Q2007225.
- Q6830387 wikiPageWikiLink Q201492.
- Q6830387 wikiPageWikiLink Q209842.
- Q6830387 wikiPageWikiLink Q21198.
- Q6830387 wikiPageWikiLink Q22.
- Q6830387 wikiPageWikiLink Q221653.
- Q6830387 wikiPageWikiLink Q249984.
- Q6830387 wikiPageWikiLink Q34217.
- Q6830387 wikiPageWikiLink Q34433.
- Q6830387 wikiPageWikiLink Q35794.
- Q6830387 wikiPageWikiLink Q3750474.
- Q6830387 wikiPageWikiLink Q4027615.
- Q6830387 wikiPageWikiLink Q459506.
- Q6830387 wikiPageWikiLink Q4801032.
- Q6830387 wikiPageWikiLink Q487556.
- Q6830387 wikiPageWikiLink Q49088.
- Q6830387 wikiPageWikiLink Q49179.
- Q6830387 wikiPageWikiLink Q49823.
- Q6830387 wikiPageWikiLink Q5312304.
- Q6830387 wikiPageWikiLink Q5424551.
- Q6830387 wikiPageWikiLink Q597330.
- Q6830387 wikiPageWikiLink Q6275329.
- Q6830387 wikiPageWikiLink Q6376072.
- Q6830387 wikiPageWikiLink Q6467292.
- Q6830387 wikiPageWikiLink Q6847952.
- Q6830387 wikiPageWikiLink Q752297.
- Q6830387 wikiPageWikiLink Q8078.
- Q6830387 wikiPageWikiLink Q8218957.
- Q6830387 wikiPageWikiLink Q8219110.
- Q6830387 wikiPageWikiLink Q8237352.
- Q6830387 wikiPageWikiLink Q8237442.
- Q6830387 wikiPageWikiLink Q82594.
- Q6830387 wikiPageWikiLink Q8313787.
- Q6830387 wikiPageWikiLink Q843016.
- Q6830387 wikiPageWikiLink Q8445870.
- Q6830387 wikiPageWikiLink Q8466127.
- Q6830387 wikiPageWikiLink Q8797994.
- Q6830387 wikiPageWikiLink Q8974320.
- Q6830387 wikiPageWikiLink Q932411.
- Q6830387 wikiPageWikiLink Q9717402.
- Q6830387 almaMater "BSc. Bristol; MSc, DPhil. Oxford.".
- Q6830387 birthDate "1950-09-12".
- Q6830387 birthPlace "Oxford, United Kingdom".
- Q6830387 doctoralAdvisor "Dana Scott".
- Q6830387 doctoralAdvisor "Robin Gandy".
- Q6830387 field "logician, computer scientist, mathematician".
- Q6830387 name "Michael Paul Fourman".
- Q6830387 residence "Scotland, United Kingdom".
- Q6830387 point "55.945 -3.1869444444444444".
- Q6830387 type Person.
- Q6830387 type Agent.
- Q6830387 type Person.
- Q6830387 type Scientist.
- Q6830387 type Agent.