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 . x9x0ba720.. x2 x4 x5 x6 x7 x8 x9∀ x10 : ο . (x2 x4 x3not (x2 x5 x3)not (x2 x6 x3)not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)x10)(not (x2 x4 x3)x2 x5 x3not (x2 x6 x3)not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)x10)(x2 x4 x3x2 x5 x3not (x2 x6 x3)not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)x10)(not (x2 x4 x3)not (x2 x5 x3)x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)x10)(x2 x4 x3not (x2 x5 x3)x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)x10)(not (x2 x4 x3)x2 x5 x3x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)x10)(x2 x4 x3x2 x5 x3x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)x10)(not (x2 x4 x3)not (x2 x5 x3)not (x2 x6 x3)x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)x10)(x2 x4 x3not (x2 x5 x3)not (x2 x6 x3)x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)x10)(not (x2 x4 x3)x2 x5 x3not (x2 x6 x3)x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)x10)(x2 x4 x3x2 x5 x3not (x2 x6 x3)x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)x10)(not (x2 x4 x3)not (x2 x5 x3)x2 x6 x3x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)x10)(x2 x4 x3not (x2 x5 x3)x2 x6 x3x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)x10)(not (x2 x4 x3)x2 x5 x3x2 x6 x3x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)x10)(x2 x4 x3x2 x5 x3x2 x6 x3x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)x10)(x2 x4 x3not (x2 x5 x3)not (x2 x6 x3)not (x2 x7 x3)x2 x8 x3not (x2 x9 x3)x10)(not (x2 x4 x3)x2 x5 x3not (x2 x6 x3)not (x2 x7 x3)x2 x8 x3not (x2 x9 x3)x10)(x2 x4 x3x2 x5 x3not (x2 x6 x3)not (x2 x7 x3)x2 x8 x3not (x2 x9 x3)x10)(not (x2 x4 x3)not (x2 x5 x3)x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)x2 x9 x3x10)x10
type
prop
theory
HotG
name
-
proof
PUNGh..
Megalodon
-
proofgold address
TMXGU..
creator
34159 Pr4zB../d9909..
owner
34159 Pr4zB../d9909..
term root
dadf2..