<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Jewish_scientist> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Plotkin's" .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Members_of_Academia_Europaea> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Doug_Gurr> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Academic_of_the_University_of_Edinburgh> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Formal_methods_people> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/type>	<http://caligraph.org/resource/Learned_society> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Li_Wei_(computer_scientist)> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/European_Association_for_Theoretical_Computer_Science> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/birthName>	"Gordon David Plotkin" .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/SIGPLAN> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Royal_Society_Wolfson_Research_Merit_Award_holder> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Fellow_of_the_Royal_Society_of_Edinburgh> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_British_Jewish_scientists> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Alumnus_of_the_University_of_Edinburgh> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Milner_Award> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Formal_methods_person> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Gordon David Plotkin" .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Eugenio_Moggi> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society_of_Edinburgh> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/2000/01/rdf-schema#label>	"Gordon Plotkin" .
<http://caligraph.org/resource/Rod_Burstall>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Gordon_Plotkin> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Logic> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_programming_language_researchers> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Cognitive_scientist> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Programming_language_researcher> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Philippa_Gardner> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Unbounded_nondeterminism> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Edinburgh> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh> .
<http://caligraph.org/resource/Li_Wei_(computer_scientist)>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Gordon_Plotkin> .
<http://caligraph.org/resource/Eugenio_Moggi>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Gordon_Plotkin> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_Jewish_scientists> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Member_of_Academia_Europaea> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Programming_language_theory> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Fellow_of_the_Royal_Society_elected_in_1992> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_G,_H,_I> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_J,_K,_L> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Gordon Plotkin" .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Programming_language_researchers> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_A,_B,_C> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_D,_E,_F> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Donald_Michie> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_S,_T,_U,_V> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/BCS_Lovelace_Medal> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/location>	<http://caligraph.org/resource/Scotland> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_W,_X,_Y,_Z> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1946_birth> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_M,_N,_O> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_P,_Q,_R> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_by_election_year> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Royal_Society_Wolfson_Research_Merit_Award> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/birthDate>	"1946-09-09" .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Domain_theory> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_science> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Rod_Burstall> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Gordon_Plotkin> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1946_births> .
<http://caligraph.org/resource/Gordon_Plotkin>	<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/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Edinburgh> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Operational_semantics> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_1992> .
<http://caligraph.org/resource/Gordon_Plotkin>	<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/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_(health_and_human_sciences)> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/British_computer_scientist> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Glasgow> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/European_Association_for_Theoretical_Computer_Science> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society_by_year> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society> .
<http://caligraph.org/resource/Donald_Michie>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Gordon_Plotkin> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/University_of_Edinburgh_people> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Luca_Cardelli> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Mathematics> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:British_computer_scientists> .
<http://caligraph.org/resource/Luca_Cardelli>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Gordon_Plotkin> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_University_of_Edinburgh_people> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Royal_Society_Wolfson_Research_Merit_Award> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_computer_scientists> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Gordon D. Plotkin." .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Royal_Society_Wolfson_Research_Merit_Award_holders> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Glasgow> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Edinburgh> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_cognitive_scientists> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/birthYear>	"1946" .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Jewish_scientists> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Programming_Computable_Functions> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/2004/02/skos/core#altLabel>	"G. D. Plotkin" .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Edinburgh> .
<http://caligraph.org/resource/Gordon_Plotkin>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/British_Jewish_scientist> .