Home›Automated theorem proving›unification🌐EnglishEnglishDeutschEspañolFrançaisItalianoPolskiPortuguêsTiếng ViệtРусскийفارسی한국어中文日本語EntityQ609057· pop 21· linked from 72 articlesunificationalgorithmic process of solving equations between symbolic expressionsWikidata factsShow 1 more factCommons categoryUnification (computer science)Sources (3)wikidata.orglingualibre.frdocs.openalex.orgvia Wikidata · CC0Available in 21 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoBulgarianCatalanConnectionstermEntitylambda calculusEntityCategoriesAutomated theorem provingLogic in computer scienceLogic programmingRewriting systemsType theoryUnification (computer science)