Pith. sign in

Paper Citation Record · LEDGER

On Problems Dual to Unification: The String-Rewriting Case

As of 12 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:2103.00386.

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

pith.paper-citation-record.v1
2103.00386 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 2 of 2 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T00:53:28.459984Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-05T22:08:05.482606Z

Reference resolution

0 of 0 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation d6e28ff8-d491-4911-bb26-092287ba016f · inbound

Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction cites this paper.

Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction On Problems Dual to Unification: The String-Rewriting Case

Reference 22

Resolution
metadata mismatch
local_arxiv, observed 2026-08-05T22:08:05.486840Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-08-05T22:08:05.351897Z digest=sha256:2bf5c00a7b1775f72ec4e7e3516140e750e54604ed0a647873ff102c8981cf0f

Observation 893f4a4b-6df9-4fa4-92e5-7f6985697944 · inbound

Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction cites this paper.

Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction On Problems Dual to Unification: The String-Rewriting Case

Reference 22

Resolution
unresolved
no resolver link, observed 2026-08-08T00:53:28.459984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-08T00:53:28.459984Z digest=sha256:e574a1529693802b3b2ca56dfc4ee95da7e48bfa6473c30e2f8319e90698bcfc