instantiation
英：[ɪnstænʃɪ'eɪʃən] 美： [ɪnstænʃɪ'eɪʃən]
instantiation 基本解释
n.实例化，例示；
英英释义
instantiation[ in,stænʃieiʃən ]
n.a representation of an idea in the form of an instance of it"how many instantiations were found?"
instantiation 相关例句
权威例句
Complete instantiation for quantified formulas in satisfiabiliby modulo theoriesComplete Instantiation for Quantified Formulas in Satisfiabiliby Modulo TheoriesiProver – 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-BRefinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.Scalable context-sensitive flow analysis using instantiation constraintsScalable context-sensitive flow analysis using instantiation constraintsIdeals, 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...
