<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/1962_birth> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/20th-century_French_woman> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Members_of_Academia_Europaea> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://caligraph.org/ontology/award>	<http://caligraph.org/resource/ACM_Software_System_Award> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/21st-century_French_woman> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/20th-century_women_mathematician> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_French_women> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/21st-century_women_mathematician> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Living_people> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_living_people> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Christine_Paulin-Mohring> .
<http://caligraph.org/resource/G%C3%A9rard_Huet>	<http://caligraph.org/ontology/doctoralStudent>	<http://caligraph.org/resource/Christine_Paulin-Mohring> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Mathematical_logician> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/2000/01/rdf-schema#label>	"Christine Paulin-Mohring" .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://caligraph.org/ontology/doctoralAdvisor>	<http://caligraph.org/resource/G%C3%A9rard_Huet> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_logicians> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://caligraph.org/ontology/nationality>	<http://caligraph.org/resource/France> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Living_person> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://caligraph.org/ontology/birthYear>	"1962" .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/21st-century_French_mathematician> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://caligraph.org/ontology/almaMater>	<http://caligraph.org/resource/Paris_Diderot_University> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Woman_in_mathematics> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:21st-century_French_women> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_women_mathematicians> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/French_women_computer_scientist> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:21st-century_women_mathematicians> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Member_of_Academia_Europaea> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_women_in_mathematics> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:21st-century_French_mathematicians> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:French_women_computer_scientists> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Mathematical_logicians> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Christine_(name)> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Coq> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Paris-Saclay_University_people> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Paris-Saclay_University_person> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Computer_science> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/20th-century_French_mathematician> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://caligraph.org/ontology/academicDiscipline>	<http://caligraph.org/resource/Mathematics> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:20th-century_French_mathematicians> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Christine Paulin-Mohring" .
<http://caligraph.org/resource/Paris-Saclay_Faculty_of_Sciences>	<http://caligraph.org/ontology/dean>	<http://caligraph.org/resource/Christine_Paulin-Mohring> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Lists_of_living_people> .
<http://caligraph.org/resource/Christine_Paulin-Mohring>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:1962_births> .