• DocumentCode
    1133171
  • Title

    Problems and Experiments for and with Automated Theorem-Proving Programs

  • Author

    McCharen, John D. ; Overbeek, Ross A. ; Wos, Lawrence A.

  • Author_Institution
    Division of Computer Science, Department of Mathematical Sciences, Northern Illinois University
  • Issue
    8
  • fYear
    1976
  • Firstpage
    773
  • Lastpage
    782
  • Abstract
    The two objectives of this paper are 1) to give a large and varied problem set, complete clause sets for use in testing automated theorem-proving programs and 2) the presentation of a number of experiments with an existing program under a variety of conditions.
  • Keywords
    Clause sets, resolution, theorem-proving, UR resolution.; Algebra; Assembly; Automatic testing; Computational geometry; Demodulation; Impedance; Materials testing; Mathematics; Solid modeling; Statistics; Clause sets, resolution, theorem-proving, UR resolution.;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1976.1674696
  • Filename
    1674696
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1133171