Paper Citation Record · LEDGER

Cancellative Convex Semilattices

As of 21 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2507.11186.

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

pith.paper-citation-record.v1
2507.11186 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:28:12.722025Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

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

22 of 22 outbound references displayed

verified exact9
verified fuzzy1
unresolved9
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 52def929-96a2-4020-b862-c1ba104d35d7 · outbound

This paper cites 23 Hellmuth Kneser.

Cancellative Convex Semilattices 23 Hellmuth Kneser

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T17:28:11.473113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a78e3d49-424d-4305-a94c-d1dfd7ecb6c2 · outbound

This paper cites 28 Matteo Mio and Valeria Vignudelli.

Cancellative Convex Semilattices 28 Matteo Mio and Valeria Vignudelli

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T17:28:11.877684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 592a1432-6b41-4693-9b6e-ff66785dee02 · outbound

This paper cites 36 Ana Sokolova and Harald Woracek.

Cancellative Convex Semilattices 36 Ana Sokolova and Harald Woracek

Reference 17

Resolution: verified exact; doi, observed 2026-08-06T17:28:13.651590Z

Source-reported events for the cited work

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

Observation 9df1373c-c85c-459b-9a1f-f3facf6e5902 · outbound

This paper cites an unresolved cited work.

Cancellative Convex Semilattices Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T17:28:12.285253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 304798b7-1937-4b35-a61a-34766e6000e7 · outbound

This paper cites an unresolved cited work.

Cancellative Convex Semilattices Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:28:15.168795Z

Source-reported events for the cited work

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

Observation 96457b63-96fb-4bc3-b83d-e0a09398d6ea · outbound

This paper cites an unresolved cited work.

Cancellative Convex Semilattices Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T17:28:11.998361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 093e249a-a231-4b6c-b8a5-3b62086663d2 · outbound

This paper cites 39 Tadeusz Świrszcz.

Cancellative Convex Semilattices 39 Tadeusz Świrszcz

Reference 1949

Resolution: verified exact; doi, observed 2026-08-06T17:28:13.374188Z

Source-reported events for the cited work

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

Observation 4342cc33-f098-444c-93e7-7b1cc1db070f · outbound

This paper cites 24 Marta Z.

Cancellative Convex Semilattices 24 Marta Z

Reference 1952

Resolution: verified exact; doi, observed 2026-08-06T17:28:13.795884Z

Source-reported events for the cited work

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

Observation 471f66e2-fc87-4bf3-9ecb-1b506c6f1bec · outbound

This paper cites A storm is coming: A modern probabilistic model checker.

Cancellative Convex Semilattices A storm is coming: A modern probabilistic model checker

Reference 1977

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:28:15.326326Z

Source-reported events for the cited work

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

Observation 2d1bf913-9e5a-400e-8082-25c765adaacf · outbound

This paper cites 1016/j.ic.2006.09.001.

Cancellative Convex Semilattices 1016/j.ic.2006.09.001

Reference 2006

Resolution: verified exact; doi, observed 2026-08-06T17:28:14.447102Z

Source-reported events for the cited work

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

Observation 1caa9d28-641d-4356-9a0f-919bd5892ee0 · outbound

This paper cites org/10.1016/j.ic.2008.08.002, doi:10.1016/j.ic.2008.08.002.

Cancellative Convex Semilattices org/10.1016/j.ic.2008.08.002, doi:10.1016/j.ic.2008.08.002

Reference 2008

Resolution: verified exact; doi, observed 2026-08-06T17:28:14.282328Z

Source-reported events for the cited work

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

Observation 4846209f-0239-44b2-a415-82b356f294d7 · outbound

This paper cites 41 Daniele Varacca.Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation.

Cancellative Convex Semilattices 41 Daniele Varacca.Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-06T17:28:12.522760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abd257ff-720b-4079-a4ee-425361d0e2e9 · outbound

This paper cites org/10.1007/978-3-642-15240-5_1, doi:10.1007/978-3-642-15240-5\_1.

Cancellative Convex Semilattices org/10.1007/978-3-642-15240-5_1, doi:10.1007/978-3-642-15240-5\_1

Reference 2010

Resolution: verified exact; doi, observed 2026-08-06T17:28:13.936717Z

Source-reported events for the cited work

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

Observation e977e5bd-9926-4049-b134-dda8cf83b77c · outbound

This paper cites 1016/j.jpaa.2014.10.005.

Cancellative Convex Semilattices 1016/j.jpaa.2014.10.005

Reference 2015

Resolution: verified exact; doi, observed 2026-08-06T17:28:13.539030Z

Source-reported events for the cited work

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

Observation 482bd9ba-8cda-4796-ac84-7490a0d0770d · outbound

This paper cites 19 Bart Jacobs.

Cancellative Convex Semilattices 19 Bart Jacobs

Reference 2016

Resolution: verified exact; doi, observed 2026-08-06T17:28:14.126729Z

Source-reported events for the cited work

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

Observation f7762690-9ec0-4af6-bf26-36b34d0d0f51 · outbound

This paper cites A Convenient Category for Higher-Order Probability Theory.

Cancellative Convex Semilattices A Convenient Category for Higher-Order Probability Theory

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-06T17:28:11.041098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb1fb864-2084-4acb-b8c7-84dd38e8c785 · outbound

This paper cites 2019.8785673.

Cancellative Convex Semilattices 2019.8785673

Reference 2019

Resolution: malformed identifier; no resolver link, observed 2026-08-06T17:28:09.897613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f86a6d2-2d18-427e-8e9a-6d40b20e69bf · outbound

This paper cites 13 Hans A.

Cancellative Convex Semilattices 13 Hans A

Reference 2020

Resolution: malformed identifier; no resolver link, observed 2026-08-06T17:28:10.711658Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32f8cddd-8c9c-40d1-ba98-0e051cea58dd · outbound

This paper cites 4230/LIPIcs.CALCO.2021.11, doi:10.4230/LIPIcs.CALCO.2021.11.

Cancellative Convex Semilattices 4230/LIPIcs.CALCO.2021.11, doi:10.4230/LIPIcs.CALCO.2021.11

Reference 2021

Resolution: verified exact; doi, observed 2026-08-06T17:28:14.643730Z

Source-reported events for the cited work

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

Observation 4a5c7f4c-22bb-4ef1-b2a0-5e2fb231876b · outbound

This paper cites 6 Pablo S.

Cancellative Convex Semilattices 6 Pablo S

Reference 2022

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T17:28:15.440167Z

Source-reported events for the cited work

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

Observation 3dbf5a31-6053-485f-a969-7b66fb9f4886 · outbound

This paper cites 2 Christel Baier and Joost-Pieter Katoen.Principles of model checking.

Cancellative Convex Semilattices 2 Christel Baier and Joost-Pieter Katoen.Principles of model checking

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-06T17:28:09.800153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a44aa9c-3bea-45b5-9ef2-f55ad61e7647 · outbound

This paper cites CALCO 2025.

Cancellative Convex Semilattices CALCO 2025

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-06T17:28:12.722025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.