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/WikicatCompactnessTheorems
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_Compactness_theorems
is
rdf:
type
of
dbr
:Montel's_theorem
dbr
:Riesz's_lemma
dbr
:Sobolev_inequality
dbr
:Fraňková–Helly_selection_theorem
dbr
:Fréchet–Kolmogorov_theorem
dbr
:Helly's_selection_theorem
dbr
:Mazur's_lemma
dbr
:Michael_selection_theorem
dbr
:Banach–Alaoglu_theorem
dbr
:Heine–Borel_theorem
dbr
:Heine–Cantor_theorem
dbr
:Dini's_theorem
dbr
:Prokhorov's_theorem
dbr
:Cousin's_theorem
dbr
:Arzelà–Ascoli_theorem
dbr
:Blaschke_selection_theorem
dbr
:Eberlein–Šmulian_theorem
dbr
:Bolzano–Weierstrass_theorem
dbr
:Gromov's_compactness_theorem_(topology)
dbr
:Cantor's_intersection_theorem
dbr
:Mahler's_compactness_theorem
dbr
:Tychonoff's_theorem
dbr
:Mumford's_compactness_theorem
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License