Universal instantiation
[es] Instanciación universal
[fr] Instanciation universelle
[ja] 普遍例化
[nl] Universele instantiatie
[pt] Instanciação universal
[sr] Универзална инстанцијација
[zh] 全称实例化