{"type":"ScholarlyArticle","title":"How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization","authors":[{"name":"Jacqueline Castaing","slug":"jacqueline-castaing","given":"Jacqueline","family":"Castaing","affiliation":""}],"abstract":"In this paper, we show how we conceive the proof of theorems by sructural induction. Our aim is to facilitate the proof of the theorems which can Iead, in a context of automatic theorem proving, to very lengthy ( or even impossible) proofs. We use a very simple tool, the i-matching or inductionmatching, which allows us, on the one hand to deftne an original procedure of generalization, and on the other hand tu deftne an original way of generating Iemmas .","doi":null,"url":"https://ijcai.org/proceedings/1985/244","pdf":"https://ijcai.org/proceedings/1985/0244.pdf","markdown":"https://ijcai.org/proceedings/1985/244.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/244","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving","track":"Theorem Proving","number":244,"pages":{"first":1208,"last":1212},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}