Browse wiki

This page or action requires JavaScript to work. Please enable JavaScript in your browser or use a browser where it is supported, so that functionality can be provided as requested. For further assistance, please have a look at the noscript help page.

#4488EE +

Course

Theoretische Informatik und Logik +

Doppelstunde

DS3 +

Ende

30. Juni 2025, 12:40:00 +

Lehrveranstaltungstype

Vorlesung +

Raum

HÜL/S386/H +

Start

30. Juni 2025, 11:10:00 +

Titel DE

Theoretische Informatik und Logik: 20. Vorlesung: Resolution (2) (Vorlesung) +

Titel EN

Theoretische Informatik und Logik: 20. Vorlesung: Resolution (2) (Lecture) +

Title

20. Vorlesung: Resolution (2) +

Content properties

Theoretische Informatik und Logik +

Hat Unterobjekt„Hat Unterobjekt <span style="font-size:small;">(Has subobject)</span>“ ist ein softwareseitig fest definiertes Attribut und stellt einen <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Container">Datenverbund</a> dar. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.