{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:3M3C5N4X3CVM3ILZCMVQXT7ORN","short_pith_number":"pith:3M3C5N4X","schema_version":"1.0","canonical_sha256":"db362eb797d8aacda179132b0bcfee8b6caf16a64c422c7808f74f7f9259178c","source":{"kind":"arxiv","id":"1108.2759","version":1},"attestation_state":"computed","paper":{"title":"Cayley automatic groups are not Cayley biautomatic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Alexei Miasnikov, Zoran Sunic","submitted_at":"2011-08-13T05:21:05Z","abstract_excerpt":"We show that there are Cayley automatic groups that are not Cayley biautomatic. In addition, we show that there are Cayley automatic groups with undecidable Conjugacy Problem and that the Isomorphism Problem is undecidable in the clas of Cayley automatic groups."},"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":"1108.2759","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-08-13T05:21:05Z","cross_cats_sorted":[],"title_canon_sha256":"96883d563c3d32bb4520d55d53ecc85d45f111fa7af797afbcdf822e2bd8691e","abstract_canon_sha256":"dc1ce31f9294e7f135cb67c1d9a834bba18d36648154732f11d9ebf8f3455916"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:15:35.657096Z","signature_b64":"mVX4+5nEMP5IKRAtzI8dqwsXVZQPdAnsiviwirzS6y0HLuFxQD8dyNT0ndiQRKR1Jek9JVpYC7ns7MDIcp7ACA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db362eb797d8aacda179132b0bcfee8b6caf16a64c422c7808f74f7f9259178c","last_reissued_at":"2026-05-18T04:15:35.656710Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:15:35.656710Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Cayley automatic groups are not Cayley biautomatic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Alexei Miasnikov, Zoran Sunic","submitted_at":"2011-08-13T05:21:05Z","abstract_excerpt":"We show that there are Cayley automatic groups that are not Cayley biautomatic. In addition, we show that there are Cayley automatic groups with undecidable Conjugacy Problem and that the Isomorphism Problem is undecidable in the clas of Cayley automatic groups."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.2759","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":"1108.2759","created_at":"2026-05-18T04:15:35.656768+00:00"},{"alias_kind":"arxiv_version","alias_value":"1108.2759v1","created_at":"2026-05-18T04:15:35.656768+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.2759","created_at":"2026-05-18T04:15:35.656768+00:00"},{"alias_kind":"pith_short_12","alias_value":"3M3C5N4X3CVM","created_at":"2026-05-18T12:26:18.847500+00:00"},{"alias_kind":"pith_short_16","alias_value":"3M3C5N4X3CVM3ILZ","created_at":"2026-05-18T12:26:18.847500+00:00"},{"alias_kind":"pith_short_8","alias_value":"3M3C5N4X","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/3M3C5N4X3CVM3ILZCMVQXT7ORN","json":"https://pith.science/pith/3M3C5N4X3CVM3ILZCMVQXT7ORN.json","graph_json":"https://pith.science/api/pith-number/3M3C5N4X3CVM3ILZCMVQXT7ORN/graph.json","events_json":"https://pith.science/api/pith-number/3M3C5N4X3CVM3ILZCMVQXT7ORN/events.json","paper":"https://pith.science/paper/3M3C5N4X"},"agent_actions":{"view_html":"https://pith.science/pith/3M3C5N4X3CVM3ILZCMVQXT7ORN","download_json":"https://pith.science/pith/3M3C5N4X3CVM3ILZCMVQXT7ORN.json","view_paper":"https://pith.science/paper/3M3C5N4X","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1108.2759&json=true","fetch_graph":"https://pith.science/api/pith-number/3M3C5N4X3CVM3ILZCMVQXT7ORN/graph.json","fetch_events":"https://pith.science/api/pith-number/3M3C5N4X3CVM3ILZCMVQXT7ORN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3M3C5N4X3CVM3ILZCMVQXT7ORN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3M3C5N4X3CVM3ILZCMVQXT7ORN/action/storage_attestation","attest_author":"https://pith.science/pith/3M3C5N4X3CVM3ILZCMVQXT7ORN/action/author_attestation","sign_citation":"https://pith.science/pith/3M3C5N4X3CVM3ILZCMVQXT7ORN/action/citation_signature","submit_replication":"https://pith.science/pith/3M3C5N4X3CVM3ILZCMVQXT7ORN/action/replication_record"}},"created_at":"2026-05-18T04:15:35.656768+00:00","updated_at":"2026-05-18T04:15:35.656768+00:00"}