A Linguistic Approach to Automatic Theorem Proving.

Abstract

A method is discussed that maps theorem proving using clause interconnectivity graphs onto formal grammars. The languages generated by the grammars relate to the proofs of the theorems. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1976
Accession Number
ADA045593

Entities

People

  • Sharon Sickel

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Automatic
  • California
  • Computations
  • Electronics Laboratories
  • Formal Languages
  • Grammars
  • Information Science
  • Information Systems
  • Integer Programming
  • Language
  • Marine Corps
  • Military Research
  • New York
  • Production
  • Sequences
  • Terminals
  • Trees (Data Structures)

Readers

  • Computational Linguistics