MML Query
Mizar project
at
Bialystok Technical University
page generated with MMLQT (MML Query Transformation) tool
Mizar home
,
download
files:
abstr
,
articles
,
bin
,
doc
,
emacs gabs
,
fmbibs
,
gabs
(
more
)
semantic MML
MML Query
(
beta
)
Template maker
Mizar TWiki
MML Query server
Megrez services
Journals:
FM
:
MetaPRESS
,
server
,
proof-read
MM&A
(
preparation
)
Syntax:
xml
,
html
Downloads
Mizar syntax
,
xml
,
txt
MML
4.145.1096
-
most important facts
Birkhoff Variety Theorem
Fundamental Theorem of Algebra
Fundamental Theorem of Arithmetic
Goedel Completeness Theorem
Jordan Curve Theorem
Reflection Theorem
(
more
)
MML links
start
new
articles
authors
articles by authors
theorems
hardest proofs
existential registrations
conditional registrations
functorial registrations
,
registered terms
type widening
structures
symbols
Monographs
set theory
topology
Conference
MKM2004
Workshop
30 years of Mizar
dydaktyka
Author
all
1
1/2
1/3
1/4
count
important facts
1.
Grzegorz Bancerek
110
73
28
8
1
89.9166666666667
21
2.
Andrzej Trybulec
108
50
39
10
9
75.0833333333333
10
3.
Marco Riccardi
8
8
0
0
0
8
10
4.
Piotr Rudnicki
56
8
32
10
6
28.8333333333333
8
5.
Artur Kornilowicz
83
54
17
8
4
66.1666666666667
7
6.
Wojciech A Trybulec
23
21
2
0
0
22
6
7.
Yatsuka Nakamura
130
13
74
28
15
63.0833333333333
6
8.
Yasunari Shidama
93
5
24
52
12
37.3333333333333
6
9.
Noboru Endou
69
14
11
41
3
33.9166666666667
5
10.
Christoph Schwarzweller
18
14
3
1
0
15.8333333333333
5
11.
Konrad Raczkowski
12
1
9
2
0
6.16666666666667
5
12.
Jaroslaw Kotowicz
31
17
12
2
0
23.6666666666667
4
13.
Pawel Sadowski
6
0
4
2
0
2.66666666666667
4
14.
Adam Grabowski
48
21
22
4
1
33.5833333333333
3
15.
Karol Pak
21
20
1
0
0
20.5
3
16.
Jozef Bialas
16
12
4
0
0
14
3
17.
Michal J Trybulec
2
1
1
0
0
1.5
3
18.
Adam Naumowicz
19
8
7
1
3
12.5833333333333
2
19.
Agata Darmochwal
17
6
10
1
0
11.3333333333333
2
20.
Malgorzata Korolkiewicz
5
4
0
1
0
4.33333333333333
2
21.
Gilbert Lee
8
4
4
0
0
6
2
22.
Andrzej Kondracki
4
3
1
0
0
3.5
2
23.
Yoshinori Fujisawa
7
0
4
3
0
3
2
24.
Yasushi Fuwa
16
0
8
5
3
6.41666666666667
2
25.
Keiko Narita
7
0
0
7
0
2.33333333333333
2
26.
Hidetaka Shimizu
2
0
0
2
0
0.666666666666667
2
27.
Robert Milewski
31
26
3
0
2
28
1
28.
Bartlomiej Skorulski
4
4
0
0
0
4
1
29.
Jaroslaw Gryko
6
3
2
1
0
4.33333333333333
1
30.
Alicia Cruz
3
3
0
0
0
3
1
31.
Anna Justyna Milewska
2
2
0
0
0
2
1
32.
Katsumi Wasaki
25
2
3
15
5
9.75
1
33.
Toshihiko Watanabe
3
2
1
0
0
2.5
1
34.
Mariusz Zynel
5
2
3
0
0
3.5
1
35.
Agnes Doll
1
1
0
0
0
1
1
36.
Magdalena Jastrzebska
5
1
4
0
0
3
1
37.
Jolanta Kamienska
2
1
1
0
0
1.5
1
38.
Mariusz Lapinski
2
1
1
0
0
1.5
1
39.
Franz Merkl
1
1
0
0
0
1
1
40.
Jaroslaw Stanislaw Walijewski
2
1
1
0
0
1.5
1
41.
Miroslaw Wojciechowski
1
1
0
0
0
1
1
42.
Broderick Arneson
4
0
3
1
0
1.83333333333333
1
43.
Matthias Baaz
1
0
0
1
0
0.333333333333333
1
44.
Jonathan Backer
2
0
1
1
0
0.833333333333333
1
45.
Patrick Braselmann
7
0
7
0
0
3.5
1
46.
Peter Koepke
7
0
7
0
0
3.5
1
47.
Hisayoshi Kunimune
4
0
1
3
0
1.5
1
48.
Bo Li
16
0
6
6
4
6
1
49.
Elzbieta Madra
1
0
1
0
0
0.5
1
50.
Bogdan Nowak
3
0
3
0
0
1.5
1
51.
Ewa Romanowicz
2
0
2
0
0
1
1
52.
Agnieszka Rowinska-Schwarzweller
1
0
1
0
0
0.5
1
53.
Hideki Sakurai
2
0
0
2
0
0.666666666666667
1
54.
Krzysztof Treyderowski
1
0
1
0
0
0.5
1
55.
Yan Zhang
5
0
1
4
0
1.83333333333333
1
56.
Czeslaw Bylinski
38
26
11
1
0
31.8333333333333
0
57.
Library Committee
19
19
0
0
0
19
0
58.
Jing Chen
20
15
5
0
0
17.5
0
59.
Michal Muzalewski
28
13
11
4
0
19.8333333333333
0
60.
Zbigniew Karno
12
11
1
0
0
11.5
0
61.
Shunichi Kobayashi
17
8
9
0
0
12.5
0
62.
Jan Popiolek
9
7
2
0
0
8
0
63.
Josef Urban
7
7
0
0
0
7
0
64.
Michal Trybulec
6
6
0
0
0
6
0
65.
Noriko Asamoto
8
5
0
1
2
5.83333333333333
0
66.
Krzysztof Hryniewiecki
5
4
1
0
0
4.5
0
67.
Waldemar Korczynski
4
4
0
0
0
4
0
68.
Krzysztof Retel
4
4
0
0
0
4
0
69.
Freek Wiedijk
4
4
0
0
0
4
0
70.
Edmund Woronowicz
5
4
1
0
0
4.5
0
71.
Jesse Alama
3
3
0
0
0
3
0
72.
Mariusz Giero
4
3
1
0
0
3.5
0
73.
Agnieszka Julia Marasik
4
3
1
0
0
3.5
0
74.
Oleg Okhotnikov
3
3
0
0
0
3
0
75.
Beata Padlewska
4
3
1
0
0
3.5
0
76.
Beata Perkowska
3
3
0
0
0
3
0
77.
Yasumasa Suzuki
10
3
1
4
2
5.33333333333333
0
78.
Katarzyna Zawadzka
3
3
0
0
0
3
0
79.
Leszek Borys
2
2
0
0
0
2
0
80.
Ewa Burakowska
3
2
1
0
0
2.5
0
81.
Marek Chmur
2
2
0
0
0
2
0
82.
Ewa Gradzka
2
2
0
0
0
2
0
83.
Takao Inoue
7
2
0
2
3
3.41666666666667
0
84.
Kazuhisa Ishida
4
2
2
0
0
3
0
85.
Akihiro Kubo
3
2
1
0
0
2.5
0
86.
Xiquan Liang
44
2
13
24
5
17.75
0
87.
Andrzej Nedzusiak
4
2
2
0
0
3
0
88.
Dariusz Surowik
2
2
0
0
0
2
0
89.
Yasushi Tanaka
2
2
0
0
0
2
0
90.
Jaroslaw Zajkowski
2
2
0
0
0
2
0
91.
Stanislaw T Czuba
1
1
0
0
0
1
0
92.
Yuzhong Ding
10
1
7
2
0
5.16666666666667
0
93.
Marek Dudzicz
2
1
1
0
0
1.5
0
94.
Barbara Dzienis
1
1
0
0
0
1
0
95.
Janusz Ganczarski
1
1
0
0
0
1
0
96.
Fuguo Ge
10
1
4
5
0
4.66666666666667
0
97.
Grigory E Ivanov
1
1
0
0
0
1
0
98.
Andrzej Iwaniuk
1
1
0
0
0
1
0
99.
Cezary Kaliszyk
1
1
0
0
0
1
0
100.
Eugeniusz Kusak
11
1
4
6
0
5
0
101.
Rafal Kwiatek
2
1
1
0
0
1.5
0
102.
Beata Madras-Kobus
1
1
0
0
0
1
0
103.
Markus Moschner
2
1
1
0
0
1.5
0
104.
Robert Nieszczerzewski
1
1
0
0
0
1
0
105.
Hiroyuki Okazaki
6
1
3
1
1
3.08333333333333
0
106.
Andrzej Owsiejczuk
1
1
0
0
0
1
0
107.
Miroslaw Jan Paszek
1
1
0
0
0
1
0
108.
Krzysztof Prazmowski
24
1
17
5
1
11.4166666666667
0
109.
Marian Przemski
1
1
0
0
0
1
0
110.
Wojciech Skaba
10
1
9
0
0
5.5
0
111.
Robert M Solovay
1
1
0
0
0
1
0
112.
Yozo Toda
1
1
0
0
0
1
0
113.
Zinaida Trybulec
1
1
0
0
0
1
0
114.
Wojciech Zielonka
1
1
0
0
0
1
0
115.
Stanislaw Zukowski
1
1
0
0
0
1
0
116.
Kanchun
3
0
1
2
0
1.16666666666667
0
117.
Mitsuru Aoki
1
0
0
0
1
0.25
0
118.
Kenichi Arai
1
0
1
0
0
0.5
0
119.
William W Armstrong
1
0
0
1
0
0.333333333333333
0
120.
Lilla Krystyna Baginska
1
0
1
0
0
0.5
0
121.
Ou Bai
1
0
0
1
0
0.333333333333333
0
122.
Agnieszka Banachowicz
1
0
1
0
0
0.5
0
123.
Slawomir Bialecki
1
0
1
0
0
0.5
0
124.
Jianbing Cao
3
0
0
3
0
1
0
125.
Patricia L Carlson
1
0
1
0
0
0.5
0
126.
Pacharapokin Chanapat
2
0
1
1
0
0.833333333333333
0
127.
Wenpai Chang
6
0
0
6
0
2
0
128.
Dorota Czestochowska
1
0
1
0
0
0.5
0
129.
Masayoshi Eguchi
2
0
1
1
0
0.833333333333333
0
130.
Jessica Enright
1
0
1
0
0
0.5
0
131.
Hirofumi Fukura
3
0
2
1
0
1.33333333333333
0
132.
Gijs Geleijnse
1
0
1
0
0
0.5
0
133.
Klaus E Grue
1
0
1
0
0
0.5
0
134.
Adam Guzowski
1
0
1
0
0
0.5
0
135.
Dahai Hu
3
0
0
3
0
1
0
136.
Hiroshi Imura
5
0
1
4
0
1.83333333333333
0
137.
Hisashi Ito
1
0
1
0
0
0.5
0
138.
Wolfgang Jaksch
1
0
1
0
0
0.5
0
139.
Kui Jia
2
0
2
0
0
1
0
140.
Mitsuru Jitsukawa
1
0
0
0
1
0.25
0
141.
Miroslava Kaloper
1
0
1
0
0
0.5
0
142.
Stanislawa Kanas
3
0
2
1
0
1.33333333333333
0
143.
Katuhiko Kanazashi
1
0
0
0
1
0.25
0
144.
Takahiro Kato
3
0
1
2
0
1.16666666666667
0
145.
Kanazashi Katuhiko
1
0
0
1
0
0.333333333333333
0
146.
Pauline N Kawamoto
8
0
1
2
5
2.41666666666667
0
147.
Morishige Kimura
1
0
0
1
0
0.333333333333333
0
148.
Barbara Konstanta
1
0
0
0
1
0.25
0
149.
Urszula Kowieska
1
0
0
0
1
0.25
0
150.
Violetta Kozarkiewicz
1
0
1
0
0
0.5
0
151.
Elzbieta Kraszewska
1
0
1
0
0
0.5
0
152.
Richard Krueger
2
0
0
2
0
0.666666666666667
0
153.
Anna Lango
1
0
1
0
0
0.5
0
154.
Adam Lecko
3
0
2
1
0
1.33333333333333
0
155.
Wojciech Leonczuk
12
0
6
6
0
5
0
156.
Bozena Lewandowska
1
0
0
1
0
0.333333333333333
0
157.
Grzegorz Lewandowski
3
0
1
1
1
1.08333333333333
0
158.
Dailu Li
4
0
2
1
1
1.58333333333333
0
159.
Hongwei Li
1
0
0
0
1
0.25
0
160.
Ming Liang
1
0
1
0
0
0.5
0
161.
Gang Liu
1
0
0
1
0
0.333333333333333
0
162.
Aneta Lukaszuk
1
0
1
0
0
0.5
0
163.
Na Ma
3
0
2
1
0
1.33333333333333
0
164.
Akio Matsumoto
1
0
0
0
1
0.25
0
165.
Hidenori Matsuzaki
1
0
0
1
0
0.333333333333333
0
166.
Roman Matuszewski
4
0
3
1
0
1.83333333333333
0
167.
Yanhong Men
4
0
1
1
2
1.33333333333333
0
168.
Takashi Mitsuishi
15
0
3
12
0
5.5
0
169.
Keiichi Miyajima
6
0
2
4
0
2.33333333333333
0
170.
Yasuho Mizuhara
2
0
2
0
0
1
0
171.
Masaaki Niimura
4
0
4
0
0
2
0
172.
Akira Nishino
1
0
1
0
0
0.5
0
173.
Takaya Nishiyama
5
0
2
3
0
2
0
174.
Keiji Ohkubo
3
0
0
3
0
1
0
175.
Katsumasa Okamura
1
0
0
1
0
0.333333333333333
0
176.
Hiroyuki Okazaki
1
0
1
0
0
0.5
0
177.
Kunio Oniumi
1
0
0
1
0
0.333333333333333
0
178.
Henryk Oryszczyszyn
15
0
12
3
0
7
0
179.
Nagato Oya
1
0
0
0
1
0.25
0
180.
Chanapat Pacharapokin
2
0
0
0
2
0.5
0
181.
Weibo Pan
1
0
0
0
1
0.25
0
182.
Zhiyong Pang
1
0
1
0
0
0.5
0
183.
Cuiying Peng
1
0
0
1
0
0.333333333333333
0
184.
Malgorzata Prazmowska
1
0
0
1
0
0.333333333333333
0
185.
Marta Pruszynska
1
0
1
0
0
0.5
0
186.
Krzysztof Radziszewski
2
0
2
0
0
1
0
187.
Katarzyna Romanowicz
1
0
1
0
0
0.5
0
188.
Yuji Sakai
4
0
2
2
0
1.66666666666667
0
189.
Agnieszka Sakowicz
1
0
0
1
0
0.333333333333333
0
190.
Paul Shelley
2
0
0
2
0
0.666666666666667
0
191.
Xiuzhuan Shen
1
0
0
1
0
0.333333333333333
0
192.
Alexander Yu Shibakov
1
0
1
0
0
0.5
0
193.
Nobuhiro Shimoi
1
0
0
1
0
0.333333333333333
0
194.
Jan Stankiewicz
1
0
1
0
0
0.5
0
195.
Mariusz Startek
2
0
1
1
0
0.833333333333333
0
196.
Tao Sun
4
0
0
3
1
1.25
0
197.
Zhongpin Sun
1
0
0
1
0
0.333333333333333
0
198.
Hikofumi Suzuki
1
0
0
1
0
0.333333333333333
0
199.
Jolanta Swierzynska
3
0
3
0
0
1.5
0
200.
Bogdan Swierzynski
3
0
3
0
0
1.5
0
201.
Leslaw W Szczerba
2
0
2
0
0
1
0
202.
Nobuyuki Tamura
2
0
1
1
0
0.833333333333333
0
203.
Masami Tanaka
3
0
1
2
0
1.16666666666667
0
204.
Ling Tang
1
0
1
0
0
0.5
0
205.
Wioletta Truszkowska
1
0
1
0
0
0.5
0
206.
Tetsuya Tsunetou
1
0
0
1
0
0.333333333333333
0
207.
Akihiko Uchibori
1
0
1
0
0
0.5
0
208.
Pan Wang
3
0
1
0
2
1
0
209.
Peng Wang
2
0
2
0
0
1
0
210.
Yasushige Watase
2
0
0
2
0
0.666666666666667
0
211.
Anna Winnicka
1
0
1
0
0
0.5
0
212.
Piotr Wojtecki
1
0
1
0
0
0.5
0
213.
Chenglong Wu
3
0
1
1
1
1.08333333333333
0
214.
Miroslaw Wysocki
1
0
1
0
0
0.5
0
215.
Bing Xie
7
0
2
3
2
2.5
0
216.
Shin Yamaguchi
4
0
0
4
0
1.33333333333333
0
217.
Hiroshi Yamazaki
23
0
4
12
7
7.75
0
218.
Masahiko Yamazaki
3
0
0
1
2
0.833333333333333
0
219.
Li Yan
3
0
0
3
0
1
0
220.
Yuguang Yang
5
0
2
0
3
1.75
0
221.
Xiaopeng Yue
4
0
1
3
0
1.5
0
222.
Anna Zalewska
1
0
1
0
0
0.5
0
223.
Fahui Zhai
3
0
0
3
0
1
0
224.
Bo Zhang
7
0
2
5
0
2.66666666666667
0
225.
Junjie Zhao
4
0
0
4
0
1.33333333333333
0
226.
Piqing Zhao
1
0
0
1
0
0.333333333333333
0
227.
Yanping Zhuang
5
0
0
1
4
1.33333333333333
0
228.
Claus Zinn
1
0
1
0
0
0.5
0
229.
Grzegorz Zwara
1
0
1
0
0
0.5
0
Template: authors_impact.mqt
Action:
Grzegorz Bancerek
:
bancerek (at) mizar.org
