<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1903_births> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_mathematicians> .
<http://caligraph.org/resource/Richard_Courant>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Leifur_%C3%81sgeirsson> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:PDE_theorists> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Icelandic_mathematician> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Icelandic_mathematicians> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Leifur_%C3%81sgeirsson> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<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/Leifur_%C3%81sgeirsson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_Icelandic_people> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Reykjav%C3%ADk_University_alumnus> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_Icelandic_people_by_occupation> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Reykjav%C3%ADk_University_alumni> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/20th-century_mathematician> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Leifur \u00C1sgeirsson" .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://caligraph.org/ontology/deathYear>	"1990" .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://caligraph.org/ontology/birthYear>	"1903" .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://caligraph.org/ontology/occupation>	<http://caligraph.org/resource/Mathematician> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/20th-century_Icelandic_person> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1990_death> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/PDE_theorist> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<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/Leifur_%C3%81sgeirsson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1990_deaths> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1903_birth> .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/2000/01/rdf-schema#label>	"Leifur \u00C1sgeirsson" .
<http://caligraph.org/resource/Leifur_%C3%81sgeirsson>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_mathematicians_by_nationality> .