理学 程序正确性 释 assertion 断言 通常指系统状态需要满足的谓词（常表示为谓词公式）。
assertion 论断†，断言,断定 claim 断言
人工智能 自动推理 释文 assertion 断言
- NP hard problem
- NP-hard problem
- N phenylacetamide
- N-phenylacetamide
- N phenylglycine
- N-phenylglycine
- N-phenylglycine; anilinoacetic acid
- NPI
- NPIC
- n-place number
- n-place predicate
- n-place relation
- n-plane
- n-plane bundle
- n-ple
- n-plex
- n-ply connected domain
- n-ply periodic function
- NPN
- NPO
- NPOI
- n-point contact
- n-point correlation function
- n-pointed stable curve
- n point Green functions of fields