Triple

T5570530
Position Surface form Disambiguated ID Type / Status
Subject Fermat's Last Theorem E146188 entity
Predicate equivalentTo P6530 FINISHED
Object nonexistence of certain semistable elliptic curves over the rationals LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69c008ffed108190a084602227af6157 elicitation completed
NER batch_69c020502a288190af37f9ebb88fccae ner completed
Created at: March 22, 2026, 3:37 p.m.