{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:KGXANOKUADZVZAGMMMGDAYFBX7","short_pith_number":"pith:KGXANOKU","schema_version":"1.0","canonical_sha256":"51ae06b95400f35c80cc630c3060a1bff642d7b3737bc92f991b9d59d0fdee17","source":{"kind":"arxiv","id":"1202.3276","version":5},"attestation_state":"computed","paper":{"title":"Context-Free Groups and Their Structure Trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Armin Wei\\ss, Volker Diekert","submitted_at":"2012-02-15T11:09:09Z","abstract_excerpt":"Let Gamma be a connected, locally finite graph of finite tree width and G be a group acting on it with finitely many orbits and finite node stabilizers. We provide an elementary and direct construction of a tree T on which G acts with finitely many orbits and finite vertex stabilizers. Moreover, the tree is defined directly in terms of the structure tree of optimally nested cuts of Gamma.\n  Once the tree is constructed, standard Bass-Serre theory yields that G is virtually free. This approach simplifies the existing proofs for the fundamental result of Muller and Schupp that characterizes cont"},"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":"1202.3276","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-02-15T11:09:09Z","cross_cats_sorted":[],"title_canon_sha256":"f538c7129016cb33fd2128ed0f47466823cdc6a64bd5fdf910cc6a89ee434516","abstract_canon_sha256":"30be0ea51a2508700784c4aa9aa9b07c6e6b11dbb34e5736b2cea05619aa7e68"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:06:43.117556Z","signature_b64":"KtO074wdNYV93vuzHX886ND3kVMW69zm5hN0QWHqBoZs4n6pMS+HVoV0OwnGWA2l02lkbdua/62bkZXkg5zRBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51ae06b95400f35c80cc630c3060a1bff642d7b3737bc92f991b9d59d0fdee17","last_reissued_at":"2026-05-18T03:06:43.117113Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:06:43.117113Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Context-Free Groups and Their Structure Trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Armin Wei\\ss, Volker Diekert","submitted_at":"2012-02-15T11:09:09Z","abstract_excerpt":"Let Gamma be a connected, locally finite graph of finite tree width and G be a group acting on it with finitely many orbits and finite node stabilizers. We provide an elementary and direct construction of a tree T on which G acts with finitely many orbits and finite vertex stabilizers. Moreover, the tree is defined directly in terms of the structure tree of optimally nested cuts of Gamma.\n  Once the tree is constructed, standard Bass-Serre theory yields that G is virtually free. This approach simplifies the existing proofs for the fundamental result of Muller and Schupp that characterizes cont"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3276","kind":"arxiv","version":5},"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":"1202.3276","created_at":"2026-05-18T03:06:43.117179+00:00"},{"alias_kind":"arxiv_version","alias_value":"1202.3276v5","created_at":"2026-05-18T03:06:43.117179+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3276","created_at":"2026-05-18T03:06:43.117179+00:00"},{"alias_kind":"pith_short_12","alias_value":"KGXANOKUADZV","created_at":"2026-05-18T12:27:11.947152+00:00"},{"alias_kind":"pith_short_16","alias_value":"KGXANOKUADZVZAGM","created_at":"2026-05-18T12:27:11.947152+00:00"},{"alias_kind":"pith_short_8","alias_value":"KGXANOKU","created_at":"2026-05-18T12:27:11.947152+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/KGXANOKUADZVZAGMMMGDAYFBX7","json":"https://pith.science/pith/KGXANOKUADZVZAGMMMGDAYFBX7.json","graph_json":"https://pith.science/api/pith-number/KGXANOKUADZVZAGMMMGDAYFBX7/graph.json","events_json":"https://pith.science/api/pith-number/KGXANOKUADZVZAGMMMGDAYFBX7/events.json","paper":"https://pith.science/paper/KGXANOKU"},"agent_actions":{"view_html":"https://pith.science/pith/KGXANOKUADZVZAGMMMGDAYFBX7","download_json":"https://pith.science/pith/KGXANOKUADZVZAGMMMGDAYFBX7.json","view_paper":"https://pith.science/paper/KGXANOKU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1202.3276&json=true","fetch_graph":"https://pith.science/api/pith-number/KGXANOKUADZVZAGMMMGDAYFBX7/graph.json","fetch_events":"https://pith.science/api/pith-number/KGXANOKUADZVZAGMMMGDAYFBX7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KGXANOKUADZVZAGMMMGDAYFBX7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KGXANOKUADZVZAGMMMGDAYFBX7/action/storage_attestation","attest_author":"https://pith.science/pith/KGXANOKUADZVZAGMMMGDAYFBX7/action/author_attestation","sign_citation":"https://pith.science/pith/KGXANOKUADZVZAGMMMGDAYFBX7/action/citation_signature","submit_replication":"https://pith.science/pith/KGXANOKUADZVZAGMMMGDAYFBX7/action/replication_record"}},"created_at":"2026-05-18T03:06:43.117179+00:00","updated_at":"2026-05-18T03:06:43.117179+00:00"}