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 . x13x073f56.. x2 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13∀ x14 : ο . (not (x2 x4 x3)x2 x5 x3not (x2 x6 x3)not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)(not (x2 x4 x3)x2 x5 x3x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)(not (x2 x4 x3)x2 x5 x3not (x2 x6 x3)x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)(not (x2 x4 x3)x2 x5 x3x2 x6 x3x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)(not (x2 x4 x3)x2 x5 x3not (x2 x6 x3)not (x2 x7 x3)x2 x8 x3not (x2 x9 x3)not (x2 x10 x3)x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)(not (x2 x4 x3)x2 x5 x3not (x2 x6 x3)not (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)x2 x5 x3not (x2 x6 x3)not (x2 x7 x3)x2 x8 x3not (x2 x9 x3)x2 x10 x3x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)x14
type
prop
theory
HotG
name
-
proof
PUgta..
Megalodon
-
proofgold address
TMMFi..
creator
36028 Pr4zB../40acc..
owner
36028 Pr4zB../40acc..
term root
da533..