Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Richard_Statman> ?p ?o }
Showing triples 1 to 79 of
79
with 100 triples per page.
- Richard_Statman abstract "Richard Statman is an American computer scientist whose principal research interest is the theory of computation, especially symbolic computation. His research involves lambda calculus, type theory and combinatory algebra.".
- Richard_Statman almaMater Stanford_University.
- Richard_Statman birthDate "1946".
- Richard_Statman birthYear "1946".
- Richard_Statman doctoralAdvisor Georg_Kreisel.
- Richard_Statman doctoralStudent Enrico_Tronci.
- Richard_Statman field Computer_science.
- Richard_Statman wikiPageExternalLink statman.html.
- Richard_Statman wikiPageID "18329974".
- Richard_Statman wikiPageLength "1764".
- Richard_Statman wikiPageOutDegree "19".
- Richard_Statman wikiPageRevisionID "622564917".
- Richard_Statman wikiPageWikiLink Carnegie_Mellon_University.
- Richard_Statman wikiPageWikiLink Category:1946_births.
- Richard_Statman wikiPageWikiLink Category:American_computer_scientists.
- Richard_Statman wikiPageWikiLink Category:Living_people.
- Richard_Statman wikiPageWikiLink Computer_science.
- Richard_Statman wikiPageWikiLink Doctor_of_Philosophy.
- Richard_Statman wikiPageWikiLink Enrico_Tronci.
- Richard_Statman wikiPageWikiLink Georg_Kreisel.
- Richard_Statman wikiPageWikiLink Lambda_calculus.
- Richard_Statman wikiPageWikiLink PSPACE-complete.
- Richard_Statman wikiPageWikiLink Ph.D..
- Richard_Statman wikiPageWikiLink Simply_typed_lambda_calculus.
- Richard_Statman wikiPageWikiLink Stanford_University.
- Richard_Statman wikiPageWikiLink Theory_of_computation.
- Richard_Statman wikiPageWikiLink Type_inhabitation.
- Richard_Statman wikiPageWikiLink Type_inhabitation_problem.
- Richard_Statman wikiPageWikiLink Type_theory.
- Richard_Statman wikiPageWikiLink United_States.
- Richard_Statman wikiPageWikiLinkText "Richard Statman".
- Richard_Statman almaMater Stanford_University.
- Richard_Statman birthDate "Sept 6, 1946".
- Richard_Statman dateOfBirth "1946".
- Richard_Statman doctoralAdvisor Georg_Kreisel.
- Richard_Statman doctoralStudents Enrico_Tronci.
- Richard_Statman field Computer_science.
- Richard_Statman hasPhotoCollection Richard_Statman.
- Richard_Statman imageSize "150".
- Richard_Statman name "Richard Statman".
- Richard_Statman name "Statman, Richard".
- Richard_Statman shortDescription "American computer scientist".
- Richard_Statman wikiPageUsesTemplate Template:Infobox_scientist.
- Richard_Statman wikiPageUsesTemplate Template:Notability.
- Richard_Statman wikiPageUsesTemplate Template:Persondata.
- Richard_Statman workInstitutions Carnegie_Mellon_University.
- Richard_Statman description "American computer scientist".
- Richard_Statman description "American computer scientist".
- Richard_Statman subject Category:1946_births.
- Richard_Statman subject Category:American_computer_scientists.
- Richard_Statman subject Category:Living_people.
- Richard_Statman hypernym Scientist.
- Richard_Statman type Agent.
- Richard_Statman type Article.
- Richard_Statman type List.
- Richard_Statman type Person.
- Richard_Statman type Scientist.
- Richard_Statman type Article.
- Richard_Statman type List.
- Richard_Statman type Scientist.
- Richard_Statman type Person.
- Richard_Statman type Agent.
- Richard_Statman type NaturalPerson.
- Richard_Statman type Thing.
- Richard_Statman type Q215627.
- Richard_Statman type Q5.
- Richard_Statman type Q901.
- Richard_Statman type Person.
- Richard_Statman comment "Richard Statman is an American computer scientist whose principal research interest is the theory of computation, especially symbolic computation. His research involves lambda calculus, type theory and combinatory algebra.".
- Richard_Statman label "Richard Statman".
- Richard_Statman sameAs m.04cy2f1.
- Richard_Statman sameAs Q7329230.
- Richard_Statman sameAs Q7329230.
- Richard_Statman wasDerivedFrom Richard_Statman?oldid=622564917.
- Richard_Statman givenName "Richard".
- Richard_Statman isPrimaryTopicOf Richard_Statman.
- Richard_Statman name "Richard Statman".
- Richard_Statman name "Statman, Richard".
- Richard_Statman surname "Statman".