Disambiguation evidence for Rosser’s trick in incompleteness proofs via surface form
"Rosser’s trick in incompleteness proofs"
Triples (1)
Triples where some other subject referred to this entity
as "Rosser’s trick in incompleteness proofs".
Barkley Rosser
→
notableConcept
→
"Rosser’s trick in incompleteness proofs"
ⓘ
↳ resolves to Rosser’s trick in incompleteness proofs