<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Arend_Heyting> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Dutch_mathematicians_by_century> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Heyting_arithmetic> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Arend Heyting" .
<http://caligraph.org/resource/Arend_Heyting>	<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/Arend_Heyting>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Mathematician_born_in_the_19th_century> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Dutch_mathematicians> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Heyting, Arend" .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Arend_(given_name)> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Mathematics> .
<http://caligraph.org/resource/Andrzej_Grzegorczyk>	<http://caligraph.org/ontology/influencedBy>	<http://caligraph.org/resource/Arend_Heyting> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Amsterdam> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Netherlands> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Dutch_logician> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Amsterdam> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/birthYear>	"1898" .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Heyting_field> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Timeline_of_category_theory_and_related_mathematics> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/deathPlace>	<http://caligraph.org/resource/Lugano> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences_(H)> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1898_births> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/L._E._J._Brouwer> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/deathPlace>	<http://caligraph.org/resource/Switzerland> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Intuitionism> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Second_Conference_on_the_Epistemology_of_the_Exact_Sciences> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Dutch_mathematician> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_mathematicians_born_in_the_19th_century> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Intuitionistic_logic> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Scientist_from_Amsterdam> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/birthDate>	"1898-05-09" .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Dutch_logicians> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_from_Amsterdam> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Heyting" .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1898_birth> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/2000/01/rdf-schema#label>	"Arend Heyting" .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Dirk_van_Dalen> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/deathDate>	"1980-07-09" .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/deathYear>	"1980" .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1980_deaths> .
<http://caligraph.org/resource/Anne_Sjerp_Troelstra>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/Arend_Heyting> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Intuitionism> .
<http://caligraph.org/resource/L._E._J._Brouwer>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Arend_Heyting> .
<http://caligraph.org/resource/Arend_Heyting>	<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/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_Dutch_people> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_logicians> .
<http://caligraph.org/resource/Arend_Heyting>	<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/Arend_Heyting>	<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/Arend_Heyting>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Constructivism_(philosophy_of_mathematics)> .
<http://caligraph.org/resource/Arend_Heyting>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1980_death> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Heyting_algebra> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Anne_Sjerp_Troelstra> .
<http://caligraph.org/resource/Arend_Heyting>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Amsterdam> .