{"artifact":{"id":"art-hist-phase39-1462","dedupe_key":"2e8e78e0605e15f0aa0dcac7c592b464209fcfb2b01aeb332ecb4cc8b48eef99","canonical_url":"https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/","evidence_locator":"","artifact_type":"original_publication","title":"Xena Project mathematicians publish formalization roadmap","summary":"","creator_entities":[],"released_at":"2026-10-16T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T07:03:44.794Z","updated_at":"2026-10-19T07:03:44.794Z"},"sources":[{"id":"src-hist-phase39-1462","dedupe_key":"f1edcc1395ebbfb1c323f3d71d829e11564553f9b139edaa3916c4ca8bf97fe3","name":"","publisher":"Original publishing organization","url":"https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/","evidence_locator":"","source_type":"original_publication","primary_or_secondary":"","retrieved_at":"2026-10-18T14:15:08.000Z","published_at":"2026-10-16T00:00:00.000Z","author":null,"metadata":[],"created_at":"2026-10-19T07:03:44.794Z","updated_at":"2026-10-19T07:03:44.794Z"}]}