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 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0c1824.. x2 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14∀ x15 : ο . (x2 x4 x3not (x2 x5 x3)not (x2 x6 x3)not (x2 x7 x3)x2 x8 x3not (x2 x9 x3)not (x2 x10 x3)not (x2 x11 x3)not (x2 x12 x3)not (x2 x13 x3)x2 x14 x3x15)(x2 x4 x3x2 x5 x3not (x2 x6 x3)not (x2 x7 x3)x2 x8 x3not (x2 x9 x3)not (x2 x10 x3)not (x2 x11 x3)not (x2 x12 x3)not (x2 x13 x3)x2 x14 x3x15)(x2 x4 x3not (x2 x5 x3)not (x2 x6 x3)not (x2 x7 x3)not (x2 x8 x3)x2 x9 x3not (x2 x10 x3)not (x2 x11 x3)not (x2 x12 x3)not (x2 x13 x3)x2 x14 x3x15)(x2 x4 x3not (x2 x5 x3)not (x2 x6 x3)not (x2 x7 x3)x2 x8 x3x2 x9 x3not (x2 x10 x3)not (x2 x11 x3)not (x2 x12 x3)not (x2 x13 x3)x2 x14 x3x15)x15
type
prop
theory
HotG
name
-
proof
PUd71..
Megalodon
-
proofgold address
TMaJ2..
creator
34654 Pr4zB../ad93f..
owner
34654 Pr4zB../ad93f..
term root
5a439..