Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Proseminar „Theoretische Informatik“  + (0)
• Seminar “Selected Topics in Logic and Verification”  + (0)
• Research Seminar “Formal Methods”  + (0)
• Proseminar „Binäre Entscheidungsgraphen“  + (0)
• Concurrency Theory  + (0)
• Seminar Large Language Models and Knowledge-aware AI  + (0)
• Problem Solving and Search in Artificial Intelligence  + (1)
• Problem Solving and Search in Artificial Intelligence  + (1)
• Problem Solving and Search in Artificial Intelligence  + (1)
• Programming Machine Ethics  + (2)
• Conditional Reasoning  + (2)
• Problem Solving and Search in Artificial Intelligence  + (2)
• Parameterized Algorithms and Implementations for SAT and Generalizations  + (2)
• Problem Solving and Search in Artificial Intelligence  + (2)

• Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“  + (4)
• Project Group "Theoretical Computer Science"  + (4)
• Project Group "Theoretical Computer Science"  + (4)
• Project Group Computational Logic  + (4)
• Project Group Theoretical Computer Science  + (4)
• Project Group “Model Checking”  + (4)
• Theorem Proving with LEAN  + (4)
• Theorem Proving with LEAN  + (4)
• Theorem Proving with LEAN  + (4)
• Theorem Proving with LEAN  + (4)

• Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“  + (8)
• Profilprojekt „Forschungsprojekt Formale Methoden“  + (8)
• Team Project “Model Checking”  + (8)
• CMS Research Project “Model Checking”  + (12)