{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:6MG7COWPXQYOUW64PSSCA6SAGB","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":"478768d14dfd5fa1a524448a5763604ad10bb951be6b24727324e86dc6a5ca76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-12-10T10:26:18Z","title_canon_sha256":"f48cb20b92f40c90a2b40a2b3b7b7fc83eb0ab8bcdca1849d5e2179f5d69779f"},"schema_version":"1.0","source":{"id":"1212.2024","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.2024","created_at":"2026-05-18T03:36:26Z"},{"alias_kind":"arxiv_version","alias_value":"1212.2024v2","created_at":"2026-05-18T03:36:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.2024","created_at":"2026-05-18T03:36:26Z"},{"alias_kind":"pith_short_12","alias_value":"6MG7COWPXQYO","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"6MG7COWPXQYOUW64","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"6MG7COWP","created_at":"2026-05-18T12:26:56Z"}],"graph_snapshots":[{"event_id":"sha256:238a711dc5b10446074f03ac58a4c5b5caef1d9278a59323a50c9bcaacfb23ad","target":"graph","created_at":"2026-05-18T03:36:26Z","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":"We construct examples of finitely generated decidable group presentations that satisfy certain combinations of solvability for the word problem, solvability for the bounded word problem, and computablity for the Dehn function. We prove that no finitely generated decidable presentations exist satisfying the combinations for which we do not provide examples. The presentations we construct are also minimal. These constructions answer an open question asked by R.I. Grigorchuk and S.V. Ivanov. Our approach uses machinery developed by Birget, Ol'shanskii, Rips, and Sapir for constructing finite grou","authors_text":"Desmond Cummins","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-12-10T10:26:18Z","title":"Dehn Functions, the Word Problem, and the Bounded Word Problem For Decidable Group Presentations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.2024","kind":"arxiv","version":2},"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:3caf72e82c69c34d2e8bacaa708e2c94c611f86676b277b52cdc8dea5780b0a6","target":"record","created_at":"2026-05-18T03:36:26Z","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":"478768d14dfd5fa1a524448a5763604ad10bb951be6b24727324e86dc6a5ca76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-12-10T10:26:18Z","title_canon_sha256":"f48cb20b92f40c90a2b40a2b3b7b7fc83eb0ab8bcdca1849d5e2179f5d69779f"},"schema_version":"1.0","source":{"id":"1212.2024","kind":"arxiv","version":2}},"canonical_sha256":"f30df13acfbc30ea5bdc7ca4207a40304e9c829ef56dbc8ea928923ac16eb0ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f30df13acfbc30ea5bdc7ca4207a40304e9c829ef56dbc8ea928923ac16eb0ed","first_computed_at":"2026-05-18T03:36:26.590634Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:36:26.590634Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Hf9QqiVjKEb2QwtRxsJy2gB2fWWirjGqT1T1bLUdJiHwjvSu3O2f4Fs9qUaP7+6+peiGZx6XF60VosrAcJc3Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:36:26.591027Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.2024","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3caf72e82c69c34d2e8bacaa708e2c94c611f86676b277b52cdc8dea5780b0a6","sha256:238a711dc5b10446074f03ac58a4c5b5caef1d9278a59323a50c9bcaacfb23ad"],"state_sha256":"88149f1ae9ded0ed7871a4d7989062b4fd1269d61f24070bbacbf69e5de2e8c9"}