<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Theoretical_computer_scientist> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Austrian_computer_scientist> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Scientists_from_Vienna> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Theoretical_computer_scientists> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Academics_of_Durham_University> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/birthPlace>	<http://caligraph.org/resource/Vienna> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Durham_University> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/TU_Wien_alumnus> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Theoretical_computer_science> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Academic_of_Durham_University> .
<http://caligraph.org/resource/Stefan_Szeider>	<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/Stefan_Szeider>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Scientist_from_Vienna> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Boolean_satisfiability_problem> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computational_complexity_theory> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Stefan_Szeider> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/University_of_Vienna> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/2000/01/rdf-schema#label>	"Stefan Szeider" .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Parameterized_complexity> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_science> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Constraint_satisfaction> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Algorithm> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/Austrian_Academy_of_Sciences> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:TU_Wien_alumni> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/TU_Wien> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Stefan Szeider" .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/institution>	<http://caligraph.org/resource/University_of_Toronto> .
<http://caligraph.org/resource/Georg_Gottlob>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Stefan_Szeider> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/TU_Wien> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Stefan_Szeider>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Austrian_computer_scientists> .