{"as_of":"2026-08-07T23:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:32c3ffa77beb59270d2c3fa7630fe60c0dfa7a0c1d7ec9710a4afa97853cc066","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":2,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":2,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:37:41.664105Z","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-06T20:01:11.717652Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2408.03796","last_updated":"2025-01-29T12:03:55Z","snapshot_observed_at":"2026-08-06T14:28:23.214994Z","submitted_at":"2024-08-07T14:20:28Z","title":"PolyQEnt: A Polynomial Quantified Entailment Solver","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03796","snapshot_observed_at":"2026-08-07T04:37:41.664105Z","title":"Polyqent: A polynomial quantified entailment solver","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.664105Z"},"links":{"cited_paper":"/paper/2408.03796","citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:f96885acbe066a896136ccbd556fc5b98e4d3813ac93d6ea4640d3550a54f42c","observation_id":"e8cb43eb-2e83-48af-bdba-d70889a4290f","resolution":{"observed_at":"2026-08-07T04:37:41.664105Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03796","last_updated":"2025-01-29T12:03:55Z","snapshot_observed_at":"2026-08-06T14:28:23.214994Z","submitted_at":"2024-08-07T14:20:28Z","title":"PolyQEnt: A Polynomial Quantified Entailment Solver","version":3},"cited_work":{"arxiv_id":"2408.03796","doi":null,"metadata_source":"pith","pith_arxiv_id":"2408.03796","snapshot_observed_at":"2026-08-06T20:01:11.717652Z","title":"PolyQEnt: A Polynomial Quantified Entailment Solver","venue":"cs.LO","work_id":"0528ed4f-93ed-4647-8767-7c2c981b9890","year":2024},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.864128Z"},"links":{"cited_paper":"/paper/2408.03796","citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:18f02a20eb21ed733bf4e73037f4ea978b417d3f90edaaadad0cad93c7aac458","observation_id":"5c357e97-5c1b-47f5-9e36-86e0d2c5e9a5","resolution":{"observed_at":"2026-08-06T20:01:11.724362Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2408.03796/citation-record","integrity":"/paper/2408.03796/integrity","json":"/paper/2408.03796/citation-record.json","paper":"/paper/2408.03796"},"outbound":[],"paper":{"arxiv_id":"2408.03796","last_updated":"2025-01-29T12:03:55Z","latest_version":3,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-06T14:28:23.214994Z","submitted_at":"2024-08-07T14:20:28Z","title":"PolyQEnt: A Polynomial Quantified Entailment Solver"},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:2408.03796."}