{"as_of":"2026-08-21T11:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:893e22cc1752e9b13e5baff1eb11761bdc9b3c0394b189c42e1d1aae2b8768ea","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:28:12.722025Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2507.11186/citation-record","integrity":"/paper/2507.11186/integrity","json":"/paper/2507.11186/citation-record.json","paper":"/paper/2507.11186"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:11.473113Z","title":"23 Hellmuth Kneser","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:11.473113Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:45c1bb4a1b64a6f5d1fe788d3c9e0f963b6353b32d725f313b6a379ace6aa19c","observation_id":"52def929-96a2-4020-b862-c1ba104d35d7","resolution":{"observed_at":"2026-08-06T17:28:11.473113Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:11.877684Z","title":"28 Matteo Mio and Valeria Vignudelli","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:11.877684Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:62f5dabddda63d0c75c0b96c222fe0ffabae3b739346f81d81fb066a2e4bb74f","observation_id":"a78e3d49-424d-4305-a94c-d1dfd7ecb6c2","resolution":{"observed_at":"2026-08-06T17:28:11.877684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1515/dema-2013-0332","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"36 Ana Sokolova and Harald Woracek","venue":"Demonstratio Mathematica","work_id":"0836b400-2f22-4051-b9ae-7a2b6642d999","year":2013},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:12.104394Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:d918068f23929fb2290db95668e24a69077236b9d4a6997fa54177022f71e8c7","observation_id":"592a1432-6b41-4693-9b6e-ff66785dee02","resolution":{"observed_at":"2026-08-06T17:28:13.651590Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:12.285253Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:12.285253Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:b372b116c15e2033222d9ce0730f73f913554350284ac278a6875b66c311355a","observation_id":"9df1373c-c85c-459b-9a1f-f3facf6e5902","resolution":{"observed_at":"2026-08-06T17:28:12.285253Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:15.137611Z","title":null,"venue":null,"work_id":"35de45d3-1de2-48f1-ade2-fcdfddedc35c","year":1985},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:12.628256Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:0a6345aa1f68a580d7d213c5fa6aec4ace5c962198acd18bddc0ec890c0187c9","observation_id":"304798b7-1937-4b35-a61a-34766e6000e7","resolution":{"observed_at":"2026-08-06T17:28:15.168795Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:11.998361Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:11.998361Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:cd7588c7f42d149f972e43782e2b2cb843239b99b77691745281299545648925","observation_id":"96457b63-96fb-4bc3-b83d-e0a09398d6ea","resolution":{"observed_at":"2026-08-06T17:28:11.998361Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf02413910","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"39 Tadeusz Świrszcz","venue":"Annali di Matematica Pura ed Applicata (1923 -)","work_id":"4d2a0f31-a227-4476-b206-7c05bd7f8f09","year":null},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":1949,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:12.409249Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:ba888191ae38394cb63790c8ce993279a00357f6e7789cd3be8839a5028ceff9","observation_id":"093e249a-a231-4b6c-b8a5-3b62086663d2","resolution":{"observed_at":"2026-08-06T17:28:13.374188Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01899364","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"24 Marta Z","venue":"Archiv der Mathematik","work_id":"4d654c13-cacd-463b-8891-c6ad71ed8a08","year":null},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":1952,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:11.611503Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:38536e38bd9eb1f643db3fc9cb622dd6191072751d501109bd67d9717945d3a7","observation_id":"4342cc33-f098-444c-93e7-7b1cc1db070f","resolution":{"observed_at":"2026-08-06T17:28:13.795884Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:15.258287Z","title":"A storm is coming: A modern probabilistic model checker","venue":null,"work_id":"ce0f1c82-d231-4770-8d17-7a44d95328be","year":2017},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":1977,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:10.223550Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:0fc016b804d4dc5b11c749c1eab2e1f4462a1fcdfc00c38b8508fff9323357e5","observation_id":"471f66e2-fc87-4bf3-9ecb-1b506c6f1bec","resolution":{"observed_at":"2026-08-06T17:28:15.326326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2006.09.001","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"1016/j.ic.2006.09.001","venue":"Information and Computation","work_id":"8981a999-3133-4c77-9b3c-bca0e23d0b35","year":2006},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:10.361877Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:81c05685d35c656fe67fd0de84d951b9e4c1192ff92705ce5c6bb90f2a08349e","observation_id":"2d1bf913-9e5a-400e-8082-25c765adaacf","resolution":{"observed_at":"2026-08-06T17:28:14.447102Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2008.08.002","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"org/10.1016/j.ic.2008.08.002, doi:10.1016/j.ic.2008.08.002","venue":"Information and Computation","work_id":"ae17b235-686a-402b-8d68-2e052dd4d8ab","year":2008},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:10.531999Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:00a6da39cd3d75dd612d127a6b7d655cb9de6072044835101dd15c7aceb51741","observation_id":"1caa9d28-641d-4356-9a0f-919bd5892ee0","resolution":{"observed_at":"2026-08-06T17:28:14.282328Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:12.522760Z","title":"41 Daniele Varacca.Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:12.522760Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:7612cb606bc4e648fe32fdcf80f152c10d9724d53e81111b1ae53a0276d615b3","observation_id":"4846209f-0239-44b2-a415-82b356f294d7","resolution":{"observed_at":"2026-08-06T17:28:12.522760Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-15240-5_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"org/10.1007/978-3-642-15240-5_1, doi:10.1007/978-3-642-15240-5\\_1","venue":"IFIP International Federation for Information Processing/IFIP","work_id":"98669c22-e157-4b37-a26f-139737033f10","year":null},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:11.338598Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:da519ff854feebafbaf54767c0fc6dc0c5b2f9078f2c9eb467ab03263d8d803b","observation_id":"abd257ff-720b-4079-a4ee-425361d0e2e9","resolution":{"observed_at":"2026-08-06T17:28:13.936717Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jpaa.2014.10.005","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"1016/j.jpaa.2014.10.005","venue":"Journal of Pure and Applied Algebra","work_id":"6dc22cce-8c99-4a76-a92d-e195738743e3","year":2014},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:12.219509Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:fc20ec45402330461ee8291e13f4f0a3c796dd0b4baab320ca279b594f2011d2","observation_id":"e977e5bd-9926-4049-b134-dda8cf83b77c","resolution":{"observed_at":"2026-08-06T17:28:13.539030Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11225-015-9641-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"19 Bart Jacobs","venue":"Studia Logica","work_id":"3f7f1d4a-46e1-4fbb-8516-afa30e2eb2e0","year":null},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:11.187285Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:741c51af8126e3ece3165fdb94b43ef793bbd74d8af14bf650f212348541350c","observation_id":"482bd9ba-8cda-4796-ac84-7490a0d0770d","resolution":{"observed_at":"2026-08-06T17:28:14.126729Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1701.02547","last_updated":"2020-11-20T08:56:11Z","snapshot_observed_at":"2026-08-14T21:21:50.552207Z","submitted_at":"2017-01-10T12:19:05Z","title":"A Convenient Category for Higher-Order Probability Theory","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1701.02547","snapshot_observed_at":"2026-08-06T17:28:11.041098Z","title":"18 Jennifer Hyndman, James B","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:11.041098Z"},"links":{"cited_paper":"/paper/1701.02547","citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:fdab9fc3207208cf1c5e396d6b719f60e5db49353a7fdc670e656f324d802885","observation_id":"f7762690-9ec0-4af6-bf26-36b34d0d0f51","resolution":{"observed_at":"2026-08-06T17:28:11.041098Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:09.897613Z","title":"2019.8785673","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:09.897613Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:8dbc705daebd2dfc61257b2d5a12a11c37b8d1f9e53e8c0cae5c5b8248b0fdc7","observation_id":"bb1fb864-2084-4acb-b8c7-84dd38e8c785","resolution":{"observed_at":"2026-08-06T17:28:09.897613Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:10.711658Z","title":"13 Hans A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:10.711658Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:5243bf48a1f405c12f6191c5df1295ae9d2c155e2c82ab57ed29b35e4125f45d","observation_id":"2f86a6d2-2d18-427e-8e9a-6d40b20e69bf","resolution":{"observed_at":"2026-08-06T17:28:10.711658Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.calco.2021.11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"4230/LIPIcs.CALCO.2021.11, doi:10.4230/LIPIcs.CALCO.2021.11","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"da96911c-c4a6-45bd-bf59-4306c0677fbc","year":2021},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:10.008743Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:5d82d6dbc1ca4094391a17e207656a037cb1b8ec052bfcc3fc48e6af4983f6f9","observation_id":"32f8cddd-8c9c-40d1-ba98-0e051cea58dd","resolution":{"observed_at":"2026-08-06T17:28:14.643730Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:15.371443Z","title":"6 Pablo S","venue":null,"work_id":"3030b846-17bc-4c76-9062-b36f175d713e","year":2022},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:10.066375Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:ffaaa0fb67982e07e683ec94778d44f997b1add7f89b52f26bc4c00f6778ff94","observation_id":"4a5c7f4c-22bb-4ef1-b2a0-5e2fb231876b","resolution":{"observed_at":"2026-08-06T17:28:15.440167Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:09.800153Z","title":"2 Christel Baier and Joost-Pieter Katoen.Principles of model checking","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:09.800153Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:27df8aaa6603e82a0e0b6a89bee9ef7e5825748104b5b4624fc1435ab32b3fea","observation_id":"3dbf5a31-6053-485f-a969-7b66fb9f4886","resolution":{"observed_at":"2026-08-06T17:28:09.800153Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:28:12.722025Z","title":"CALCO 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-06T17:28:12.722025Z"},"links":{"citing_paper":"/paper/2507.11186"},"observation_digest":"sha256:e520be161878e4600ecd88943d9cc52a2dc9f309351822e28a4dc19bcc5edb78","observation_id":"7a44aa9c-3bea-45b5-9ef2-f55ad61e7647","resolution":{"observed_at":"2026-08-06T17:28:12.722025Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.11186","last_updated":"2025-07-15T10:40:48Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-06T17:11:50.656206Z","submitted_at":"2025-07-15T10:40:48Z","title":"Cancellative Convex Semilattices"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":9,"verified_fuzzy":1},"total_outbound_references":22},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"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."}