<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_science> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:New_York_University_alumni> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1934_births> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Donald_W._Loveland> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Herbrand_Award> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Artificial_intelligence_researchers> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:21st-century_American_mathematicians> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/DPLL_algorithm> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/2000/01/rdf-schema#label>	"Donald W. Loveland" .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Fellow_of_the_Association_for_Computing_Machinery> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Artificial_intelligence> .
<http://caligraph.org/resource/Martin_Davis_(mathematician)>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Donald_W._Loveland> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Oberlin_College> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Artificial_intelligence_researcher> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Duke_University> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Association_for_the_Advancement_of_Artificial_Intelligence> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Oberlin_College_alumni> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Fellow_of_the_Association_for_the_Advancement_of_Artificial_Intelligence> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/New_York_University_alumnus> .
<http://caligraph.org/resource/Susan_Gerhart>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Donald_W._Loveland> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_New_York_University_alumni> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/21st-century_American_mathematician> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Owen_Astrachan> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/New_York_University> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Loveland_(surname)> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/20th-century_American_mathematician> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:American_computer_scientists> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Susan_Gerhart> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Herbrand_Award> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Donald W. Loveland" .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1934_birth> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Rochester,_New_York> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Donald W. Loveland" .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/American_computer_scientist> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Oberlin_College_alumnus> .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://caligraph.org/ontology/birthYear>	"1934" .
<http://caligraph.org/resource/Donald_W._Loveland>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_American_mathematicians> .