Home › Core › ISCC-IDs › 28C49JLyEwoPR

View ISCC-ID

Core Data

28C49JLyEwoPR
ISCC-ID - digital asset identifier
CCaYXMg9Xmp4z-CTEfSLzDeCikf-CDctdLqhSunYv-CREoDbQn7iS5R
ISCC-CODE - digital asset descriptor
2QTa5N4aeSrCB2MLoPdPF4AsTjstJgcLTnd
PUBLIC-KEY or WALLET-ADDRESS of DECLARING PARTY
0
Number of times updated

Seed Metadata (Immutable)

improved bounded model checking for a fair branchingtime temporal epistemic logic

Ledger Reference

coblo
Source Ledger/Blockchain
10876
N-th ISCC Decleration on source ledger
73625775050f9e418cb515aa9382b111cf8281e292dc3fecc7e9f19010e77c5a
Hash of block that includes the ISCC-DECLARATION
03f19773d5aa1883124cfb0e7fb268740e15db8c193df25a279828f348fa0bb6
Hash of transaction that includes the ISCC-DECLERATION
0
Output index that includes ISCC-DECLERATION (UTXO based chains)

Mutable Metadata

[{"data": {"name": "Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic", "@type": "ScholarlyArticle", "genre": "book-chapter", "author": [{"name": "Xiaowei Huang", "@type": "Person"}, {"name": "Cheng Luo", "@type": "Person"}, {"name": "Ron van der Meyden", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://www.cse.unsw.edu.au/~meyden/research/mochart10.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Springer Berlin Heidelberg", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1007/978-3-642-20674-0_7", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCaYXMg9Xmp4z-CTEfSLzDeCikf-CDctdLqhSunYv-CREoDbQn7iS5R", "propertyID": "ISCC"}], "datePublished": "2011-01-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]
Close