2 527 213Classement en France
4 432 069Classement Mondial
| Pages visionnées mensuellement | 4 536 | |
| Total de Visitas Mensais | 2 835 | |
| Valeur par visiteur | -- | |
| Valeur estimée | 1 474,94 € | |
| Liens externes | 221 | |
| Nombre de pages | 6 045 |
Dernière mise à jour: 20-04-2018 . Données estimées, lire la décharge.
Visiteurs
| Historique du trafic Moyenne sur 90 jours | ||
| Classement Mondial | 3 724 428 |  543 404 |
|---|---|---|
| Visiteurs Journaliers | 71 | -18,87% |
| Classement Pour les Visiteurs Par Jour | 3 230 562 | 345 221 |
| Pages Visitées Par Jour | 0 | -33,54% |
| Classement Pour les Pages Vues Par Jour | 5 171 334 | 987 194 |
| Pages Vues Par Utilisateur | 1,30 | -18,06% |
Sujets: Download, Html-linked Articles, Plain-text Articles, Abstracts, Mizar Project, et Mizar Language.
Catégorie: 'Logic and Foundations/Foundations'
Âge: Il a été mis en ligne le 08-12-1997, ce qui fait qu'il a plus de 20 ans , et 4 mois.
- Pages populaires
- mizar.org The QED Project - Home Page
- fm.mizar.org Formalized Mathematics (a computer assisted approach), ISSN ..
- mizar.org Jordan'sProofofthe Jordan Curve Theorem
- mizar.org The Dependence Tree of Mizar Articles based on quantitative ..
77 utilisateurs visitent le site quotidiennement , chacun visionnant 1,30 pages.
Liens- Lies vers
- luxair.lu Réservez votre vol avec Luxair Luxembourg Airlines
- firebirdsql.org Firebird: The true open source relational database for Windows
- freepascal.org Free Pascal - Advanced open source Pascal compiler for Pascal and
- cityjet.com Flights from London City airport to European destinations business
| Localisation du serveur | |
| University Of Warsaw Warsaw Pologne 52.25, 21 | |
Il est hébergé par University Of Warsaw Warsaw, utilisant le serveur web Apache/2. L'adresse IP de Mizar.org est 193.219.28.245. Il y a 3 serveurs DNS, alfa.mizar.org, witch.sggw.waw.pl, et bogdan.janski.edu.pl.
IP: 193.219.28.245
Serveur Web: Apache/2
Encodage: utf-8
| PING (193.219.28.245) 56(84) bytes of data. | |
| 64 bytes from pingwin.icm.edu.pl (193.219.28.245): icmp_req=1 ttl=50 | 137 ms |
| 64 bytes from pingwin.icm.edu.pl (193.219.28.245): icmp_req=2 ttl=50 | 137 ms |
| 64 bytes from pingwin.icm.edu.pl (193.219.28.245): icmp_req=3 ttl=50 | 137 ms |
| --- ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2000ms | |
| rtt min/avg/max/mdev = 137.101/137.227/137.441/0.453 ms | |
| rtt min/avg/max/mdev = 137.101/137.227/137.441/0.453 ms |
Un temps de 137 ms, est enregistré dans le test de ping.
| Organisation du Serveur | |
| Date: | -- |
|---|---|
| Server: | Apache/2.2.15 (Fedora) |
| Last-Modified: | -- |
| ETag: | "241ae0-d6a-4a6c8656aa300" |
| Accept-Ranges: | bytes |
| Content-Length: | 3434 |
| Connection: | close |
| Content-Type: | text/html |
mizar.us
mizard60.com
mizenboite-22.com
mizenpage.com
mizenpage.wordpress.com
