Semantische Suche
Aus International Center for Computational Logic
Courses
- Formale Systeme (WS 2023)
- Knowledge Graphs (WS 2023)
- Theorem Proving with LEAN (WS 2023)
- Theorem Proving with LEAN (SS 2023)
- Concurrency Theory (SS 2023)
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