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 . x13x0f9cba.. x2 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13∀ x14 : ο . (not (x2 x4 x3)not (x2 x5 x3)x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)x2 x10 x3x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)(not (x2 x4 x3)not (x2 x5 x3)not (x2 x6 x3)x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)x2 x10 x3x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)(not (x2 x4 x3)not (x2 x5 x3)x2 x6 x3x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)x2 x10 x3x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)x14
type
prop
theory
HotG
name
-
proof
PUVoB..
Megalodon
-
proofgold address
TMJ7s..
creator
35936 Pr4zB../2549b..
owner
35936 Pr4zB../2549b..
term root
3e67b..