{"as_of":"2026-08-19T16:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7d0ba2ff052fdba264b2c147b992122393248dd374eb275fab497123ae5017a8","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":3,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":3,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T11:51:39.953726Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-06-30T18:25:00.011271Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2101.02690","last_updated":"2021-01-16T22:29:37Z","snapshot_observed_at":"2026-08-19T11:56:59.480477Z","submitted_at":"2021-01-07T18:52:08Z","title":"Theorem Proving and Algebra","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2101.02690","snapshot_observed_at":"2026-08-16T11:51:39.953726Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.14561","last_updated":"2025-04-20T10:17:45Z","snapshot_observed_at":"2026-08-19T08:46:38.040969Z","submitted_at":"2025-04-20T10:17:45Z","title":"Proof Scores: A Survey (full version)","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-16T11:51:39.953726Z"},"links":{"cited_paper":"/paper/2101.02690","citing_paper":"/paper/2504.14561"},"observation_digest":"sha256:48ce2402b802d37b86d0a2f6e2c08885266f7e973590a1403da0cfda64db643d","observation_id":"7315d1f1-b790-4d82-924a-b67175a68f61","resolution":{"observed_at":"2026-08-16T11:51:39.953726Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2101.02690","last_updated":"2021-01-16T22:29:37Z","snapshot_observed_at":"2026-08-19T11:56:59.480477Z","submitted_at":"2021-01-07T18:52:08Z","title":"Theorem Proving and Algebra","version":2},"cited_work":{"arxiv_id":"2101.02690","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2101.02690","snapshot_observed_at":"2026-06-30T18:25:00.011271Z","title":null,"venue":null,"work_id":"b718df55-41ef-4108-978d-0ae52c40f5df","year":2021},"citing_paper":{"arxiv_id":"2605.18362","last_updated":"2026-06-16T08:33:10Z","snapshot_observed_at":"2026-08-16T11:55:37.026313Z","submitted_at":"2026-05-18T13:13:32Z","title":"Probabilistic imperative process algebra","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-19T23:35:15.923094Z"},"links":{"cited_paper":"/paper/2101.02690","citing_paper":"/paper/2605.18362"},"observation_digest":"sha256:cd67153ee8bfd21cb3151992707464b7ad5ecda92ee56cd43e51519c6c387ae8","observation_id":"a2e3a125-ace6-40d5-88f5-171c5b42946c","resolution":{"observed_at":"2026-05-19T23:37:52.625247Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2101.02690","last_updated":"2021-01-16T22:29:37Z","snapshot_observed_at":"2026-08-19T11:56:59.480477Z","submitted_at":"2021-01-07T18:52:08Z","title":"Theorem Proving and Algebra","version":2},"cited_work":{"arxiv_id":"2101.02690","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2101.02690","snapshot_observed_at":"2026-06-30T18:25:00.011271Z","title":null,"venue":null,"work_id":"b718df55-41ef-4108-978d-0ae52c40f5df","year":2021},"citing_paper":{"arxiv_id":"2605.18362","last_updated":"2026-06-16T08:33:10Z","snapshot_observed_at":"2026-08-16T11:55:37.026313Z","submitted_at":"2026-05-18T13:13:32Z","title":"Probabilistic imperative process algebra","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-30T18:23:06.397599Z"},"links":{"cited_paper":"/paper/2101.02690","citing_paper":"/paper/2605.18362"},"observation_digest":"sha256:58324458ae4074f0e915511f85649d28cc55be55e8671e20e5f835d15651edad","observation_id":"bd208f5e-6161-4eae-94d2-e007f9cbf15b","resolution":{"observed_at":"2026-06-30T18:25:00.012767Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2101.02690/citation-record","integrity":"/paper/2101.02690/integrity","json":"/paper/2101.02690/citation-record.json","paper":"/paper/2101.02690"},"outbound":[],"paper":{"arxiv_id":"2101.02690","last_updated":"2021-01-16T22:29:37Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-19T11:56:59.480477Z","submitted_at":"2021-01-07T18:52:08Z","title":"Theorem Proving and Algebra"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2101.02690."}