lav-gogy). f(g(X,a),h(Z)) f(g(X,Y),h(Y)) f(g(X,Y),h(a)) {Y:=a} {Y:=a} Definition 6. A linear term is a term in which no variable occurs more than twice.
確定! 回上一頁