mizar.org
Preview meta tags from the mizar.org website.
Linked Hostnames
8- 2 links tomizar.uwb.edu.pl
- 1 link tocicm-conference.org
- 1 link todblp.org
- 1 link todblp.uni-trier.de
- 1 link tolink.springer.com
- 1 link tomizar.org
- 1 link towww.google.com
- 1 link towww.springer.com
General Meta Tags
3- titleMizar Home Page
- keywordsmathematics, science, proof, checker, verifier, journal, computer
- viewportwidth=device-width, initial-scale=1
Emails
1- web_AT_mizar.uwb.edu.pl
Links
9- https://cicm-conference.org/2016/cicm.php
- https://dblp.org/rec/bibtex/journals/jar/BancerekBGKMNP18
- https://dblp.uni-trier.de/rec/bibtex/conf/mkm/BancerekBGKMNPU15
- https://link.springer.com/article/10.1007/s10817-017-9440-6
- https://mizar.org