{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:7FO55AKFZJYM6UAXE47YKBP2S7","short_pith_number":"pith:7FO55AKF","schema_version":"1.0","canonical_sha256":"f95dde8145ca70cf5017273f8505fa97eb42cb2cfdfcdef448d861c4f0379448","source":{"kind":"arxiv","id":"1805.06701","version":1},"attestation_state":"computed","paper":{"title":"Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anthony W. Lin, Rupak Majumdar","submitted_at":"2018-05-17T11:22:16Z","abstract_excerpt":"Word equations are a crucial element in the theoretical foundation of constraint solving over strings, which have received a lot of attention in recent years. A word equation relates two words over string variables and constants. Its solution amounts to a function mapping variables to constant strings that equate the left and right hand sides of the equation. While the problem of solving word equations is decidable, the decidability of the problem of solving a word equation with a length constraint (i.e., a constraint relating the lengths of words in the word equation) has remained a long-stan"},"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":"1805.06701","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-05-17T11:22:16Z","cross_cats_sorted":[],"title_canon_sha256":"1f136f2b5bbc07b88af5fd159c38fd64b69d5f2b5ae785695099f8904ee43434","abstract_canon_sha256":"4d92d5a20bb153ebb132f6b55829e4bc9e6c818de3350a99eb98e74f60c404ed"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:43.582078Z","signature_b64":"eQa2Ym2lIyQciFZoSI+S1Em6w/7z/+oVGUuWNtPRxVvi6UDOLzAHpaz+8dTiLX9W1s9350DeHi1dMgjnFjiMCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f95dde8145ca70cf5017273f8505fa97eb42cb2cfdfcdef448d861c4f0379448","last_reissued_at":"2026-05-18T00:15:43.581618Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:43.581618Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anthony W. Lin, Rupak Majumdar","submitted_at":"2018-05-17T11:22:16Z","abstract_excerpt":"Word equations are a crucial element in the theoretical foundation of constraint solving over strings, which have received a lot of attention in recent years. A word equation relates two words over string variables and constants. Its solution amounts to a function mapping variables to constant strings that equate the left and right hand sides of the equation. While the problem of solving word equations is decidable, the decidability of the problem of solving a word equation with a length constraint (i.e., a constraint relating the lengths of words in the word equation) has remained a long-stan"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.06701","kind":"arxiv","version":1},"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":"1805.06701","created_at":"2026-05-18T00:15:43.581686+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.06701v1","created_at":"2026-05-18T00:15:43.581686+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.06701","created_at":"2026-05-18T00:15:43.581686+00:00"},{"alias_kind":"pith_short_12","alias_value":"7FO55AKFZJYM","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_16","alias_value":"7FO55AKFZJYM6UAX","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_8","alias_value":"7FO55AKF","created_at":"2026-05-18T12:32:11.075285+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/7FO55AKFZJYM6UAXE47YKBP2S7","json":"https://pith.science/pith/7FO55AKFZJYM6UAXE47YKBP2S7.json","graph_json":"https://pith.science/api/pith-number/7FO55AKFZJYM6UAXE47YKBP2S7/graph.json","events_json":"https://pith.science/api/pith-number/7FO55AKFZJYM6UAXE47YKBP2S7/events.json","paper":"https://pith.science/paper/7FO55AKF"},"agent_actions":{"view_html":"https://pith.science/pith/7FO55AKFZJYM6UAXE47YKBP2S7","download_json":"https://pith.science/pith/7FO55AKFZJYM6UAXE47YKBP2S7.json","view_paper":"https://pith.science/paper/7FO55AKF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.06701&json=true","fetch_graph":"https://pith.science/api/pith-number/7FO55AKFZJYM6UAXE47YKBP2S7/graph.json","fetch_events":"https://pith.science/api/pith-number/7FO55AKFZJYM6UAXE47YKBP2S7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7FO55AKFZJYM6UAXE47YKBP2S7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7FO55AKFZJYM6UAXE47YKBP2S7/action/storage_attestation","attest_author":"https://pith.science/pith/7FO55AKFZJYM6UAXE47YKBP2S7/action/author_attestation","sign_citation":"https://pith.science/pith/7FO55AKFZJYM6UAXE47YKBP2S7/action/citation_signature","submit_replication":"https://pith.science/pith/7FO55AKFZJYM6UAXE47YKBP2S7/action/replication_record"}},"created_at":"2026-05-18T00:15:43.581686+00:00","updated_at":"2026-05-18T00:15:43.581686+00:00"}