DBpedia – Linked Data Fragments
DBpedia 2015-10
Query DBpedia 2015-10 by triple pattern
subject
predicate
object
Matches in DBpedia 2015-10 for
{ <http://dbpedia.org/resource/Sipser%E2%80%93Lautemann_theorem> ?p ?o }
Showing triples 1 to 3 of
3
with
100
triples per page.
Sipser%E2%80%93Lautemann_theorem
type
Proof
.
Sipser%E2%80%93Lautemann_theorem
type
Theorem
.
Sipser%E2%80%93Lautemann_theorem
sameAs
Sipser–Lautemann_theorem
.