boolean-valued model 布尔值模型

lattice-valued model 格值模型

three valued model 三值模型

infinite-valued model 无穷值模型

Multi-valued model checking 多值模型检验

boolean-valued model approach 布尔值模型方法

three-valued model of society diagnosis 三值社会诊断模型

three-valued PMC model 三值PMC模型

Set-valued adjoint model 集值伴随模式

integer-valued autoregressive model 整值自回归模型