{"type":"ScholarlyArticle","title":"Unification of Idempotent Functions","authors":[{"name":"Stefan Kühner","slug":"stefan-kuhner","given":"Stefan","family":"Kühner","affiliation":""},{"name":"Chris Mathis","slug":"chris-mathis","given":"Chris","family":"Mathis","affiliation":""},{"name":"Peter Raulefs","slug":"peter-raulefs","given":"Peter","family":"Raulefs","affiliation":""},{"name":"Jörg H. Siekmann","slug":"jorg-h-siekmann","given":"Jörg H.","family":"Siekmann","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/1977/120","pdf":"https://ijcai.org/proceedings/1977/0120.pdf","markdown":"https://ijcai.org/proceedings/1977/120.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/120","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving","track":"Theorem Proving","number":120,"pages":{"first":528,"last":-1},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}