Instantiation

script instantiation — конкретизация сценария
universal instantiation — универсальное подтверждение
existential instantiation — экзистенциальное подтверждение
instantiation of variables — конкретизация переменных
parameterized instantiation — параметрическая конкретизация