Search for blocks/addresses/...

Proofgold Signed Transaction

vin
PrJAV../30e2e..
PUZVY../d401a..
vout
PrJAV../50832.. 5.20 bars
TMGWJ../e1730.. ownership of 52792.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TManH../a952f.. ownership of bcda6.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMWdc../158c1.. ownership of 7b744.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMYVz../e3eff.. ownership of b4dc6.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMGAi../08a86.. ownership of 56634.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMXqd../353a4.. ownership of 9cdb1.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMYTx../7d31e.. ownership of 97fe0.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMMV7../a243c.. ownership of 26938.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMKTz../3985e.. ownership of e4216.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMWay../414a9.. ownership of d09ff.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMPjC../8c4c1.. ownership of e0ea2.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMXbY../322f2.. ownership of d29fc.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMTsQ../9deb8.. ownership of e1160.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
TMS9U../e5dd6.. ownership of e9caa.. as obj with payaddr Pr6Pc.. no rights controlledby Pr6Pc.. upto 0
PUhvy../3b8ee.. doc published by Pr6Pc..
Param UPairUPair : ι → ι → ι
Param SingSing : ι → ι
Definition KPair_alt7 := λ x0 x1 . UPair (UPair x0 x1) (Sing x0)
Definition KPair_alt6 := λ x0 x1 . UPair (Sing x0) (UPair x0 x1)
Definition KPair_alt5 := λ x0 x1 . UPair (Sing x0) (UPair x1 x0)
Definition KPair_alt4 := λ x0 x1 . UPair (UPair x1 x0) (Sing x0)
Definition KPair_alt3 := λ x0 x1 . UPair (UPair x1 x0) (Sing x1)
Definition KPair_alt2 := λ x0 x1 . UPair (Sing x1) (UPair x1 x0)
Definition KPair_alt1 := λ x0 x1 . UPair (Sing x1) (UPair x0 x1)
Definition KPair := λ x0 x1 . UPair (UPair x0 x1) (Sing x1)