Semantic search
From International Center for Computational Logic
Lehrveranstaltungen
- Knowledge Graphs (WS 2023)
- Theorem Proving with LEAN (WS 2023)
- Theorem Proving with LEAN (SS 2023)
- Concurrency Theory (SS 2023)
- Database Theory (SS 2023)
This section contains some links to help explain how to use the #ask
syntax.
p:
to fetch property suggestions (e.g. [[p:Has ...
)c:
to fetch category suggestionscon:
to fetch concept suggestions