Nelson-Oppen (I)

(Wdhlg) Formel/Ausdruck

purification (Reinigung):

Beispiel:

im Allg. φ$ \iff$a,… : φ' mathend000#

d. h. φ mathend000# erfüllbar $ \iff$ mathend000# φ' mathend000# erfüllbar.



2014-03-31