SMT的基础用语