Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit
Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit
Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Auszug aus der D-GRDL für das InstantGrid-Projekt 12<br />
u ≡<br />
<br />
<br />
xyz<br />
<br />
anything that have to be s pe c ified<br />
<br />
<br />
Die Beschreibung ist wohldefiniert, da zu jeder Ressourcen-Referenz eine entsprechende<br />
Beschreibung existiert und es gilt:<br />
evalProvides(h) = harlekin provides cat ∧ harlekin provides xyz .<br />
Bemerkung: Es sei bemerkt, dass hier keinerlei Aussage darüber getroffen<br />
wird, ob die Relation provides ggf. weitere Eigenschaften wie z. B. Transitivität<br />
oder Asymmetrie hat.