Context27260
Download triples| rdf:type | qkg:Context |
| so:source | https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2016_09_22_HLF_Heidelberg.pdf |
| qkg:contextText | UniMath by Vladimir Voevodsky, Heidelberg Laureate Forum, Sept. 22, 2016, Heidelberg p. 3 (en) |
| Property | Object |
|---|
Triples where Context27260 is the object (without rdf:type)
| qkg:Mention55754 | qkg:hasContext |
| Subject | Property |
|---|
