Popov v. Hayashi as a Context Graph

Examples from the course Knowledge Representation for Mathematical Theories (https://kwarc.info/courses/KRMT/) given by Kohlhase and Rabe at University Erlangen-Nuremberg in Summer 2020.

GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.

The Formalizations for the UFrameIT-based serious game FrameWorld.

Basic concepts about computers and programming

The materials of the LBS course held in WS 2019/20.

The IWGS glossary

The SMGloM contributions of Jukka Kohonen.

The SMGloM contributions of Gabriel Cunningham.

Elementary physics

Claudio's Code and potentially other things.

mbgen meta-theory and demo schema theories

Terminology in Computer Science

Logic Atlas, Version 2