Disambiguation evidence for J. Barkley Rosser via surface form

"J. Barkley Rosser"

Triples (9)

Triples where some other subject referred to this entity as "J. Barkley Rosser".

Church–Rosser property → namedAfter →
"J. Barkley Rosser"
↳ resolves to J. Barkley Rosser
ⓘ
The Undecidable → containsWorkBy →
"J. Barkley Rosser"
↳ resolves to J. Barkley Rosser
ⓘ
Rudolf Walter Langer → notableStudent →
"J. Barkley Rosser"
↳ resolves to J. Barkley Rosser
ⓘ
Rosser trick → namedAfter →
"J. Barkley Rosser"
↳ resolves to J. Barkley Rosser
ⓘ
Rosser trick → namedInHonorOf →
"J. Barkley Rosser"
↳ resolves to J. Barkley Rosser
ⓘ
Rosser sentence → namedAfter →
"J. Barkley Rosser"
↳ resolves to J. Barkley Rosser
ⓘ
Rosser sentence → hasAuthor →
"J. Barkley Rosser"
↳ resolves to J. Barkley Rosser
ⓘ
Kleene–Rosser paradox → namedAfter →
"J. Barkley Rosser"
↳ resolves to J. Barkley Rosser
ⓘ
Rosser’s trick in incompleteness proofs → namedAfter →
"J. Barkley Rosser"
↳ resolves to J. Barkley Rosser
ⓘ