Search by property
From International Center for Computational Logic
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 + ( #lean:tu-dresden.de )
- Theorem Proving with LEAN + ( #lean:tu-dresden.de )
- Theorem Proving with LEAN + ( #lean:tu-dresden.de )
- Theoretische Informatik und Logik + ( #theolog2021:tu-dresden.de )
- Theoretische Informatik und Logik + ( #theolog2022:tu-dresden.de )
- Theoretische Informatik und Logik + ( #theolog:tu-dresden.de )
- Theorem Proving with LEAN + ( #theorem-proving-with-lean-2022:tu-dresden.de )
- Sarah Alice Gaggl + (@gaggl:tu-dresden.de)
- Markus Krötzsch + (@kroetzsc:tu-dresden.de)
- Larry González + (@lgonzale:tu-dresden.de)
- Meghna Bhadra + (@mebh157a:tu-dresden.de)
- Piotr Gorczyca + (@pigo271b:tu-dresden.de)
- Alex Ivliev + (@s0803460:tu-dresden.de)
- Lukas Gerlach + (@s8339654:tu-dresden.de)
- Maximilian Marx + (@s9616726:tu-dresden.de)
- Sebastian Rudolph + (@serudolp:tu-dresden.de)
- Stefan Ellmauthaler + (@stel830c:tu-dresden.de)
- Stephan Mennicke + (@stme795c:tu-dresden.de)