EntityQ609057· pop 21· linked from 72 articlesunificationSign in to savealgorithmic process of solving equations between symbolic expressionsConnectionstermEntitylambda calculusEntityequationEntitycommutative propertyEntityequation solvingEntitysingletonEntitylexicographical orderEntityrewritingEntityundecidable problemEntityJohn Alan RobinsonEntitysubstitutionEntityHindley–MilnerEntitylogicEntitycomputer scienceEntityInternational Standard Book NumberEntityalgorithmEntityfunctionEntityWayback MachineEntitydigital object identifierEntityInternational Standard Serial NumberEntityCategoriesAutomated theorem provingLogic in computer scienceLogic programmingRewriting systemsType theoryUnification (computer science)