Paper Citation Record · LEDGER

Term Ordering Diagrams

As of 8 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2505.22181.

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

pith.paper-citation-record.v1
2505.22181 v1

Coverage vector

measured 45 of 45 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:24:20.450684Z

measured 45 of 45 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

45 of 45 outbound references displayed

verified exact10
verified fuzzy9
unresolved21
parse uncertain0
malformed identifier5
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2573774d-bd16-46d7-b9f7-3ae4969a285d · outbound

This paper cites ACM TOCL (2003).

Term Ordering Diagrams ACM TOCL (2003)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:17.172289Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4822f9b-d2a7-474b-86d0-ccaf4b8f3a02 · outbound

This paper cites Journal of Automated Reasoning (1997).

Term Ordering Diagrams Journal of Automated Reasoning (1997)

Reference 2

Resolution: verified exact; doi, observed 2026-08-07T13:24:21.995624Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ed70df7a-275e-4ebb-afbb-a5b2ffcfa33e · outbound

This paper cites In: IJCAR (2022).

Term Ordering Diagrams In: IJCAR (2022)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:17.350999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87ee319c-a2f1-45ec-a0a3-2561ba68c2a7 · outbound

This paper cites In: IJCAR (2020).

Term Ordering Diagrams In: IJCAR (2020)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:17.477643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de27bd3d-1b81-4538-8a27-3b23282e62a8 · outbound

This paper cites Unpub- lished manuscript (1980).

Term Ordering Diagrams Unpub- lished manuscript (1980)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:26.148361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 29e224e7-30dd-4a21-acc8-3e278cacc1d4 · outbound

This paper cites In: Automation of Reasoning 2.

Term Ordering Diagrams In: Automation of Reasoning 2

Reference 6

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f517c4a-2968-4f11-9b17-4cb01bd3fb2f · outbound

This paper cites In: IJCAR (2008).

Term Ordering Diagrams In: IJCAR (2008)

Reference 7

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c0e0c70-4f86-4cbe-8286-4b84e447c0ff · outbound

This paper cites In: ICALP (2001).

Term Ordering Diagrams In: ICALP (2001)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:17.802589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7f2de3f-140f-4d7f-8362-2dfec618ef3e · outbound

This paper cites Information and Computation (2003).

Term Ordering Diagrams Information and Computation (2003)

Reference 9

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4435bf6b-f0e0-4dbb-aac6-9a07989b3b85 · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:17.951373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2580495a-0a48-4e6f-b911-d5ee6ad2efe6 · outbound

This paper cites International Journal on Artificial Intelligence Tools (2006).

Term Ordering Diagrams International Journal on Artificial Intelligence Tools (2006)

Reference 12

Resolution: verified exact; doi, observed 2026-08-07T13:24:21.441492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 189c4cf3-7a09-4065-827a-eb4c72cc1449 · outbound

This paper cites In: IWIL (2001), https://www.researchgate.net/publication/229079124.

Term Ordering Diagrams In: IWIL (2001), https://www.researchgate.net/publication/229079124

Reference 13

Resolution: verified exact; raw_fallback, observed 2026-08-07T13:24:22.726410Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1d1dca40-85eb-4f4d-9489-2db4859c8251 · outbound

This paper cites Journal of Automated Reasoning (2006).

Term Ordering Diagrams Journal of Automated Reasoning (2006)

Reference 14

Resolution: verified exact; doi, observed 2026-08-07T13:24:21.198599Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 392d40d5-d838-4e85-ae7f-5159cc89a6af · outbound

This paper cites Journal of Automated Reasoning (1997).

Term Ordering Diagrams Journal of Automated Reasoning (1997)

Reference 15

Resolution: verified exact; doi, observed 2026-08-07T13:24:21.057782Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 912bafd1-3065-4286-88e3-73f4730f12ff · outbound

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

Term Ordering Diagrams In: Hand- book of Automated Reasoning, chap

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:18.430699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aef3060a-2ac0-45e5-8c6d-fde3e2d4ea53 · outbound

This paper cites Information Processing Letters (1993).

Term Ordering Diagrams Information Processing Letters (1993)

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T13:24:20.927295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 29ca8fb2-46c1-47e4-a535-b07d67a1c4c1 · outbound

This paper cites In: CADE (1999).

Term Ordering Diagrams In: CADE (1999)

Reference 18

Resolution: verified exact; doi, observed 2026-08-07T13:24:20.801732Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f3ae5eeb-7f1e-4e27-9de6-82eb1abf8951 · outbound

This paper cites Information and Computation (2002).

Term Ordering Diagrams Information and Computation (2002)

Reference 19

Resolution: verified exact; raw_fallback, observed 2026-08-07T13:24:22.355473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 686b980f-58ed-4121-bf8c-7ef4bdc7c5a7 · outbound

This paper cites In: JELIA (2000).

Term Ordering Diagrams In: JELIA (2000)

Reference 20

Resolution: verified exact; doi, observed 2026-08-07T13:24:20.646188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ff807948-6090-40e1-ae54-abbaa368b1f6 · outbound

