Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 . SNo x0SNo x1SNo x2SNo x3SNo x4SNo x5SNo x6SNo x7SNo x8SNo x9SNo x10SNo x11SNo x12SNo x13SNo x14SNo x15bbc71.. x0 x1 x2 x3 x4 x5 x6 x7 = bbc71.. x8 x9 x10 x11 x12 x13 x14 x15x6 = x14
type
prop
theory
HotG
name
-
proof
PUhtR..
Megalodon
-
proofgold address
TMPxL..
creator
28142 PrQUS../ce2a4..
owner
28142 PrQUS../ce2a4..
term root
b3af6..