{"as_of":"2026-08-08T21:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:080b40b3a575b92203e079942c8807d988283a9607e3a9db54c30509ed9ed299","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:18:57.574550Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2506.05837/citation-record","integrity":"/paper/2506.05837/integrity","json":"/paper/2506.05837/citation-record.json","paper":"/paper/2506.05837"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2008.02.043","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:18:59.211638Z","title":"Theoretical Computer Science 403(2-3), pp","venue":null,"work_id":"34694c52-2a89-4fce-bf97-6edc16d35d96","year":2008},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:55.535624Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:4e003a7f4cb01be5d7332fa31bca3397c8071d71082ba327eb24b3833d219f61","observation_id":"43d70f60-a750-42f3-9b55-c0922391fb76","resolution":{"observed_at":"2026-08-07T10:18:59.275296Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:18:55.709709Z","title":"Journal of Logic and Computation 21(6), pp","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:55.709709Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:03ac7850c31345037faa49a89c699ca90995dc7ca85d465d004729278581c2ea","observation_id":"e61e282a-7af1-4ca4-9971-82d6e8a682aa","resolution":{"observed_at":"2026-08-07T10:18:55.709709Z","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-020-09583-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:18:58.986044Z","title":"Cerna, Alexander Leitsch & Anela Lolic (2021): Schematic Refutations of F ormula Schemata","venue":null,"work_id":"4e90cb85-b9ec-486f-8bc8-086656c549f3","year":2021},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:55.903424Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:e887bb4f0ff8734bf5d597fe4db1394c3708d846ee9ded911eb2661bd4bb65fa","observation_id":"fcc73950-c954-4f63-8480-8aa354bea30a","resolution":{"observed_at":"2026-08-07T10:18:59.091692Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-46906-4_8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:18:58.655607Z","title":"In: International Tbilisi Symposium on Logic, Language, and Co mputation, Springer, pp","venue":null,"work_id":"c88657b3-a09d-4964-960d-3179b576a945","year":2013},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:56.131940Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:d30dc9c7715c621a962924455b04b547981eb7423ceacfe3caa174f1dfadbd82","observation_id":"2d0b5a75-7a55-4b21-bbe7-2b1246d19f37","resolution":{"observed_at":"2026-08-07T10:18:58.788223Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:18:56.248442Z","title":"American Mathematical Monthly 62(5), p","venue":null,"work_id":null,"year":1955},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:56.248442Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:87ae8d7dbaa0f4a55556ddf26e5c160d9c6d3326a0eb026dbfcbb7968bfed0bc","observation_id":"15b5823a-6e98-492e-83a2-273f2fb127ba","resolution":{"observed_at":"2026-08-07T10:18:56.248442Z","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-07T10:19:00.248562Z","title":"1, Biblopolis","venue":null,"work_id":"ada5f8f1-9291-4eab-adf4-8564b673902b","year":1987},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:56.403944Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:fe49f9dd5b262fbfdb5c6b52ad64eb7ca38cc6cf34a704c50cc8da775115a5f9","observation_id":"81609b2e-3c2d-4008-b211-c88cc12bbe06","resolution":{"observed_at":"2026-08-07T10:19:00.429422Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/dwdf","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:18:58.380441Z","title":"In: Proceedings of 25th Conference on Logic for Programming, Artificial Intell igence and Reasoning, LP AR , EPiC Series in Computing 100, EasyChair, pp","venue":null,"work_id":"21606411-da33-485a-9415-c93734a767fe","year":2024},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:56.608735Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:d13599da4a9ebdedcc658084043a3f564fe54509bbd04d3b7b1b336fe0900464","observation_id":"8020ecf0-e66e-4f6e-bbee-33d5c9ea3dc2","resolution":{"observed_at":"2026-08-07T10:18:58.523539Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/4g2q","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:18:58.067285Z","title":"In: LP AR 2024 Complementary V olume, Kalpa Publications in Computing 18, EasyChair, pp","venue":null,"work_id":"1c5ed30c-027f-4fa2-bb6d-d5c77b1d2d80","year":2024},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:56.887931Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:660a9a28afc5471e31b21d04cb87e70e1c2f8a9f3ff59f23af75f9d4d0981b68","observation_id":"24c8e48b-af20-43fa-a469-49f255b37503","resolution":{"observed_at":"2026-08-07T10:18:58.185844Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1093/logcom/exx003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:18:57.746307Z","title":"Journal of Logic and Computation 27(7), pp","venue":null,"work_id":"e40e54e2-c590-46fc-a161-b2cdf7ed2042","year":1954},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:57.082788Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:5a68f724a430e16d21d21cf9c0c68083f3a122eefe0d2181e0162c07e861e858","observation_id":"2f4a0a5c-7f33-4d29-acfc-18fa967bcf8c","resolution":{"observed_at":"2026-08-07T10:18:57.915845Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2020.47184","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:18:59.565588Z","title":null,"venue":null,"work_id":"fa56aa1c-2a36-4b1e-937f-6a6baa617bdf","year":2020},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:57.211475Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:6e9af26d43e071a31ad602e0303a353185ca9520e83351ee174609265edd4491","observation_id":"3cf4c5e3-d17c-48a9-a2a4-c0af482e1640","resolution":{"observed_at":"2026-08-07T10:18:59.737324Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:18:57.352978Z","title":"The- oretical Computer Science 232(1-2), pp","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:57.352978Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:159e650278bce97582a55e6dec93d4e595eaebf5c242dd35155e866e2b94f539","observation_id":"db3ad30c-4372-4530-9f96-6d8ab16abb49","resolution":{"observed_at":"2026-08-07T10:18:57.352978Z","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-07T10:18:59.935207Z","title":"North Holland, second edition","venue":null,"work_id":"79b5dcf3-f2ed-42b3-88b1-0aaae5d7c1f9","year":1987},"citing_paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T10:18:57.574550Z"},"links":{"citing_paper":"/paper/2506.05837"},"observation_digest":"sha256:9f284629672f173e83344bb68a1d2925ee147ba22b9659b08dcd07afeff0955c","observation_id":"bb227069-4fc2-4d5a-bb5e-6fb6e14a6057","resolution":{"observed_at":"2026-08-07T10:19:00.097061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.05837","last_updated":"2025-06-06T07:58:37Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T10:11:01.762165Z","submitted_at":"2025-06-06T07:58:37Z","title":"Towards an Analysis of Proofs in Arithmetic"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":5,"verified_fuzzy":2},"total_outbound_references":12},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2506.05837."}