Triple

T5570764
Position Surface form Disambiguated ID Type / Status
Subject Fermat curve E146193 entity
Predicate rationalPointsProperty P64879 FINISHED
Object for n ≥ 4 has only trivial rational points (by Fermat’s Last Theorem) LITERAL FINISHED

Provenance (4 batches)

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