Disambiguation evidence for univalent foundations program via surface form
"Univalent Foundations Program"
Triples (1)
Triples where some other subject referred to this entity
as "Univalent Foundations Program".
univalence axiom
→
publishedBy
→
"Univalent Foundations Program"
ⓘ
↳ resolves to univalent foundations program