Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → ο . ∀ x1 x2 : ι → ι → ι . (∀ x3 x4 . x0 x3x0 x4x0 (x1 x3 x4))(∀ x3 x4 x5 . x0 x3x0 x4x0 x5x2 x3 (x1 x4 x5) = x1 (x2 x3 x4) (x2 x3 x5))(∀ x3 x4 x5 . x0 x3x0 x4x0 x5x2 (x1 x3 x4) x5 = x1 (x2 x3 x5) (x2 x4 x5))∀ x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 . x0 x3x0 x4x0 x5x0 x6x0 x7x0 x8x0 x9x0 x10x0 x11x0 x12x0 x13x0 x14x2 (x1 x3 (x1 x4 (x1 x5 x6))) (x1 x7 (x1 x8 (x1 x9 (x1 x10 (x1 x11 (x1 x12 (x1 x13 x14))))))) = x1 (x1 (x2 x3 x7) (x1 (x2 x3 x8) (x1 (x2 x3 x9) (x1 (x2 x3 x10) (x1 (x2 x3 x11) (x1 (x2 x3 x12) (x1 (x2 x3 x13) (x2 x3 x14)))))))) (x1 (x1 (x2 x4 x7) (x1 (x2 x4 x8) (x1 (x2 x4 x9) (x1 (x2 x4 x10) (x1 (x2 x4 x11) (x1 (x2 x4 x12) (x1 (x2 x4 x13) (x2 x4 x14)))))))) (x1 (x1 (x2 x5 x7) (x1 (x2 x5 x8) (x1 (x2 x5 x9) (x1 (x2 x5 x10) (x1 (x2 x5 x11) (x1 (x2 x5 x12) (x1 (x2 x5 x13) (x2 x5 x14)))))))) (x1 (x2 x6 x7) (x1 (x2 x6 x8) (x1 (x2 x6 x9) (x1 (x2 x6 x10) (x1 (x2 x6 x11) (x1 (x2 x6 x12) (x1 (x2 x6 x13) (x2 x6 x14))))))))))
type
prop
theory
HotG
name
-
proof
PUdSf..
Megalodon
-
proofgold address
TMHJQ..
creator
24271 Pr5Zc../cdcaa..
owner
24271 Pr5Zc../cdcaa..
term root
429f8..