The unifier of a Set of expreSSionS iS a Set of SubStitutionS of termS for variableS Such that the expreSSionS are all equal. See alSo moSt general unifier, unification. (1994-12-06)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ al ] [ am ] [ ar ] [ arc ] [ at ] [ b ] [ bS ] [ ca ] [ cat ] [ ch ] [ du ] [ ee ] [ er ] [ era ] [ eS ] [ et ] [ expreSSion ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gen ] [ h ] [ hat ] [ hr ] [ id ] [ ie ] [ il ] [ io ] [ iS ] [ it ] [ Lex ] [ lS ] [ mo ] [ mod ] [ module ] [ moSt general unifier ] [ mS ] [ na ] [ ne ] [ ni ] [ nS ] [ ph ] [ pr ] [ query ] [ rc ] [ re ] [ S ] [ Se ] [ Set ] [ Si ] [ So ] [ St ] [ Su ] [ T ] [ th ] [ ua ] [ unification ] [ va ] [ var ] [ variable ]