This HTML5 document contains 94 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n21http://g.co/kg/g/
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n22https://livedata.bibsys.no/authority/
n28http://data.bnf.fr/ark:/12148/cb127311970#
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n24https://d-nb.info/gnd/
n12http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n13http://isni.org/isni/
n15http://aleph.nli.org.il/F/
n31https://dblp.org/pid/85/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n18https://zbmath.org/authors/?q=ai:
n11http://genealogy.math.ndsu.nodak.edu/
n7http://fr.dbpedia.org/resource/Modèle:
n32http://www.idref.fr/071516689/
n14http://viaf.org/viaf/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n19https://id.loc.gov/authorities/names/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
n17https://data.bibliotheken.nl/doc/thes/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n27http://aut.nkp.cz/

Statements

Subject Item
dbpedia-fr:Christine_Paulin-Mohring
rdf:type
owl:Thing wikidata:Q729 wikidata:Q19088 n12:NaturalPerson wikidata:Q215627 dbo:Animal foaf:Person dbo:Eukaryote schema:Person dbo:Species dbo:Person wikidata:Q5
rdfs:label
Christine Paulin-Mohring Christine Paulin-Mohring Christine Paulin-Mohring
rdfs:comment
Christine Paulin-Mohring, née le 31 mai 1962, est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Coq.
rdfs:seeAlso
n11:id.php?id=128359 n13:0000_0001_0951_855X n15:?func=find-b&local_base=NNL10&find_code=SYS&con_lng=eng&request=002178430 n18:paulin-mohring.christine n27:xx0043117
owl:sameAs
wikidata:Q33138766 n14:7513198 dbpedia-de:Christine_Paulin-Mohring n17:p314055274 n19:n98084169 dbr:Christine_Paulin-Mohring n21:11fd7dcwkx n22:99000402 n24:124201781X n28:about dbpedia-pt:Christine_Paulin-Mohring n31:4254 n32:id
dbo:wikiPageID
13191795
dbo:wikiPageRevisionID
173067764
dbo:wikiPageWikiLink
dbpedia-fr:Logique_mathématique dbpedia-fr:France dbpedia-fr:Théorème_des_quatre_couleurs dbpedia-fr:Thierry_Coquand category-fr:Naissance_en_mai_1962 category-fr:Membre_de_l'Academia_Europaea category-fr:Mathématicienne_française category-fr:Mathématicien_français_du_XXe_siècle dbpedia-fr:Université_Paris-Sud category-fr:Mathématicien_français_du_XXIe_siècle dbpedia-fr:Georges_Gonthier dbpedia-fr:Institut_national_de_recherche_en_informatique_et_en_automatique dbpedia-fr:Prix_Michel-Monpetit dbpedia-fr:Coq_(logiciel) dbpedia-fr:Informaticien dbpedia-fr:Gérard_Huet dbpedia-fr:Association_for_Computing_Machinery dbpedia-fr:Assistant_de_preuve category-fr:Personnalité_en_logique_mathématique category-fr:Informaticien_français dbpedia-fr:Prix_ACM_Software_System dbpedia-fr:Académie_des_sciences_(France)
dbo:wikiPageLength
3864
dct:subject
category-fr:Naissance_en_mai_1962 category-fr:Mathématicienne_française category-fr:Informaticien_français category-fr:Membre_de_l'Academia_Europaea category-fr:Personnalité_en_logique_mathématique category-fr:Mathématicien_français_du_XXe_siècle category-fr:Mathématicien_français_du_XXIe_siècle
prop-fr:wikiPageUsesTemplate
n7:Portail n7:Références n7:Infobox_Biographie2 n7:Bases_recherche n7:Autorité n7:Date_de_naissance
prov:wasDerivedFrom
wikipedia-fr:Christine_Paulin-Mohring?oldid=173067764&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Christine_Paulin-Mohring
dbo:employer
wikidata:Q13531686
dbo:doctoralStudent
wikidata:Q102353598 wikidata:Q102353599 wikidata:Q102353596 wikidata:Q102353597 wikidata:Q102353604 wikidata:Q102353600 wikidata:Q102353601 wikidata:Q102353606 wikidata:Q102354337 wikidata:Q102354363 wikidata:Q102353427
dbo:abstract
Christine Paulin-Mohring, née le 31 mai 1962, est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Coq.
dbo:citizenship
dbpedia-fr:France
dbo:award
dbpedia-fr:Prix_Michel-Monpetit dbpedia-fr:Prix_ACM_Software_System
dbo:occupation
dbpedia-fr:Informaticien dbpedia-fr:Mathématicien
dbo:almaMater
dbpedia-fr:Université_Paris-Diderot
dbo:doctoralAdvisor
dbpedia-fr:Gérard_Huet