Pith. sign in

Paper Citation Record · LEDGER

Model checking with temporal graphs and their derivative

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

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

pith.paper-citation-record.v1
2602.12446 v3

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-04T06:34:03.388597+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-07-14T11:42:51.239967Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-10T12:15:01.137692Z

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 2ef42198-552f-478a-a860-18b46586e12b · inbound

Maximizing Reachability via Shifting of Temporal Paths cites this paper.

Maximizing Reachability via Shifting of Temporal Paths Model checking with temporal graphs and their derivative

Reference 163

Resolution
metadata mismatch
local_arxiv, observed 2026-05-13T05:02:17.127627Z

Source-reported events for the cited work

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

source=arxiv_source observed=2026-05-13T05:00:02.957536Z digest=sha256:95d605e92cc3e21d09c5b6b9bc1f1c2ea50aa6132701f3ea5b3ba572c9d1c4cd

Observation a899957b-fb4c-4adb-9497-cd47a50be60f · inbound

Decomposing time-varying data into simple pieces: structured decompositions of narratives cites this paper.

Decomposing time-varying data into simple pieces: structured decompositions of narratives Model checking with temporal graphs and their derivative

Reference 8

Resolution
unresolved
no resolver link, observed 2026-07-14T11:42:51.239967Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-14T11:42:51.239967Z digest=sha256:275974a26fb5c1b237f37344177d269cfb71fd06f34266229592d47c35c9f811