理学 形式化 释 equational logic 方程逻辑 以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
equational logic 等式逻辑
理论计算机科学 程序理论 释文 equational logic 等式逻辑
- Sanqin
- Sanqing Hall of Xuanmiao Temple
- Sanqinghe Opera Troupe
- Sanqing Opera Troupe
- Sanqing Shan
- Sanqingshan white tea
- sanqu
- Sanqu of Yuan Dynasty
- Sanqu Series
- San Rafael National Park
- sanren decoction
- SANS
- San Salvador
- San Salvador Island
- Sansan Yishu
- San Sebastian International Film Festival
- Sansha, Hainan Province
- Sanshan Dao
- Sanshandao-Cangshang gold orefield
- Sanshan Hu
- Sanshan Qu
- Sansha Shi
- Sansha Wan
- Sanshenggong Water Control Project
- Sansheng Pagoda of Tianning Temple