<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Barendregt" .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1947_birth> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Members_of_Academia_Europaea> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Spinoza_Prize_winner> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Henk_Barendregt> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Utrecht_University_alumnus> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Utrecht_University_alumni> .
<http://caligraph.org/resource/Jan_Willem_Klop>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Henk_Barendregt> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://caligraph.org/ontology/birthYear>	"1947" .
<http://caligraph.org/resource/Henk_Barendregt>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Amsterdam> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://caligraph.org/ontology/nationality>	<http://caligraph.org/resource/Netherlands> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Hendrik Pieter Barendregt" .
<http://caligraph.org/resource/Georg_Kreisel>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Henk_Barendregt> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Dutch_computer_scientist> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_logicians> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Dutch_computer_scientists> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Barendregt, Hendrik Pieter" .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Henk Barendregt" .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences_(B)> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Scientist_from_Amsterdam> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(D%E2%80%93H)> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1947_births> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/2000/01/rdf-schema#label>	"Henk Barendregt" .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Barendregt's" .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Member_of_Academia_Europaea> .
<http://caligraph.org/resource/Marieke_Huisman>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Henk_Barendregt> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Mathematical_logicians> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Mathematical_logician> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Member_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Hendrik_(given_name)> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Spinoza_Prize_winners> .
<http://caligraph.org/resource/Henk_Barendregt>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_from_Amsterdam> .