Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T14:41:36.576157Z
Paper Citation Record · LEDGER
Re-evaluation of Logical Specification in Behavioural Verification
As of 22 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 1 inbound Pith citation observation for arXiv:2505.17979.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T05:12:57.648790Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-07T05:12:57.760308Z
Reference resolution
16 of 16 outbound references displayed
- verified exact0
- verified fuzzy1
- unresolved15
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e9298c93-f088-4353-a933-dd096e86fd4a · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T14:41:39.087586Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 10b693fb-99ba-4ba9-8301-3ea86b249a70 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T14:41:38.870156Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f85bafc8-8c05-447a-8181-ee06eb97752c · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:41:35.446589Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ddcca600-b5b2-469a-aa21-8a62d4ee6c10 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:41:35.519744Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a399082a-d9e9-4e12-ba5e-d6066392f285 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:41:35.591947Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0831e801-ccae-4a64-8f14-dac56c088974 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T14:41:38.617878Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4a36c899-b248-4667-ae6c-103e1e7a1e67 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:41:35.812817Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7c35bd8a-fa18-4f88-a50b-c4f9a3a8b549 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T14:41:38.384293Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation da777993-bb71-440f-ba0d-b84baef0f30e · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T14:41:38.153542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6afaa6c4-5fe2-4610-9ae2-d19441d24091 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T14:41:37.986880Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0e241e8c-83c7-4c5a-b7d9-61e793f36371 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T14:41:37.815816Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a1f20a32-d99f-4e3f-afd6-bfac66c886d5 · outbound
This paper cites Schaefer.
Re-evaluation of Logical Specification in Behavioural Verification Schaefer
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:41:36.261487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 81d20e40-673e-4aa4-b399-2add84717e9b · outbound
This paper cites Mitchell, and Hector J.
Re-evaluation of Logical Specification in Behavioural Verification Mitchell, and Hector J
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T14:41:37.595165Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e6e103b4-3871-486e-a9ca-fd38efe48831 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T14:41:37.378522Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b2b603ed-f293-4f1f-b396-d0d2312ebac3 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T14:41:37.212735Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 9a5c3fba-8caf-4cb0-9ba2-2c961d1dcf90 · outbound
This paper cites an unresolved cited work.
Re-evaluation of Logical Specification in Behavioural Verification Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T14:41:36.576157Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation 03b239cf-30a5-4fb6-b120-28461fe7d8d6 · inbound
Logic Mining from Process Logs: Towards Automated Specification and Verification cites this paper.
Logic Mining from Process Logs: Towards Automated Specification and Verification Re-evaluation of Logical Specification in Behavioural Verification
Reference 42
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-07T05:12:57.765273Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.