{"type":"ScholarlyArticle","title":"A Prover for General Inequalities","authors":[{"name":"W. W. Bledsoe","slug":"w-w-bledsoe","given":"W. W.","family":"Bledsoe","affiliation":""},{"name":"Peter Bruell","slug":"peter-bruell","given":"Peter","family":"Bruell","affiliation":""},{"name":"Robert E. Shostak","slug":"robert-e-shostak","given":"Robert E.","family":"Shostak","affiliation":""}],"abstract":"A variation of an earlier prover (described in Machine Intelligence 8.) is used to prove theorems about general inequalities, i.e., first-order logic with equality where the only predicate symbols are ~, <, and =, and where function symbols are admitted. Transcripts of some proofs are given.","doi":null,"url":"https://ijcai.org/proceedings/1979/18","pdf":"https://ijcai.org/proceedings/1979/0018.pdf","markdown":"https://ijcai.org/proceedings/1979/18.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/18","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":18,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}