finite models
翻译:有限模型
同义词
1)finite models,有限模型2)finite model theory,有限模型论3)finite model construction,有限模型构造4)food-limited model,食物有限模型5)finite model property,有限模型性质6)BMC,有限模型验证英汉例句
"canonical" and "finite model property" are different conceptions,which are relevant to the system s completeness.
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。