理学 程序正确性 释 assertion 断言 通常指系统状态需要满足的谓词（常表示为谓词公式）。
assertion 论断†，断言,断定 claim 断言
人工智能 自动推理 释文 assertion 断言
- single loop control
- single loop control system
- single-loop diagram approximation
- single loop regulator
- single loop servo system
- single-loop-type galvanometer
- single-machine problem
- single machine scheduling
- single main diagram
- single metallocene
- single mineral preparation
- single minute exchange of die
- single missile launcher
- single mode
- single mode fiber
- single-mode fiber
- single mode laser
- single-mode line width
- single mode optical fiber
- single-mode optical fiber
- single-mode optical fiber, SMF
- single mode squeeze operator
- single-mode squeeze operator
- single mode transmission condition
- single molecular device