Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Übung: Lösung

\[ \exists R_1.Self \equiv \exists arbeitetIn.Uni \] \[ \exists R_2.Self \equiv \exists anstellung . \{ FEST \} \] \[ \exists R_3.Self \equiv Doktorand \]
\[ R_1 \circ R_2 \circ betreutVon^{-} \circ R_3 \sqsubseteq professorVon \]

Speaker notes:

Content Tools


There are currently no sources for this slide.