About DBpedia Fr

About: http://fr.dbpedia.org/resource/Christine_Paulin-Mohring

An Entity of Type : person, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

Christine Paulin-Mohring, née le 31 mai 1962, est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Coq.

Property Value
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. (fr)
  • Christine Paulin-Mohring, née le 31 mai 1962, est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Coq. (fr)
dbo:almaMater
dbo:award
dbo:citizenship
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:occupation
dbo:wikiPageID
  • 13191795 (xsd:integer)
dbo:wikiPageLength
  • 3864 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 173067764 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
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. (fr)
  • Christine Paulin-Mohring, née le 31 mai 1962, est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Coq. (fr)
rdfs:label
  • Christine Paulin-Mohring (de)
  • Christine Paulin-Mohring (en)
  • Christine Paulin-Mohring (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:wikiPageWikiLink of
is prop-fr:doyen of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License