\section{Uninterpretierte Funktionen (UF)}

\input{uf/intro}
\input{uf/anwend}
\input{uf/term}
\input{uf/eq}
% \input{uf/pcp}
\input{uf/qf_uf}
\input{uf/ack}


