{"as_of":"2026-08-22T06:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a810cef3e0f57f03262e071e220e8172c4c5bfc8938834e63be18a7f59096e7c","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T12:19:46.217102Z","state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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/2601.04080/citation-record","integrity":"/paper/2601.04080/integrity","json":"/paper/2601.04080/citation-record.json","paper":"/paper/2601.04080"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T12:19:46.158365Z","title":"A Study in the Philosophy of Sci- ence","venue":null,"work_id":null,"year":1959},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.158365Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:899073151a0ce4a02fa45df744066f96107d63dc9aa8e9f922dd0bf59c0bd590","observation_id":"5ddb6093-dc05-4d57-b5e3-927d4a8d0647","resolution":{"observed_at":"2026-08-03T12:19:46.158365Z","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-03T12:19:46.162769Z","title":"(eds.): The- ory and Applications of Craig Interpolation","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.162769Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:9da1c38a2f6c22b601454bebb67482493aab2ac3812307d7c85e27de3c51ed90","observation_id":"94f688d8-7eae-4d1b-af88-e70c72d9258a","resolution":{"observed_at":"2026-08-03T12:19:46.162769Z","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-03T12:19:46.166923Z","title":"Springer, 2nd edn","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.166923Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:45c70b33702499dbcd4ac383563e43be37859ecfed9172e82b9f9a3f4598dee4","observation_id":"1257323d-22b8-4c7b-a1b6-8a309cb1d818","resolution":{"observed_at":"2026-08-03T12:19:46.166923Z","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-03T12:19:46.170979Z","title":"Oxford Univ","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.170979Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:d11cbb74a1eaa0812f52532affd1a2b5d28fb7f0d62f4c6c9552ddaf0cbd877e","observation_id":"c58e5c42-d207-4889-8f1b-d116b7a14761","resolution":{"observed_at":"2026-08-03T12:19:46.170979Z","resolver_source":null,"status":"malformed_identifier"},"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-03T12:19:46.174452Z","title":"JAIR42, 917–943 (2011)","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.174452Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:822e56f41c9675291149017d50da4d1510d29ac29135791a99b1bd8221768126","observation_id":"2ad0654e-f77f-4202-94a9-02c71d8eab74","resolution":{"observed_at":"2026-08-03T12:19:46.174452Z","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-03T12:19:46.179292Z","title":"In: Benzmüller, C., Heule, M., Schmidt, R","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.179292Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:90d6eaaa162d6e49da729c3b61e5c077f58051f0a3f39651128a295645e6c8b2","observation_id":"88704703-cae1-40a6-aaab-a06810893574","resolution":{"observed_at":"2026-08-03T12:19:46.179292Z","resolver_source":null,"status":"malformed_identifier"},"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-03T12:19:46.183688Z","title":"ACM Trans","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.183688Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:f8051b28faacee1907d42b54d421cedd6af07feb0cd39e36d1467774ad42f1c2","observation_id":"50110ffb-b034-4ebd-a6bc-034ab3634650","resolution":{"observed_at":"2026-08-03T12:19:46.183688Z","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-03T12:19:46.187537Z","title":"Sugaku12, 235– 237 (1960)","venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.187537Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:30d5f23464de2e8398a9c7f6bde0cd9eb206332fbdfee820c5d036ea6d253335","observation_id":"9bd77da9-a712-4589-82b9-59846c68215c","resolution":{"observed_at":"2026-08-03T12:19:46.187537Z","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-03T12:19:46.191205Z","title":"Algebra and Logic16(6), 427–455 (1977)","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.191205Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:8b8c6b606e679c7fbdbe21e0ec15366becee63abe6b9d8ed6bcde3d6acd2ba25","observation_id":"d430f8ec-ac28-4e46-b9f6-dbd72c3f185e","resolution":{"observed_at":"2026-08-03T12:19:46.191205Z","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-03T12:19:46.194539Z","title":"Studia Log- ica38(4), 419–428 (1979).https://doi.org/10.1007/BF00370479","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.194539Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:d8056a29064cfe115454b9cd4c58d7b16d1c83c10f2b35c4753b2d76b0e91a5c","observation_id":"eb377e5b-3307-486e-a597-29eb2b56ee1f","resolution":{"observed_at":"2026-08-03T12:19:46.194539Z","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-03T12:19:46.197836Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.197836Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:2c1dd5961d4f0221bfd9ab04441a609e47ad3d09986e37996e394176eea1c755","observation_id":"298159a8-c519-4841-a519-7926f259cb25","resolution":{"observed_at":"2026-08-03T12:19:46.197836Z","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-03T12:19:46.202114Z","title":"In: Gebser, M., Inclezan, D., Ricca, F., Carro, M., Truszczynski, M","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.202114Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:a6371b7e5f7076ee1c880e7da792b108a06b495a73bd44bf4debcc76cc18ffcf","observation_id":"78b04882-005b-44b5-b500-19e5a93e2bef","resolution":{"observed_at":"2026-08-03T12:19:46.202114Z","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-03T12:19:46.205540Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.205540Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:d4dbc9c447873b898c4cb5a114074e53b8dfff2a36bbcec4076b450e61384d83","observation_id":"4957ed94-bfc3-4241-a9c6-8ea1e25ddb15","resolution":{"observed_at":"2026-08-03T12:19:46.205540Z","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-03T12:19:46.209077Z","title":"Springer (1968), also republished with correc- tions by Dover publications, 1995","venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.209077Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:d954a3554ce49827535f4fdc98d8fed7dcf4e02b90e9beeff397d1cd8b79e396","observation_id":"9bc06c82-f875-41d7-9bb4-56df3fb5a32f","resolution":{"observed_at":"2026-08-03T12:19:46.209077Z","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-03T12:19:46.213236Z","title":"North-Holland, second edn","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.213236Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:3c5cf6f3beefb2f5d140bd2a2c37ff00b3e1f366b58112edb0331301801dbefb","observation_id":"73bd6693-8470-4d28-8924-36e4db4eae1b","resolution":{"observed_at":"2026-08-03T12:19:46.213236Z","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-03T12:19:46.217102Z","title":"Cambridge University Press, second edn","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T12:19:46.217102Z"},"links":{"citing_paper":"/paper/2601.04080"},"observation_digest":"sha256:ed9adbc61019761145ba83bc459cd807d27e2277742714634c86368fded352d3","observation_id":"9e686314-bba8-46b4-935b-303b7b02c2cb","resolution":{"observed_at":"2026-08-03T12:19:46.217102Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2601.04080","last_updated":"2026-07-16T07:09:03Z","latest_version":4,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-22T00:43:43.182791Z","submitted_at":"2026-01-07T16:47:54Z","title":"Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":16},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2601.04080."}