Triple
T10388495
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Vladimir Voevodsky |
E244828
|
entity |
| Predicate | notableIdea |
P4
|
FINISHED |
| Object |
univalence axiom
The univalence axiom is a principle in homotopy type theory asserting that equivalent mathematical structures can be identified, providing a foundation for a new, homotopical approach to the foundations of mathematics.
|
E860089
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d381b5116081908d85227bab6d3c0c |
elicitation | completed |
| NER | batch_69d4e9a59d688190b1da1ea0ed48fafa |
ner | completed |
| NED1 | batch_69d795b2423c8190a7c0e9b6fcbcc6db |
ned_source_triple | completed |
| NED2 | batch_69d79aa0cc5481908bc14cda8fb6e8b1 |
ned_description | completed |
| NEDg | batch_69d7998acbf881909b6f063c4bf2d0a6 |
nedg | completed |
Created at: April 6, 2026, 12:05 p.m.