About: Christine Paulin-Mohring

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

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.

Attributes	Values
rdf:type	schema:Person dul:Agent dul:NaturalPerson Person wikidata:Q5 wikidata:Q901 foaf:Person Thing agent person scientist wikidata:Q24229398
foaf:isPrimaryTopicOf	wikipedia-en:Christine_Paulin-Mohring
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	Computer science Mathematics Computer Science
alma mater	Paris Diderot University
award	ACM Software Systems Award
doctoral advisor	Gérard Huet
known for	Coq project
LCCN Id	n98084169
VIAF Id	7513198
Link to the Wikipage edit URL	http://en.wikipedia.org/w/index.php?title=Christine_Paulin-Mohring&action=edit
Link from a Wikipage to an external page	https://www.lri.fr/~paulin/index.html
extraction datetime	2019-05-30 06:40:46Z(xsd:dateTime) 2019-09-09 16:43:01Z(xsd:dateTime) 2020-05-11 10:41:20Z(xsd:dateTime) 2020-05-11 10:43:25Z(xsd:dateTime) 2020-05-11 11:03:46Z(xsd:dateTime) 2020-06-25 12:10:41Z(xsd:dateTime) 2020-06-25 12:10:50Z(xsd:dateTime) 2020-07-01 00:30:28Z(xsd:dateTime) 2020-08-06 21:24:18Z(xsd:dateTime) 2020-08-06 22:22:18Z(xsd:dateTime) 2020-09-02 06:06:49Z(xsd:dateTime) 2020-09-02 06:11:44Z(xsd:dateTime) 2020-09-02 08:13:33Z(xsd:dateTime) 2020-10-07 01:43:11Z(xsd:dateTime) 2020-10-09 01:02:49Z(xsd:dateTime) 2020-12-11 13:13:18Z(xsd:dateTime)
Link to the Wikipage history URL	http://en.wikipedia.org/w/index.php?title=Christine_Paulin-Mohring&action=history
Wikipage page ID	58716885(xsd:integer)
page length (characters) of wiki page	3081(xsd:integer) 3115(xsd:integer) 3184(xsd:integer) 3195(xsd:integer) 3237(xsd:integer) 3303(xsd:integer) 3304(xsd:integer) 3433(xsd:integer) 3673(xsd:integer) 3688(xsd:integer) 3695(xsd:integer) 3717(xsd:integer) 3723(xsd:integer) 5790(xsd:integer) 6072(xsd:integer) 6073(xsd:integer)
Wikipage modification datetime	2019-05-30 06:18:56Z(xsd:dateTime) 2019-09-09 16:41:25Z(xsd:dateTime) 2020-05-11 10:41:14Z(xsd:dateTime) 2020-05-11 10:43:23Z(xsd:dateTime) 2020-05-11 11:03:40Z(xsd:dateTime) 2020-06-25 12:10:37Z(xsd:dateTime) 2020-06-25 12:10:48Z(xsd:dateTime) 2020-07-01 00:30:24Z(xsd:dateTime) 2020-08-06 21:24:13Z(xsd:dateTime) 2020-08-06 22:22:13Z(xsd:dateTime) 2020-09-02 06:06:44Z(xsd:dateTime) 2020-09-02 06:11:34Z(xsd:dateTime) 2020-09-02 08:13:22Z(xsd:dateTime) 2020-10-07 01:43:08Z(xsd:dateTime) 2020-10-09 01:02:46Z(xsd:dateTime) 2020-12-11 13:13:12Z(xsd:dateTime)
Wiki page out degree	27(xsd:integer) 28(xsd:integer) 29(xsd:integer) 30(xsd:integer) 31(xsd:integer)
Wikipage revision ID	899462501(xsd:integer) 914833174(xsd:integer) 956071273(xsd:integer) 956071496(xsd:integer) 956073876(xsd:integer) 964424049(xsd:integer) 964424065(xsd:integer) 965381951(xsd:integer) 971553397(xsd:integer) 971562057(xsd:integer) 976292867(xsd:integer) 976293475(xsd:integer) 976309370(xsd:integer) 982256703(xsd:integer) 982578694(xsd:integer)

Faceted Search & Find service v1.17_git39 as of Aug 10 2019

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

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