{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:MZOZCL4IZH6PXA2OI7SBWCMI2X","short_pith_number":"pith:MZOZCL4I","schema_version":"1.0","canonical_sha256":"665d912f88c9fcfb834e47e41b0988d5c9605c5976518365ee6107f9657a3910","source":{"kind":"arxiv","id":"1205.6785","version":1},"attestation_state":"computed","paper":{"title":"Cellular automata on regular rooted trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.FL","authors_text":"Francesca Fiorenzi, Michel Coornaert, Tullio Ceccherini-Silberstein, Zoran Sunic","submitted_at":"2012-05-30T19:34:26Z","abstract_excerpt":"We study cellular automata on regular rooted trees. This includes the characterization of sofic tree shifts in terms of unrestricted Rabin automata and the decidability of the surjectivity problem for cellular automata between sofic tree shifts."},"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":"1205.6785","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-05-30T19:34:26Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"d90a272b53c739e7aebf210fdf864ec7abf81b30c4c6077ac28594a5d9430ae8","abstract_canon_sha256":"46062a9224c31a9ad276538383e6f51db4000dbc951e4b15d69dc97483bd14ab"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:44:33.513758Z","signature_b64":"fNU73479YFhp2YbizvHOwX6WgiaxJelhTzVkIOFKcNTOuusVi4R8widgX7v6JYznQvHDrVHAHubBX16JpZZYDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"665d912f88c9fcfb834e47e41b0988d5c9605c5976518365ee6107f9657a3910","last_reissued_at":"2026-05-18T03:44:33.513032Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:44:33.513032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Cellular automata on regular rooted trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.FL","authors_text":"Francesca Fiorenzi, Michel Coornaert, Tullio Ceccherini-Silberstein, Zoran Sunic","submitted_at":"2012-05-30T19:34:26Z","abstract_excerpt":"We study cellular automata on regular rooted trees. This includes the characterization of sofic tree shifts in terms of unrestricted Rabin automata and the decidability of the surjectivity problem for cellular automata between sofic tree shifts."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.6785","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":"1205.6785","created_at":"2026-05-18T03:44:33.513145+00:00"},{"alias_kind":"arxiv_version","alias_value":"1205.6785v1","created_at":"2026-05-18T03:44:33.513145+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.6785","created_at":"2026-05-18T03:44:33.513145+00:00"},{"alias_kind":"pith_short_12","alias_value":"MZOZCL4IZH6P","created_at":"2026-05-18T12:27:16.716162+00:00"},{"alias_kind":"pith_short_16","alias_value":"MZOZCL4IZH6PXA2O","created_at":"2026-05-18T12:27:16.716162+00:00"},{"alias_kind":"pith_short_8","alias_value":"MZOZCL4I","created_at":"2026-05-18T12:27:16.716162+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/MZOZCL4IZH6PXA2OI7SBWCMI2X","json":"https://pith.science/pith/MZOZCL4IZH6PXA2OI7SBWCMI2X.json","graph_json":"https://pith.science/api/pith-number/MZOZCL4IZH6PXA2OI7SBWCMI2X/graph.json","events_json":"https://pith.science/api/pith-number/MZOZCL4IZH6PXA2OI7SBWCMI2X/events.json","paper":"https://pith.science/paper/MZOZCL4I"},"agent_actions":{"view_html":"https://pith.science/pith/MZOZCL4IZH6PXA2OI7SBWCMI2X","download_json":"https://pith.science/pith/MZOZCL4IZH6PXA2OI7SBWCMI2X.json","view_paper":"https://pith.science/paper/MZOZCL4I","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1205.6785&json=true","fetch_graph":"https://pith.science/api/pith-number/MZOZCL4IZH6PXA2OI7SBWCMI2X/graph.json","fetch_events":"https://pith.science/api/pith-number/MZOZCL4IZH6PXA2OI7SBWCMI2X/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MZOZCL4IZH6PXA2OI7SBWCMI2X/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MZOZCL4IZH6PXA2OI7SBWCMI2X/action/storage_attestation","attest_author":"https://pith.science/pith/MZOZCL4IZH6PXA2OI7SBWCMI2X/action/author_attestation","sign_citation":"https://pith.science/pith/MZOZCL4IZH6PXA2OI7SBWCMI2X/action/citation_signature","submit_replication":"https://pith.science/pith/MZOZCL4IZH6PXA2OI7SBWCMI2X/action/replication_record"}},"created_at":"2026-05-18T03:44:33.513145+00:00","updated_at":"2026-05-18T03:44:33.513145+00:00"}