Triple

T18479108
Position Surface form Disambiguated ID Type / Status
Subject fundamental theorem of arithmetic E451510 entity
Predicate generalizationOf P2372 FINISHED
Object unique factorization in principal ideal domains LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69d8d38465a0819099b9b42d2a662ac1 elicitation completed
NER batch_69e53065e8388190bb216dae89f8cf75 ner completed
Created at: April 10, 2026, 11:35 a.m.