Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
http://dbpedia.org/class/yago/WikicatTheoremsInComputationalComplexityTheory
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
rdfs:
subClassOf
yago
:Theorem106752293
owl:
equivalentClass
yago-res
:wikicat_Theorems_in_computational_complexity_theory
is
rdf:
type
of
dbr
:Amdahl's_law
dbr
:Space_hierarchy_theorem
dbr
:Valiant–Vazirani_theorem
dbr
:Schaefer's_dichotomy_theorem
dbr
:Cook–Levin_theorem
dbr
:Blum's_speedup_theorem
dbr
:PCP_theorem
dbr
:Gap_theorem
dbr
:Linear_speedup_theorem
dbr
:Toda's_theorem
dbr
:Karp–Lipton_theorem
dbr
:Pseudorandom_generator_theorem
dbr
:Master_theorem
dbr
:Fagin's_theorem
dbr
:Structured_program_theorem
dbr
:Time_hierarchy_theorem
dbr
:Savitch's_theorem
dbr
:Quantum_threshold_theorem
dbr
:Sipser–Lautemann_theorem
dbr
:Speedup_theorem
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License