Disambiguation evidence for Stephen Kleene via surface form

"Stephen Cole Kleene"

Triples (23)

Triples where some other subject referred to this entity as "Stephen Cole Kleene".

Stephen Kleene → name →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene strong three-valued logic → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene strong three-valued logic → introducedBy →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene numbering → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kripke–Kleene semantics in logic programming → influencedBy →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene → hasNotableBearer →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene star → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
linked to: Kleene
Kleene algebra → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
linked to: Kleene
Kleene hierarchy → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
linked to: Kleene
Kleene’s recursion theorem → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
linked to: Kleene
Kleene’s strong three-valued logic → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
linked to: Kleene
Kleene’s weak three-valued logic → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
linked to: Kleene
Kleene star → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene algebra → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene’s normal form theorem → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene’s normal form theorem → author →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Introduction to Metamathematics → author →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Recursive Functions and Intuitionistic Mathematics → author →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene’s recursion theorem → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene’s recursion theorem → appearsInWorkOf →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene hierarchy → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene hierarchy → introducedBy →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ
Kleene–Rosser paradox → namedAfter →
"Stephen Cole Kleene"
↳ resolves to Stephen Kleene
ⓘ