J
u
m
p
t
o
c
o
n
t
e
n
t
M
a
i
n
m
e
n
u
M
a
i
n
m
e
n
u
m
o
v
e
t
o
s
i
d
e
b
a
r
h
i
d
e
N
a
v
i
g
a
t
i
o
n
●
M
a
i
n
p
a
g
e
●
C
o
n
t
e
n
t
s
●
C
u
r
r
e
n
t
e
v
e
n
t
s
●
R
a
n
d
o
m
a
r
t
i
c
l
e
●
A
b
o
u
t
W
i
k
i
p
e
d
i
a
●
C
o
n
t
a
c
t
u
s
●
D
o
n
a
t
e
C
o
n
t
r
i
b
u
t
e
●
H
e
l
p
●
L
e
a
r
n
t
o
e
d
i
t
●
C
o
m
m
u
n
i
t
y
p
o
r
t
a
l
●
R
e
c
e
n
t
c
h
a
n
g
e
s
●
U
p
l
o
a
d
f
i
l
e
L
a
n
g
u
a
g
e
s
S
e
a
r
c
h
Search
A
p
p
e
a
r
a
n
c
e
●
C
r
e
a
t
e
a
c
c
o
u
n
t
●
L
o
g
i
n
P
e
r
s
o
n
a
l
t
o
o
l
s
●
C
r
e
a
t
e
a
c
c
o
u
n
t
●
L
o
g
i
n
P
a
g
e
s
f
o
r
l
o
g
g
e
d
o
u
t
e
d
i
t
o
r
s
l
e
a
r
n
m
o
r
e
●
C
o
n
t
r
i
b
u
t
i
o
n
s
●
T
a
l
k
P
a
g
e
s
t
h
a
t
l
i
n
k
t
o
"
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
l
a
n
d
A
l
g
e
b
r
a
i
c
M
e
t
h
o
d
s
i
n
P
r
o
g
r
a
m
m
i
n
g
"
H
e
l
p
●
A
r
t
i
c
l
e
●
T
a
l
k
E
n
g
l
i
s
h
●
R
e
a
d
●
E
d
i
t
●
V
i
e
w
h
i
s
t
o
r
y
T
o
o
l
s
T
o
o
l
s
m
o
v
e
t
o
s
i
d
e
b
a
r
h
i
d
e
A
c
t
i
o
n
s
●
R
e
a
d
●
E
d
i
t
●
V
i
e
w
h
i
s
t
o
r
y
G
e
n
e
r
a
l
●
U
p
l
o
a
d
f
i
l
e
●
S
p
e
c
i
a
l
p
a
g
e
s
●
P
r
i
n
t
a
b
l
e
v
e
r
s
i
o
n
●
G
e
t
s
h
o
r
t
e
n
e
d
U
R
L
●
D
o
w
n
l
o
a
d
Q
R
c
o
d
e
A
p
p
e
a
r
a
n
c
e
m
o
v
e
t
o
s
i
d
e
b
a
r
h
i
d
e
←
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
l
a
n
d
A
l
g
e
b
r
a
i
c
M
e
t
h
o
d
s
i
n
P
r
o
g
r
a
m
m
i
n
g
What links here
⧼whatlinkshere-whatlinkshere-target⧽
Page:
⧼whatlinkshere-whatlinkshere-ns⧽
Namespace:
all
(Article)
Talk
User
User talk
Wikipedia
Wikipedia talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Portal
Portal talk
Draft
Draft talk
TimedText
TimedText talk
Module
Module talk
Invert selection
⧼whatlinkshere-whatlinkshere-filter⧽
Hide transclusions
Hide links
Hide redirects
Go
T
h
e
f
o
l
l
o
w
i
n
g
p
a
g
e
s
l
i
n
k
t
o
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
l
a
n
d
A
l
g
e
b
r
a
i
c
M
e
t
h
o
d
s
i
n
P
r
o
g
r
a
m
m
i
n
g
E
x
t
e
r
n
a
l
t
o
o
l
s
●
(
l
i
n
k
c
o
u
n
t
●
t
r
a
n
s
c
l
u
s
i
o
n
c
o
u
n
t
●
s
o
r
t
e
d
l
i
s
t
)
·
S
e
e
h
e
l
p
p
a
g
e
f
o
r
t
r
a
n
s
c
l
u
d
i
n
g
t
h
e
s
e
e
n
t
r
i
e
s
S
h
o
w
i
n
g
4
2
i
t
e
m
s
.
V
i
e
w
(
p
r
e
v
i
o
u
s
5
0
|
n
e
x
t
5
0
)
(
20
|
50
|
1
0
0
|
2
5
0
|
5
0
0
)
●
L
a
w
r
e
n
c
e
P
a
u
l
s
o
n
(
l
i
n
k
s
|
e
d
i
t
)
●
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
l
a
n
d
A
l
g
e
b
r
a
i
c
M
e
t
h
o
d
s
i
n
P
r
o
g
r
a
m
m
i
n
g
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
J
o
u
r
n
a
l
o
n
L
o
g
i
c
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
h
e
J
o
u
r
n
a
l
o
f
L
o
g
i
c
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
L
o
g
i
c
p
r
o
g
r
a
m
m
i
n
g
(
l
i
n
k
s
|
e
d
i
t
)
●
D
a
t
a
l
o
g
(
l
i
n
k
s
|
e
d
i
t
)
●
E
v
e
n
t
c
a
l
c
u
l
u
s
(
l
i
n
k
s
|
e
d
i
t
)
●
C
o
n
c
u
r
r
e
n
t
c
o
n
s
t
r
a
i
n
t
l
o
g
i
c
p
r
o
g
r
a
m
m
i
n
g
(
l
i
n
k
s
|
e
d
i
t
)
●
G
a
m
e
s
R
e
s
e
a
r
c
h
I
n
c
(
l
i
n
k
s
|
e
d
i
t
)
●
B
N
R
P
r
o
l
o
g
(
l
i
n
k
s
|
e
d
i
t
)
●
G
O
L
O
G
(
l
i
n
k
s
|
e
d
i
t
)
●
D
a
l
e
M
i
l
l
e
r
(
a
c
a
d
e
m
i
c
)
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
M
a
t
h
b
o
t
/
L
i
s
t
o
f
m
a
t
h
e
m
a
t
i
c
a
l
r
e
d
l
i
n
k
s
(
T
)
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
F
r
o
p
u
f
f
/
R
e
d
l
i
n
k
s
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
S
a
l
i
h
/
M
a
t
h
R
e
d
l
i
n
k
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
J
5
3
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
P
u
b
l
i
s
h
e
r
1
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
D
O
I
/
1
0
.
1
0
1
0
(
l
i
n
k
s
|
e
d
i
t
)
●
T
h
e
J
o
u
r
n
a
l
o
n
L
o
g
i
c
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
J
.
L
o
g
.
P
r
o
g
.
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
J
.
L
o
g
.
P
r
o
g
r
a
m
.
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
J
o
u
r
n
a
l
o
f
L
o
g
i
c
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
F
r
a
m
e
p
r
o
b
l
e
m
(
l
i
n
k
s
|
e
d
i
t
)
●
L
o
g
i
c
p
r
o
g
r
a
m
m
i
n
g
(
l
i
n
k
s
|
e
d
i
t
)
●
H
o
r
n
c
l
a
u
s
e
(
l
i
n
k
s
|
e
d
i
t
)
●
N
o
n
-
m
o
n
o
t
o
n
i
c
l
o
g
i
c
(
l
i
n
k
s
|
e
d
i
t
)
●
E
l
s
e
v
i
e
r
(
l
i
n
k
s
|
e
d
i
t
)
●
P
r
o
g
r
a
m
s
y
n
t
h
e
s
i
s
(
l
i
n
k
s
|
e
d
i
t
)
●
C
o
n
s
t
r
a
i
n
t
s
a
t
i
s
f
a
c
t
i
o
n
(
l
i
n
k
s
|
e
d
i
t
)
●
C
o
n
s
t
r
a
i
n
t
H
a
n
d
l
i
n
g
R
u
l
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
N
e
g
a
t
i
o
n
a
s
f
a
i
l
u
r
e
(
l
i
n
k
s
|
e
d
i
t
)
●
Y
a
l
e
s
h
o
o
t
i
n
g
p
r
o
b
l
e
m
(
l
i
n
k
s
|
e
d
i
t
)
●
C
o
n
s
t
r
a
i
n
t
l
o
g
i
c
p
r
o
g
r
a
m
m
i
n
g
(
l
i
n
k
s
|
e
d
i
t
)
●
J
o
h
n
A
l
a
n
R
o
b
i
n
s
o
n
(
l
i
n
k
s
|
e
d
i
t
)
●
A
b
d
u
c
t
i
v
e
l
o
g
i
c
p
r
o
g
r
a
m
m
i
n
g
(
l
i
n
k
s
|
e
d
i
t
)
●
L
i
s
t
o
f
l
o
g
i
c
j
o
u
r
n
a
l
s
(
l
i
n
k
s
|
e
d
i
t
)
●
H
i
L
o
g
(
l
i
n
k
s
|
e
d
i
t
)
●
T
a
l
k
:
J
o
u
r
n
a
l
o
f
L
o
g
i
c
P
r
o
g
r
a
m
m
i
n
g
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
R
u
u
d
K
o
o
t
/
C
o
m
p
u
t
e
r
s
c
i
e
n
c
e
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
C
o
m
p
u
l
o
g
g
e
r
/
s
a
n
d
b
o
x
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
R
y
o
b
a
/
s
a
n
d
b
o
x
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
L
S
K
D
u
c
k
/
s
a
n
d
b
o
x
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
A
r
t
i
c
l
e
s
f
o
r
d
e
l
e
t
i
o
n
/
N
a
t
u
r
a
l
C
o
n
s
t
r
a
i
n
t
L
a
n
g
u
a
g
e
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
A
r
t
i
c
l
e
s
f
o
r
d
e
l
e
t
i
o
n
/
L
o
g
/
2
0
1
1
J
u
n
e
8
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
J
5
3
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
N
o
n
-
t
a
l
k
p
a
g
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
A
l
l
p
a
g
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
A
r
t
i
c
l
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
P
u
b
l
i
s
h
e
r
1
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
D
O
I
/
1
0
.
1
0
1
0
(
l
i
n
k
s
|
e
d
i
t
)
●
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
n
d
A
l
g
e
b
r
a
i
c
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
E
l
s
e
v
i
e
r
(
l
i
n
k
s
|
e
d
i
t
)
●
J
a
n
B
e
r
g
s
t
r
a
(
l
i
n
k
s
|
e
d
i
t
)
●
L
i
s
t
o
f
l
o
g
i
c
j
o
u
r
n
a
l
s
(
l
i
n
k
s
|
e
d
i
t
)
●
T
a
l
k
:
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
n
d
A
l
g
e
b
r
a
i
c
P
r
o
g
r
a
m
m
i
n
g
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
R
u
u
d
K
o
o
t
/
C
o
m
p
u
t
e
r
s
c
i
e
n
c
e
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
R
y
o
b
a
/
s
a
n
d
b
o
x
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
L
S
K
D
u
c
k
/
s
a
n
d
b
o
x
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
D
a
n
i
s
h
j
o
u
r
n
a
l
l
i
s
t
/
3
8
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
N
o
n
-
t
a
l
k
p
a
g
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
A
l
l
p
a
g
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
A
r
t
i
c
l
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
G
u
n
t
h
e
r
S
c
h
m
i
d
t
(
l
i
n
k
s
|
e
d
i
t
)
●
R
A
M
i
C
S
(
l
i
n
k
s
|
e
d
i
t
)
●
R
u
d
o
l
f
B
e
r
g
h
a
m
m
e
r
(
l
i
n
k
s
|
e
d
i
t
)
●
T
h
e
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
n
d
A
l
g
e
b
r
a
i
c
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
P
a
r
i
s
K
a
n
e
l
l
a
k
i
s
(
l
i
n
k
s
|
e
d
i
t
)
●
L
i
s
t
o
f
l
o
g
i
c
j
o
u
r
n
a
l
s
(
l
i
n
k
s
|
e
d
i
t
)
●
T
h
e
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
n
d
A
l
g
e
b
r
a
i
c
P
r
o
g
r
a
m
m
i
n
g
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
a
l
k
:
T
h
e
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
n
d
A
l
g
e
b
r
a
i
c
P
r
o
g
r
a
m
m
i
n
g
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
C
l
e
a
n
u
p
W
o
r
k
l
i
s
t
B
o
t
/
l
i
s
t
s
/
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
L
S
K
D
u
c
k
/
s
a
n
d
b
o
x
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
J
5
3
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
N
o
n
-
t
a
l
k
p
a
g
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
A
l
l
p
a
g
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
A
r
t
i
c
l
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
P
u
b
l
i
s
h
e
r
1
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
D
O
I
/
1
0
.
1
0
1
0
(
l
i
n
k
s
|
e
d
i
t
)
●
L
i
s
t
o
f
c
o
m
p
u
t
e
r
s
c
i
e
n
c
e
j
o
u
r
n
a
l
s
(
l
i
n
k
s
|
e
d
i
t
)
●
J
.
L
o
g
.
A
l
g
e
b
r
.
M
e
t
h
o
d
s
P
r
o
g
r
a
m
.
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
J
L
o
g
A
l
g
e
b
r
M
e
t
h
o
d
s
P
r
o
g
r
a
m
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
J
.
L
o
g
.
A
l
g
e
b
r
.
P
r
o
g
r
a
m
.
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
J
L
o
g
A
l
g
e
b
r
P
r
o
g
r
a
m
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
h
e
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
l
a
n
d
A
l
g
e
b
r
a
i
c
M
e
t
h
o
d
s
i
n
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
l
&
A
l
g
e
b
r
a
i
c
M
e
t
h
o
d
s
i
n
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
J
o
u
r
n
a
l
o
f
L
o
g
i
c
&
A
l
g
e
b
r
a
i
c
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
h
e
J
o
u
r
n
a
l
o
f
L
o
g
i
c
&
A
l
g
e
b
r
a
i
c
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
h
e
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
l
&
A
l
g
e
b
r
a
i
c
M
e
t
h
o
d
s
i
n
P
r
o
g
r
a
m
m
i
n
g
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
J
L
o
g
P
r
o
g
r
a
m
(
r
e
d
i
r
e
c
t
p
a
g
e
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
a
l
k
:
J
o
u
r
n
a
l
o
f
L
o
g
i
c
a
l
a
n
d
A
l
g
e
b
r
a
i
c
M
e
t
h
o
d
s
i
n
P
r
o
g
r
a
m
m
i
n
g
(
t
r
a
n
s
c
l
u
s
i
o
n
)
(
l
i
n
k
s
|
e
d
i
t
)
●
T
a
l
k
:
F
r
o
n
t
i
e
r
s
i
n
P
s
y
c
h
o
l
o
g
y
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
:
T
o
k
e
n
z
e
r
o
B
o
t
/
I
S
O
4
u
n
u
s
u
a
l
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
t
a
l
k
:
L
u
c
l
e
o
n
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
t
a
l
k
:
E
v
e
m
a
h
m
o
u
d
/
A
r
c
h
i
v
e
4
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
t
a
l
k
:
E
v
e
m
a
h
m
o
u
d
/
A
r
c
h
i
v
e
1
0
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
t
a
l
k
:
R
e
o
O
n
/
A
r
c
h
i
v
e
1
4
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
t
a
l
k
:
R
e
o
O
n
/
A
r
c
h
i
v
e
1
5
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
t
a
l
k
:
R
e
o
O
n
/
A
r
c
h
i
v
e
1
6
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
t
a
l
k
:
R
e
o
O
n
/
A
r
c
h
i
v
e
1
7
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
t
a
l
k
:
A
d
M
e
l
i
o
r
a
(
l
i
n
k
s
|
e
d
i
t
)
●
U
s
e
r
t
a
l
k
:
R
e
o
O
n
/
A
r
c
h
i
v
e
1
8
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
J
5
3
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
N
o
n
-
t
a
l
k
p
a
g
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
A
l
l
p
a
g
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
L
i
s
t
s
o
f
p
a
g
e
s
/
A
r
t
i
c
l
e
s
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
P
u
b
l
i
s
h
e
r
1
(
l
i
n
k
s
|
e
d
i
t
)
●
W
i
k
i
p
e
d
i
a
:
W
i
k
i
P
r
o
j
e
c
t
A
c
a
d
e
m
i
c
J
o
u
r
n
a
l
s
/
J
o
u
r
n
a
l
s
c
i
t
e
d
b
y
W
i
k
i
p
e
d
i
a
/
D
O
I
/
1
0
.
1
0
1
0
(
l
i
n
k
s
|
e
d
i
t
)
V
i
e
w
(
p
r
e
v
i
o
u
s
5
0
|
n
e
x
t
5
0
)
(
20
|
50
|
1
0
0
|
2
5
0
|
5
0
0
)
R
e
t
r
i
e
v
e
d
f
r
o
m
"
https://en.wikipedia.org/wiki/Special:WhatLinksHere/Journal_of_Logical_and_Algebraic_Methods_in_Programming
"
●
P
r
i
v
a
c
y
p
o
l
i
c
y
●
A
b
o
u
t
W
i
k
i
p
e
d
i
a
●
D
i
s
c
l
a
i
m
e
r
s
●
C
o
n
t
a
c
t
W
i
k
i
p
e
d
i
a
●
C
o
d
e
o
f
C
o
n
d
u
c
t
●
D
e
v
e
l
o
p
e
r
s
●
S
t
a
t
i
s
t
i
c
s
●
C
o
o
k
i
e
s
t
a
t
e
m
e
n
t
●
M
o
b
i
l
e
v
i
e
w
