| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthName
| |
| dbo:birthPlace
| |
| dbo:description
|
- United States of America karimba ŋun nyɛ doo (dag)
- Amerikaans informaticus (nl)
- informáticu teóricu británicu (ast)
- britischer Informatiker (de)
- عالِم حاسوب من المملكة المتحدة (ar)
- computer science researcher in artificial intelligence (en)
|
| dbo:doctoralAdvisor
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthName
| |
| dbp:birthPlace
|
- Newent, Gloucestershire, UK (en)
|
| dbp:citizenship
| |
| dbp:doctoralAdvisor
| |
| dbp:education
| |
| dbp:field
| |
| dbp:knownFor
|
- Naive Physics Manifesto (en)
|
| dbp:name
| |
| dbp:prizes
| |
| dbp:thesisTitle
|
- Semantic trees: new foundations for automatic theorem proving (en)
|
| dbp:thesisUrl
| |
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workInstitution
| |
| dct:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:label
|
- Pat Hayes (en)
- Pat Hayes (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralStudents
of | |
| is foaf:primaryTopic
of | |
