{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:34YHYQAPRPY2UHTE76UQL3V6YH","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"4f86553ef44cfce4d70d1a4446728dcfd88f086d330754aa5d319cf56ff324ce","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-24T09:16:41Z","title_canon_sha256":"f60466eb6a74e0132b06707dd31146e32ef4944ad680c309eb0bb3060213bd49"},"schema_version":"1.0","source":{"id":"1404.6064","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.6064","created_at":"2026-05-18T02:53:18Z"},{"alias_kind":"arxiv_version","alias_value":"1404.6064v1","created_at":"2026-05-18T02:53:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.6064","created_at":"2026-05-18T02:53:18Z"},{"alias_kind":"pith_short_12","alias_value":"34YHYQAPRPY2","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"34YHYQAPRPY2UHTE","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"34YHYQAP","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:cdd7252948cd22564fd101c58d2c96a8ebf1adf5db9a87a943cd2d89202afc40","target":"graph","created_at":"2026-05-18T02:53:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We study temporal logics and automata on multi-attributed data words. Recently, BD-LTL was introduced as a temporal logic on data words extending LTL by navigation along positions of single data values. As allowing for navigation wrt. tuples of data values renders the logic undecidable, we introduce ND-LTL, an extension of BD-LTL by a restricted form of tuple-navigation. While complete ND-LTL is still undecidable, the two natural fragments allowing for either future or past navigation along data values are shown to be Ackermann-hard, yet decidability is obtained by reduction to nested multi-co","authors_text":"Daniel Thoma, Martin Leucker, Normann Decker, Peter Habermehl","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-24T09:16:41Z","title":"Ordered Navigation on Multi-attributed Data Words"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.6064","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c579df6f43d5d11a02569db811d45f266bf4b5eb77f88c37192d7fef6687dec7","target":"record","created_at":"2026-05-18T02:53:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"4f86553ef44cfce4d70d1a4446728dcfd88f086d330754aa5d319cf56ff324ce","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-24T09:16:41Z","title_canon_sha256":"f60466eb6a74e0132b06707dd31146e32ef4944ad680c309eb0bb3060213bd49"},"schema_version":"1.0","source":{"id":"1404.6064","kind":"arxiv","version":1}},"canonical_sha256":"df307c400f8bf1aa1e64ffa905eebec1c29d3b76b1ccda8c1e2e61d6ecb9b6e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"df307c400f8bf1aa1e64ffa905eebec1c29d3b76b1ccda8c1e2e61d6ecb9b6e2","first_computed_at":"2026-05-18T02:53:18.469502Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:53:18.469502Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uYt7iVlSU+UieIVUqXLT6yG+10doBpd/nR1UA2dSOzpSoyNh+JLmyupy+tyjR5a94mA+8Qt8c97o37oQQSpQCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:53:18.469996Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.6064","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c579df6f43d5d11a02569db811d45f266bf4b5eb77f88c37192d7fef6687dec7","sha256:cdd7252948cd22564fd101c58d2c96a8ebf1adf5db9a87a943cd2d89202afc40"],"state_sha256":"214ceb22400d8d517ef340a4ad04608d9386786998decde31a6f6a258045cb13"}