Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι → ο . (∀ x3 . x3x1∀ x4 . x4x1x2 x3 x4x2 x4 x3)4402e.. x1 x2cf2df.. x1 x2∀ x3 . x3x1x0setminus x1 (Sing x3)∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x080df3.. x2 x4 x5 x6 x7 x8∀ x9 : ο . (∀ x10 . x10x0∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0f831d.. x2 x10 x11 x12 x13 x3 x14x9)(∀ x10 . x10x0∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x01e330.. x2 x10 x11 x12 x13 x3 x14x9)(∀ x10 . x10x0∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0af3c4.. x2 x10 x11 x12 x13 x14 x3x9)(∀ x10 . x10x0∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0500fe.. x2 x10 x11 x12 x3 x13 x14x9)x9
type
prop
theory
HotG
name
-
proof
PUgaV..
Megalodon
-
proofgold address
TMHEa..
creator
34155 Pr4zB../d179e..
owner
34155 Pr4zB../d179e..
term root
d4c49..