Paper Citation Record · LEDGER

Orthologic Type Systems

As of 11 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 1 inbound Pith citation observation for arXiv:2507.10482.

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

pith.paper-citation-record.v1
2507.10482 v1

Coverage vector

measured 49 of 49 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:41:22.514203Z

measured 50 of 50 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-03T14:11:08.611671Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

49 of 49 outbound references displayed

verified exact4
verified fuzzy3
unresolved37
parse uncertain0
malformed identifier0
metadata mismatch5

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation ae40a5c8-4b99-4846-8c6e-ee3b88d1d4f1 · outbound

This paper cites Wimmers, and T.

Orthologic Type Systems Wimmers, and T

Reference 1

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T17:41:23.752927Z

Source-reported events for the cited work

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

Observation b3c10f74-8f0e-40fe-8461-1767a2cd329a · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:19.780415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e132600f-8f6f-489c-8e31-b910bb0eb56a · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:19.862781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45d2772b-94d8-4c43-bdce-9b3f1c8b219b · outbound

This paper cites Sankappanavar.

Orthologic Type Systems Sankappanavar

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:41:23.997662Z

Source-reported events for the cited work

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

Observation d8b3d8b4-6b5e-4bd8-8209-d3329057915b · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:20.034955Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 849aa33a-dff5-41a0-bfba-8b39427be77d · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:20.122498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ac228cb-25cd-4858-8109-c24ce3149610 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:20.210377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64e9454a-46d2-4a02-9c60-dbb6238d47b2 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:20.291416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d5d9aaf-7181-4fd9-9789-facaa59474a1 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 9

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T17:41:23.411391Z

Source-reported events for the cited work

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

Observation 41b01331-979b-41be-ad4c-ec4ac3396650 · outbound

This paper cites Informatica Universita di Torino.

Orthologic Type Systems Informatica Universita di Torino

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:41:23.982785Z

Source-reported events for the cited work

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

Observation 402082a5-473b-4adb-8288-622db65800b0 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.964660Z

Source-reported events for the cited work

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

Observation 0c1b83f6-a40f-4b2b-b047-dea0b70d4fbb · outbound

This paper cites Dowling and Jean H.

Orthologic Type Systems Dowling and Jean H

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:20.601125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a18c975c-e1df-4247-a7e0-099ded5d43bc · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:20.684557Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 856fb310-25b7-48bd-bfcf-f8a7c60fa1f2 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:20.768069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 324eb558-7b50-4f74-a472-301a6f5322ed · outbound

This paper cites Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, and Robbert Krebbers.

Orthologic Type Systems Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, and Robbert Krebbers

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:20.855447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9efefd4-62e3-4fb7-a734-d4c74c366cf9 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.949701Z

Source-reported events for the cited work

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

Observation 528afea6-6cef-4d52-b01c-86479fa3e513 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.933823Z

Source-reported events for the cited work

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

Observation 5914157d-02c9-4182-9fec-e440d0a1fd2f · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.919384Z

Source-reported events for the cited work

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

Observation e6bcbb58-c246-430e-ab55-9a3aa9198715 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:21.118647Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 882ba653-00a5-4f25-8388-657f60282013 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:21.213207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb669f46-7968-4405-bbfd-8e16c019edd8 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:21.316541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c3fed62-5732-4827-94ad-f5f7ba677ecc · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.903876Z

Source-reported events for the cited work

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

Observation 420cca35-fed4-48d5-83fd-f8c2dfcde524 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:21.626177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d37206f6-eea7-454d-9df3-55bffdd1ce43 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-06T17:41:22.676558Z

Source-reported events for the cited work

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

Observation 1e9a4c4e-dd55-4fc6-8b7e-8510f4c4b24f · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.888926Z

Source-reported events for the cited work

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

