{"as_of":"2026-08-06T19:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f14b20b335f42a7c548a7ca666143e12eaf3c7791d8fa9c9e2e21c1dcdb598ec","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-06T06:34:29.942622+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-07-06T08:31:00.030545Z","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-04T20:58:27.062699Z","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:8909ec8ee8fd12b70b5863e5d38f0809e9faa6d292b0fa4557c0631b3510fb43","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-04T20:58:27.062699Z","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:9c0d6ea45ac84c8f32f5702acd25b23dea1dc0baba11cec7f8c730729fbe8c39","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:a97f786582bf6cf72fbee98ae055be590e30f736b27a6897efed86bbca9144d6","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:233064ebbb1c67ae53df9e68895201fd1aa66d58b6c79f34e4a421029d5f5bd9","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-04T20:58:27.062699Z","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:34d6e584bd97b6e21256ca09f4660f5797c1ed6a7cfce4aac39ac345a64a5b12","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:ece52e00ec14cc95400c8829eefbe8e19b620950e8e57f4a4dc758815208c6fd","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:943d486c2d720012ba670d439528a349a749c478d1f5a6b274d3bc0b0761b57b","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:972473a614a73e093cef9c142fb13174b80d15ce1caae6ea039d0445105ea4f9","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:70db1ddb1f716244f2200c6d0ab8effe65b84ab370326c6e1a2285d2dffa8bf5","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:0edb668eddee0d67bdbfdc22091750e70f816a30762d74b547835b17b0f29424","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-04T20:58:27.062699Z","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:6a6e3da4ef0bb0d0125638594dc3378001398637818af7aeeae8579fd96b57d8","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:250c4601801a5fa955f5aa263f6d13b1003efd668a620e43043c1c8df31fe130","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:2b290f44f4a0d0bdcc58a0fc274138eeb6499526c02f3f3b051333ac15f9e149","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:8fd5f2bbc0add01f044258ca89f262055f04b8085ae74c7c660fdb7cd7e3a5e8","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:ecfef3aeec859bd26fcb65e681ea43081dfc8163f8a508d0c982a9277ed01f98","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:35f7a6b9d3a096a9a5edef53bf6fa9d4e5a07694314d46ca4c0022a76e1479cb","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-04T20:58:27.062699Z","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:390f6172d57a22a455943ef0241da9fedc96d045e3869d948199e5ac29cab286","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-04T20:58:27.062699Z","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:77c4457c0349e3e9c79f79e6b3b8d88e5625616cf2bb9deb32348550da058675","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:c52431c6f50b617e7010f05531ccdbf387aa21593279e4e76b06350d4eeb9786","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:5538c8904be5596a8af218de334e2e3f08b30046138e15cdd2e03941fda6954b","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-04T20:58:27.062699Z","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:2831e82317afe8f47194b8b26367783f96ef11717e139e18c44a787497a12fa4","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:449ac4a7e19530773a3d08d065ede12f90cf5a453437c784383ad53029012079","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:bebdd04b3645df067aad00a742af6ad1db928360254846cab54776c93f036a91","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-04T20:58:27.062699Z","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:520fa18e2e6fe5eae050ea7deba1cf5cccdd417e4740c7ef451edfc72134d35f","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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:d1a2cabc71fc2bfe423a9132f2cf47f89a8aedae5e593400f55dd058c330f56d","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-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-04T20:58:27.062699Z","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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2509.08267."}