DBpedia – Linked Data Fragments
DBpedia 2016-04
Query DBpedia 2016-04 by triple pattern
subject
predicate
object
Matches in DBpedia 2016-04 for
{ <http://hal.inria.fr/inria-00076024/en/> ?p ?o }
Showing triples 1 to 10 of
10
with
100
triples per page.
en
date
"
1986
"
.
en
first1
"
Thierry
"
.
en
first2
"
Gérard
"
.
en
isCitedBy
Calculus_of_constructions
.
en
journal
"
Technical Report 530
"
.
en
last1
"
Coquand
"
.
en
last2
"
Huet
"
.
en
publisher
"
INRIA, Centre de Rocquencourt
"
.
en
title
"
The calculus of constructions
"
.
en
url
en
.