Explore projects

View VoLL-KI project

SMGloM / VoLL-KI
Creative Commons Attribution Share Alike 4.0 International

sTeX Descriptions of the VoLL-KI Systems

0

Updated Nov 26, 2025

0 0 0 0

Updated Nov 26, 2025
View GdP project

SMGloM / GdP
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 26, 2025

0 0 0 0

Updated Nov 26, 2025
View primes project

SMGloM / primes
Creative Commons Attribution Share Alike 4.0 International

Subglossary of primes in SMGloM

0

Updated Nov 26, 2025

0 0 0 3

Updated Nov 26, 2025
View topology project

SMGloM / topology
Creative Commons Attribution Share Alike 4.0 International

The SMGloM modules for topology

0

Updated Nov 26, 2025

0 1 0 0

Updated Nov 26, 2025
View urtheories project

MMT / urtheories
Creative Commons Attribution Share Alike 4.0 International

2

Updated Nov 26, 2025

2 0 0 0

Updated Nov 26, 2025
View FrameWorld project

FrameIT / FrameWorld
Creative Commons Attribution Share Alike 4.0 International

The Formalizations for the UFrameIT-based serious game FrameWorld.

1

Updated Nov 23, 2025

1 0 0 0

Updated Nov 23, 2025
View course project

courses / FAU / KRMT / course
Creative Commons Attribution Share Alike 4.0 International

The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen

0

Updated Nov 23, 2025

0 0 0 1

Updated Nov 23, 2025
View cdi project

Talks / cdi

0

Updated Nov 23, 2025

0 0 0 0

Updated Nov 23, 2025
View oldtalks project

Michael Kohlhase / oldtalks
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 23, 2025

0 0 0 0

Updated Nov 23, 2025
View ALeA project

voll-ki / ALeA
Creative Commons Attribution Share Alike 4.0 International

User Manual and Documents about the ALeA (Adaptive Learning Assistant) System.

0

Updated Nov 23, 2025

0 0 0 0

Updated Nov 23, 2025
View TheoCS project

courses / FAU / TheoCS
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View graph-theory project

courses / UHi / graph-theory
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 17, 2025

0 0 0 1

Updated Nov 17, 2025
View OpenDreamKit project

Talks / OpenDreamKit
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View sTeX project

Talks / sTeX
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View frameit project

Talks / frameit
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View realm project

blue / realm

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View tannakian project

SMGloM / tannakian
Creative Commons Attribution Share Alike 4.0 International

Some foundations of Tannakian Symbols and their relations.

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View jukka project

SMGloM / jukka
Creative Commons Attribution Share Alike 4.0 International

The SMGloM contributions of Jukka Kohonen.

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View course project

courses / FAU / GDP / course
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View meta-inf project

problems / meta-inf
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 11, 2025

0 0 0 0

Updated Nov 11, 2025