fm.mizar.org

Preview meta tags from the fm.mizar.org website.

Linked Hostnames

9

  • General Meta Tags

    5
    • title
      Formalized Mathematics,eISSN1898-9934(Online),ISSN1426-2630(Print)
    • verify-v1
      mt7LVA6W+3Zvbpis4zGgMFhBGzrdAe8i69zKwuQXDik=
    • Content-Type
      text/html; charset=utf-8
    • 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, MKM04, MKMNET, Mathematical Knowledge Management, Mathematical, Knowledge, PTP, Bialystok, University of Bialystok, Roman, Matuszewski

  • Link Tags

    2
    • icon
      https://fm.mizar.org/favicon.ico
    • shortcut icon
      https://fm.mizar.org/favicon.ico

Links

78