Возраст домена | 26 лет |
Дата окончания | Истек срок регистрации |
PR | 5 |
ИКС | 10 |
Страниц в Google | 302000 |
Страниц в Яндексе | 2000 |
Dmoz | Да |
Яндекс Каталог | Нет |
Alexa Traffic Rank | 3957239 |
Alexa Country | Нет данных |
История изменения показателей | Авторизация |
Mizar Home Page
mathematics, science, proof, checker, verifier, journal, computer
n/a
UTF-8
5.09 КБ
206
1 657 симв.
1 400 симв.
Данные предоставлены сервисом semrush
Сайт | Общие фразы | PR | тИЦ | Alexa Rank | Alexa Country | |
---|---|---|---|---|---|---|
wikipedia.org | 44 | 9 |
0 | 5 | 6 | |
youtube.com | 31 | 9 |
0 | 2 | 2 | |
stackexchange.com | 24 | 6 |
0 | 118 | 66 | |
wolfram.com | 20 | 8 |
0 | 3172 | 1399 | |
proofwiki.org | 18 | 5 |
10 | 63734 | 28347 | |
learnzillion.com | 16 | 6 |
0 | 48647 | 7507 | |
psu.edu | 14 | 8 |
0 | 1205 | 568 | |
surrey.ac.uk | 12 | 7 |
275 | 17383 | 769 | |
jstor.org | 12 | 9 |
0 | 982 | 629 | |
planetmath.org | 12 | 6 |
0 | 134941 | 72972 | |
Еще 40 сайтов после авторизации |
Данные предоставлены сервисом semrush
Данные linkpad ( 28 Февраля 2013 ) | |
Количество ссылок на сайт | 84 |
Количество доменов, которые ссылаются на сайт | 39 |
Количество найденных анкоров | 32 |
Исходящие (внешние) ссылки домена | 90 |
Количество доменов, на которые ссылается сайт | 66 |
Количество исходящих анкоров | 78 |
Внешние ссылки главной страницы ( 7 ) | |
link.springer.com/article/10.1007/s10817-017-9440-6 | The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar |
dblp.org/rec/bibtex/journals/jar/BancerekBGKMNP18 | [BiBTeX file] |
cicm-conference.org/2016/cicm.php | CICM 2016 |
springer.com/gp/book/9783319206141 | Mizar: State-of-the-Art and Beyond |
dblp.uni-trier.de/rec/bibtex/conf/mkm/BancerekBGKMNPU15 | [BiBTeX file] |
mizar.uwb.edu.pl/ | University of Bialystok, Bialystok, Poland |
google.com/search | <img> |
Внутренние ссылки главной страницы ( 17 ) | |
cicm_tutorial/mizar.pdf | Introductory slides |
cicm_tutorial | Exercises |
../people/romat/MatRud2005.pdf | MIZAR: the first 30 years |
system/index.html#download | Download |
version/current | here |
version/current/html/ | HTML-linked articles |
version/current/mml/ | plain-text articles |
version/current/abstr/ | abstracts |
project/ | Mizar Project |
language/ | Mizar Language |
system/ | Mizar System |
project/bibliography.html | Bibliography of Mizar Project |
people/ | Mizar People |
library/ | Mizar Mathematical Library |
fm/ | Formalized Mathematics |
sum/ | Association of Mizar Users |
mizar.org/ | SunSite ICM, Warsaw, Poland |
[Querying whois.publicinterestregistry.net]
[whois.publicinterestregistry.net]
Access to .ORG WHOIS information is provided to assist persons in
determining the contents of a domain name registration record in the
Public Interest Registry registry database. The data in this record is provided by
Public Interest Registry for informational purposes only, and Public Interest Registry does not
guarantee its accuracy. This service is intended only for query-based
access. You agree that you will use this data only for lawful purposes
and that, under no circumstances will you use this data to: (a) allow,
enable, or otherwise support the transmission by e-mail, telephone, or
facsimile of mass unsolicited, commercial advertising or solicitations
to entities other than the data recipient's own existing customers; or
(b) enable high volume, automated, electronic processes that send
queries or data to the systems of Registry Operator, a Registrar, or
Afilias except as reasonably necessary to register domain names or
modify existing registrations. All rights reserved. Public Interest Registry reserves
the right to modify these terms at any time. By submitting this query,
you agree to abide by this policy.
Domain ID:D810264-LROR
Domain Name:MIZAR.ORG
Created On:08-Dec-1997 05:00:00 UTC
Last Updated On:04-Dec-2012 08:19:19 UTC
Expiration Date:07-Dec-2022 05:00:00 UTC
Sponsoring Registrar:PDR Ltd. d/b/a PublicDomainRegistry.com (R27-LROR)
Status:CLIENT TRANSFER PROHIBITED
Registrant ID:DI_8195834
Registrant Name:Andrzej Trybulec
Registrant Organization:Association of Mizar Users
Registrant Street1:Wasilkowska 69/2
Registrant Street2:
Registrant Street3:
Registrant City:Bialystok
Registrant State/Province:podlaskie
Registrant Postal Code:15-267
Registrant Country:PL
Registrant Phone:+48.857457092
Registrant Phone Ext.:
Registrant FAX:+48.857457478
Registrant FAX Ext.:
Registrant Email:romat@lasek.waw.pl
Admin ID:DI_8195837
Admin Name:DOMENY.PL sp. z o.o.
Admin Organization:Administracja
Admin Street1:Wielicka 50
Admin Street2:
Admin Street3:
Admin City:Krakow
Admin State/Province:malopolskie
Admin Postal Code:30-552
Admin Country:PL
Admin Phone:+48.122963663
Admin Phone Ext.:
Admin FAX:+48.122963663
Admin FAX Ext.:
Admin Email:info@domeny.pl
Tech ID:DI_8195837
Tech Name:DOMENY.PL sp. z o.o.
Tech Organization:Administracja
Tech Street1:Wielicka 50
Tech Street2:
Tech Street3:
Tech City:Krakow
Tech State/Province:malopolskie
Tech Postal Code:30-552
Tech Country:PL
Tech Phone:+48.122963663
Tech Phone Ext.:
Tech FAX:+48.122963663
Tech FAX Ext.:
Tech Email:info@domeny.pl
Name Server:ALFA.MIZAR.ORG
Name Server:GLINA.ITMSC.PL
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
Name Server:
DNSSEC:Unsigned
User-Agent: *
Disallow: /cgi-bin/
User-Agent: *
Disallow: /cgi-mkm/
User-Agent: *
Disallow: /CyberChairMKM/
Канада - Китченер - 129.97.91.199
University of Waterloo
University of Waterloo
HTTP/1.1 200 OK
Date: Sun, 20 Oct 2019 06:18:08 GMT
Server: Apache/2.2.15 (CentOS)
Last-Modified: Fri, 12 Jul 2019 08:24:54 GMT
ETag: "a1ca8-1458-58d77a5182180"
Accept-Ranges: bytes
Content-Length: 5208
Connection: close
Content-Type: text/html
Кнопка для анализа сайта в один клик, для установки перетащите ссылку на "Панель закладок"