DBpedia – Linked Data Fragments
DBpedia 2016-04
Query DBpedia 2016-04 by triple pattern
subject
predicate
object
Matches in DBpedia 2016-04 for
{ ?s ?p <http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/> }
Showing triples 1 to 6 of
6
with
100
triples per page.
Curry–Howard_correspondence
wikiPageExternalLink
TTFP
.
Intuitionistic_type_theory
wikiPageExternalLink
TTFP
.
Type_theory
wikiPageExternalLink
TTFP
.
Q1056428
wikiPageExternalLink
TTFP
.
Q6059147
wikiPageExternalLink
TTFP
.
Q975734
wikiPageExternalLink
TTFP
.