Startseite
Website-Details
fm.mizar.org

fm.mizar.org

Hier findest du die wichtigsten Informationen, die wir über fm.mizar.org in unserem System gesammelt haben. Wir hoffen, wir können dir damit weiterhelfen, das Internet und seinen Aufbau besser zu verstehen...

Formalized Mathematics,eISSN1898-9934(Online),ISSN1426-2630(Print)

Sprache: Deutsch

Description: Journal Formalized Mathematics - a computer assisted approach

Keywords: Mizar, Formalized, formal mathematics, MML, Mizar Mathematical Library, QED, JFM, FM, Formalized Mathematics, computer-checked mathematics, repository of mathematical knowledge, Roman Matuszewski, Proof Presentation, Proof Transformation, MKM, MKM2004,...

Sicherheit und Einstufung

Die Website enthält laut CLOUDFLARE keine bedenklichen Inhalte und kann sowohl von Minderjährigen als auch in der Arbeit genutzt werden.

Sämtliche Sub-Domains der Haupt-Domain mizar.org

fm.mizar.org , ftp.mizar.org , mizar.org , mmlquery.mizar.org , wiki.mizar.org

Verwendete Technologien

  • Apache HTTP Server

    Apache ist eine freie und quelloffene, plattformübergreifende Webserver-Software.

  • Ubuntu

    Ubuntu ist ein freies und quelloffenes Linux-Betriebssystem für Unternehmensserver, Desktops, Cloud und IoT.

DNS-Einträge

IP-Adresse Server:

51.77.58.229