Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T12:24:28.210348Z
Paper Citation Record · LEDGER
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
As of 16 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 1 inbound Pith citation observation for arXiv:2507.21851.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-15T19:50:12.409457Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-15T19:50:13.429697Z
Reference resolution
28 of 28 outbound references displayed
- verified exact11
- verified fuzzy6
- unresolved5
- parse uncertain0
- malformed identifier6
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation a657e633-5a85-4aac-87e5-e0f6722f66e0 · outbound
This paper cites Brandt, Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and—what else?, in: R.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Brandt, Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and—what else?, in: R
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T12:24:29.480033Z
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 9b26cc12-7285-4e6b-bce2-644aa3bfba44 · outbound
This paper cites Baader, S.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Baader, S
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T12:24:29.449857Z
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 6cf9d42f-6cf2-4735-9477-4fe7859476d3 · outbound
This paper cites Tena Cucala, B.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Tena Cucala, B
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-06T12:24:28.845965Z
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 26f5eca7-8f7a-4267-b6e3-0939d9b8bf1b · outbound
This paper cites Tena Cucala, B.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Tena Cucala, B
Reference 4
- Resolution
- verified exact
- doi, observed 2026-08-06T12:24:28.794825Z
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 a64addab-ce88-418c-8727-f1c37d8bed11 · outbound
This paper cites Kazakov, M.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Kazakov, M
Reference 5
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-06T12:24:29.418411Z
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 1fe613da-4354-4b31-89d9-7abfc24a0988 · outbound
This paper cites Steigmiller, T.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Steigmiller, T
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-06T12:24:28.756795Z
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 6f9079e0-1a5f-486c-bfa9-b6505b7c0834 · outbound
This paper cites an unresolved cited work.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Unresolved cited work
Reference 7
- Resolution
- verified exact
- doi, observed 2026-08-06T12:24:28.715312Z
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 5fc56de4-96a2-4898-8f88-eb8266efbdc9 · outbound
This paper cites Kazakov, P.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Kazakov, P
Reference 8
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-06T12:24:29.371807Z
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 f1dbe085-3a05-478a-977b-3bf67ce09a65 · outbound
This paper cites Horridge, B.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Horridge, B
Reference 9
- Resolution
- verified exact
- doi, observed 2026-08-06T12:24:28.670181Z
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 c5019cdf-305f-4583-a54e-3162bc903480 · outbound
This paper cites Schlobach, Explaining subsumption by optimal interpolation, in: J.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Schlobach, Explaining subsumption by optimal interpolation, in: J
Reference 10
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-06T12:24:29.326649Z
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 689d12c0-70ea-4e59-ada3-01375ff73993 · outbound
This paper cites Alrabbaa, F.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Alrabbaa, F
Reference 11
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-06T12:24:28.625016Z
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 3043ce9c-dc14-4ff0-9617-8636b3d7a0ed · outbound
This paper cites Alrabbaa, S.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Alrabbaa, S
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T12:24:28.019676Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f42f246d-fcb0-4ea2-b4ea-2ad6d31b1097 · outbound
This paper cites Baader, I.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Baader, I
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T12:24:28.032801Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 461d9de8-565c-45b4-9dfe-263985efdb56 · outbound
This paper cites Krötzsch, Efficient rule-based inferencing for OWL EL, in: T.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Krötzsch, Efficient rule-based inferencing for OWL EL, in: T
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-06T12:24:28.550983Z
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 a77a386c-0ca1-4050-a5a2-92020f1657c3 · outbound
This paper cites Carral, I.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Carral, I
Reference 15
- Resolution
- verified exact
- doi, observed 2026-08-06T12:24:28.524538Z
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 ee2eee4e-f418-4be7-be49-88af46ad86d2 · outbound
This paper cites Ivliev, L.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Ivliev, L
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-06T12:24:28.478094Z
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 f666e406-48ff-42f1-b27a-600c7befdf49 · outbound
This paper cites Parsia, N.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Parsia, N
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T12:24:29.281223Z
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 3a623598-4ede-4e3d-9095-e7b93a44342d · outbound
This paper cites an unresolved cited work.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Unresolved cited work
Reference 18
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-06T12:24:28.102037Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 751e1e2e-b28a-423d-af7c-49fab358c3ae · outbound
This paper cites Horridge, S.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Horridge, S
Reference 19
- Resolution
- verified exact
- doi, observed 2026-08-06T12:24:28.397198Z
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 47a968d5-1422-44d6-aae4-77f5e2c01d59 · outbound
This paper cites Kazakov, P.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Kazakov, P
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T12:24:29.231657Z
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 c84ea66e-4281-4ff1-b0aa-ed04460a04ea · outbound
This paper cites Méndez, C.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Méndez, C
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T12:24:28.144525Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f99ae337-a6eb-4ad0-a94d-5f70ce608322 · outbound
This paper cites Alrabbaa, F.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Alrabbaa, F
Reference 22
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-06T12:24:29.142708Z
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 5d170916-1f58-4305-830a-84ea8aa16a23 · outbound
This paper cites Alrabbaa, F.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Alrabbaa, F
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T12:24:29.102179Z
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 e646b032-9e17-4a9e-a4db-bcadc0416c91 · outbound
This paper cites Yannakakis, A polynomial algorithm for the min-cut linear arrangement of trees, J.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Yannakakis, A polynomial algorithm for the min-cut linear arrangement of trees, J
Reference 24
- Resolution
- verified exact
- raw_fallback, observed 2026-08-06T12:24:29.016185Z
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 2747f740-2b6e-4e45-9744-26a21dcb7263 · outbound
This paper cites Horridge, S.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Horridge, S
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T12:24:28.184435Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8994a621-97a5-4e8c-9754-d4a7d81d6bd5 · outbound
This paper cites Alrabbaa, S.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Alrabbaa, S
Reference 26
- Resolution
- verified exact
- doi, observed 2026-08-06T12:24:28.287583Z
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 e7cd633f-1af2-494f-bd32-87762f293425 · outbound
This paper cites We abbreviate 𝑤𝑠 1 = cw(𝑆′ 1), and note that 𝑤𝑠 1≥ 𝑤1 = cw(𝑇 ).
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) We abbreviate 𝑤𝑠 1 = cw(𝑆′ 1), and note that 𝑤𝑠 1≥ 𝑤1 = cw(𝑇 )
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T12:24:29.053911Z
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 3a0b1792-69f3-4ed9-be53-952d0820081b · outbound
This paper cites an unresolved cited work.
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version) Unresolved cited work
Reference 2017
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T12:24:29.183979Z
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.
Pith citing papers
Observation 2f952d0b-3c74-46c4-a20b-1a1162ac65e5 · inbound
Moose: Latent concept learning with reasoning-shortcut awareness in $\mathcal{EL}^{++}$ cites this paper.
Moose: Latent concept learning with reasoning-shortcut awareness in $\mathcal{EL}^{++}$ The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
Reference 2
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T19:50:13.435641Z
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.