{"as_of":"2026-08-10T15:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a05508b00ae78c01e27f1d4ee7e92d3ddf59999c3ad386faa34ef261bd016503","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T20:58:29.753539Z","state":"measured"},{"denominator":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.08267/citation-record","integrity":"/paper/2509.08267/integrity","json":"/paper/2509.08267/citation-record.json","paper":"/paper/2509.08267"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"1910.09336","last_updated":"2019-12-16T20:37:52Z","snapshot_observed_at":"2026-08-09T13:59:18.708382Z","submitted_at":"2019-10-21T13:08:24Z","title":"The Lean mathematical library","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.09336","snapshot_observed_at":"2026-08-04T20:58:27.639555Z","title":"CoRRabs/1910.09336(2019),http://arxiv","venue":null,"work_id":null,"year":1910},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:27.639555Z"},"links":{"cited_paper":"/paper/1910.09336","citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:1538c748990b5c2f8a5b36415ff32967ca28ae224d1d1ca5d3224daf6b943b45","observation_id":"48be1bf3-2c5d-43c9-8c29-a7b1e9410342","resolution":{"observed_at":"2026-08-04T20:58:27.639555Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-018-9474-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Automated Reasoning","work_id":"d5a48709-faac-4a1d-b398-ea5af4e28649","year":2019},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:27.692770Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:cdd900b1dd0b6c9f29defba6fd9f578226803d79124617feb4c126a0b2401b35","observation_id":"949a4f4c-2236-41e5-a483-4d1638d28e5e","resolution":{"observed_at":"2026-08-04T20:58:32.506503Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11617990_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Filliâtre, J., Paulin-Mohring, C., Werner, B","venue":"Lecture notes in computer science","work_id":"c451f1f0-f1b6-4625-bde5-4f688c4f13f5","year":2004},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:27.749045Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:9b12574acaf8c441d7032981f6b35171bba3c3f5b5afc6d3018e90339fd14464","observation_id":"bbda0960-2da1-4d2b-afe7-1d6f64e398b8","resolution":{"observed_at":"2026-08-04T20:58:32.318137Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:27.866073Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:27.866073Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:fe45bc51a1e3418933ae57aa593e2d4907dc5b505df7c4ae9b0825443a9209db","observation_id":"f7ffdfea-0893-4c85-801c-7701911d5b60","resolution":{"observed_at":"2026-08-04T20:58:27.866073Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-23250-4_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Kaliszyk, C., Brady, E.C., Kohlhase, A., Coen, C.S","venue":"Lecture notes in computer science","work_id":"b1a9c43a-67ec-4bc3-9763-11330da465da","year":2019},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:27.939735Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:459cdaf60066faf6f37b2a2a0f0319ac7b2d6948014a354394fde83495b0a5f1","observation_id":"0bfc0638-7ac4-4081-8673-24778f836cd7","resolution":{"observed_at":"2026-08-04T20:58:32.082241Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3600.29936","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:32.619072Z","title":"In: Murray, T.C., Stefan, D","venue":null,"work_id":"d4af588f-f38b-47df-a3e8-f6bb35533f88","year":2016},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:28.034398Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:5b75f7f8f2bcd83dabd96a0520c2ec412dd1b897817909855170c91145507d21","observation_id":"89feefb7-5d34-4b68-86c1-d71e42ee7754","resolution":{"observed_at":"2026-08-04T20:58:32.697686Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-20615-8_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V","venue":"Lecture notes in computer science","work_id":"96ab70db-e89f-4f4c-a16a-7053a87b4bd8","year":2015},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:28.182815Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:701f598ce7b331e7c426490035d788e3e0c29bfa42a2e6c91ef08511176ab29d","observation_id":"50ab86b9-d5ea-4021-a6ab-dd1382f9d5e9","resolution":{"observed_at":"2026-08-04T20:58:31.863986Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/oasics.fmbc.2022.4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Dargaye, Z., Schneidewind, C","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"b1dd860f-e05d-48c7-a3af-b4c8fb3f9921","year":2022},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:28.303872Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:0eaff3463de37c5a66c54f492f679b5b78772faf275dece4c4cca9157595377a","observation_id":"1fb4b8f9-b820-4bf6-8e29-d61a9cd1c1d2","resolution":{"observed_at":"2026-08-04T20:58:31.654857Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-23250-4_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Kaliszyk, C., Brady, E.C., Kohlhase, A., Coen, C.S","venue":"Lecture notes in computer science","work_id":"aa11ef61-15b3-482b-afbe-db013f58e70a","year":2019},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:28.363675Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:71fe3aeb0f8792285d844e539fd4f55c98be223cb9d0cc52f8bba54d1fd67298","observation_id":"d7f2e89a-63e6-42ec-9cad-bc908d50a0e5","resolution":{"observed_at":"2026-08-04T20:58:31.398497Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:28.470705Z","title":"In: Blanchette, J., Hritcu, C","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:28.470705Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:a1492fee713a2e62c8a458d309a94ee387d76d90e3895a4dacb0431554a07d86","observation_id":"341fe022-953e-424b-9f4b-f50ff9eb9620","resolution":{"observed_at":"2026-08-04T20:58:28.470705Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:33.602661Z","title":"Formalized Mathematics 1(2), 409–420 (1990),http://fm.mizar.org/1990-1/pdf1-2/cat_1.pdf","venue":null,"work_id":"3914df01-1980-4786-afa9-2ba500a77e90","year":1990},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:28.531795Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:fd040189f6e8bc69fba7097e64a2e8852496e91c1ceee7482a8a90de11921ff6","observation_id":"ae0b90a9-b671-4f70-8d00-5c6ab56ea18a","resolution":{"observed_at":"2026-08-04T20:58:33.640904Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-73086-6_19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W","venue":"Lecture notes in computer science","work_id":"32d000ba-6154-4f9a-b5f6-88f8990fa7b5","year":2007},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:28.616367Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:475de65ca7de50c1444a2f24a1895f348e78ec8291b0f5146d69b5ec098b294c","observation_id":"5a676204-8967-4b9d-9113-96af2071a79a","resolution":{"observed_at":"2026-08-04T20:58:31.163835Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.itp.2024.12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Bertot, Y., Kutsia, T., Norrish, M.(eds.)15thInternationalConferenceonInteractiveTheoremProving,ITP2024, September 9-14, 2024, Tbilisi, Georgia","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","work_id":"54d3d571-d572-41b3-9507-0d5203c24e2d","year":2024},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:28.756250Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:fe707181d6e0e588dc52499d60e9a37a126a9dbde5df16ccc30aa885615937ff","observation_id":"0d2f1a7e-47d2-4764-ad91-98decb1d08cd","resolution":{"observed_at":"2026-08-04T20:58:30.933069Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:33.474607Z","title":"In: Kiselyov, O","venue":null,"work_id":"dd7de94a-5b90-4b26-a2a0-6d02d238d9a0","year":2024},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:28.838201Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:69c9865eba7c73aececbb0b9ed920b9598740f40479072bd90786ffe322f6b50","observation_id":"8ce64880-8690-4514-9fde-e409eec06d26","resolution":{"observed_at":"2026-08-04T20:58:33.501868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-16681-5_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Buzzard, K., Kut- sia, T","venue":"Lecture notes in computer science","work_id":"dce47699-c3bd-4969-9aff-762d94a72ed9","year":2022},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:29.062334Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:53c4a4e81ce2d71d42b53df6a152bc75e3ed271c4507e979877476d38b5a832d","observation_id":"8be178bc-3ebf-472b-b559-aac1e8c804b5","resolution":{"observed_at":"2026-08-04T20:58:30.383669Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:29.134280Z","title":"In: Blazy, S., Paulin-Mohring, C., Pichardie, D","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:29.134280Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:9f4be86bfe7e71151c61804abc7a51656876b4617adce4a33f495edce622238b","observation_id":"f7e9033f-8afc-4618-8eda-1e26f5753df1","resolution":{"observed_at":"2026-08-04T20:58:29.134280Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:29.244616Z","title":"Forum of Mathematics, Pi5(2017).https://doi.org/10.1017/fmp.2017.1","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:29.244616Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:670dabac067ec85e4196ade19799913caf5a4bdd77055235dc262aa1d0728f10","observation_id":"9c9e1a5c-0a0e-44b6-9060-69d153b42408","resolution":{"observed_at":"2026-08-04T20:58:29.244616Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:33.253299Z","title":"Acta Didactica Napocensia3(2), 35–48 (June 2010) 20 C","venue":null,"work_id":"8f28b81d-c94d-494a-af45-5a4381f28cfe","year":2010},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:29.316064Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:63d25ad6b2d5f8c524354e6ee3d429d0f1195fedb242fdd8f71963d9d734d351","observation_id":"7ec3eb95-7475-4c9d-9cab-ae82c314ab44","resolution":{"observed_at":"2026-08-04T20:58:33.332734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:33.013082Z","title":"Cambridge University Press, Cambridge, UK (1986)","venue":null,"work_id":"131fb338-3836-4181-9a85-07ed5d063cd0","year":1986},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:29.393853Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:dfe2c3024705ccb402bd497aaaf959fb85dd47a83f5ba4b83e89cf449ffd7864","observation_id":"f82c4511-5c63-4ea3-bcfb-2a2464f0aec3","resolution":{"observed_at":"2026-08-04T20:58:33.091331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:29.516811Z","title":"In: Naumowicz, A., Thiemann, R","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:29.516811Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:acd0bb82df312e6ca2c6740c53d989a8cb7c305bfeb5022c3882af33e4d2c32d","observation_id":"e636f804-bb4f-424a-a4c7-05129d3b105b","resolution":{"observed_at":"2026-08-04T20:58:29.516811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:32.855837Z","title":null,"venue":null,"work_id":"7dd6aed1-c0e2-4eb9-aaed-5e588f3c016c","year":2016},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:29.567877Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:2bf7a43bf3fcfc0914952d159e3c39bfc0104a9c803633c59396cef6d4ae83f3","observation_id":"9ac63248-a5d3-42b1-8cf5-013a73a325d2","resolution":{"observed_at":"2026-08-04T20:58:32.926202Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1038/s41597-023-02681-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Sci Data10(791) (2023),https: //doi.org/10.1038/s41597-023-02681-3","venue":"Scientific Data","work_id":"d81f56d1-47e6-4589-871b-c69a4d2967cd","year":2023},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:29.602382Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:6f626e20810f3bf8322737d87b384c0aa4c17bb7966d8b9c4d6814a8e38fda5a","observation_id":"eb45379c-368b-4a9d-bf74-5cd32a618dd5","resolution":{"observed_at":"2026-08-04T20:58:30.196753Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:58:29.659827Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:29.659827Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:2d925860d1c1531a1c251173f28c692ef883a9704debc0770f65151e0c48c3c7","observation_id":"1f35a009-f830-4de7-b7e1-88afbceeb96e","resolution":{"observed_at":"2026-08-04T20:58:29.659827Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11542384_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Wiedijk, F","venue":"Lecture notes in computer science","work_id":"3d087134-3f63-4a2d-8bca-033a70ba49d0","year":2006},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:29.753539Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:55d2012f57ecb15c57f04b7fab75d37f693c3e7cba3c44b630e1bbde04480c6b","observation_id":"72703054-0b3d-4be9-91e2-3d763cc02c28","resolution":{"observed_at":"2026-08-04T20:58:29.968632Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-981-97-8943-6_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"4dc1ea91-07ea-40ed-9c73-2e3ade9c7e87","year":2024},"citing_paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold","version":1},"reference_index":324,"source":"pdf_text","source_observed_at":"2026-08-04T20:58:28.987792Z"},"links":{"citing_paper":"/paper/2509.08267"},"observation_digest":"sha256:e04988db91f458140e708739de835f2084a32839cbd0537b49fa34b72ba1cacc","observation_id":"a3512377-eec7-4e4d-9365-ebc8b7bc8520","resolution":{"observed_at":"2026-08-04T20:58:30.638904Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.08267","last_updated":"2025-09-10T03:51:43Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-09T13:59:51.991857Z","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":8,"verified_exact":12,"verified_fuzzy":4},"total_outbound_references":25},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2509.08267."}