Paper Citation Record · LEDGER

Partial Redundancy in Saturation

As of 7 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2505.22213.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.22213 v1

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:21:13.687450Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

41 of 41 outbound references displayed

verified exact14
verified fuzzy1
unresolved13
parse uncertain0
malformed identifier12
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e168f102-a842-4ea1-bf1c-641e9c26f572 · outbound

This paper cites Journal of Symbolic Co mputation (2003).

Partial Redundancy in Saturation Journal of Symbolic Co mputation (2003)

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T13:21:16.012999Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a725533b-9f6b-4f69-b6a4-35a9f5f0f81c · outbound

This paper cites In: Term Rew rit- ing and All That, chap.

Partial Redundancy in Saturation In: Term Rew rit- ing and All That, chap

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:10.217839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df239b29-d87f-47c8-9795-782ea9c731ad · outbound

This paper cites Progress in t heoretical computer sci- ence, Birkh¨ auser (1991).

Partial Redundancy in Saturation Progress in t heoretical computer sci- ence, Birkh¨ auser (1991)

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T13:21:15.838982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c7fb85b2-dd7e-4729-a990-801aff3173fd · outbound

This paper cites Journal of Symbolic Computation (1988).

Partial Redundancy in Saturation Journal of Symbolic Computation (1988)

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-07T13:21:10.411412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c810802-94d8-4934-8f01-76be7fd02add · outbound

This paper cites In: CADE (1990).

Partial Redundancy in Saturation In: CADE (1990)

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-07T13:21:10.540145Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70d6fb46-49b6-4d6d-b5a6-089a1199af55 · outbound

This paper cites In: Automated Deduction: A Basis for Applications , vol.

Partial Redundancy in Saturation In: Automated Deduction: A Basis for Applications , vol

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T13:21:15.630584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation eeb744fc-5775-4ef1-87c5-cd75c019915c · outbound

This paper cites In: Handbook of Automated Reasoning, pp.

Partial Redundancy in Saturation In: Handbook of Automated Reasoning, pp

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:10.727573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 982a444a-e2be-4e63-b09d-60aa64ca0316 · outbound

This paper cites Infor- mation and Computation (1995).

Partial Redundancy in Saturation Infor- mation and Computation (1995)

Reference 8

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T13:21:17.679983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d31ef2d8-05a3-4404-b3fb-555d3f898c06 · outbound

This paper cites In: CADE (2021).

Partial Redundancy in Saturation In: CADE (2021)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:11.027274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b842fda4-f81d-49ec-a031-1275faab852c · outbound

This paper cites In: CADE (2023).

Partial Redundancy in Saturation In: CADE (2023)

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T13:21:15.391623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b72221b1-7314-4fe7-8193-4250833de6f7 · outbound

This paper cites Inte rnational Journal of Foun- dations of Computer Science (1990).

Partial Redundancy in Saturation Inte rnational Journal of Foun- dations of Computer Science (1990)

Reference 12

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T13:21:18.366152Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1231d2b6-2b01-4a9e-9d91-5f7b2aa9b717 · outbound

This paper cites ACM TOCL (200 3).

Partial Redundancy in Saturation ACM TOCL (200 3)

Reference 13

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T13:21:17.371135Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cbf29249-9558-4bfb-8f52-7b1ef94c0dc0 · outbound

This paper cites In: Annual IEEE Sy mposium on Logic in Computer Science (1995).

Partial Redundancy in Saturation In: Annual IEEE Sy mposium on Logic in Computer Science (1995)

Reference 14

Resolution: malformed identifier; doi_truncated, observed 2026-08-07T13:21:17.017217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1c06ae05-c1c3-4bab-804a-9fbf82f5478d · outbound

This paper cites Com- munications of the ACM (1979).

Partial Redundancy in Saturation Com- munications of the ACM (1979)

Reference 15

Resolution: malformed identifier; no resolver link, observed 2026-08-07T13:21:11.419359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08efc8c3-a282-4bfa-8867-43c1b5691233 · outbound

This paper cites I n: ITP (2024).

Partial Redundancy in Saturation I n: ITP (2024)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:11.470320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9858c79-d24f-4aa9-9418-c0a0317326cb · outbound

This paper cites In: IJCAR (2022).

Partial Redundancy in Saturation In: IJCAR (2022)

Reference 17

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T13:21:18.212447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5341acec-f4b9-4417-9c07-5dcbac05ca25 · outbound

This paper cites an unresolved cited work.

Partial Redundancy in Saturation Unresolved cited work

Reference 18

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T13:21:18.037837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3c19a360-9cd6-476f-89c6-20603578f02d · outbound

This paper cites Journal of Symbolic Compu- tation (1988).

Partial Redundancy in Saturation Journal of Symbolic Compu- tation (1988)

Reference 19

Resolution: verified exact; doi, observed 2026-08-07T13:21:15.252990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7dda76db-7992-49b6-9eb0-c4595df42ead · outbound

This paper cites Research report, INRIA (1990), https://www.researchgate.net/publication/245850515.

Partial Redundancy in Saturation Research report, INRIA (1990), https://www.researchgate.net/publication/245850515

Reference 20

Resolution: verified exact; raw_fallback, observed 2026-08-07T13:21:16.585804Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b6a4e0c4-e923-4bb2-b4c0-28beef77d4a2 · outbound

This paper cites In: Au- tomation of Reasoning: 2: Classical Papers on Computationa l Logic 1967–1970.

Partial Redundancy in Saturation In: Au- tomation of Reasoning: 2: Classical Papers on Computationa l Logic 1967–1970

Reference 21

