Project Acronym Projekt Kurzbezeichnung
CILL
Project Title (de) Projekttitel (de)
On the Computational Interpretation of Intermediate Logics
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in