<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Programmer> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Researchers_in_distributed_computing> .
<http://caligraph.org/resource/David_Park_(computer_scientist)>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Mike_Paterson> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Theoretical_computer_scientist> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/David_P._Robbins_Prize> .
<http://caligraph.org/resource/Mike_Paterson>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Algorithm> .
<http://caligraph.org/resource/Mike_Paterson>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_science> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/British_computer_scientist> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Paul_R._Halmos_%E2%80%93_Lester_R._Ford_Award> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Mike_Paterson> .
<http://caligraph.org/resource/Mike_Paterson>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Warwick> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Mike Paterson" .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Theoretical_computer_scientists> .
<http://caligraph.org/resource/Mike_Paterson>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Analysis_of_algorithms> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Knuth_Prize> .
<http://caligraph.org/resource/Mike_Paterson>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/David_Park_(computer_scientist)> .
<http://caligraph.org/resource/Mike_Paterson>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/Dijkstra_Prize> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Fellow_of_the_Royal_Society_elected_in_2001> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_programmers> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Appiness> .
<http://caligraph.org/resource/Mike_Paterson>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Leslie_Valiant> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Researcher_in_distributed_computing> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/European_Association_for_Theoretical_Computer_Science> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:British_computer_scientists> .
<http://caligraph.org/resource/Mike_Paterson>	<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/Mike_Paterson>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Paterson" .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society> .
<http://caligraph.org/resource/Mike_Paterson>	<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/Carl_Hewitt>	<http://caligraph.org/ontology/academicAdvisor>	<http://caligraph.org/resource/Mike_Paterson> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/People_by_Erd%C5%91s_number> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/2000/01/rdf-schema#label>	"Mike Paterson" .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Paterson_(surname)> .
<http://caligraph.org/resource/Mike_Paterson>	<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/Mike_Paterson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Mike_Paterson>	<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/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/University_of_Warwick_people> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/2nd-millennium_birth> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Enfield_Grammar_School> .
<http://caligraph.org/resource/Mike_Paterson>	<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/Mike_Paterson>	<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/Mike_Paterson>	<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/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_University_of_Warwick_people> .
<http://caligraph.org/resource/Mike_Paterson>	<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/Mike_Paterson>	<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/Mike_Paterson>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/European_Association_for_Theoretical_Computer_Science> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_2001> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_computer_scientists> .
<http://caligraph.org/resource/Mike_Paterson>	<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/Mike_Paterson>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Michael Stewart Paterson" .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Mike_Paterson>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Massachusetts_Institute_of_Technology> .
<http://caligraph.org/resource/Mike_Paterson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_by_election_year> .