Resolution: verified exact; doi, observed 2026-08-07T13:21:15.103446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 719a6ea9-312c-4700-a0ee-fa6d4693bfd5 · outbound

This paper cites In: IJCAR (200 8).

Partial Redundancy in Saturation In: IJCAR (200 8)

Reference 22

Resolution: verified exact; doi, observed 2026-08-07T13:21:14.965735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 427c61e2-4a40-4b9b-815c-276bbc96cd9c · outbound

This paper cites In: ICALP (2001).

Partial Redundancy in Saturation In: ICALP (2001)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:12.108159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ae6ea17-a96d-48b6-84ae-f9368f471079 · outbound

This paper cites In: CA V (2013).

Partial Redundancy in Saturation In: CA V (2013)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:12.199904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93008c02-a709-47f6-a5e5-7cfdd9a737cb · outbound

This paper cites In: IJCAR (2004).

Partial Redundancy in Saturation In: IJCAR (2004)

Reference 25

Resolution: malformed identifier; no resolver link, observed 2026-08-07T13:21:12.294703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7145cf5b-cc40-4f45-ac0e-4ee1ee7d3f76 · outbound

This paper cites In: RTA (1993).

Partial Redundancy in Saturation In: RTA (1993)

Reference 26

Resolution: verified exact; doi, observed 2026-08-07T13:21:14.812015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 92013698-e94c-4e7f-b0fb-d49422bf0542 · outbound

This paper cites Jour nal of Automated Reasoning (2006).

Partial Redundancy in Saturation Jour nal of Automated Reasoning (2006)

Reference 27

Resolution: malformed identifier; doi_truncated, observed 2026-08-07T13:21:14.628596Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e87d62a8-9d1c-4278-af8f-99b0cb6f8438 · outbound

This paper cites In: Hand- book of Automated Reasoning, chap.

Partial Redundancy in Saturation In: Hand- book of Automated Reasoning, chap

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:12.551017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d620af1-8227-4e15-92a2-ce6bd5600998 · outbound

This paper cites Information Processing Letters (1993).

Partial Redundancy in Saturation Information Processing Letters (1993)

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:12.641601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d913e022-82fc-4aa4-929c-21dda3ff2297 · outbound

This paper cites In: ESOP (1992).

Partial Redundancy in Saturation In: ESOP (1992)

Reference 30

Resolution: verified exact; doi, observed 2026-08-07T13:21:14.525942Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b59fccdd-96d0-4b9e-95f7-a602386bd89f · outbound

This paper cites Journal of Symbolic Computation ( 1995).

Partial Redundancy in Saturation Journal of Symbolic Computation ( 1995)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:12.873119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4023548-2b92-4579-956a-b5cc4091545b · outbound

This paper cites Journal of Symbolic Computati on (1991).

Partial Redundancy in Saturation Journal of Symbolic Computati on (1991)

Reference 32

Resolution: verified exact; doi, observed 2026-08-07T13:21:14.428018Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9dff029a-989a-4a60-aa88-9563978cf408 · outbound

This paper cites Ar chive of Formal Proofs (September 2016), https://isa-afp.org/entries/SuperCalc.html.

Partial Redundancy in Saturation Ar chive of Formal Proofs (September 2016), https://isa-afp.org/entries/SuperCalc.html

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:21:17.827014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 85d7b3ae-0529-4c8f-9a1d-cff114c7ec07 · outbound

This paper cites In: T ACAS (2018).

Partial Redundancy in Saturation In: T ACAS (2018)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:13.105287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 736b3c1c-eaa2-46b1-9816-50f41513022d · outbound

This paper cites In: Logics in Artiﬁcial Intelligence (2000).

Partial Redundancy in Saturation In: Logics in Artiﬁcial Intelligence (2000)

Reference 35

Resolution: verified exact; doi, observed 2026-08-07T13:21:14.281739Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3879c17a-573f-48d6-bcde-e8978b57709b · outbound

This paper cites In: CADE (2004).

Partial Redundancy in Saturation In: CADE (2004)

Reference 36

Resolution: malformed identifier; doi_truncated, observed 2026-08-07T13:21:14.187254Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 598204f3-9ea5-4664-aa71-c0858e7f3a8b · outbound

This paper cites an unresolved cited work.

Partial Redundancy in Saturation Unresolved cited work

Reference 37

Resolution: verified exact; doi, observed 2026-08-07T13:21:14.004114Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e0d697f0-7eca-49a6-b595-a4538c50c536 · outbound

This paper cites In: CADE (2019).

Partial Redundancy in Saturation In: CADE (2019)

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:13.438467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e78b8afe-c336-43ae-bf8a-7e28ffd942e5 · outbound

This paper cites In: IJCA R (2024).

Partial Redundancy in Saturation In: IJCA R (2024)

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:13.530338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65d89745-ff9a-4cea-9942-971c8a2f8be1 · outbound

This paper cites Journal of Automated R easoning (2022).

Partial Redundancy in Saturation Journal of Automated R easoning (2022)

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-07T13:21:13.594069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cc2d9f3-015e-4bbb-9103-908c80297e27 · outbound

This paper cites In: RTA (1989).

Partial Redundancy in Saturation In: RTA (1989)

Reference 41

Resolution: malformed identifier; no resolver link, observed 2026-08-07T13:21:13.642340Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69760a78-c16e-4ade-afe5-343f1e6130fe · outbound

This paper cites In: Mathematical Systems Theory (1 990).

Partial Redundancy in Saturation In: Mathematical Systems Theory (1 990)

Reference 42

Resolution: verified exact; doi, observed 2026-08-07T13:21:13.871251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.