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