Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

POSSIBLY_EQUIVALENT_TO (B OR C)  and  (EDMOVED_FROM (B) implies A POSSIBLY_EQUIVALENT_TO (C OR EOR D)

(A) POSSIBLY_EQUIVALENT_TO (B OR C)  and  (B) POSSIBLY_EQUIVALENT_TO (D OR E) implies A POSSIBLY_EQUIVALENT_TO (C OR D OR E)

...