Disambiguation evidence for Mordell–Weil theorem via surface form
"weak Mordell–Weil theorem plus height descent"
Triples (1)
Triples where some other subject referred to this entity
as "weak Mordell–Weil theorem plus height descent".
Mordell–Weil theorem
→
hasKeyStep
→
"weak Mordell–Weil theorem plus height descent"
ⓘ
↳ resolves to Mordell–Weil theorem