st-unifies(U;st1;st2) == st-similar(st-subst(U;st1);st-subst(U;st2))
Definitions occuring in Statement :
st-similar: st-similar(st1;st2),
st-subst: st-subst(subst;st)
Definitions :
st-similar: st-similar(st1;st2),
st-subst: st-subst(subst;st)
FDL editor aliases :
st-unifies
st-unifies(U;st1;st2) == st-similar(st-subst(U;st1);st-subst(U;st2))
Date html generated:
2011_08_17-PM-04_57_48
Last ObjectModification:
2011_02_07-PM-08_31_21
Home
Index