{"type":"ScholarlyArticle","title":"An Automatic Theorem Prover Generating a Proof in Natural Language","authors":[{"name":"Masakazu Nakanlshi","slug":"masakazu-nakanlshi","given":"Masakazu","family":"Nakanlshi","affiliation":""},{"name":"Morio Nagata","slug":"morio-nagata","given":"Morio","family":"Nagata","affiliation":""},{"name":"Kenji Ueda","slug":"kenji-ueda","given":"Kenji","family":"Ueda","affiliation":""}],"abstract":"An automatic theorem prover which displays a proof in system proves properti~s of recursive programs, and the proof. Then it translates the tree into the proof traverse. The proof written by this system is easy to instead of notations of logics, and some redundant and natural language is described. This constructs a proof tree corresponding to text in English by means of the tree read, because the English text is placed trivial statements are disappeared.","doi":null,"url":"https://ijcai.org/proceedings/1979/139","pdf":"https://ijcai.org/proceedings/1979/0139.pdf","markdown":"https://ijcai.org/proceedings/1979/139.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/139","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":139,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}