Triple
T3037547
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Andrei Kolmogorov |
E83045
|
entity |
| Predicate | influenced |
P9
|
FINISHED |
| Object |
Per Martin-Löf
Per Martin-Löf is a Swedish logician and philosopher known for developing intuitionistic type theory, a foundational system that underpins much of modern constructive mathematics and type theory in computer science.
|
E320437
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ad8b2298908190a7cb4e9bdbf064d0 |
elicitation | completed |
| NER | batch_69ad9b2cd4988190b52fe3616ecbe9ef |
ner | completed |
| NED1 | batch_69b1dec8778c8190a5e06a29a0218404 |
ned_source_triple | completed |
| NED2 | batch_69b1e3228f488190b13c948c6c5d13d0 |
ned_description | completed |
| NEDg | batch_69b1e2c4aaa88190bb5e39c51d0583f0 |
nedg | completed |
Created at: March 8, 2026, 3:01 p.m.