MGTP是什么意思

英文含义

MGTP的全称：Model Generation Theorem Prover | 中文意思：───模型生成定理