Triple

T1255147
Position Surface form Disambiguated ID Type / Status
Subject lambda calculus E26971 entity
Predicate foundationFor P1450 FINISHED
Object theory of programming languages LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69a49487a9c48190ba9b05348fd1b53f elicitation completed
NER batch_69a4bfa5a4cc819093ed686619b572d8 ner completed
Created at: March 1, 2026, 7:47 p.m.