Data Portal @ linkeddatafragments.org
DBpedia 2014
Search DBpedia 2014 by triple pattern
subject
predicate
object
Matches in DBpedia 2014 for
{ ?s ?p <http://rdf.freebase.com/ns/m.047d_b3> . }
Showing items 1 to 7 of
7
with
100
items per page.
Barendregt%E2%80%93Geuvers%E2%80%93Klop_conjecture
sameAs
m.047d_b3
.
Barendregt-Geuvers-Klop_conjecture
sameAs
m.047d_b3
.
Generalized_type_system
sameAs
m.047d_b3
.
Girard's_paradox
sameAs
m.047d_b3
.
L-cube
sameAs
m.047d_b3
.
Pure_type_system
sameAs
m.047d_b3
.
Pure_type_systems
sameAs
m.047d_b3
.
