Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T17:42:24.854792Z
Paper Citation Record · LEDGER
VEL: A Formally Verified Reasoner for OWL2 EL Profile
As of 19 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 2 inbound Pith citation observations for arXiv:2412.08739.
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-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-15T19:50:12.600527Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T15:32:34.759087Z
Reference resolution
34 of 34 outbound references displayed
- verified exact1
- verified fuzzy7
- unresolved26
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 36155b2f-b934-489e-9936-6023676e6fd4 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:28.364751Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2ee9acfa-89fa-4554-bc6b-ba5e4aef58b8 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:28.254757Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 44bccc07-84d7-44c2-956f-f13e07c8fff2 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:28.094841Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 18859198-381d-420c-ab4b-fd4c1ba32353 · outbound
This paper cites Al. I. Cuza University.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Al. I. Cuza University
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:42:27.954917Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d842c1dd-d0b1-40c4-987e-1761447fe418 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:27.815380Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9cf34034-40de-4920-a4b3-f87eef91686f · outbound
This paper cites M.; and Di Sciascio, E.
VEL: A Formally Verified Reasoner for OWL2 EL Profile M.; and Di Sciascio, E
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:42:27.675406Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 99125aa1-7a9c-44f1-90e2-fb7f703cf7e9 · outbound
This paper cites Towards a Coq formalization of a quantified modal logic.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Towards a Coq formalization of a quantified modal logic
Reference 7
- Resolution
- verified exact
- local_arxiv, observed 2026-08-11T17:42:25.061819Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 19b5549c-24b7-4669-a82b-0dbe4067a0b2 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:27.584757Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b9a1662f-ead9-4166-864e-7b6ccdc37ecb · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:27.414764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6263e658-e6ad-4508-acaa-c9765a6ef248 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:27.254928Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e4fe4785-0e55-4214-bc69-4bb926c7cfa3 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:27.134760Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2ef8fa3f-ddb5-4ee4-b73e-b351b0479133 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:26.954770Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 509d8164-c4dc-40e2-a808-8a29f5471752 · outbound
This paper cites J.; Alonso-Jim\' e nez, J.
VEL: A Formally Verified Reasoner for OWL2 EL Profile J.; Alonso-Jim\' e nez, J
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:42:26.785328Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0a53390e-4598-43eb-89d2-96bb4a7504e0 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:26.624758Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1ac88fc6-25f0-415e-9ec9-b9b619e4e1fb · outbound
This paper cites K.; and Zhou, L.
VEL: A Formally Verified Reasoner for OWL2 EL Profile K.; and Zhou, L
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:42:26.458959Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c24efe64-b7fc-4d16-a452-be8146577d29 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:26.344770Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 45e00e9f-c182-495b-b65c-c11b5edcb040 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:26.234747Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 13817fe2-4220-40cd-a0ce-3e8368767f2a · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:26.084764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c56aed5c-db73-4e86-ad36-a3e6a0071627 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.924762Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 732963ba-a1bc-43b6-98e1-58edb628d02c · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.771672Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d07c0ec6-9662-4124-a889-b85eec04d477 · outbound
This paper cites B.; and Kumar, S.
VEL: A Formally Verified Reasoner for OWL2 EL Profile B.; and Kumar, S
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:42:25.616250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0700225e-c3f5-4db1-80f2-a469672a7f1c · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.515640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation da452404-3bc9-442b-8434-edca71d968f0 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.479741Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e18b7e71-4958-46f2-b5fb-8411bed3590f · outbound
This paper cites S.; Glimm, B.; and Steigmiller, A.
VEL: A Formally Verified Reasoner for OWL2 EL Profile S.; Glimm, B.; and Steigmiller, A
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:42:25.419075Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 79a87837-fa92-4bc9-bae2-48421f9ba7e3 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.391978Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8f3aa840-e9f1-4c98-8167-9707faf9910a · outbound
This paper cites C.; Kalyanpur, A.; and Katz, Y.
VEL: A Formally Verified Reasoner for OWL2 EL Profile C.; Kalyanpur, A.; and Katz, Y
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:42:25.369897Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5c69c419-d09c-438e-b0e2-e0f0e9520b79 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.333477Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c6eb2970-bb1f-4f86-8d3e-864fd559c015 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.294594Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1807caf2-abc5-40ce-96e4-081f8db20e8f · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.264752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 09bcc3a8-8c5a-4b2d-8525-d0a6c7cf5d5f · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.224748Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2722930e-aad2-4d62-a4b9-695f06cdc8b0 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.188692Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a89b4130-e9d3-4179-8a66-b0925c90b831 · outbound
This paper cites an unresolved cited work.
VEL: A Formally Verified Reasoner for OWL2 EL Profile Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:42:25.147528Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a5527224-274f-41a9-b63c-a0d882369ecd · outbound
This paper cites , " * write output.state after.block = add.period write newline.
VEL: A Formally Verified Reasoner for OWL2 EL Profile , " * write output.state after.block = add.period write newline
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:42:24.815152Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 44511837-b2ab-4f00-9afc-3ce1a05b7475 · outbound
This paper cites write newline.
VEL: A Formally Verified Reasoner for OWL2 EL Profile write newline
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:42:24.854792Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation 0aca28fb-a5f0-4c8a-8833-a85f7a715932 · inbound
Charting the Future of Scholarly Knowledge with AI: A Community Perspective cites this paper.
Charting the Future of Scholarly Knowledge with AI: A Community Perspective VEL: A Formally Verified Reasoner for OWL2 EL Profile
Reference 58
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T15:32:34.762962Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2a5d4bc5-c84b-4e6d-a4b2-064ad59c2b7d · 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}^{++}$ VEL: A Formally Verified Reasoner for OWL2 EL Profile
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:50:12.600527Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.