EntryValue
AddressTGkby4NgCbbjGkFjjssKUUBCdhresnttVe
Asset ID1ae9abeaba2f450da8e6ceca98ecc8981ddf6721f41dd7a49e421937b4b4b30d
Asset AddressTGkby4NgCbbjGkFjjssKUUBCdhresnttVe
Asset Birthday2400
KindOwnership of proposition b2a972c6c09bad43a1696e37f505db24ada065e7eb2369d6b840621a0c7f1c37
Owner addressDZp2ARaF7tQ9wV99e6US6PPyx3RMtLbRvF
Lock height0
Rights PolicyProposition can be freely imported as known in new documents
KindConjecture in theory
Address in theoryb2a972c6c09bad43a1696e37f505db24ada065e7eb2369d6b840621a0c7f1c37
Pure term74e9fe28ff6b037d4872749bc7fb7063295b9954705a037d0fbf09635aea9fe5
Pure addressTB4wDBVLRpwd7Gze9WzeSbqi6M3RB576he
Back to Proof Explorer Search Page