Paper Citation Record · LEDGER

Converting ALC Connection Proofs into ALC Sequents

As of 16 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:1908.09477.

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

pith.paper-citation-record.v1
1908.09477 v1

Coverage vector

measured 11 of 11 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T11:18:18.356251Z

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

11 of 11 outbound references displayed

verified exact2
verified fuzzy5
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 28f1de8a-cf72-4aef-9a90-abea27fbbd62 · outbound

This paper cites Baader, D.

Converting ALC Connection Proofs into ALC Sequents Baader, D

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:18:18.688945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ec01fdc1-f599-4162-b1de-50ad3678cf90 · outbound

This paper cites Baader, I.

Converting ALC Connection Proofs into ALC Sequents Baader, I

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-14T11:18:18.277492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd16d54d-e2ad-48f3-88a6-36514d48b497 · outbound

This paper cites Bibel (1993): Deduction - automated logic.

Converting ALC Connection Proofs into ALC Sequents Bibel (1993): Deduction - automated logic

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:18:18.671462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 79d363d6-8e0a-4cff-935b-cce8f97c2aad · outbound

This paper cites Borgida, E.

Converting ALC Connection Proofs into ALC Sequents Borgida, E

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:18:18.655887Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation db06f470-2dc7-4770-9204-248cc0066690 · outbound

This paper cites Freitas & J.

Converting ALC Connection Proofs into ALC Sequents Freitas & J

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T11:18:18.314755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a9157a1-3a3a-4567-a6b1-2c0635f3b6b0 · outbound

This paper cites Cambridge University Press.

Converting ALC Connection Proofs into ALC Sequents Cambridge University Press

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:18:18.638325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 10dd9548-eea1-42a1-b2ed-35d4e81666f6 · outbound

This paper cites Horrocks (2008): Ontologies and the semantic web.

Converting ALC Connection Proofs into ALC Sequents Horrocks (2008): Ontologies and the semantic web

Reference 7

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-14T11:18:18.584628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 690447db-1471-44b7-ba62-1aa977fb8057 · outbound

This paper cites an unresolved cited work.

Converting ALC Connection Proofs into ALC Sequents Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:18:18.621243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 70eb1a38-1a8e-42ff-b8db-0a0da7700303 · outbound

This paper cites Otten (2011): A Non-clausal Connection Calculus.

Converting ALC Connection Proofs into ALC Sequents Otten (2011): A Non-clausal Connection Calculus

Reference 9

Resolution: verified exact; doi, observed 2026-08-14T11:18:18.409332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation deb094bb-d507-4976-89ea-14dad0b88517 · outbound

This paper cites Palmeira (2017): Conversion of Proof in Description LogicALC Generated by Connection Method into Sequents.

Converting ALC Connection Proofs into ALC Sequents Palmeira (2017): Conversion of Proof in Description LogicALC Generated by Connection Method into Sequents

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:18:18.604553Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 10399692-002d-4371-aaf8-6f413410153f · outbound

This paper cites an unresolved cited work.

Converting ALC Connection Proofs into ALC Sequents Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T11:18:18.356251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.