Disambiguation evidence for Löb's theorem via surface form

"Löb's theorem"

Triples (2)

Triples where some other subject referred to this entity as "Löb's theorem".

Gödel's incompleteness theorems → relatedTo →
"Löb's theorem"
↳ resolves to Löb's theorem
ⓘ
arithmetization of syntax → relatedConcept →
"Löb's theorem"
↳ resolves to Löb's theorem
ⓘ