Semantische Suche
Aus International Center for Computational Logic
Lehrveranstaltungen
- Concurrency Theory (SS 2025)
- Database Theory (SS 2025)
- Complexity Theory (WS 2024)
- Knowledge Graphs (WS 2024)
- Theorem Proving with LEAN (SS 2024)
Dieser Abschnitt enthält einige Links, die erklären, wie man die #ask-Syntax verwendet.
p: zur Aktivierung einer Attributsuche (z. B. [[p:Hat …)c: zur Aktivierung einer Kategoriesuchecon: zur Aktivierung einer Konzeptsuche