{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:NWXX7A4Y2JPOAUK4Y46AYDLFWD","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":"9ecec8754ef9ac070161910cf8a89e02ae91e01bbc3c6ca365a59358ecfae08f","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-02T00:46:36Z","title_canon_sha256":"9da627c146b56672a3e64300cab3f6f1b06b50b06b041c0438cf727b7b9da904"},"schema_version":"1.0","source":{"id":"1802.00523","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.00523","created_at":"2026-05-18T00:24:32Z"},{"alias_kind":"arxiv_version","alias_value":"1802.00523v1","created_at":"2026-05-18T00:24:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.00523","created_at":"2026-05-18T00:24:32Z"},{"alias_kind":"pith_short_12","alias_value":"NWXX7A4Y2JPO","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NWXX7A4Y2JPOAUK4","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NWXX7A4Y","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:ddd19353659d50978743ee67c73fd8ceef39a48fbb6e56715420214720f9caaf","target":"graph","created_at":"2026-05-18T00:24:32Z","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":"The study of word equations (or the existential theory of equations over free monoids) is a central topic in mathematics and theoretical computer science. The problem of deciding whether a given word equation has a solution was shown to be decidable by Makanin in the late 1970s, and since then considerable work has been done on this topic. In recent years, this decidability question has gained critical importance in the context of string SMT solvers for security analysis. Further, many extensions (e.g., quantifier-free word equations with linear arithmetic over the length function) and fragmen","authors_text":"Dirk Nowotka, Florin Manea, Joel Day, Paul He, Vijay Ganesh","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-02T00:46:36Z","title":"The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.00523","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:c71018fad085247a63304719e9eb70b2c44f8d6d3d65d04adb858f1713ec02b9","target":"record","created_at":"2026-05-18T00:24:32Z","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":"9ecec8754ef9ac070161910cf8a89e02ae91e01bbc3c6ca365a59358ecfae08f","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-02T00:46:36Z","title_canon_sha256":"9da627c146b56672a3e64300cab3f6f1b06b50b06b041c0438cf727b7b9da904"},"schema_version":"1.0","source":{"id":"1802.00523","kind":"arxiv","version":1}},"canonical_sha256":"6daf7f8398d25ee0515cc73c0c0d65b0f852cd5c68f1ab9f9748ad104801d2dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6daf7f8398d25ee0515cc73c0c0d65b0f852cd5c68f1ab9f9748ad104801d2dd","first_computed_at":"2026-05-18T00:24:32.964855Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:24:32.964855Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6GdfnfI/3+cmkdN4N4xFz/jwYkRXc+Cevo/4E4tZFR9rg8RrKWCk32DG8acTrOxaVPozh3y/mXzM0S0H0cYMBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:24:32.965245Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.00523","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c71018fad085247a63304719e9eb70b2c44f8d6d3d65d04adb858f1713ec02b9","sha256:ddd19353659d50978743ee67c73fd8ceef39a48fbb6e56715420214720f9caaf"],"state_sha256":"a75e7a525da5a60ddb8a266a1cb105cb484271193c6b613b7a61eca282399684"}