Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 x3 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . Church17_p x0Church17_p x1Church17_p x2Church17_p x3(x0 = x1∀ x4 : ο . x4)(x0 = x2∀ x4 : ο . x4)(x0 = x3∀ x4 : ο . x4)(x1 = x2∀ x4 : ο . x4)(x1 = x3∀ x4 : ο . x4)(x2 = x3∀ x4 : ο . x4)(TwoRamseyGraph_4_4_Church17 x0 x1 = λ x5 x6 . x6)(TwoRamseyGraph_4_4_Church17 x0 x2 = λ x5 x6 . x6)(TwoRamseyGraph_4_4_Church17 x0 x3 = λ x5 x6 . x6)(TwoRamseyGraph_4_4_Church17 x1 x2 = λ x5 x6 . x6)(TwoRamseyGraph_4_4_Church17 x1 x3 = λ x5 x6 . x6)(TwoRamseyGraph_4_4_Church17 x2 x3 = λ x5 x6 . x6)False
type
prop
theory
HotG
name
-
proof
PUagg..
Megalodon
-
proofgold address
TMKoV..
creator
18318 Pr4zB../a5348..
owner
18318 Pr4zB../a5348..
term root
0622a..