Context95524
Download triples| rdf:type | qkg:Context |
| so:source | http://www.math.ias.edu/vladimir/files/2014_IAS.pdf |
| qkg:contextText | Univalent Foundations, Vladimir Voevodsky, IAS, March 26, 2014 p. 8 (en) |
| Property | Object |
|---|
Triples where Context95524 is the object (without rdf:type)
| qkg:Mention194518 | qkg:hasContext |
| Subject | Property |
|---|
