{"as_of":"2026-08-22T12:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d95c5298d520fef3593e6e5c794415c89af2f7d1a7daa5a7761bda0c96ae9dba","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T09:28:29.642728Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"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.14114/citation-record","integrity":"/paper/2601.14114/integrity","json":"/paper/2601.14114/citation-record.json","paper":"/paper/2601.14114"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T09:28:27.560709Z","title":"In: CSL (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:27.560709Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:c250e30fed90326082976e87b337189d0591c09f193e26e0f6d7852609c28a8a","observation_id":"06865e64-e611-465d-96a7-f2b58d818631","resolution":{"observed_at":"2026-08-03T09:28:27.560709Z","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-03T09:28:27.645562Z","title":"In: POPL (2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:27.645562Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:bed5f665aa2b091a481e2d264398fc0537e8018d62b35353d86e07e15395aa0e","observation_id":"e33dff83-939d-4414-931b-d107dd68893c","resolution":{"observed_at":"2026-08-03T09:28:27.645562Z","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-03T09:28:27.774790Z","title":"Springer (1993)","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:27.774790Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:59a76437834836d94fbef0d7437283a247256b1a45c3d2837f8bc09dc30134fb","observation_id":"c8033082-ed30-4fbe-ba60-1d120b3946d1","resolution":{"observed_at":"2026-08-03T09:28:27.774790Z","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":"10.2168/lmcs-8(1:16)2012","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Logical Methods in Computer Science","work_id":"f1743e62-f1ba-43f0-a521-6f92da90248b","year":2012},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:27.861846Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:f2a3a8a73e11cfdfa6f6d2f66023c71286056fa3f95dccca17110c32f3e23d2e","observation_id":"ab41f926-9101-4291-b4ac-46caa7d67a19","resolution":{"observed_at":"2026-08-03T09:34:04.127141Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T09:28:27.978346Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:27.978346Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:ac4baf3be024c7274d33ed9d5af2fe2238afea8220f981908b72347d318d5727","observation_id":"0dcf5cc6-b545-46a9-a1a5-82ec1bbbadee","resolution":{"observed_at":"2026-08-03T09:28:27.978346Z","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-03T09:28:28.068663Z","title":"Chapman and Hall, London (1971)","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:28.068663Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:4fb0c007656e05c425c9705cc7b9fdf39875ad88870148e511296614f5f998d9","observation_id":"54dfced4-8571-4d8f-93e8-e4d52574c099","resolution":{"observed_at":"2026-08-03T09:28:28.068663Z","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":"10.1007/978-3-030-17127-8_12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: FoSSaCS (2019)","venue":"Lecture notes in computer science","work_id":"825b7832-53cf-4373-9bc6-db7a2cef4b5d","year":2019},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:28.227422Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:9804347f54cb3b1d21b828d47da3e185aff382b11bddb6856930abfb18d3902b","observation_id":"21af76e3-1e4d-468a-b580-8988ed845729","resolution":{"observed_at":"2026-08-03T09:34:03.986265Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.concur","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T09:34:03.711175Z","title":"In: CONCUR (2019)","venue":null,"work_id":"9b63d778-ebf8-4243-9228-74f9e5d21617","year":2019},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:28.361542Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:78f97e5cf3739a3941cd2580a93e98fd591307f9ac595df59bde35c727fe7b14","observation_id":"41fcfd15-9ffc-4d78-b489-9293abef53de","resolution":{"observed_at":"2026-08-03T09:34:03.864722Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-45231-5_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"FoSSaCS (2020)","venue":"Lecture notes in computer science","work_id":"5a75b268-0abc-4e2e-8070-bd9fc90c9764","year":2020},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:28.527319Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:c7c50140dfff88737c3fc466a69a71c67cfad7ec34ca0a40a12b42657dae1274","observation_id":"0bdebb11-b53d-4c23-a76a-9ce3896379a4","resolution":{"observed_at":"2026-08-03T09:34:03.693438Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T09:28:28.663631Z","title":"In: ESOP","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:28.663631Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:18b51e57fa3c3f13a4956300abea4577c73f37a60f0a162f461cc190d4519d3c","observation_id":"be2e4f42-8696-4f3c-8330-754129d3d1d5","resolution":{"observed_at":"2026-08-03T09:28:28.663631Z","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-03T09:28:28.767881Z","title":"Automata Studies pp","venue":null,"work_id":null,"year":1956},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:28.767881Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:152b4195a5d9bc75b996ecf64b2cd56aaa4235e3e1a7c4a7cc2f9627872e18d6","observation_id":"f67aa8fe-150e-4023-95db-8731d1655077","resolution":{"observed_at":"2026-08-03T09:28:28.767881Z","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-03T09:28:28.809152Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:28.809152Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:fdeb281103e00f8fcfbc15a30bdfac51743cacf27c07a549aeae90418d153503","observation_id":"95c085a0-a490-466d-a7ee-52d5b905f236","resolution":{"observed_at":"2026-08-03T09:28:28.809152Z","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":"10.1007/3-540-61042-1_35","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: TACAS (1996)","venue":"Lecture notes in computer science","work_id":"c0c0c2c5-2a79-4001-aba4-c0cdd3eb83f5","year":1996},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:28.885697Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:074af92797201f6620e3c72dec9f7288ce0bdd8bd700ae1a812bffa7f794483c","observation_id":"9606213d-04cc-44f2-af56-04606bdc630f","resolution":{"observed_at":"2026-08-03T09:34:03.581654Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-43951-7_24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: ICALP (2014)","venue":"Lecture notes in computer science","work_id":"f5aa7bfb-d5fb-42ba-9de2-2c4f96e17fc7","year":2014},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:28.952615Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:0076d41ddd597e98a15021ee07226e60cc57f35c45daa0aa86d0aae20151c5ad","observation_id":"7f696f38-639f-4999-8ae8-5344492d1633","resolution":{"observed_at":"2026-08-03T09:34:03.405230Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-63172-0_43","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: CSL (1996)","venue":"Lecture notes in computer science","work_id":"79e396cb-7368-4a03-a27f-b8b274062b84","year":1996},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:29.006036Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:3dd4e559909cacec36e78d400a7ced227029c9925ec8c0824f37c65e1abdc7c4","observation_id":"ddbeafe2-8ac1-497a-b72c-a9644f4a70ca","resolution":{"observed_at":"2026-08-03T09:34:03.354663Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-47963-2_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: ICTAC (2023)","venue":"Lecture notes in computer science","work_id":"9dc39ea0-3f39-467e-a773-c71a261018d2","year":2023},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:29.057951Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:fc15c6e97efccd55563ba98a23d7a1c482451d42e7d3fec66da1e0529d00e350","observation_id":"b0dcfea6-3844-4eb2-af93-2c67f985395e","resolution":{"observed_at":"2026-08-03T09:34:03.246380Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.concur.2019","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: CONCUR (2019)","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"63421ee1-ca45-41b1-8ebc-2ca36c312ec1","year":2019},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:29.137169Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:a6a8f6754b18dd94d3afe936aaea75fd017bba0b819b0a36aeb50485233f078b","observation_id":"5a5c8f09-c908-49c3-98b8-829d50bdff06","resolution":{"observed_at":"2026-08-03T09:34:03.100516Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T09:28:29.196337Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:29.196337Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:5c7e12831a25c5dca591889538e40e7b8f2014792d56e30096dc0bfe84fdecdb","observation_id":"5eeabc4a-6411-435d-b525-6beded95eced","resolution":{"observed_at":"2026-08-03T09:28:29.196337Z","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-03T09:28:29.311193Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:29.311193Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:1188af6a8229a75554b688e4b2ee15b32210514d2fd9722cd80923e57bba71ce","observation_id":"9f8c1a4f-85ca-4d31-9273-40697bb74704","resolution":{"observed_at":"2026-08-03T09:28:29.311193Z","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-03T09:28:29.384662Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:29.384662Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:fd7aef7ceb74946465239ad64d20ac9583dfd1d1f63a8b3e64eb8acab03ae66f","observation_id":"6e880892-c857-416a-9ab4-d8a9d0ae58c8","resolution":{"observed_at":"2026-08-03T09:28:29.384662Z","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-03T09:28:29.441421Z","title":"By definition ofs ∗ andr i it suffices to show that, for anyiandx′ withx i w − →∗ X x′: sZi (zi 0)·s(x ′)≦ H s(xi)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:29.441421Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:309f382ee3f54dec97d72bc1c27b71588705d0da2a910678aec16c5444168ab6","observation_id":"923fa6b9-824d-4245-b2c3-6e45451b7c95","resolution":{"observed_at":"2026-08-03T09:28:29.441421Z","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-03T09:28:29.509490Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:29.509490Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:bcf036b318a3187280003d8e99b8f844fada792e8d6c84d8530a4d2263bb1b85","observation_id":"1c47374f-1788-4195-95d0-c7ca8267bfe2","resolution":{"observed_at":"2026-08-03T09:28:29.509490Z","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-03T09:28:29.581632Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:29.581632Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:891d67e17e59c798503a62a34889fd8a36b341da6cdd25036d1e75f84cdc4323","observation_id":"fc60b417-f1c5-45d0-8882-caaad8cb1ceb","resolution":{"observed_at":"2026-08-03T09:28:29.581632Z","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-03T09:28:29.642728Z","title":"Theorem 4.10.r H is a partial reduction","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T09:28:29.642728Z"},"links":{"citing_paper":"/paper/2601.14114"},"observation_digest":"sha256:b749df8966d4697693c17efec033dc5115293a42e3b07b2ae9d7dec54d6c7174","observation_id":"1345e26f-be3c-4e79-8d06-4aff9de860e5","resolution":{"observed_at":"2026-08-03T09:28:29.642728Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2601.14114","last_updated":"2026-07-06T12:58:09Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-06T22:36:56.500677Z","submitted_at":"2026-01-20T16:08:26Z","title":"Partial Reductions for Kleene Algebra with Linear Hypotheses"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":5,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":8,"verified_fuzzy":0},"total_outbound_references":24},"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 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2601.14114."}