{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:U7GXFNIA3J6JE4NYI5TLML44ZH","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":"ea836186bfb93f361d40a8e5e6ed99e6d39759d54876716c2d7af7e7bd0c6661","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-01-26T18:26:57Z","title_canon_sha256":"eb82a8f77d693529dbafd8e49bb44ad19223a7cd91c5f25f47775e188e512738"},"schema_version":"1.0","source":{"id":"1201.5597","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.5597","created_at":"2026-05-18T03:55:35Z"},{"alias_kind":"arxiv_version","alias_value":"1201.5597v4","created_at":"2026-05-18T03:55:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.5597","created_at":"2026-05-18T03:55:35Z"},{"alias_kind":"pith_short_12","alias_value":"U7GXFNIA3J6J","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"U7GXFNIA3J6JE4NY","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"U7GXFNIA","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:0ab5f7c4a0aa6a403348154d063742b35287329da9c2d6b3443ddc056c9ceeeb","target":"graph","created_at":"2026-05-18T03:55:35Z","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":"Infinite chess is chess played on an infinite edgeless chessboard. The familiar chess pieces move about according to their usual chess rules, and each player strives to place the opposing king into checkmate. The mate-in-n problem of infinite chess is the problem of determining whether a designated player can force a win from a given finite position in at most n moves. A naive formulation of this problem leads to assertions of high arithmetic complexity with 2n alternating quantifiers---there is a move for white, such that for every black reply, there is a counter-move for white, and so on. In","authors_text":"Dan Brumleve, Joel David Hamkins, Philipp Schlicht","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-01-26T18:26:57Z","title":"The mate-in-n problem of infinite chess is decidable"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.5597","kind":"arxiv","version":4},"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:814939c17a2775a774eded02e3a9431a5ba7cee8852ee00a9cb802d19383a31c","target":"record","created_at":"2026-05-18T03:55:35Z","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":"ea836186bfb93f361d40a8e5e6ed99e6d39759d54876716c2d7af7e7bd0c6661","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-01-26T18:26:57Z","title_canon_sha256":"eb82a8f77d693529dbafd8e49bb44ad19223a7cd91c5f25f47775e188e512738"},"schema_version":"1.0","source":{"id":"1201.5597","kind":"arxiv","version":4}},"canonical_sha256":"a7cd72b500da7c9271b84766b62f9cc9c227a0d034499fed618a6cdf9c726453","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a7cd72b500da7c9271b84766b62f9cc9c227a0d034499fed618a6cdf9c726453","first_computed_at":"2026-05-18T03:55:35.345138Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:55:35.345138Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VCo7+VQQuNaFwwEHsB0dITtOEcSwwWv40H0fjDQQmcxKmH9FTzxeVPgozcraq17xQJXPCqmF3mhjUw3sCZDuAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:55:35.345799Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.5597","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:814939c17a2775a774eded02e3a9431a5ba7cee8852ee00a9cb802d19383a31c","sha256:0ab5f7c4a0aa6a403348154d063742b35287329da9c2d6b3443ddc056c9ceeeb"],"state_sha256":"3c353cfbc9bb0421c0d9c536de016af11d361844b44f6deadbd06c924f156450"}