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:
Thing_named_after_Alfred_Tarski
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Thing named after Alfred Tarski
rdfs:
subClassOf
Thing named after mathematicians
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/List_of_things_named_after_Alfred_Tarski
is
rdf:
type
of
Gödel–McKinsey–Tarski translation
Knaster–Tarski theorem
Jónsson–Tarski algebra
Tarski's high school algebra problem
Łukasiewicz logic
Tarski's undefinability theorem
Tarski's theorem about choice
Tarski's axiomatization of the reals
Łoś–Tarski preservation theorem
Banach–Tarski paradox
Tarski–Kuratowski algorithm
Tarski–Grothendieck set theory
Tarski's exponential function problem
Tarski's circle-squaring problem
Lindenbaum–Tarski algebra
Tarski–Seidenberg theorem
Tarski's axioms