\begin{slide}{Nelson-Oppen für nicht konvexe Theorien}

Falls $T_i \models (\phi_i \rightarrow 
(x_1=y_1\vee\ldots x_k=y_k))$,

dann \emph{split}: 
für $1\le j\le k$ betrachte $\phi\wedge (x_j=y_j)$

(Beispiel)

(Beweis)

\end{slide}
