Triple

T10198014
Position Surface form Disambiguated ID Type / Status
Subject Gerhard Gentzen E238811 entity
Predicate usedConcept P58359 FINISHED
Object transfinite induction LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69ca84e1ea088190b38162e43d4cfa8f elicitation completed
NER batch_69cdee3c44408190b09fa41f2d257c04 ner completed
Created at: March 30, 2026, 9:13 p.m.