{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:ZLMVEX2VZDMKLND7IZWT6MPXP4","short_pith_number":"pith:ZLMVEX2V","schema_version":"1.0","canonical_sha256":"cad9525f55c8d8a5b47f466d3f31f77f0b73aa433b0a079fefb1f10c2b9adb55","source":{"kind":"arxiv","id":"1003.6007","version":1},"attestation_state":"computed","paper":{"title":"Artin groups of large type are shortlex automatic with regular geodesics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Derek F Holt, Sarah Rees","submitted_at":"2010-03-31T10:00:29Z","abstract_excerpt":"We prove that any Artin group of large type is shortlex automatic with respect to its standard generating set, and that the set of all geodesic words over the same generating set satisfies the Falsification by Fellow-Traveller Property (FFTP) and hence is regular."},"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":"1003.6007","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2010-03-31T10:00:29Z","cross_cats_sorted":[],"title_canon_sha256":"585db8f626889704e82df602b76abd851370e4d3e81e39c792df731b9b178540","abstract_canon_sha256":"c84b0859aaf3349c33e514619ba3ff85c62e04e2709d92ce79e18a0fab932220"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:58:02.310375Z","signature_b64":"A44yLmepztYe1oD+VP9phox++gUWvy3dpQw2SpST3sJOnqRkkYU64+sWf+Ovpn/XbqNLdIm0iygcGrPl4aa/BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cad9525f55c8d8a5b47f466d3f31f77f0b73aa433b0a079fefb1f10c2b9adb55","last_reissued_at":"2026-05-18T02:58:02.309884Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:58:02.309884Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Artin groups of large type are shortlex automatic with regular geodesics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Derek F Holt, Sarah Rees","submitted_at":"2010-03-31T10:00:29Z","abstract_excerpt":"We prove that any Artin group of large type is shortlex automatic with respect to its standard generating set, and that the set of all geodesic words over the same generating set satisfies the Falsification by Fellow-Traveller Property (FFTP) and hence is regular."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1003.6007","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":"1003.6007","created_at":"2026-05-18T02:58:02.309954+00:00"},{"alias_kind":"arxiv_version","alias_value":"1003.6007v1","created_at":"2026-05-18T02:58:02.309954+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1003.6007","created_at":"2026-05-18T02:58:02.309954+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZLMVEX2VZDMK","created_at":"2026-05-18T12:26:18.847500+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZLMVEX2VZDMKLND7","created_at":"2026-05-18T12:26:18.847500+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZLMVEX2V","created_at":"2026-05-18T12:26:18.847500+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/ZLMVEX2VZDMKLND7IZWT6MPXP4","json":"https://pith.science/pith/ZLMVEX2VZDMKLND7IZWT6MPXP4.json","graph_json":"https://pith.science/api/pith-number/ZLMVEX2VZDMKLND7IZWT6MPXP4/graph.json","events_json":"https://pith.science/api/pith-number/ZLMVEX2VZDMKLND7IZWT6MPXP4/events.json","paper":"https://pith.science/paper/ZLMVEX2V"},"agent_actions":{"view_html":"https://pith.science/pith/ZLMVEX2VZDMKLND7IZWT6MPXP4","download_json":"https://pith.science/pith/ZLMVEX2VZDMKLND7IZWT6MPXP4.json","view_paper":"https://pith.science/paper/ZLMVEX2V","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1003.6007&json=true","fetch_graph":"https://pith.science/api/pith-number/ZLMVEX2VZDMKLND7IZWT6MPXP4/graph.json","fetch_events":"https://pith.science/api/pith-number/ZLMVEX2VZDMKLND7IZWT6MPXP4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZLMVEX2VZDMKLND7IZWT6MPXP4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZLMVEX2VZDMKLND7IZWT6MPXP4/action/storage_attestation","attest_author":"https://pith.science/pith/ZLMVEX2VZDMKLND7IZWT6MPXP4/action/author_attestation","sign_citation":"https://pith.science/pith/ZLMVEX2VZDMKLND7IZWT6MPXP4/action/citation_signature","submit_replication":"https://pith.science/pith/ZLMVEX2VZDMKLND7IZWT6MPXP4/action/replication_record"}},"created_at":"2026-05-18T02:58:02.309954+00:00","updated_at":"2026-05-18T02:58:02.309954+00:00"}