Triple

T31023821
Position Surface form Disambiguated ID Type / Status
Subject Siegel's theorem on integral points E790515 entity
Predicate ineffectivityReason P61943 FINISHED
Object proof gives no explicit bound for the size of integral points LITERAL FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69f224c811508190a7de096a5b1f5798 elicitation completed
NER batch_69f6953bafb88190a860e9c68a3dd4b2 ner completed
PD batch_69f690ef92308190903a54fc74233269 pd completed
Created at: April 29, 2026, 8:58 p.m.