Home›Automated theorem proving›یکسانسازی🌐فارسیEnglishDeutschEspañolFrançaisItalianoPolskiPortuguêsTiếng ViệtРусскийفارسی한국어中文日本語EntityQ609057· pop 21· linked from 72 articlesیکسانسازیalgorithmic process of solving equations between symbolic expressionsAvailable in 21 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoBulgarianCatalanConnectionstermEntitylambda calculusEntityCategoriesAutomated theorem provingLogic in computer scienceLogic programmingRewriting systemsType theoryUnification (computer science)