Equation matching and graph interpretation