https://de.wikipedia.org/w/index.php?action=history&feed=atom&title=Category%3ALarge-scale_mathematical_formalization_projectsKategorie:Large-scale mathematical formalization projects - Versionsgeschichte2025-07-30T12:32:33ZVersionsgeschichte dieser Seite in WikipediaMediaWiki 1.45.0-wmf.11https://de.wikipedia.org/wiki/Kategorie:Large-scale_mathematical_formalization_projectsZu dieser Seite ist keine Versionsgeschichte vorhanden.2025-07-30T12:32:33Z<p>Die angeforderte Seite existiert nicht. Vielleicht wurde sie gelöscht oder verschoben. <a href="/wiki/Spezial:Suche" title="Spezial:Suche">Durchsuche</a> Wikipedia nach passenden neuen Seiten.
</p>