{"as_of":"2026-08-12T07:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ae321a5ebfe6bedb6be896a710d713807930ccb8b91ca0dbe1340f8b1cb91d1c","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":8,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":8,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":8,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":8,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:42:44.948395Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T16:29:13.144628Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-07T15:42:44.948395Z","title":"Remarks on isomorphisms in typed lambda calculi with empty and sum types,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-12T02:51:47.924575Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.948395Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:88f536745c2ecfb104a1be9809c5f6f766e573d79446841bd232a7d096f29382","observation_id":"e8ef9dd6-a2be-4e93-8958-d5650183cb8a","resolution":{"observed_at":"2026-08-07T15:42:44.948395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-06T22:56:27.471841Z","title":"In: Proceedings 17th Annual IEEE Symposium on Logic in Computer Science","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-11T00:21:09.989624Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:27.471841Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:88e1986e2ff635c3da571294d58714e36b2d80e3b81c87728b85cfad1c32b91d","observation_id":"0d857e0a-88ed-44b2-8fc6-ff826410dab8","resolution":{"observed_at":"2026-08-06T22:56:27.471841Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":"2002.10298","doi":null,"metadata_source":"pith","pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-06T16:29:13.144628Z","title":"Reducing urban traffic congestion due to localized routing decisions","venue":"physics.soc-ph","work_id":"68b3dccd-24ad-483e-bee4-e17709b39dcb","year":2020},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-10T08:22:22.880166Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:11.747848Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:3e4869b9e0b50e73abdae9cd076cc4158da9df51d2ebd00791d3e959b4091f5f","observation_id":"afdf8829-daca-4502-a172-eaf9638a81f1","resolution":{"observed_at":"2026-08-06T16:29:13.259847Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-03T02:24:29.209111Z","title":"Reynolds","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2605.13765","last_updated":"2026-07-31T13:45:24Z","snapshot_observed_at":"2026-08-05T23:14:25.976795Z","submitted_at":"2026-05-13T16:46:19Z","title":"First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T02:24:29.209111Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2605.13765"},"observation_digest":"sha256:f3e9ad3702fb11f498e2852d4b84f8cb93c28ad794d8a5d8b0b5216673384775","observation_id":"fbc0b996-4782-431d-bc63-55257f676d57","resolution":{"observed_at":"2026-08-03T02:24:29.209111Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-02T03:20:04.017684Z","title":"16 François Laroussinie, Nicolas Markey, and Philippe Schnoebelen","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:04.017684Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:2ae8dba9b689d64640b0a9858efe001a200f18d84e7f3ae7b4251e28983c97d6","observation_id":"665537a1-c095-4ffe-b207-f26ec2267740","resolution":{"observed_at":"2026-08-02T03:20:04.017684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-01T22:14:42.096873Z","title":"Reynolds","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.096873Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:aa9758363dcbfb36bd114ae27b38a099ad28481213ace763395d03f01d672d37","observation_id":"7796a826-9ee4-4b8e-a5cc-335be82470dd","resolution":{"observed_at":"2026-08-01T22:14:42.096873Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-01T20:49:55.876537Z","title":"InProceedings 17th Annual IEEE Symposium on Logic in Computer Science","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.16533","last_updated":"2026-07-17T22:16:17Z","snapshot_observed_at":"2026-08-06T16:19:17.367528Z","submitted_at":"2026-07-17T22:16:17Z","title":"Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T20:49:55.876537Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2607.16533"},"observation_digest":"sha256:5989b151dcdfafeca5f5b4d60876cd774c1c65fc0b94f92f162c3d4cfacde2d2","observation_id":"933bbdef-dc67-4a80-b60d-c3ad5ccdc125","resolution":{"observed_at":"2026-08-01T20:49:55.876537Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-07-31T03:58:10.586979Z","title":"In: LICS 2002, pp","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.28551","last_updated":"2026-07-30T17:21:14Z","snapshot_observed_at":"2026-08-11T11:25:22.927452Z","submitted_at":"2026-07-30T17:21:14Z","title":"Formalization of security","version":1},"reference_index":135,"source":"pdf_text","source_observed_at":"2026-07-31T03:58:10.586979Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2607.28551"},"observation_digest":"sha256:0b9aa986a55175296e07537f98057b7b41cdab0180327c9a81005bf2579d9260","observation_id":"131154f8-ad9a-45d5-9425-12e61e280c01","resolution":{"observed_at":"2026-07-31T03:58:10.586979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2002.10298/citation-record","integrity":"/paper/2002.10298/integrity","json":"/paper/2002.10298/citation-record.json","paper":"/paper/2002.10298"},"outbound":[],"paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","latest_version":2,"primary_category":"physics.soc-ph","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions"},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 8 inbound Pith citation observations for arXiv:2002.10298."}