《普贤菩萨说证明经》
pu sian pu sa shuo jheng ming jing
Clifford定理证明
Proof of Clifford Theorem
Dijkstra-Gries标准程序证明法
Dijkstra-Gries standard proving technique
Schnorr零知识身份证明
Schnorr zero-knowledge identity verification
安全证明文件
safety certification document
按分解律的定理证明
theorem proving by resolution
按分解律反演的定理证明
theorem proving by resolution refutation
保修证明书
defects liability certificate
保养证明书
defects liability certificate