This paper cites In: CADE (2004).

Term Ordering Diagrams In: CADE (2004)

Reference 21

Resolution: verified exact; doi, observed 2026-08-07T13:24:21.675244Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cdba1ff8-e101-48cc-b3d0-8cad1442b5d2 · outbound

This paper cites In: CADE (2019).

Term Ordering Diagrams In: CADE (2019)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:18.860220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a633a5f6-26f8-4453-9c70-f50bd482756e · outbound

This paper cites In: Handbook of Au- tomated Reasoning, chap.

Term Ordering Diagrams In: Handbook of Au- tomated Reasoning, chap

Reference 23

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3947de89-a6f8-42b3-b0ca-e388529b2d8b · outbound

This paper cites AI Magazine (2016).

Term Ordering Diagrams AI Magazine (2016)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:18.982761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e8699df-c5d4-4bbf-8069-872319835ae4 · outbound

This paper cites In: IJCAR (2024).

Term Ordering Diagrams In: IJCAR (2024)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:19.036998Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adc8b92b-3f2e-40ba-956d-05896702c14c · outbound

This paper cites Journal of Automated Reasoning (2022).

Term Ordering Diagrams Journal of Automated Reasoning (2022)

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:19.094045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3449218-ec4a-4038-bf97-f9122e419743 · outbound

This paper cites Science of Computer Programming (2015).

Term Ordering Diagrams Science of Computer Programming (2015)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T13:24:19.147453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c9748dc-c1db-420e-9de6-910b3c774209 · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:26.003761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 78ff0c9d-6f83-4b28-8aaa-1072cb2b6176 · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:25.860451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3c923884-41d6-408b-8e50-6926bc474934 · outbound

This paper cites Since x ⩾̸ z is implied by TR∧ F , we conclude that the node labeled x >? z forces label ≱.

Term Ordering Diagrams Since x ⩾̸ z is implied by TR∧ F , we conclude that the node labeled x >? z forces label ≱

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:25.710411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9c544726-68b6-48e6-b549-ac2fb76ab37c · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:25.570671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7003861b-28d7-4786-9bf7-c9107f9db103 · outbound

This paper cites We noted earlier that KBO and LPO can be implemented in linear, respectively quadratic time in the size of the compared terms [14,12].

Term Ordering Diagrams We noted earlier that KBO and LPO can be implemented in linear, respectively quadratic time in the size of the compared terms [14,12]

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:25.397628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f5bcef73-4037-452a-abee-a68b6c303fa4 · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:25.264508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 693e0c87-77ac-4d61-9117-455cc13597a5 · outbound

This paper cites For this, we have to work on pairs of terms and substitutions, as defined below.

Term Ordering Diagrams For this, we have to work on pairs of terms and substitutions, as defined below

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:25.126725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a8ff1169-5061-4c6e-8dc0-078f1b6367a8 · outbound

This paper cites We get a·ε =a·θ, which is true by case (1) since a is ground.

Term Ordering Diagrams We get a·ε =a·θ, which is true by case (1) since a is ground

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:24.964307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 90f8fa7c-3c6c-4443-9443-f7692ade809c · outbound

This paper cites We get b·σ =b·ε, which is true by case (1) since b is ground.

Term Ordering Diagrams We get b·σ =b·ε, which is true by case (1) since b is ground

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:24.831307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fa0c5792-a70f-49b8-843e-594cdaf3c25e · outbound

This paper cites Finally,f(z,u )·ε≻lpo z·ε holds due to (L1) and f(z,u )≻lpo z.

Term Ordering Diagrams Finally,f(z,u )·ε≻lpo z·ε holds due to (L1) and f(z,u )≻lpo z

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:24.699553Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d4032e0e-82d9-4770-b1f0-9621e73358a9 · outbound

This paper cites This holds by (L1) and f(z,u )≻lpo u.

Term Ordering Diagrams This holds by (L1) and f(z,u )≻lpo u

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:24.534027Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation be192053-2bbb-4027-abba-8df6d948c0e9 · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:24.400440Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3b8e402f-7307-4fc0-8537-47fae62a8a1c · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:24.229760Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 77809636-5aa2-4233-b0a6-d569e6e42c0b · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:24.095004Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a271ab06-ed10-4c26-bb15-38bbcd6e900c · outbound

This paper cites for free.

Term Ordering Diagrams for free

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:23.933821Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d63dcf5a-e3bf-43bd-bd83-e5cac35d621a · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:23.782894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 85b23832-e090-498e-8bd5-61ebb167aace · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:23.648530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation afb5ce00-812b-4325-a78f-c0141da610ae · outbound

This paper cites an unresolved cited work.

Term Ordering Diagrams Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:23.438621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6531bf6c-c0d4-45fd-ba48-97e0a4ad8d48 · outbound

This paper cites queries” represent the number of retrievals for TODs, whereas “answers.

Term Ordering Diagrams queries” represent the number of retrievals for TODs, whereas “answers

Reference 46

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T13:24:23.201241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

No inbound Pith citation observations are available.