_:n32a0564be228430eb008c23d5eedd079xb2
<http://schema.org/item>
"https://gitlab.math.univ-paris-diderot.fr/cduce/cduce"
<https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/tree/syntax/type-instantiation>