{"type":"ScholarlyArticle","title":"The Philosophy of Automated Theorem Proving","authors":[{"name":"Francis Jeffry Pelletier","slug":"francis-jeffry-pelletier","given":"Francis Jeffry","family":"Pelletier","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/1991/153","pdf":"https://ijcai.org/proceedings/1991/0153.pdf","markdown":"https://ijcai.org/proceedings/1991/153.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/153","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Philosophical Foundations","track":"Philosophical Foundations","number":153,"pages":{"first":1039,"last":1044},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}