Triple

T32267260
Position Surface form Disambiguated ID Type / Status
Subject Isabelle/ZF E824318 entity
Predicate maintainedWith P183139 FINISHED
Object Isabelle distribution LITERAL FINISHED

Provenance (4 batches)

Stage Batch ID Job type Status
creating batch_69f3490e73588190915f282edd105772 elicitation completed
NER batch_69f798387ea481909f51303f53a22e52 ner completed
PD batch_69f7961550f88190b7bb8a9155458b54 pd completed
PDg batch_69f79798663481908d6bc48dd6a94ca6 pdg completed
Created at: May 1, 2026, 12:42 a.m.