LQTL是什么意思

英文含义

LQTL的全称：Lean Quaternary Temporal Logic | 中文意思：───精益第四纪时态逻辑