Home › Core › ISCC-IDs › 28CrXmvyWuJNj

View ISCC-ID

Core Data

28CrXmvyWuJNj
ISCC-ID - digital asset identifier
CCdnxPSZKojqX-CT8ugjTjppYCe-CDLPRHYsgBLte-CRe11Lf8BniRn
ISCC-CODE - digital asset descriptor
2QTa5N4aeSrCB2MLoPdPF4AsTjstJgcLTnd
PUBLIC-KEY or WALLET-ADDRESS of DECLARING PARTY
0
Number of times updated

Seed Metadata (Immutable)

the complexity of generalized satisfiability for linear temporal logic

Ledger Reference

coblo
Source Ledger/Blockchain
12336241
N-th ISCC Decleration on source ledger
211747ab4c542c7aeab779e3890b7bde745fe4343870ba826a83fe0e31e637c3
Hash of block that includes the ISCC-DECLARATION
f338ab427ee86080adab60e0b8eb4bd8305db7ec84171e26d226497ac7ce6ccd
Hash of transaction that includes the ISCC-DECLERATION
0
Output index that includes ISCC-DECLERATION (UTXO based chains)

Mutable Metadata

[{"data": {"name": "The Complexity of Generalized Satisfiability for Linear Temporal Logic", "@type": "ScholarlyArticle", "genre": "book-chapter", "author": [{"name": "Michael Bauland", "@type": "Person"}, {"name": "Thomas Schneider", "@type": "Person"}, {"name": "Henning Schnoor", "@type": "Person"}, {"name": "Ilka Schnoor", "@type": "Person"}, {"name": "Heribert Vollmer", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://arxiv.org/pdf/0812.4848", "encodingFormat": "application/pdf"}], "publisher": {"name": "Springer Berlin Heidelberg", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1007/978-3-540-71389-0_5", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCdnxPSZKojqX-CT8ugjTjppYCe-CDLPRHYsgBLte-CRe11Lf8BniRn", "propertyID": "ISCC"}]}, "schema": "schema.org", "mediatype": "application/ld+json"}]
Close