DBpedia – Linked Data Fragments
DBpedia 2016-04
Query DBpedia 2016-04 by triple pattern
subject
predicate
object
Matches in DBpedia 2016-04 for
{ <https://www.era.lib.ed.ac.uk/handle/1842/399> ?p ?o }
Showing triples 1 to 8 of
8
with
100
triples per page.
399
date
"
1995
"
.
399
degree
"
PhD
"
.
399
first
"
Martin
"
.
399
isCitedBy
Gordon_Plotkin
.
399
last
"
Hofmann
"
.
399
publisher
"
University of Edinburgh
"
.
399
title
"
Extensional concepts in intensional type theory
"
.
399
url
399
.