Triple

T32215019
Position Surface form Disambiguated ID Type / Status
Subject Isabelle/jEdit E822903 entity
Predicate repository P409 FINISHED
Object https://isabelle.in.tum.de/repos/isabelle LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69f3490a3bec819097bc58d4731b9d08 elicitation completed
NER batch_69f6bb95ffc48190bb4a7319a05834d6 ner completed
Created at: May 1, 2026, 12:37 a.m.