{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:XKH7RQVAH3PF7PYLYQIZ54FVRU","short_pith_number":"pith:XKH7RQVA","canonical_record":{"source":{"id":"1407.7428","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-07-28T14:19:06Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"1ab60a73f115f21f939e5f870e7059ad950a0f6c64a7648923dbbed20bc05900","abstract_canon_sha256":"1871b8b41153499898857cd2900db05e169940686dc86bc948b681514854ded1"},"schema_version":"1.0"},"canonical_sha256":"ba8ff8c2a03ede5fbf0bc4119ef0b58d1b5f486ff28b2d67944b0209700f67c1","source":{"kind":"arxiv","id":"1407.7428","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.7428","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"arxiv_version","alias_value":"1407.7428v2","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.7428","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"pith_short_12","alias_value":"XKH7RQVAH3PF","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"XKH7RQVAH3PF7PYL","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"XKH7RQVA","created_at":"2026-05-18T12:28:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:XKH7RQVAH3PF7PYLYQIZ54FVRU","target":"record","payload":{"canonical_record":{"source":{"id":"1407.7428","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-07-28T14:19:06Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"1ab60a73f115f21f939e5f870e7059ad950a0f6c64a7648923dbbed20bc05900","abstract_canon_sha256":"1871b8b41153499898857cd2900db05e169940686dc86bc948b681514854ded1"},"schema_version":"1.0"},"canonical_sha256":"ba8ff8c2a03ede5fbf0bc4119ef0b58d1b5f486ff28b2d67944b0209700f67c1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:37.450562Z","signature_b64":"2imdKOOACHEq0fHPMyXLMzCwyUBLNLm04nQxGUEBt8KSfEEQbpEgq7QqTXk6zVqfGdDJAoX9uja4p6zaDKnvCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba8ff8c2a03ede5fbf0bc4119ef0b58d1b5f486ff28b2d67944b0209700f67c1","last_reissued_at":"2026-05-18T00:44:37.449983Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:37.449983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.7428","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:44:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X4xXOLjLpYRaHOwP0aDkOF6ziv021RPUSPcKYIAMbfd3dk67WoUpgqdypbFlqs2DSDmk9t9vJ90hbpnX1RR4Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T02:36:51.693944Z"},"content_sha256":"e306f3030a8675d0a3157332a894f7beffff1333650d0eb08df974ff72a8f023","schema_version":"1.0","event_id":"sha256:e306f3030a8675d0a3157332a894f7beffff1333650d0eb08df974ff72a8f023"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:XKH7RQVAH3PF7PYLYQIZ54FVRU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.GR","authors_text":"Alan J. Cain, Ant\\'onio Malheiro, Robert Gray","submitted_at":"2014-07-28T14:19:06Z","abstract_excerpt":"This paper investigates the class of finitely presented monoids defined by homogeneous (length-preserving) relations from a computational perspective. The properties of admitting a finite complete rewriting system, having finite derivation type, being automatic, and being biautomatic are investigated for this class of monoids. The first main result shows that for any consistent combination of these properties and their negations, there is a homogeneous monoid with exactly this combination of properties. We then introduce the new concept of abstract Rees-commensurability (an analogue of the not"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.7428","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:44:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cXKpPcKzC1XioYnmVJnr21M37F/W7sPY7FxeUAuUGVj1RN+yFt+YJcVqt2BxIVkbFxbs1K6kPaoQVDdBu4+PAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T02:36:51.694291Z"},"content_sha256":"b96f17d25c703bd41be38b108e8279ea463615808ff7c0190b108d38df719f67","schema_version":"1.0","event_id":"sha256:b96f17d25c703bd41be38b108e8279ea463615808ff7c0190b108d38df719f67"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XKH7RQVAH3PF7PYLYQIZ54FVRU/bundle.json","state_url":"https://pith.science/pith/XKH7RQVAH3PF7PYLYQIZ54FVRU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XKH7RQVAH3PF7PYLYQIZ54FVRU/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-22T02:36:51Z","links":{"resolver":"https://pith.science/pith/XKH7RQVAH3PF7PYLYQIZ54FVRU","bundle":"https://pith.science/pith/XKH7RQVAH3PF7PYLYQIZ54FVRU/bundle.json","state":"https://pith.science/pith/XKH7RQVAH3PF7PYLYQIZ54FVRU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XKH7RQVAH3PF7PYLYQIZ54FVRU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:XKH7RQVAH3PF7PYLYQIZ54FVRU","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":"1871b8b41153499898857cd2900db05e169940686dc86bc948b681514854ded1","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-07-28T14:19:06Z","title_canon_sha256":"1ab60a73f115f21f939e5f870e7059ad950a0f6c64a7648923dbbed20bc05900"},"schema_version":"1.0","source":{"id":"1407.7428","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.7428","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"arxiv_version","alias_value":"1407.7428v2","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.7428","created_at":"2026-05-18T00:44:37Z"},{"alias_kind":"pith_short_12","alias_value":"XKH7RQVAH3PF","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"XKH7RQVAH3PF7PYL","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"XKH7RQVA","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:b96f17d25c703bd41be38b108e8279ea463615808ff7c0190b108d38df719f67","target":"graph","created_at":"2026-05-18T00:44:37Z","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":"This paper investigates the class of finitely presented monoids defined by homogeneous (length-preserving) relations from a computational perspective. The properties of admitting a finite complete rewriting system, having finite derivation type, being automatic, and being biautomatic are investigated for this class of monoids. The first main result shows that for any consistent combination of these properties and their negations, there is a homogeneous monoid with exactly this combination of properties. We then introduce the new concept of abstract Rees-commensurability (an analogue of the not","authors_text":"Alan J. Cain, Ant\\'onio Malheiro, Robert Gray","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-07-28T14:19:06Z","title":"On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.7428","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:e306f3030a8675d0a3157332a894f7beffff1333650d0eb08df974ff72a8f023","target":"record","created_at":"2026-05-18T00:44:37Z","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":"1871b8b41153499898857cd2900db05e169940686dc86bc948b681514854ded1","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-07-28T14:19:06Z","title_canon_sha256":"1ab60a73f115f21f939e5f870e7059ad950a0f6c64a7648923dbbed20bc05900"},"schema_version":"1.0","source":{"id":"1407.7428","kind":"arxiv","version":2}},"canonical_sha256":"ba8ff8c2a03ede5fbf0bc4119ef0b58d1b5f486ff28b2d67944b0209700f67c1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba8ff8c2a03ede5fbf0bc4119ef0b58d1b5f486ff28b2d67944b0209700f67c1","first_computed_at":"2026-05-18T00:44:37.449983Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:37.449983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2imdKOOACHEq0fHPMyXLMzCwyUBLNLm04nQxGUEBt8KSfEEQbpEgq7QqTXk6zVqfGdDJAoX9uja4p6zaDKnvCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:37.450562Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.7428","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e306f3030a8675d0a3157332a894f7beffff1333650d0eb08df974ff72a8f023","sha256:b96f17d25c703bd41be38b108e8279ea463615808ff7c0190b108d38df719f67"],"state_sha256":"aaa85ca85c677766fd11a96ea781e18ddcec10d2ba4b8504ddc941a03de8fe2d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SQyh4NyZlkQ0oMxr74pgpKe8KMcmgVXAstAmeLRimjxnfqP0CHl/QfJ7BwqyA7LhBAGl1n2snMnFvIBZgz0bDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T02:36:51.696390Z","bundle_sha256":"738a97fb0411240c8754088ecda1cc5a87009d743c5519bad21320bcc2a64848"}}