Triple

T21494049
Position Surface form Disambiguated ID Type / Status
Subject Taniyama–Shimura–Weil conjecture E530307 entity
Predicate logicalStepFor P83228 FINISHED
Object Ribet’s reduction of Fermat’s Last Theorem to modularity LITERAL FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69e0c45bd15481909fba5910765cdda2 elicitation completed
NER batch_69e9ea567244819091863350fedae3ae ner completed
PD batch_69e631f6e68081908f5ee4ce7413803e pd completed
Created at: April 16, 2026, 6:23 p.m.