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 . x11x03dc22.. x2 x4 x5 x6 x7 x8 x9 x10 x11∀ x12 : ο . (∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0ee5b5.. x2 x13 x14 x15 x16 x17 x3 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0e9fc9.. x2 x13 x14 x15 x16 x3 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x002471.. x2 x13 x14 x15 x16 x17 x3 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0811c0.. x2 x13 x14 x15 x16 x17 x18 x3 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0a2064.. x2 x13 x14 x15 x16 x3 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0f0823.. x2 x3 x13 x14 x15 x16 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x057f60.. x2 x13 x14 x15 x16 x17 x18 x19 x3 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0923e2.. x2 x13 x14 x15 x3 x16 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x08c9ed.. x2 x13 x14 x15 x16 x17 x18 x19 x3 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x02122d.. x2 x13 x14 x15 x3 x16 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x04e6fe.. x2 x13 x14 x3 x15 x16 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x058208.. x2 x13 x14 x15 x16 x3 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0d3618.. x2 x13 x3 x14 x15 x16 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0bacd8.. x2 x13 x3 x14 x15 x16 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0858d1.. x2 x13 x3 x14 x15 x16 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0858d1.. x2 x13 x14 x15 x16 x3 x17 x18 x19 x20x12)(∀ x13 . x13x0∀ x14 . x14x0∀ x15 . x15x0∀ x16 . x16x0∀ x17 . x17x0∀ x18 . x18x0∀ x19 . x19x0∀ x20 . x20x0492fc.. x2 x3 x13 x14 x15 x16 x17 x18 x19 x20x12)x12
type
prop
theory
HotG
name
-
proof
PUU1D..
Megalodon
-
proofgold address
TMNKA..
creator
35845 Pr4zB../afd53..
owner
35845 Pr4zB../afd53..
term root
4cb5a..