Personal Information Node 0

text/plain; charset=utf-8

{"root":"lean","nodes":[{"id":"lean","parent":null,"title":"Lean 降格形式化：命题陈述 Y＋L2→L1＋真 axiom EGRS75_est＋L3＋D6（lake bu

[id]
039c87f17f06a40532c16a511f51632878d1ff3c944eef762852f2dd5bfbf74ci0

[ChainName]
mvc

[MetaID]
2eb21238314aca030b67ed7b7c4c613f2e8cb7e42ee9140589a4df9da3854aa2

[POP]
00000000000000000001123231337611050702664613656372524501557163737347155513461736502471250206226651551371751434770367276244531146165162276365174040572606547710666677300400

[POPLv]
-1

[DataValue]
1

[operation]
create

[path]
/protocols/metatask/tree

[version]
1.1.0

[encryption]
0

[address]
1GrqX7K9jdnUor8hAoAfDx99uFH2tT75Za

[output value]
1

[preview]
link

[content]
link

[content length]
542

[content type]
application/json

[timestamp]
1790775252

[genesis height]
191775

[genesis transactione]
039c87f17f06a40532c16a511f51632878d1ff3c944eef762852f2dd5bfbf74c

[location]
039c87f17f06a40532c16a511f51632878d1ff3c944eef762852f2dd5bfbf74c:0:0

[output]
039c87f17f06a40532c16a511f51632878d1ff3c944eef762852f2dd5bfbf74c:0

[offset]
0

[PoPScore]
0

[PoPScoreV1]
8.338