{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:6MTJCD2CSYVHIYB2NE4EO5C27Q","short_pith_number":"pith:6MTJCD2C","schema_version":"1.0","canonical_sha256":"f326910f42962a74603a693847745afc3f6eb2001abbeab088c2f8997353d836","source":{"kind":"arxiv","id":"1502.03426","version":3},"attestation_state":"computed","paper":{"title":"Solution sets for equations over free groups are EDT0L languages -- ICALP 2015 version","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","cs.FL","math.GR"],"primary_cat":"cs.LO","authors_text":"Laura Ciobanu, Murray Elder, Volker Diekert","submitted_at":"2015-02-11T20:23:41Z","abstract_excerpt":"We show that, given a word equation over a finitely generated free group, the set of all solutions in reduced words forms an EDT0L language. In particular, it is an indexed language in the sense of Aho. The question of whether a description of solution sets in reduced words as an indexed language is possible has been been open for some years, apparently without much hope that a positive answer could hold. Nevertheless, our answer goes far beyond: they are EDT0L, which is a proper subclass of indexed languages. We can additionally handle the existential theory of equations with rational constra"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1502.03426","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-11T20:23:41Z","cross_cats_sorted":["cs.DM","cs.FL","math.GR"],"title_canon_sha256":"270b193e9d8f1932a5cc6e0605c1181ff3dfa8561e156eb2eefe032330b9540a","abstract_canon_sha256":"30490c4c2e93eed765522431df7644ad77369dd821b84a0d9133e278b1c430f1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:38.200062Z","signature_b64":"FJWTr/xqhlWJrhSkGEs+C4QDK7yq3L+lIabcbQitJT+JfvxQhlGyTzIKoyCZ86egIXTU+TR/KTzh9S6EFixJAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f326910f42962a74603a693847745afc3f6eb2001abbeab088c2f8997353d836","last_reissued_at":"2026-05-18T01:35:38.199383Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:38.199383Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Solution sets for equations over free groups are EDT0L languages -- ICALP 2015 version","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","cs.FL","math.GR"],"primary_cat":"cs.LO","authors_text":"Laura Ciobanu, Murray Elder, Volker Diekert","submitted_at":"2015-02-11T20:23:41Z","abstract_excerpt":"We show that, given a word equation over a finitely generated free group, the set of all solutions in reduced words forms an EDT0L language. In particular, it is an indexed language in the sense of Aho. The question of whether a description of solution sets in reduced words as an indexed language is possible has been been open for some years, apparently without much hope that a positive answer could hold. Nevertheless, our answer goes far beyond: they are EDT0L, which is a proper subclass of indexed languages. We can additionally handle the existential theory of equations with rational constra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.03426","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1502.03426","created_at":"2026-05-18T01:35:38.199515+00:00"},{"alias_kind":"arxiv_version","alias_value":"1502.03426v3","created_at":"2026-05-18T01:35:38.199515+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.03426","created_at":"2026-05-18T01:35:38.199515+00:00"},{"alias_kind":"pith_short_12","alias_value":"6MTJCD2CSYVH","created_at":"2026-05-18T12:29:07.941421+00:00"},{"alias_kind":"pith_short_16","alias_value":"6MTJCD2CSYVHIYB2","created_at":"2026-05-18T12:29:07.941421+00:00"},{"alias_kind":"pith_short_8","alias_value":"6MTJCD2C","created_at":"2026-05-18T12:29:07.941421+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6MTJCD2CSYVHIYB2NE4EO5C27Q","json":"https://pith.science/pith/6MTJCD2CSYVHIYB2NE4EO5C27Q.json","graph_json":"https://pith.science/api/pith-number/6MTJCD2CSYVHIYB2NE4EO5C27Q/graph.json","events_json":"https://pith.science/api/pith-number/6MTJCD2CSYVHIYB2NE4EO5C27Q/events.json","paper":"https://pith.science/paper/6MTJCD2C"},"agent_actions":{"view_html":"https://pith.science/pith/6MTJCD2CSYVHIYB2NE4EO5C27Q","download_json":"https://pith.science/pith/6MTJCD2CSYVHIYB2NE4EO5C27Q.json","view_paper":"https://pith.science/paper/6MTJCD2C","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1502.03426&json=true","fetch_graph":"https://pith.science/api/pith-number/6MTJCD2CSYVHIYB2NE4EO5C27Q/graph.json","fetch_events":"https://pith.science/api/pith-number/6MTJCD2CSYVHIYB2NE4EO5C27Q/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6MTJCD2CSYVHIYB2NE4EO5C27Q/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6MTJCD2CSYVHIYB2NE4EO5C27Q/action/storage_attestation","attest_author":"https://pith.science/pith/6MTJCD2CSYVHIYB2NE4EO5C27Q/action/author_attestation","sign_citation":"https://pith.science/pith/6MTJCD2CSYVHIYB2NE4EO5C27Q/action/citation_signature","submit_replication":"https://pith.science/pith/6MTJCD2CSYVHIYB2NE4EO5C27Q/action/replication_record"}},"created_at":"2026-05-18T01:35:38.199515+00:00","updated_at":"2026-05-18T01:35:38.199515+00:00"}