observational equivalence
Two terms M and N are observationally equivalent iff for all contexts C[] where C[M] is a valid term, C[N] is also a valid term with the same value.Nearby terms:
Oblog ♦ OBOE ♦ OBSCURE ♦ observational equivalence ♦ Oc ♦ OC-12 ♦ OC-3
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
