🌐EnglishEnglishDeutschEspañolFrançaisItalianoPolskiPortuguêsTiếng ViệtРусскийفارسی한국어中文日本語EntityQ609057· pop 21· linked from 72 articlesunificationalgorithmic 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)