University of Vienna (Austria)
University of Vienna: Substituting Terms in Terms
Interactive assessment that tests knowledge of substitution properties of equality. Some problems involve substituting values for variables, while some involve substituting expressions for variables.