Proofgold Proposition

type
prop

theory
HotG

name
OSNo_p1_j

proof
PUdK2..

Megalodon
OSNo_p1_j

proofgold address
TMPU6..^OSNo_p1_j

creator
28513 PrQUS../43068..

owner
28513 PrQUS../43068..

term root
d50e9..