{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:Y5VVW5LQAK4A2IIVG5GUU4KDIJ","short_pith_number":"pith:Y5VVW5LQ","schema_version":"1.0","canonical_sha256":"c76b5b757002b80d2115374d4a71434243d9efda8a85f249bea26f832f98e767","source":{"kind":"arxiv","id":"1308.5858","version":1},"attestation_state":"computed","paper":{"title":"Thue's 1914 paper: a translation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"James F. Power","submitted_at":"2013-08-27T13:15:27Z","abstract_excerpt":"This paper includes notes to accompany a reading of Thue's 1914 paper \"Probleme uber Veranderungen von Zeichenreihen nach gegebenen Reglen\", along with a translation of that paper. Thue's 1914 paper is mainly famous for proving an early example of an undecidable problem, cited prominently by Post. However, Post's paper principally makes use of the definition of Thue systems, described on the first two pages of Thue's paper, and does not depend on the more specific results in the remainder of Thue's paper. A closer study of the remaining parts of that paper highlight a number of important theme"},"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":"1308.5858","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-08-27T13:15:27Z","cross_cats_sorted":[],"title_canon_sha256":"a41cca5086f6e7fe39b25725f6036326b5f63a6b270fa00fe3590999ea267f08","abstract_canon_sha256":"c168bba1a97bc11dee862f223363dc639457f0a4d473c994055ee5e72a94f659"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:14:50.943836Z","signature_b64":"/WXkFb0rC0JnfcE4a/s9d1myDkz3rpDvw8Q7ZkMO7WmDX9lNk/oDLVvFOjoeCxN453f8Ear47DW+gGW9/jzRBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c76b5b757002b80d2115374d4a71434243d9efda8a85f249bea26f832f98e767","last_reissued_at":"2026-05-18T03:14:50.943123Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:14:50.943123Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Thue's 1914 paper: a translation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"James F. Power","submitted_at":"2013-08-27T13:15:27Z","abstract_excerpt":"This paper includes notes to accompany a reading of Thue's 1914 paper \"Probleme uber Veranderungen von Zeichenreihen nach gegebenen Reglen\", along with a translation of that paper. Thue's 1914 paper is mainly famous for proving an early example of an undecidable problem, cited prominently by Post. However, Post's paper principally makes use of the definition of Thue systems, described on the first two pages of Thue's paper, and does not depend on the more specific results in the remainder of Thue's paper. A closer study of the remaining parts of that paper highlight a number of important theme"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.5858","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":"1308.5858","created_at":"2026-05-18T03:14:50.943231+00:00"},{"alias_kind":"arxiv_version","alias_value":"1308.5858v1","created_at":"2026-05-18T03:14:50.943231+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.5858","created_at":"2026-05-18T03:14:50.943231+00:00"},{"alias_kind":"pith_short_12","alias_value":"Y5VVW5LQAK4A","created_at":"2026-05-18T12:28:06.772260+00:00"},{"alias_kind":"pith_short_16","alias_value":"Y5VVW5LQAK4A2IIV","created_at":"2026-05-18T12:28:06.772260+00:00"},{"alias_kind":"pith_short_8","alias_value":"Y5VVW5LQ","created_at":"2026-05-18T12:28:06.772260+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/Y5VVW5LQAK4A2IIVG5GUU4KDIJ","json":"https://pith.science/pith/Y5VVW5LQAK4A2IIVG5GUU4KDIJ.json","graph_json":"https://pith.science/api/pith-number/Y5VVW5LQAK4A2IIVG5GUU4KDIJ/graph.json","events_json":"https://pith.science/api/pith-number/Y5VVW5LQAK4A2IIVG5GUU4KDIJ/events.json","paper":"https://pith.science/paper/Y5VVW5LQ"},"agent_actions":{"view_html":"https://pith.science/pith/Y5VVW5LQAK4A2IIVG5GUU4KDIJ","download_json":"https://pith.science/pith/Y5VVW5LQAK4A2IIVG5GUU4KDIJ.json","view_paper":"https://pith.science/paper/Y5VVW5LQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1308.5858&json=true","fetch_graph":"https://pith.science/api/pith-number/Y5VVW5LQAK4A2IIVG5GUU4KDIJ/graph.json","fetch_events":"https://pith.science/api/pith-number/Y5VVW5LQAK4A2IIVG5GUU4KDIJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Y5VVW5LQAK4A2IIVG5GUU4KDIJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Y5VVW5LQAK4A2IIVG5GUU4KDIJ/action/storage_attestation","attest_author":"https://pith.science/pith/Y5VVW5LQAK4A2IIVG5GUU4KDIJ/action/author_attestation","sign_citation":"https://pith.science/pith/Y5VVW5LQAK4A2IIVG5GUU4KDIJ/action/citation_signature","submit_replication":"https://pith.science/pith/Y5VVW5LQAK4A2IIVG5GUU4KDIJ/action/replication_record"}},"created_at":"2026-05-18T03:14:50.943231+00:00","updated_at":"2026-05-18T03:14:50.943231+00:00"}