Paper Citation Record · LEDGER

Combining Axiomatic Models for Refinement Proofs

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

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

pith.paper-citation-record.v1
2606.27916 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-29T02:20:43.214338Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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

12 of 12 outbound references displayed

verified exact5
verified fuzzy0
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8ce80c53-0f2b-424e-8ac5-e01dd56c167c · outbound

This paper cites Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic.

Combining Axiomatic Models for Refinement Proofs Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-06-29T02:23:00.851809Z

Source-reported events for the cited work

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

Observation eea92f83-8f06-4490-87a0-5c3723a40ca1 · outbound

This paper cites Lynch and Frits W.

Combining Axiomatic Models for Refinement Proofs Lynch and Frits W

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-06-29T02:23:00.854052Z

Source-reported events for the cited work

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

Observation 8c2a02dd-8fa1-4e51-9cc3-2bed7d701165 · outbound

This paper cites Sufficient incorrectness logic: SIL and separation SIL.

Combining Axiomatic Models for Refinement Proofs Sufficient incorrectness logic: SIL and separation SIL

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-06-29T02:23:00.849522Z

Source-reported events for the cited work

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

Observation acc5ee42-ceb7-4cc3-a177-d809348239cc · outbound

This paper cites an unresolved cited work.

Combining Axiomatic Models for Refinement Proofs Unresolved cited work

Reference 4

Resolution: verified exact; doi, observed 2026-06-29T02:23:00.855576Z

Source-reported events for the cited work

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

Observation a8c31ed7-3c40-4401-9cc3-a95370794cc7 · outbound

This paper cites Acta Informatica , volume =.

Combining Axiomatic Models for Refinement Proofs Acta Informatica , volume =

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-29T02:20:43.214338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a82eb13f-35ac-4a83-9d5a-85c1edd5b0f6 · outbound

This paper cites Theoretical Computer Science , volume =.

Combining Axiomatic Models for Refinement Proofs Theoretical Computer Science , volume =

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-29T02:20:43.214338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65bef1ab-4a6e-42e2-a0f0-75e59f55cac6 · outbound

This paper cites Floyd , title =.

Combining Axiomatic Models for Refinement Proofs Floyd , title =

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-29T02:20:43.214338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49a7d71c-d8d2-45cf-b4b1-0c5d9fd1070e · outbound

This paper cites an unresolved cited work.

Combining Axiomatic Models for Refinement Proofs Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-29T02:20:43.214338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab25dcb0-0347-4b4c-a751-ab4b5181cebd · outbound

This paper cites POPL , pages =.

Combining Axiomatic Models for Refinement Proofs POPL , pages =

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-29T02:20:43.214338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e1d421e-2544-4b11-bb39-159519df89f7 · outbound

This paper cites an unresolved cited work.

Combining Axiomatic Models for Refinement Proofs Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-29T02:20:43.214338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ac2a32f-fd96-4044-906f-99c2462e8b71 · outbound

This paper cites org/abs/2504.20415v1.

Combining Axiomatic Models for Refinement Proofs org/abs/2504.20415v1

Reference 11

Resolution: verified exact; doi, observed 2026-06-29T02:23:00.857209Z

Source-reported events for the cited work

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

Observation e5e97636-6ad5-4d4b-ad50-c9c56823372b · outbound

This paper cites Automatic Inference of Necessary Preconditions.

Combining Axiomatic Models for Refinement Proofs Automatic Inference of Necessary Preconditions

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-29T02:20:43.214338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.