{"as_of":"2026-08-23T00:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:de6468e1c4221d043ba75b74d7f50295de49880b9d52656e3fca227c0bf48693","coverage":[{"denominator":8,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":8,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T04:50:18.090302Z","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-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/2606.13367/citation-record","integrity":"/paper/2606.13367/integrity","json":"/paper/2606.13367/citation-record.json","paper":"/paper/2606.13367"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T04:50:18.090302Z","title":"Baader and T","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2606.13367","last_updated":"2026-06-11T13:53:03Z","snapshot_observed_at":"2026-07-30T04:23:48.142070Z","submitted_at":"2026-06-11T13:53:03Z","title":"Extended Frege proofs, circuits and rewriting","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-27T04:50:18.090302Z"},"links":{"citing_paper":"/paper/2606.13367"},"observation_digest":"sha256:47833592d083ef6c7e42f03804377f6f0c2c9c3cbabfd81334a40d9f153e859b","observation_id":"4603f7db-81ad-4403-a4d2-81a48102378a","resolution":{"observed_at":"2026-06-27T04:50:18.090302Z","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-06-27T04:50:18.090302Z","title":"Birkhoff, On the structure of abstract algebras,Proceedings Cam- bridge Phil","venue":null,"work_id":null,"year":1935},"citing_paper":{"arxiv_id":"2606.13367","last_updated":"2026-06-11T13:53:03Z","snapshot_observed_at":"2026-07-30T04:23:48.142070Z","submitted_at":"2026-06-11T13:53:03Z","title":"Extended Frege proofs, circuits and rewriting","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-27T04:50:18.090302Z"},"links":{"citing_paper":"/paper/2606.13367"},"observation_digest":"sha256:b8f6570670e3500fe3096d4c44d32fd2ba4145f5e4f43408215aa5cdf1cc5d10","observation_id":"f900da29-70ca-4ff4-a11a-75a94717f378","resolution":{"observed_at":"2026-06-27T04:50:18.090302Z","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-06-27T04:50:18.090302Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2606.13367","last_updated":"2026-06-11T13:53:03Z","snapshot_observed_at":"2026-07-30T04:23:48.142070Z","submitted_at":"2026-06-11T13:53:03Z","title":"Extended Frege proofs, circuits and rewriting","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T04:50:18.090302Z"},"links":{"citing_paper":"/paper/2606.13367"},"observation_digest":"sha256:42f5c3f3f682d9a65fbb8ee56ceb9720b8c8f63c13fa60da7e135b31777ccc64","observation_id":"454ea0d6-2f39-4372-a900-d517910ead34","resolution":{"observed_at":"2026-06-27T04:50:18.090302Z","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-06-27T04:50:18.090302Z","title":"Jain and Z","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.13367","last_updated":"2026-06-11T13:53:03Z","snapshot_observed_at":"2026-07-30T04:23:48.142070Z","submitted_at":"2026-06-11T13:53:03Z","title":"Extended Frege proofs, circuits and rewriting","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-27T04:50:18.090302Z"},"links":{"citing_paper":"/paper/2606.13367"},"observation_digest":"sha256:38439ec81430998b93c9a0625e3a1b5dd8c1cd5e8ee1d7201411f70e43aecfdd","observation_id":"4ff453ff-3cac-4149-a075-7b44c28b96c2","resolution":{"observed_at":"2026-06-27T04:50:18.090302Z","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-06-27T04:50:18.090302Z","title":"Jeˇ r´ abek, Dual weak pigeonhole principle, Boolean complexity, and derandomization,Annals of Pure and Applied Logic,129, (2004), pp.1- 37","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.13367","last_updated":"2026-06-11T13:53:03Z","snapshot_observed_at":"2026-07-30T04:23:48.142070Z","submitted_at":"2026-06-11T13:53:03Z","title":"Extended Frege proofs, circuits and rewriting","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T04:50:18.090302Z"},"links":{"citing_paper":"/paper/2606.13367"},"observation_digest":"sha256:4fff9c521d4d3463613337ff9a41cdf64bfce5d313f25b2408225997985865eb","observation_id":"82c1a424-ec32-4326-99e4-b2f3b0af5b1b","resolution":{"observed_at":"2026-06-27T04:50:18.090302Z","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-06-27T04:50:18.090302Z","title":"Kraj´ ıˇ cek, On Frege and Extended Frege Proof Systems","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2606.13367","last_updated":"2026-06-11T13:53:03Z","snapshot_observed_at":"2026-07-30T04:23:48.142070Z","submitted_at":"2026-06-11T13:53:03Z","title":"Extended Frege proofs, circuits and rewriting","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T04:50:18.090302Z"},"links":{"citing_paper":"/paper/2606.13367"},"observation_digest":"sha256:a70481d417454f72f82c2446248d2e60fce081ac602ec879173a47790b043c67","observation_id":"3d865835-1e73-4e6f-a770-04f8d5899fa5","resolution":{"observed_at":"2026-06-27T04:50:18.090302Z","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-06-27T04:50:18.090302Z","title":"Kraj´ ıˇ cek,Proof complexity, Encyclopedia of Mathematics and Its Applications, Vol.170, Cambridge University Press, (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.13367","last_updated":"2026-06-11T13:53:03Z","snapshot_observed_at":"2026-07-30T04:23:48.142070Z","submitted_at":"2026-06-11T13:53:03Z","title":"Extended Frege proofs, circuits and rewriting","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-27T04:50:18.090302Z"},"links":{"citing_paper":"/paper/2606.13367"},"observation_digest":"sha256:ef0ecc8192a8e99b73336edea4b597302f05b640bb5a1cf763da1f7efb9116ad","observation_id":"a03b9505-08b0-4a26-94e9-023a01a3411b","resolution":{"observed_at":"2026-06-27T04:50:18.090302Z","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-06-27T04:50:18.090302Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2606.13367","last_updated":"2026-06-11T13:53:03Z","snapshot_observed_at":"2026-07-30T04:23:48.142070Z","submitted_at":"2026-06-11T13:53:03Z","title":"Extended Frege proofs, circuits and rewriting","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-27T04:50:18.090302Z"},"links":{"citing_paper":"/paper/2606.13367"},"observation_digest":"sha256:66648e031fe36eb6a3750ff1510dcf26f1f55902907876521ecc577f99915188","observation_id":"bcba7e27-b4ff-4696-acf7-4f4a63a90a8c","resolution":{"observed_at":"2026-06-27T04:50:18.090302Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.13367","last_updated":"2026-06-11T13:53:03Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-07-30T04:23:48.142070Z","submitted_at":"2026-06-11T13:53:03Z","title":"Extended Frege proofs, circuits and rewriting"},"reference_resolution":{"displayed":8,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":8},"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 23 August 2026, this Paper Citation Record lists 8 of 8 outbound references and 0 inbound Pith citation observations for arXiv:2606.13367."}