Remainder method for the mechanical theorem proving in first-order predicate calculus

被引：0

作者：

Wu, Jinzhao

Liu, Zhuojun

机构：

来源：

Jisuanji Xuebao/Chinese Journal of Computers | 1996年 / 19卷 / 10期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：728 / 734

共 50 条

[41] First-order spectra with one binary predicate
Universite de Caen, Caen, France
Theor Comput Sci, 1-2 (305-320):
[42] First-order spectra with one binary predicate
Durand, A
Ranaivoson, S
THEORETICAL COMPUTER SCIENCE, 1996, 160 (1-2) : 305 - 320
[43] First-order spectra with one binary predicate
Durand, A
Ranaivoson, S
COMPUTER SCIENCE LOGIC, 1995, 933 : 177 - 189
[44] FIRST-ORDER MODAL SEMANTICSAND EXISTENCE PREDICATE
Michalczenia, Patryk
BULLETIN OF THE SECTION OF LOGIC, 2022, 51 (03): : 317 - 327
[45] On A New Semantics for First-Order Predicate Logic
Hajnal Andréka
Johan van Benthem
István Németi
Journal of Philosophical Logic, 2017, 46 : 259 - 267
[46] Om first-order theorem proving using generalized odd-superpositions II
Wu, JZ
Liu, ZJ
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 39 (06): : 608 - 619
[47] TRUTH VALUE ASSIGNMENT IN PREDICATE CALCULUS OF FIRST ORDER
OGLESBY, FC
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 268 - &
[48] Proving Program Properties as First-Order Satisfiability
Lucas, Salvador
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2018, 2019, 11408 : 3 - 21
[49] Proving semantic properties as first-order satisfiability
Lucas, Salvador
ARTIFICIAL INTELLIGENCE, 2019, 277
[50] A first-order isomorphism theorem
Allender, E
Balcazar, J
Immerman, N
SIAM JOURNAL ON COMPUTING, 1997, 26 (02) : 557 - 567