Paper Citation Record · LEDGER

The Triguarded Fragment

As of 20 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2608.02013.

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

pith.paper-citation-record.v1
2608.02013 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T16:49:19.934554Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

38 of 38 outbound references displayed

verified exact5
verified fuzzy0
unresolved33
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2a9af994-7b8b-4415-9310-a3ee0b1ecff1 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.487735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b482d721-f892-4e6d-b481-e6e36ba94195 · outbound

This paper cites 2007.The Description Logic Handbook: Theory, Implementation, and Applications(second ed.).

The Triguarded Fragment 2007.The Description Logic Handbook: Theory, Implementation, and Applications(second ed.)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.545618Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f97161e-92f1-4ef1-9ac3-c5e7dd543016 · outbound

This paper cites 2017.An Introduction to Description Logic.

The Triguarded Fragment 2017.An Introduction to Description Logic

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.672690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ba36d1a-c466-4c1f-9126-212f2e2c016d · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.752265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e60c2de-61b0-42f4-98f8-1bacb9b76929 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.837789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36a1eb4c-2de3-47a3-ab83-92a997b7f550 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.841482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e539af63-60da-4f44-9c8b-44740fa920e7 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.845476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d21fad61-6bb7-4bec-b1bf-9da5c996eb9f · outbound

This paper cites 1997.The Classical Decision Problem.

The Triguarded Fragment 1997.The Classical Decision Problem

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.849156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0ae3d2b-f1bc-48f4-890a-7f43d92cc0e3 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-08-04T16:53:42.952677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a7f50a1e-25b7-47f2-b7e3-9829f6d226be · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.855370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3abcb13-7081-45a3-b53d-745fa40d7e0c · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.858601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9c07a9d-60bd-43a0-a979-2b673293997b · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-08-04T16:53:42.744825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 90c832f0-f572-46ab-a142-2fcff732bfd1 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.868624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab2e99d6-18bf-46c1-a9b0-1abf80b9fe11 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.871336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af57910a-fc14-4d0f-9f3b-e9795b0fd840 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.874056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6961f64-51ec-4f69-bcda-07b41f9bbb63 · outbound

This paper cites Kolaitis, and Moshe Y.

The Triguarded Fragment Kolaitis, and Moshe Y

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.877139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e7ab649-d952-4487-a855-b0375c382938 · outbound

This paper cites Grädel, M.

The Triguarded Fragment Grädel, M

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.880093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fefc05f-9894-4a40-895f-b4943d88d867 · outbound

This paper cites 2006.Saturation-Based Decision Procedures for Extensions of the Guarded Fragment.

The Triguarded Fragment 2006.Saturation-Based Decision Procedures for Extensions of the Guarded Fragment

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.882775Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2bef635-fab4-4cdf-98ce-aca952b6e63e · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-04T16:53:42.521086Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 339c0470-2864-4303-a5f8-6b534d389188 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.888359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab0c031b-6a1a-4232-bb87-2a16a06245e7 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.890967Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1d6e0f8-4e2f-49f9-84ff-b298ae29c3e1 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.893637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa322b9c-31be-4bf1-bdcd-a8712aeaf3f3 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.896402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19932210-e94e-4d2d-87aa-1a6a582b38dd · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.899083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34993c21-16cf-443c-934f-50c1ed492994 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.901686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f08bf7bd-7219-42f6-8e94-32a0046adefa · outbound

This paper cites 2023.Fragments of First-Order Logic.

The Triguarded Fragment 2023.Fragments of First-Order Logic

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.904427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fa4240b-5148-4e57-a415-4a240f2db191 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.907191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78ffa913-6862-4260-ad02-8364631e11fc · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.909774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24033bd0-3074-407a-bac0-b93dd9913542 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.912264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8496f3be-eab5-4762-9af0-63ad1c492022 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-08-04T16:53:42.188053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bb59256a-e55f-4295-8c35-22a0a1c950a2 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.917394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2ae77b8-14bc-4551-b80f-cbd80fc716d4 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.919965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da163892-d929-4bda-b2c1-91789f48bf2e · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.922624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa423e86-61e4-4b81-9d5e-269f23aa94f9 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.925589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 176b59ed-06ca-4251-a22d-d10ab6bbd070 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.928510Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15a6bd2d-1754-4b5e-bbee-309e8f3b96e4 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 36

Resolution: verified exact; doi, observed 2026-08-04T16:53:41.889183Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ae351a3a-3957-4620-b193-cf3481f16e60 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.934554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e5cf6c9-13bb-4c69-8d90-6c7f8c858448 · outbound

This paper cites an unresolved cited work.

The Triguarded Fragment Unresolved cited work

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-04T16:49:19.861863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.