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

• Theorem Proving with LEAN  + (4)
• Theorem Proving with LEAN  + (4)
• Theorem Proving with LEAN  + (4)
• Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“  + (4)

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

• CMS Research Project “Model Checking”  + (12)