Triple
T4597342
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Luitzen Egbertus Jan Brouwer |
E100235
|
entity |
| Predicate | notableFor |
P22
|
FINISHED |
| Object |
Brouwer–Heyting–Kolmogorov interpretation
The Brouwer–Heyting–Kolmogorov interpretation is a foundational explanation of intuitionistic logic that interprets logical connectives and proofs in terms of explicit constructions and algorithms rather than classical truth values.
|
E459568
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd43cbc014819098b45f435908f88a |
elicitation | completed |
| NER | batch_69bd59420c108190b5c2c5039e964da5 |
ner | completed |
| NED1 | batch_69bdfa4a99c88190b7332fd2e1799b3a |
ned_source_triple | completed |
| NED2 | batch_69bdfc0e456c81908efa3858d981ccc0 |
ned_description | completed |
| NEDg | batch_69bdfb83b5d08190b2d8502e763a0841 |
nedg | completed |
Created at: March 20, 2026, 1:11 p.m.