Before revision:  For this problem, we show that the set of functions identifiable from multiple experiments is what would actually be computed by input-output equation-based algorithms if the solvability condition is not fulfilled .
After revision:  For this problem, we prove that the set of functions identifiable from multiple experiments is what would actually be computed by input-output equation-based algorithms if the solvability condition is not fulfilled .