Triple
T11210418
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Thierry Coquand |
E265289
|
entity |
| Predicate | knownFor |
P22
|
FINISHED |
| Object |
calculus of constructions
The calculus of constructions is a powerful type theory and foundational formal system that unifies higher-order logic and typed lambda calculus, serving as the basis for several modern proof assistants.
|
E911973
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aac59460819089b9848b27f57848 |
elicitation | completed |
| NER | batch_69d7e8d6f5d4819086dcb776a0d469e8 |
ner | completed |
| NED1 | batch_69e49747ec288190bc3e826b6de7f6f2 |
ned_source_triple | completed |
| NED2 | batch_69e49e8dc4ec81908d0defe77827d197 |
ned_description | completed |
| NEDg | batch_69e49c0a92b08190ac5debb7d67ca776 |
nedg | completed |
Created at: April 8, 2026, 9:30 p.m.