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 条
  • [1] Predicate Elimination for Preprocessing in First-Order Theorem Proving
    Khasidashvili, Zurab
    Korovin, Konstantin
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, 2016, 9710 : 361 - 372
  • [2] STRUCTURAL COMPLETENESS OF FIRST-ORDER PREDICATE CALCULUS
    POGORZEL.WA
    PRUCNAL, T
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1974, 22 (03): : 215 - 217
  • [3] PROPERTIES OF PROGRAMS AND FIRST-ORDER PREDICATE CALCULUS
    MANNA, Z
    JOURNAL OF THE ACM, 1969, 16 (02) : 244 - &
  • [4] First-order theorem proving: Foreword
    Peltier, Nicolas
    Sofronie-Stokkermans, Viorica
    JOURNAL OF SYMBOLIC COMPUTATION, 2012, 47 (09) : 1009 - 1010
  • [5] The suppression task and first-order predicate calculus
    Lopez-Astorga, Miguel
    THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2023, 89 (06): : 800 - 810
  • [6] Soundness of First-order Fuzzy Predicate Calculus System
    Zhao Zheng-bo
    2012 INTERNATIONAL CONFERENCE ON FUTURE INFORMATION TECHNOLOGY AND MANAGEMENT SCIENCE & ENGINEERING (FITMSE 2012), 2012, 14 : 47 - 52
  • [7] Subsumption Demodulation in First-Order Theorem Proving
    Gleiss, Bernhard
    Kovacs, Laura
    Rath, Jakob
    AUTOMATED REASONING, PT I, 2020, 12166 : 297 - 315
  • [8] ALEPHO0-CATEGORICITY IN FIRST-ORDER PREDICATE CALCULUS
    FUHRKEN, G
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 504 - +
  • [9] Comparing Unification Algorithms in First-Order Theorem Proving
    Hoder, Krystof
    Voronkov, Andrei
    KI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5803 : 435 - 443
  • [10] Term Substitution Theorem in First-order Fuzzy Predicate System
    Zhao Zheng-bo
    DIGITAL MANUFACTURING & AUTOMATION III, PTS 1 AND 2, 2012, 190-191 : 1065 - 1068
12345