{"as_of":"2026-08-08T03:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:35eefbb997460cd7f0f302ff2f722704849a04bd97a81ee68604a80b783f2867","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:21:13.687450Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2505.22213/citation-record","integrity":"/paper/2505.22213/integrity","json":"/paper/2505.22213/citation-record.json","paper":"/paper/2505.22213"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0747-7171(03)00024-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:15.932394Z","title":"Journal of Symbolic Co mputation (2003)","venue":null,"work_id":"2814f110-3f87-4580-a53e-90a95bd04247","year":2003},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:10.109612Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:0587a1e9ebde7ac686cd9a1bad36bfdc9d091caea9c1839fd1b0fa66098cfd59","observation_id":"e168f102-a842-4ea1-bf1c-641e9c26f572","resolution":{"observed_at":"2026-08-07T13:21:16.012999Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:10.217839Z","title":"In: Term Rew rit- ing and All That, chap","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:10.217839Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:3aaf384c8b7fab74f43009341eda02bc2e7caba63500d7e05517094fd5437b27","observation_id":"a725533b-9f6b-4f69-b6a4-35a9f5f0f81c","resolution":{"observed_at":"2026-08-07T13:21:10.217839Z","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-1-4684-7118-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:15.782816Z","title":"Progress in t heoretical computer sci- ence, Birkh¨ auser (1991)","venue":null,"work_id":"442ed29d-578d-4387-9596-df0430428dda","year":1991},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:10.297692Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:4365bd5cac6b722856f7c72604832db839a246766fd90f14220bf5817f8794ae","observation_id":"df239b29-d87f-47c8-9795-782ea9c731ad","resolution":{"observed_at":"2026-08-07T13:21:15.838982Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:10.411412Z","title":"Journal of Symbolic Computation (1988)","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:10.411412Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:36625ea56dfdd14f11142cbb714a19c4b7fcfba77f8c7c7a4b6f23c9ac668e87","observation_id":"c7fb85b2-dd7e-4729-a990-801aff3173fd","resolution":{"observed_at":"2026-08-07T13:21:10.411412Z","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-07T13:21:10.540145Z","title":"In: CADE (1990)","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:10.540145Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:9429b9ce1823b5752e29c921bed64bb5a548b97e272ee6f6e48eab54d946429e","observation_id":"5c810802-94d8-4934-8f01-76be7fd02add","resolution":{"observed_at":"2026-08-07T13:21:10.540145Z","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":"10.1007/978-94-017-0","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:15.485856Z","title":"In: Automated Deduction: A Basis for Applications , vol","venue":null,"work_id":"ccb3169e-5842-44c9-b4f3-09d2c7578d2d","year":1998},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:10.623950Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:cf18bf6e6cc2ef3cc503f2e9634e85a29da19429c76383b61d2fd2f3b0d81d3a","observation_id":"70d6fb46-49b6-4d6d-b5a6-089a1199af55","resolution":{"observed_at":"2026-08-07T13:21:15.630584Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:10.727573Z","title":"In: Handbook of Automated Reasoning, pp","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:10.727573Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:5be37f9f88d39391077bfe90fafb888b8f6693bb52ef8789a80206d825d4e6f1","observation_id":"eeb744fc-5775-4ef1-87c5-cd75c019915c","resolution":{"observed_at":"2026-08-07T13:21:10.727573Z","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":"1995.1131","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:17.607448Z","title":"Infor- mation and Computation (1995)","venue":null,"work_id":"26e74c82-b06f-466c-b8cc-d149665d4ebc","year":1995},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:10.821196Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:8515e8db90a0d10dbd05997530750965e5c7466f6128fe763417784f60115d59","observation_id":"982a444a-e2be-4e63-b09d-60aa64ca0316","resolution":{"observed_at":"2026-08-07T13:21:17.679983Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:11.027274Z","title":"In: CADE (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.027274Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:356ef0392232efb5b7b0ad2ff238d69833b54905a4cc24295d619570be916276","observation_id":"d31ef2d8-05a3-4404-b3fb-555d3f898c06","resolution":{"observed_at":"2026-08-07T13:21:11.027274Z","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-031-384","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:15.341254Z","title":"In: CADE (2023)","venue":null,"work_id":"1ffd3ddf-b54d-42f0-bbbb-6073d7d40170","year":2023},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.102048Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:8036e099f56e572894825e281cc4b2672f93b5212ce42ca7603147dc6394c3bc","observation_id":"b842fda4-f81d-49ec-a031-1275faab852c","resolution":{"observed_at":"2026-08-07T13:21:15.391623Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:18.294452Z","title":"Inte rnational Journal of Foun- dations of Computer Science (1990)","venue":null,"work_id":"2830b6f9-c063-4587-9f26-6d029a1b3258","year":1990},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.171295Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:308e3191fbfcaa9301c375354570870a18ce2c8a031f224bd25ac51dd2d10e6c","observation_id":"b72221b1-7314-4fe7-8193-4250833de6f7","resolution":{"observed_at":"2026-08-07T13:21:18.366152Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1775.60177","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:17.280493Z","title":"ACM TOCL (200 3)","venue":null,"work_id":"b2312893-7e04-4cbf-a1d7-c2c046918a63","year":null},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.249512Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:2d259961d5da94dc08d4f62a72a50e388a7a07ba7771037b6e71e806d5445a00","observation_id":"1231d2b6-2b01-4a9e-9d91-5f7b2aa9b717","resolution":{"observed_at":"2026-08-07T13:21:17.371135Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lic","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:16.909703Z","title":"In: Annual IEEE Sy mposium on Logic in Computer Science (1995)","venue":null,"work_id":"7a4c9d9c-2749-41c2-ac36-504e435bdb9e","year":1995},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.352198Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:3182c007d2b82864dfbb7f2a8fc6c4786a7f9e9095121d322aca5542b075f387","observation_id":"cbf29249-9558-4bfb-8f52-7b1ef94c0dc0","resolution":{"observed_at":"2026-08-07T13:21:17.017217Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:11.419359Z","title":"Com- munications of the ACM (1979)","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.419359Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:5ecb03f4ef8098d802250fb731a75870f2c3d7e8e2d6a84bfb8c8115898fa00e","observation_id":"1c06ae05-c1c3-4bab-804a-9fbf82f5478d","resolution":{"observed_at":"2026-08-07T13:21:11.419359Z","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-07T13:21:11.470320Z","title":"I n: ITP (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.470320Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:970dc2376775654fb427d0d9dbc576c82a53fed3fc4a9670080dd0efe74dd4ae","observation_id":"08efc8c3-a282-4bfa-8867-43c1b5691233","resolution":{"observed_at":"2026-08-07T13:21:11.470320Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:18.125017Z","title":"In: IJCAR (2022)","venue":null,"work_id":"48b1a74a-3f69-4aa8-bb92-34a532ac95ff","year":2022},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.541745Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:409b8d075f2b2887f7f57fa6e23417764d4422b6bf4b99f527f7635ce02c8606","observation_id":"b9858c79-d24f-4aa9-9418-c0a0317326cb","resolution":{"observed_at":"2026-08-07T13:21:18.212447Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:17.913262Z","title":null,"venue":null,"work_id":"79ae1118-0cb0-43d1-b881-57e2a9d85388","year":2001},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.637617Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:6a7fe00da3d70adbb9bf2db88e2c020e320dd916e928f731b6f7e4e2ab5a13bf","observation_id":"5341acec-f4b9-4417-9c07-5dcbac05ca25","resolution":{"observed_at":"2026-08-07T13:21:18.037837Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0747-7171(88","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:15.155602Z","title":"Journal of Symbolic Compu- tation (1988)","venue":null,"work_id":"096eacc1-79e8-48f6-9060-ecc08d5e8a79","year":1988},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.756553Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:f5c712670a3a317c0a9c55df76c41a40114e7b68dd8692cd0b158232862ba1d8","observation_id":"3c19a360-9cd6-476f-89c6-20603578f02d","resolution":{"observed_at":"2026-08-07T13:21:15.252990Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"publication/2458505","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:16.447235Z","title":"Research report, INRIA (1990), https://www.researchgate.net/publication/245850515","venue":null,"work_id":"e6ee335c-f5d3-434e-8e01-0567e4f81786","year":1990},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.828262Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:b1d4b1988407637710e004e25ef95010211717646ce3d8eeeb235b91eb028bf9","observation_id":"7dda76db-7992-49b6-9eb0-c4595df42ead","resolution":{"observed_at":"2026-08-07T13:21:16.585804Z","resolver_source":"raw_fallback","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-81","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:15.044513Z","title":"In: Au- tomation of Reasoning: 2: Classical Papers on Computationa l Logic 1967–1970","venue":null,"work_id":"0f5927ce-562c-4aa5-b776-92b6907057cf","year":1983},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:11.904239Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:bcb0fe03bab922941be954e9aaa67bb5cd314f0e23a8c87479dcbc9d1eb513ab","observation_id":"b6a4e0c4-e923-4bb2-b4c0-28beef77d4a2","resolution":{"observed_at":"2026-08-07T13:21:15.103446Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-71070-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:14.894673Z","title":"In: IJCAR (200 8)","venue":null,"work_id":"2a04b20b-3790-4f00-b9be-5ac856329345","year":null},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.011699Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:6f07b46489e4aa1d753442f985c4d852fe1c3756eccfa255054c8038dca6bd6d","observation_id":"719a6ea9-312c-4700-a0ee-fa6d4693bfd5","resolution":{"observed_at":"2026-08-07T13:21:14.965735Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:12.108159Z","title":"In: ICALP (2001)","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.108159Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:f47882c901714c42fa3edc909d6e442456e60386a17b570dc061e6802289e150","observation_id":"427c61e2-4a40-4b9b-815c-276bbc96cd9c","resolution":{"observed_at":"2026-08-07T13:21:12.108159Z","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-07T13:21:12.199904Z","title":"In: CA V (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.199904Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:363424d0da85a8ea8d8422127f5afff32c27daaec8ad098b40ca08da2d5d9a55","observation_id":"8ae6ea17-a96d-48b6-84ae-f9368f471079","resolution":{"observed_at":"2026-08-07T13:21:12.199904Z","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-07T13:21:12.294703Z","title":"In: IJCAR (2004)","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.294703Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:379bce3b2b1a174047a7143b6333f0d66e1ef6b0268b7c8025bfb3a9a443d316","observation_id":"93008c02-a709-47f6-a5e5-7cfdd9a737cb","resolution":{"observed_at":"2026-08-07T13:21:12.294703Z","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":"10.1007/978-3-662-21551-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:14.768553Z","title":"In: RTA (1993)","venue":null,"work_id":"474dead5-eff8-4b4b-936b-ee0206d5432a","year":1993},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.370922Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:37e0cb914d0b8bc20fa2a725c4ce1fa9599e0ddfab4d193017424172ec2798d0","observation_id":"7145cf5b-cc40-4f45-ac0e-4ee1ee7d3f76","resolution":{"observed_at":"2026-08-07T13:21:14.812015Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-006-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:14.589419Z","title":"Jour nal of Automated Reasoning (2006)","venue":null,"work_id":"4bc06985-7b55-4a5c-9912-a18ed1312e10","year":2006},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.457884Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:c33e40f28dae724c529f2a57a03fbbd59f7fa5d12d5805b4d5014a1e6f64246a","observation_id":"92013698-e94c-4e7f-b0fb-d49422bf0542","resolution":{"observed_at":"2026-08-07T13:21:14.628596Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:12.551017Z","title":"In: Hand- book of Automated Reasoning, chap","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.551017Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:b669832d95277b1b0997fb994ff44608a95ba1bdaa15cc950da6e2989069683f","observation_id":"e87d62a8-9d1c-4278-af8f-99b0cb6f8438","resolution":{"observed_at":"2026-08-07T13:21:12.551017Z","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-07T13:21:12.641601Z","title":"Information Processing Letters (1993)","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.641601Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:bbddba6ecef2a928fe78f6f40df7f379635248569eba33cdd612a24f68298335","observation_id":"7d620af1-8227-4e15-92a2-ce6bd5600998","resolution":{"observed_at":"2026-08-07T13:21:12.641601Z","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-55253-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:14.492400Z","title":"In: ESOP (1992)","venue":null,"work_id":"8fc1020f-2d73-40d2-a0f1-e3ed5be8ac20","year":1992},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.733489Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:f850c9ea03994e766a681d6a5979e80822adebd5a04d6624d93d04694367e9e8","observation_id":"d913e022-82fc-4aa4-929c-21dda3ff2297","resolution":{"observed_at":"2026-08-07T13:21:14.525942Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:12.873119Z","title":"Journal of Symbolic Computation ( 1995)","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.873119Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:3abb07501dd0674e36e1da4bc110acecb1d2e496a61e592647fa493fb4e3ae5e","observation_id":"b59fccdd-96d0-4b9e-95f7-a602386bd89f","resolution":{"observed_at":"2026-08-07T13:21:12.873119Z","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.1016/s0747-7171(08)80130-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:14.365101Z","title":"Journal of Symbolic Computati on (1991)","venue":null,"work_id":"7639cd17-f641-4833-9d44-6bd1f90c1d41","year":1991},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:12.948984Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:5aa33ca8a074c2a318cce90fc53513553a1028f1764d7ed5e16f338f2d8ae6ee","observation_id":"f4023548-2b92-4579-956a-b5cc4091545b","resolution":{"observed_at":"2026-08-07T13:21:14.428018Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:17.774975Z","title":"Ar chive of Formal Proofs (September 2016), https://isa-afp.org/entries/SuperCalc.html","venue":null,"work_id":"ec8f63a4-b6fc-4dce-8e42-e9f5239357c0","year":2016},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:13.023370Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:f084870d0b04f30052965a4d6d75859611ce33d33ce5813ac4ee7970ef9237b9","observation_id":"9dff029a-989a-4a60-aa88-9563978cf408","resolution":{"observed_at":"2026-08-07T13:21:17.827014Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:13.105287Z","title":"In: T ACAS (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:13.105287Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:e806f62e1ede4bf98e8f289998e6b4d4ec2abccdb35551abfbc2916f2d756ba4","observation_id":"85d7b3ae-0529-4c8f-9a1d-cff114c7ec07","resolution":{"observed_at":"2026-08-07T13:21:13.105287Z","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-40","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:14.242400Z","title":"In: Logics in Artificial Intelligence (2000)","venue":null,"work_id":"a4c42549-d957-4dec-8a73-d88e5b983541","year":2000},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:13.195083Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:df375dce3588f94d41cb4b1b71ae9b6da6b4715729686a2e11adebb33a00a238","observation_id":"736b3c1c-eaa2-46b1-9816-50f41513022d","resolution":{"observed_at":"2026-08-07T13:21:14.281739Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-25984-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:14.083949Z","title":"In: CADE (2004)","venue":null,"work_id":"9417d95a-6a7d-4265-97f7-3550f1aed2c3","year":2004},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:13.304693Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:fc4a300dfbfc273c7349344e73eeb4370d8855d63d9a55f68f68654b6425c157","observation_id":"3879c17a-573f-48d6-bcde-e8978b57709b","resolution":{"observed_at":"2026-08-07T13:21:14.187254Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-81955-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:13.971194Z","title":null,"venue":null,"work_id":"ad59fe01-2cda-443a-b382-28bb469ecb7f","year":1983},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:13.355232Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:eb41176b43f3aa8046bb345dbfca10a5fe12f23a774b10ab1d0b51306815264b","observation_id":"598204f3-9ea5-4664-aa71-c0858e7f3a8b","resolution":{"observed_at":"2026-08-07T13:21:14.004114Z","resolver_source":"doi","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:13.438467Z","title":"In: CADE (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:13.438467Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:41e65e9d2eabfc4abbcf7b738225ccfab734ffeb65970a08191ecdf01b7f6a97","observation_id":"e0d697f0-7eca-49a6-b595-a4538c50c536","resolution":{"observed_at":"2026-08-07T13:21:13.438467Z","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-07T13:21:13.530338Z","title":"In: IJCA R (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:13.530338Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:f017aedcfe5a9cf90c019dfa7585edac6672405ad1d4ee6c2852ee139cd67143","observation_id":"e78b8afe-c336-43ae-bf8a-7e28ffd942e5","resolution":{"observed_at":"2026-08-07T13:21:13.530338Z","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-07T13:21:13.594069Z","title":"Journal of Automated R easoning (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:13.594069Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:383bd75e17960cde7e2c270e21ec0d84b99520ca77bca9d0472455fff7f66876","observation_id":"65d89745-ff9a-4cea-9942-971c8a2f8be1","resolution":{"observed_at":"2026-08-07T13:21:13.594069Z","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-07T13:21:13.642340Z","title":"In: RTA (1989)","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:13.642340Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:4a1bf14b14b89b4b13d2e3ab688fb523e0946c0c11693cc41ecba562d9cc1066","observation_id":"5cc2d9f3-015e-4bbb-9103-908c80297e27","resolution":{"observed_at":"2026-08-07T13:21:13.642340Z","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":"10.1007/bf02090774","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:21:13.777357Z","title":"In: Mathematical Systems Theory (1 990)","venue":null,"work_id":"c077ef5e-91fc-44fb-85d1-c4e884eaa327","year":null},"citing_paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T13:21:13.687450Z"},"links":{"citing_paper":"/paper/2505.22213"},"observation_digest":"sha256:fb047478d7f94f21e832dff4fb728ccacd3ed1bcc6de55f5d95e4977308bc00b","observation_id":"69760a78-c16e-4ade-afe5-343f1e6130fe","resolution":{"observed_at":"2026-08-07T13:21:13.871251Z","resolver_source":"doi","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"}}],"paper":{"arxiv_id":"2505.22213","last_updated":"2025-05-28T10:40:02Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T13:10:21.084167Z","submitted_at":"2025-05-28T10:40:02Z","title":"Partial Redundancy in Saturation"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":12,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":13,"verified_exact":14,"verified_fuzzy":1},"total_outbound_references":41},"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 8 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2505.22213."}