<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_institution> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/De_Bilt> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_century> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/birthDate>	"1939-08-10" .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Utrecht> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_continent> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Deaths_in_March_2019> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_country_and_city> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Dutch_mathematician> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_century_and_nationality> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_city> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/2019_death> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Institute_for_Logic,_Language_and_Computation> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/De_Bilt> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Mathematics> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_field> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_logicians> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Anne Sjerp Troelstra" .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_membership> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Utrecht_(province)> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Scientist> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_award> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Maartensdijk> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:People_from_De_Bilt> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_nationality> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_religion> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Anne Troelstra" .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/birthYear>	"1939" .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/2000/01/rdf-schema#label>	"Anne Sjerp Troelstra" .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1939_births> .
<http://caligraph.org/resource/Rineke_Verbrugge>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Anne_Sjerp_Troelstra> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Anne_Sjerp_Troelstra> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Maartensdijk> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/deathPlace>	<http://caligraph.org/resource/Blaricum> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/deathYear>	"2019" .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/nationality>	<http://caligraph.org/resource/Dutch_people> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Arend_Heyting> .
<http://caligraph.org/resource/Ieke_Moerdijk>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Anne_Sjerp_Troelstra> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Amsterdam> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Person_from_De_Bilt> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Ieke_Moerdijk> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_period> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Dutch_mathematicians> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Naturalists_by_century> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_religion> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Logician> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:2019_deaths> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<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/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Dutch_mathematicians_by_century> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_continent> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<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/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_nationality> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Troelstra, A. S." .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_ethnicity> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1939_birth> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Anne_Sjerp_Troelstra> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_field> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_nationality> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_by_nationality_and_century> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Amsterdam> .