CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Lemma_in_set_theory
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Lemma in set theory
rdfs:
subClassOf
Lemma
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Lemmas_in_set_theory
is
rdf:
type
of
Fixed-point lemma for normal functions
Condensation lemma
Teichmüller–Tukey lemma
Fodor's lemma
Rasiowa–Sikorski lemma
Moschovakis coding lemma
Zorn's lemma