Observation 275b5f51-1ced-43f9-b252-c838f4557d47 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:21.977073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 840adc92-a981-426a-8cd6-f34b8fa9b94d · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:22.076911Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 914cfb7b-5baf-441f-aa3d-8ec67608331b · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:22.252160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4d5d6e1-9593-4526-b49e-21745fe78b3d · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:22.398630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a5fcf98-5636-4801-9f5b-2f89a4b8f807 · outbound

This paper cites Study of galaxy morphology and merging time of two interacting galaxies under different initial rotation and orientation configurations.

Orthologic Type Systems Study of galaxy morphology and merging time of two interacting galaxies under different initial rotation and orientation configurations

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:22.428851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57f10908-176d-4af4-b743-9cd67598c725 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:22.434104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2357c3b5-c8c6-400b-8b8c-2258534c1de7 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.872719Z

Source-reported events for the cited work

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

Observation 7ee00162-d360-4033-9499-434bc0cb5560 · outbound

This paper cites MacQueen, Gordon D.

Orthologic Type Systems MacQueen, Gordon D

Reference 33

Resolution: verified exact; doi, observed 2026-08-06T17:41:22.608454Z

Source-reported events for the cited work

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

Observation 50da88bc-eaa2-4059-a794-b6a5e5abd5cd · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:22.448030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ca54800-1bdb-482a-a3f7-9d5191a9c3cc · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.852128Z

Source-reported events for the cited work

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

Observation 80f4308f-953e-4338-9da5-e6a67657139f · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:22.457169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 057ef311-7d40-4f2a-b3ad-e65cf35fbfa0 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.836005Z

Source-reported events for the cited work

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

Observation af941a89-3916-42b9-be17-3570d2e5d1e1 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 38

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T17:41:23.212219Z

Source-reported events for the cited work

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

Observation 2bd23d79-0251-49cf-8dc6-14f4c685b21e · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 39

Resolution: verified exact; raw_fallback, observed 2026-08-06T17:41:23.126373Z

Source-reported events for the cited work

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

Observation defe1336-731d-4075-951c-a62c3a4fa889 · outbound

This paper cites Bierman, and Panagiotis Vekris.

Orthologic Type Systems Bierman, and Panagiotis Vekris

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:22.473737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b73cd7d-9e80-43dc-8406-ef0a07db0c6d · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.820037Z

Source-reported events for the cited work

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

Observation 0c178eb3-0924-46fb-819b-2c5a35d1aae8 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:22.482835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbce579e-565f-4b84-8117-55275bfcc462 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 43

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T17:41:22.958602Z

Source-reported events for the cited work

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

Observation 00fdb6cb-8624-4c7d-938d-7b6f822f77ed · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.803988Z

Source-reported events for the cited work

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

Observation 7a7a1d85-c256-4bf5-b763-b5d8b1183584 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 45

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T17:41:22.866706Z

Source-reported events for the cited work

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

Observation b6649694-9d4a-45d4-8205-9f219f34ad7a · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:22.501951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f395e3d6-e882-4d0b-be5c-8573ba49db06 · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:41:23.787638Z

Source-reported events for the cited work

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

Observation 8907c537-e38b-48cb-bd59-5a002fbe217f · outbound

This paper cites an unresolved cited work.

Orthologic Type Systems Unresolved cited work

Reference 48

Resolution: verified exact; doi, observed 2026-08-06T17:41:22.550308Z

Source-reported events for the cited work

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

Observation 25111c63-5b9f-4a02-863e-d9a6acc19765 · outbound

This paper cites 2015-2025.

Orthologic Type Systems 2015-2025

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:41:23.769318Z

Source-reported events for the cited work

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

Pith citing papers

Observation 9a39376b-b664-4c97-9fb1-c070ff411e50 · inbound

Reformalization of the Jordan Curve Theorem cites this paper.

Reformalization of the Jordan Curve Theorem Orthologic Type Systems

Reference 224

Resolution: verified exact; arxiv_id, observed 2026-07-03T14:18:22.354865Z

Source-reported events for the cited work

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