Disambiguation evidence for Alfred Tarski via surface form
"Alfred Tarski"
Triples (40)
Triples where some other subject referred to this entity
as "Alfred Tarski".
Tarskian object-language/metalanguage distinction
→
namedAfter
→
"Alfred Tarski"
ⓘ
↳ resolves to Alfred Tarski
Tarskian object-language/metalanguage distinction
→
proposedBy
→
"Alfred Tarski"
ⓘ
↳ resolves to Alfred Tarski
Tarski’s theorem on the completeness of elementary algebra and geometry
→
author
→
"Alfred Tarski"
ⓘ
↳ resolves to Alfred Tarski
linked to:
“Logic, Semantics, Metamathematics”
linked to:
“Logic, Semantics, Metamathematics”
A Decision Method for Elementary Algebra and Geometry
→
author
→
"Alfred Tarski"
ⓘ
↳ resolves to Alfred Tarski
A Decision Method for Elementary Algebra and Geometry
→
hasNotableAuthor
→
"Alfred Tarski"
ⓘ
↳ resolves to Alfred Tarski
linked to:
Henkin
linked to:
“Truth and Meaning”