instantiation

n.

实例化，例示；

Complete instantiation for quantified formulas in satisfiabiliby modulo theories
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
Cognitive errors in diagnosis: instantiation, classification, and consequences.
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.
Scalable context-sensitive flow analysis using instantiation constraints
Scalable context-sensitive flow analysis using instantiation constraints
Ideals, central tendency, and frequency of instantiation as determinants of graded structure in categories.
Data-type definition driven dynamic business component instantiation and execution framework and system and method for managing know...