Semantically equivalent
Redirect to:
Semantic equivalence (computing)