About: Christine Paulin-Mohring     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : wikidata:Q24229398, within Data Space : dbpedia-live.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia-live.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FChristine_Paulin-Mohring

Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor at Paris-Sud 11 University, best known for developing the interactive theorem prover Coq.

AttributesValues
rdf:type
foaf:isPrimaryTopicOf
foaf:name
  • Christine Paulin-Mohring
rdfs:comment
  • Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor at Paris-Sud 11 University, best known for developing the interactive theorem prover Coq.
  • Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor at Paris-Saclay University, best known for developing the interactive theorem prover Coq.
rdfs:label
  • Christine Paulin-Mohring
has abstract
  • Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor at Paris-Sud 11 University, best known for developing the interactive theorem prover Coq.
  • Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor at Paris-Saclay University, best known for developing the interactive theorem prover Coq.
academic discipline
alma mater
award
doctoral advisor
known for
LCCN Id
  • n98084169
VIAF Id
  • 7513198
Link to the Wikipage edit URL
Link from a Wikipage to an external page
extraction datetime
Link to the Wikipage history URL
Wikipage page ID
page length (characters) of wiki page
Wikipage modification datetime
Wiki page out degree
Wikipage revision ID
Faceted Search & Find service v1.17_git39 as of Aug 10 2019


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Sep 1 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software