Search for blocks/addresses/...
Proofgold Term Root Disambiguation
bcddf..
1f2c4..
(
λ x0 .
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
x0
)
)
(
λ x1 .
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
x0
)
)
(
λ x2 .
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
x0
)
)
(
λ x3 .
bcddf..
(
57d6a..
3cd3c..
(
57d6a..
(
57d6a..
(
57d6a..
0eacd..
x0
)
x1
)
x2
)
)
(
λ x4 .
bcddf..
(
57d6a..
3cd3c..
(
57d6a..
(
57d6a..
(
57d6a..
0eacd..
x0
)
x2
)
x3
)
)
(
λ x5 .
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
ba2b1..
x0
)
x2
)
(
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
x0
)
)
(
λ x6 .
57d6a..
(
57d6a..
(
57d6a..
0eacd..
x0
)
x6
)
x3
)
)
)
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
2a8bd..
x0
)
x1
)
(
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
x0
)
)
(
λ x6 .
57d6a..
(
57d6a..
(
57d6a..
0eacd..
x0
)
x6
)
x3
)
)
)
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
2a8bd..
x0
)
x1
)
(
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
x0
)
)
(
57d6a..
(
57d6a..
(
57d6a..
0eacd..
x0
)
x1
)
)
)
)
(
57d6a..
(
57d6a..
c85c4..
x0
)
x1
)
)
x3
)
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
(
57d6a..
a809c..
x0
)
x2
)
(
bcddf..
(
57d6a..
67ee8..
(
57d6a..
25ca3..
x0
)
)
(
λ x6 .
57d6a..
(
57d6a..
(
57d6a..
0eacd..
x0
)
x6
)
x3
)
)
)
x5
)
x1
)
x4
)
)
)
x2
)
x4
)
)
x1
)
x4
)
)
)
)
)
)
as obj
14a50..
as prop
-
theory
HOAS
stx
d89f8..
address
TMVvf..