About: Ross Overbeek

Property	Value
dbo:abstract	Ross A. Overbeek (born May 16, 1949) is an American computer scientist with a long tenure at the Argonne National Laboratory. He has made important contributions to mathematical logic and genomics, as well as programming, particularly in database theory and the programming language Prolog. (en)
dbo:academicDiscipline	dbr:Mathematical_logic dbr:Computer_science dbr:Bioinformatics
dbo:almaMater	dbr:Pennsylvania_State_University
dbo:birthDate	1949-05-16 (xsd:date)
dbo:birthPlace	dbr:Traverse_City,_Michigan
dbo:knownFor	dbr:Automated_theorem_proving
dbo:wikiPageExternalLink	https://archive.org/details/assemblerlanguag00over https://archive.org/details/automatedreasoni0000wosl
dbo:wikiPageID	4128468 (xsd:integer)
dbo:wikiPageLength	7220 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1091106171 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Prolog dbr:Pennsylvania_State_University dbr:United_States_Department_of_Energy dbr:University_of_Chicago dbc:1949_births dbc:Living_people dbr:Mathematical_logic dbr:Genomics dbr:Grand_Valley_State_University dbr:Libertarianism dbr:Comparative_genomics dbr:Computer_science dbr:Computer_scientist dbr:Automated_theorem_proving dbc:20th-century_American_mathematicians dbc:21st-century_American_mathematicians dbc:American_computer_scientists dbc:American_geneticists dbc:American_male_writers dbc:Pennsylvania_State_University_alumni dbr:Traverse_City,_Michigan dbr:Database_theory dbr:Non-profit_organization dbr:Northern_Illinois_University dbr:Mathematical_programming dbr:Argonne_National_Laboratory dbc:Argonne_National_Laboratory_people dbc:People_from_Traverse_City,_Michigan dbr:Bioinformatics dbr:Human_Genome_Project dbr:National_Institutes_of_Health dbr:R._W._Bradford dbr:Liberty_(1987)
dbp:almaMater	dbr:Pennsylvania_State_University
dbp:birthDate	1949-05-16 (xsd:date)
dbp:birthPlace	dbr:Traverse_City,_Michigan
dbp:doctoralAdvisor	Wilson E. Singletary (en)
dbp:field	dbr:Mathematical_logic dbr:Computer_science bioinformatics (en)
dbp:imageSize	150 (xsd:integer)
dbp:knownFor	dbr:Automated_theorem_proving
dbp:name	Ross A. Overbeek (en)
dbp:wikiPageUsesTemplate	dbt:DBLP dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Short_description dbt:Birth_date_and_age dbt:Infobox_scientist
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1
dbp:workInstitutions	dbr:Argonne_National_Laboratory
dcterms:subject	dbc:1949_births dbc:Living_people dbc:20th-century_American_mathematicians dbc:21st-century_American_mathematicians dbc:American_computer_scientists dbc:American_geneticists dbc:American_male_writers dbc:Pennsylvania_State_University_alumni dbc:Argonne_National_Laboratory_people dbc:People_from_Traverse_City,_Michigan
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/57967579
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatAmericanComputerScientists yago:WikicatAmericanGeneticists yago:WikicatAmericanMathematicians yago:WikicatAmericanWriters dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople yago:WikicatPennsylvaniaStateUniversityAlumni wikidata:Q901 yago:Alumnus109786338 yago:Biologist109855630 yago:CausalAgent100007347 yago:Communicator109610660 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Geneticist110126424 yago:Intellectual109621545 yago:LivingThing100004258 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Writer110794014 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatPeopleFromTraverseCity,Michigan
rdfs:comment	Ross A. Overbeek (born May 16, 1949) is an American computer scientist with a long tenure at the Argonne National Laboratory. He has made important contributions to mathematical logic and genomics, as well as programming, particularly in database theory and the programming language Prolog. (en)
rdfs:label	Ross Overbeek (en)
owl:sameAs	freebase:Ross Overbeek yago-res:Ross Overbeek http://viaf.org/viaf/57967579 https://dblp.org/pid/o/RossAOverbeek wikidata:Ross Overbeek http://data.bibliotheken.nl/id/thes/p074184873 http://ht.dbpedia.org/resource/Ross_Overbeek https://global.dbpedia.org/id/4uTkD
prov:wasDerivedFrom	wikipedia-en:Ross_Overbeek?oldid=1091106171&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Ross_Overbeek
foaf:name	Ross A. Overbeek (en)
is dbo:academicAdvisor of	dbr:Nikos_Kyrpides
is dbo:wikiPageRedirects of	dbr:Ross_A._Overbeek
is dbo:wikiPageWikiLink of	dbr:List_of_people_by_Erdős_number dbr:Nikos_Kyrpides dbr:ASSIST_(computing) dbr:Ross_A._Overbeek dbr:National_Microbial_Pathogen_Data_Resource
is dbp:academicAdvisors of	dbr:Nikos_Kyrpides
is foaf:primaryTopic of	wikipedia-en:Ross_Overbeek