{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:YXLMMBIL5UM725RO5C3BWUYTLS","short_pith_number":"pith:YXLMMBIL","schema_version":"1.0","canonical_sha256":"c5d6c6050bed19fd762ee8b61b53135cbca9cf88c4bcfc1fda71341c6a1dd7f6","source":{"kind":"arxiv","id":"1606.08036","version":2},"attestation_state":"computed","paper":{"title":"The bounded and precise word problems for presentations of groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CG"],"primary_cat":"math.GR","authors_text":"Sergei V. Ivanov","submitted_at":"2016-06-26T13:44:46Z","abstract_excerpt":"We introduce and study the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for every finitely presented group, the bounded word problem is in NP, i.e., it can be solved in nondeterministic polynomial time, and the precise word problem is in PSPACE. The main technical result of the paper states that, for certain finite presentations of groups, which include the Baumslag-Solitar one-relator groups and free products of cyclic groups, the bounded word problem and the precise word problem can be solved in polylogarithmic"},"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":"1606.08036","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2016-06-26T13:44:46Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"16ffc7bcb2bc87fd664f6b0c94f83b6389f846d42180ed93f577c374a99f52a8","abstract_canon_sha256":"30e9bcf9b9cbe0fcf120924ae1df11b7ad149512d001602184576379be8cfd0e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:27:02.994671Z","signature_b64":"UX5Eeb8Jp5GBH124JIZb9gzBuuVZOR2/OuzVWKtDRqndxM2+n7OIst4iDgp1incvH+ZYEGkMn6It0uZNfoBQCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c5d6c6050bed19fd762ee8b61b53135cbca9cf88c4bcfc1fda71341c6a1dd7f6","last_reissued_at":"2026-05-18T00:27:02.994025Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:27:02.994025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The bounded and precise word problems for presentations of groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CG"],"primary_cat":"math.GR","authors_text":"Sergei V. Ivanov","submitted_at":"2016-06-26T13:44:46Z","abstract_excerpt":"We introduce and study the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for every finitely presented group, the bounded word problem is in NP, i.e., it can be solved in nondeterministic polynomial time, and the precise word problem is in PSPACE. The main technical result of the paper states that, for certain finite presentations of groups, which include the Baumslag-Solitar one-relator groups and free products of cyclic groups, the bounded word problem and the precise word problem can be solved in polylogarithmic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.08036","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":"1606.08036","created_at":"2026-05-18T00:27:02.994112+00:00"},{"alias_kind":"arxiv_version","alias_value":"1606.08036v2","created_at":"2026-05-18T00:27:02.994112+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.08036","created_at":"2026-05-18T00:27:02.994112+00:00"},{"alias_kind":"pith_short_12","alias_value":"YXLMMBIL5UM7","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_16","alias_value":"YXLMMBIL5UM725RO","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_8","alias_value":"YXLMMBIL","created_at":"2026-05-18T12:30:53.716459+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/YXLMMBIL5UM725RO5C3BWUYTLS","json":"https://pith.science/pith/YXLMMBIL5UM725RO5C3BWUYTLS.json","graph_json":"https://pith.science/api/pith-number/YXLMMBIL5UM725RO5C3BWUYTLS/graph.json","events_json":"https://pith.science/api/pith-number/YXLMMBIL5UM725RO5C3BWUYTLS/events.json","paper":"https://pith.science/paper/YXLMMBIL"},"agent_actions":{"view_html":"https://pith.science/pith/YXLMMBIL5UM725RO5C3BWUYTLS","download_json":"https://pith.science/pith/YXLMMBIL5UM725RO5C3BWUYTLS.json","view_paper":"https://pith.science/paper/YXLMMBIL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1606.08036&json=true","fetch_graph":"https://pith.science/api/pith-number/YXLMMBIL5UM725RO5C3BWUYTLS/graph.json","fetch_events":"https://pith.science/api/pith-number/YXLMMBIL5UM725RO5C3BWUYTLS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YXLMMBIL5UM725RO5C3BWUYTLS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YXLMMBIL5UM725RO5C3BWUYTLS/action/storage_attestation","attest_author":"https://pith.science/pith/YXLMMBIL5UM725RO5C3BWUYTLS/action/author_attestation","sign_citation":"https://pith.science/pith/YXLMMBIL5UM725RO5C3BWUYTLS/action/citation_signature","submit_replication":"https://pith.science/pith/YXLMMBIL5UM725RO5C3BWUYTLS/action/replication_record"}},"created_at":"2026-05-18T00:27:02.994112+00:00","updated_at":"2026-05-18T00:27:02.994112+00:00"}