{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:6OO7ULWQ2CBGLKVBVYZLYF4UR5","short_pith_number":"pith:6OO7ULWQ","schema_version":"1.0","canonical_sha256":"f39dfa2ed0d08265aaa1ae32bc17948f4cc0c11382d3c06726600cdb0e50bf9c","source":{"kind":"arxiv","id":"1405.5133","version":2},"attestation_state":"computed","paper":{"title":"Finding All Solutions of Equations in Free Groups and Monoids with Involution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.GR"],"primary_cat":"cs.LO","authors_text":"Artur Je\\.z, Volker Diekert, Wojciech Plandowski","submitted_at":"2014-05-20T15:48:28Z","abstract_excerpt":"The aim of this paper is to present a PSPACE algorithm which yields a finite graph of exponential size and which describes the set of all solutions of equations in free groups as well as the set of all solutions of equations in free monoids with involution in the presence of rational constraints. This became possible due to the recently invented emph{recompression} technique of the second author.\n  He successfully applied the recompression technique for pure word equations without involution or rational constraints. In particular, his method could not be used as a black box for free groups (ev"},"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":"1405.5133","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-05-20T15:48:28Z","cross_cats_sorted":["cs.DM","math.GR"],"title_canon_sha256":"1dd232a048c2409e244d085f0762e14c4b1e77904c7982c7dab5826c50772da5","abstract_canon_sha256":"9e89f72b0459c69fbab5faae978d89ece71ea77bbd6dd842178d55e1f5988c62"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:24.750065Z","signature_b64":"l0jNRfCRe0TBCaQjHzSPnWeV+4fLeVCSKzDk3G1eOooztiIjw62LR5CesgXtQrkryviT70CtCxPwqUn+H7KUDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f39dfa2ed0d08265aaa1ae32bc17948f4cc0c11382d3c06726600cdb0e50bf9c","last_reissued_at":"2026-05-18T02:51:24.749465Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:24.749465Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Finding All Solutions of Equations in Free Groups and Monoids with Involution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.GR"],"primary_cat":"cs.LO","authors_text":"Artur Je\\.z, Volker Diekert, Wojciech Plandowski","submitted_at":"2014-05-20T15:48:28Z","abstract_excerpt":"The aim of this paper is to present a PSPACE algorithm which yields a finite graph of exponential size and which describes the set of all solutions of equations in free groups as well as the set of all solutions of equations in free monoids with involution in the presence of rational constraints. This became possible due to the recently invented emph{recompression} technique of the second author.\n  He successfully applied the recompression technique for pure word equations without involution or rational constraints. In particular, his method could not be used as a black box for free groups (ev"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.5133","kind":"arxiv","version":2},"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":"1405.5133","created_at":"2026-05-18T02:51:24.749547+00:00"},{"alias_kind":"arxiv_version","alias_value":"1405.5133v2","created_at":"2026-05-18T02:51:24.749547+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.5133","created_at":"2026-05-18T02:51:24.749547+00:00"},{"alias_kind":"pith_short_12","alias_value":"6OO7ULWQ2CBG","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_16","alias_value":"6OO7ULWQ2CBGLKVB","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_8","alias_value":"6OO7ULWQ","created_at":"2026-05-18T12:28:16.859392+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/6OO7ULWQ2CBGLKVBVYZLYF4UR5","json":"https://pith.science/pith/6OO7ULWQ2CBGLKVBVYZLYF4UR5.json","graph_json":"https://pith.science/api/pith-number/6OO7ULWQ2CBGLKVBVYZLYF4UR5/graph.json","events_json":"https://pith.science/api/pith-number/6OO7ULWQ2CBGLKVBVYZLYF4UR5/events.json","paper":"https://pith.science/paper/6OO7ULWQ"},"agent_actions":{"view_html":"https://pith.science/pith/6OO7ULWQ2CBGLKVBVYZLYF4UR5","download_json":"https://pith.science/pith/6OO7ULWQ2CBGLKVBVYZLYF4UR5.json","view_paper":"https://pith.science/paper/6OO7ULWQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1405.5133&json=true","fetch_graph":"https://pith.science/api/pith-number/6OO7ULWQ2CBGLKVBVYZLYF4UR5/graph.json","fetch_events":"https://pith.science/api/pith-number/6OO7ULWQ2CBGLKVBVYZLYF4UR5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6OO7ULWQ2CBGLKVBVYZLYF4UR5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6OO7ULWQ2CBGLKVBVYZLYF4UR5/action/storage_attestation","attest_author":"https://pith.science/pith/6OO7ULWQ2CBGLKVBVYZLYF4UR5/action/author_attestation","sign_citation":"https://pith.science/pith/6OO7ULWQ2CBGLKVBVYZLYF4UR5/action/citation_signature","submit_replication":"https://pith.science/pith/6OO7ULWQ2CBGLKVBVYZLYF4UR5/action/replication_record"}},"created_at":"2026-05-18T02:51:24.749547+00:00","updated_at":"2026-05-18T02:51:24.749547+00:00"}