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 . x10x09733c.. x2 x4 x5 x6 x7 x8 x9 x10∀ x11 : ο . (∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0c0878.. x2 x12 x13 x14 x15 x3 x16 x17 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x07f9b0.. x2 x12 x13 x3 x14 x15 x16 x17 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0d2827.. x2 x12 x13 x3 x14 x15 x16 x17 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0d7cce.. x2 x12 x13 x14 x15 x16 x17 x3 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x08b97c.. x2 x12 x13 x14 x15 x16 x17 x3 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x083424.. x2 x12 x13 x14 x15 x16 x17 x3 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0af16d.. x2 x12 x13 x14 x15 x16 x17 x3 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0a5c5d.. x2 x12 x13 x14 x15 x16 x17 x3 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0fa72d.. x2 x12 x13 x14 x3 x15 x16 x17 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0bddcc.. x2 x12 x13 x14 x15 x16 x17 x3 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0cb670.. x2 x12 x13 x14 x15 x16 x3 x17 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x070101.. x2 x12 x13 x14 x15 x16 x17 x3 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x035e15.. x2 x12 x13 x14 x15 x3 x16 x17 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0f0d5b.. x2 x12 x13 x14 x15 x16 x17 x3 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x011426.. x2 x12 x13 x14 x15 x16 x3 x17 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x002262.. x2 x12 x13 x14 x15 x3 x16 x17 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x080211.. x2 x12 x13 x14 x15 x16 x3 x17 x18x11)(∀ x12 . x12x0∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0478f3.. x2 x12 x13 x14 x15 x16 x17 x3 x18x11)x11
type
prop
theory
HotG
name
-
proof
PULFP..
Megalodon
-
proofgold address
TMaAs..
creator
35797 Pr4zB../621ac..
owner
35797 Pr4zB../621ac..
term root
961b9..