Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T11:17:18.272376Z
Paper Citation Record · LEDGER
The Vampire Diary
As of 8 August 2026, this Paper Citation Record lists 71 of 71 outbound references and 0 inbound Pith citation observations for arXiv:2506.03030.
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-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
71 of 71 outbound references displayed
- verified exact2
- verified fuzzy49
- unresolved20
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 620cc18b-6f3f-446c-a35a-300efb072ab4 · outbound
This paper cites Dedukti: a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory.
The Vampire Diary Dedukti: a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:17:11.362524Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d3b78782-7e9f-4706-893f-3bb1110914ea · outbound
This paper cites In: TACAS.
The Vampire Diary In: TACAS
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:29.165046Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ee9322cc-e577-4dcf-be65-a33f27170c72 · outbound
This paper cites www.SMT-LIB.org (2016).
The Vampire Diary www.SMT-LIB.org (2016)
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:28.956641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 12e4b0d4-4b04-493b-a5b0-ed1f00d9ff07 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:28.789071Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c04598e2-038a-4362-b00e-01f8823e93ff · outbound
This paper cites In: IJCAR.
The Vampire Diary In: IJCAR
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:28.563192Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 06c92cbc-9102-4ab5-b612-b10a4a7e2295 · outbound
This paper cites In: LPAR.
The Vampire Diary In: LPAR
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:28.423957Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5264a393-a6e7-41d8-a474-c3775043b511 · outbound
This paper cites In: IJCAR.
The Vampire Diary In: IJCAR
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:28.255548Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation cfea2fe3-f022-4d09-89f5-c5d6a9e3e398 · outbound
This paper cites In: IJCAR.
The Vampire Diary In: IJCAR
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:28.059005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b89251db-feb0-4fcc-9171-4fd28fef735d · outbound
This paper cites In: CADE.
The Vampire Diary In: CADE
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:27.934917Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f40ab06d-435c-4201-b1df-283239e20c1e · outbound
This paper cites In: IJCAR.
The Vampire Diary In: IJCAR
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:27.829104Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f2c26e8c-12be-420b-b03f-3e1bbf956674 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:17:12.142628Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 99cf4c7d-dcbc-419a-8d2e-eaf85cbe48fa · outbound
This paper cites In: CADE.
The Vampire Diary In: CADE
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:27.614334Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6471863c-760c-412f-8fa8-372e4e55fd56 · outbound
This paper cites In: CADE (2013).
The Vampire Diary In: CADE (2013)
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:27.404181Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5d2e0bc2-bb85-418d-b3c1-52056d7663bd · outbound
This paper cites In: WS on Model Computation - Principles, Algorithms and Applications (2003).
The Vampire Diary In: WS on Model Computation - Principles, Algorithms and Applications (2003)
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:27.124255Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 894f7247-b32d-4936-b885-bac221cf48c3 · outbound
This paper cites Formal Methods in System Design (2024).
The Vampire Diary Formal Methods in System Design (2024)
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:26.831766Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1690c4a0-8079-40b8-9d38-7b2a087fdcb0 · outbound
This paper cites In: TACAS.
The Vampire Diary In: TACAS
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:26.544328Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 03fdcf07-e113-40d5-acc4-abbf4e4fb602 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:26.238904Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3c2ee077-c887-40af-ad1f-37f57f01b809 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:25.986640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9f280239-24c9-4f54-a8bd-84c33799c3be · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:25.743165Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 88fd6f92-33ee-4c17-a30a-e4c492fc050f · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:25.596956Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c3334b1e-bf51-4181-8510-d46d3a36b612 · outbound
This paper cites In: CADE (2025), to appear.
The Vampire Diary In: CADE (2025), to appear
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:25.450707Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b0fe9af9-df50-430e-8ef8-4f1a239d5faf · outbound
This paper cites In: Principles of Systems Design.
The Vampire Diary In: Principles of Systems Design
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:25.251413Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a6660ba6-9986-4dd4-bc18-57603f2de526 · outbound
This paper cites In: CICM.
The Vampire Diary In: CICM
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:25.131480Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ba81ce0e-09ad-4748-aaee-41dc5ae0a4c7 · outbound
This paper cites EasyChair Preprint no.
The Vampire Diary EasyChair Preprint no
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:25.011599Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 539fc8ab-ff34-4633-ae4b-dd4795f46622 · outbound
This paper cites In: LPAR.
The Vampire Diary In: LPAR
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:24.895985Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 78e694f7-eaa0-4ee2-9f99-f42864106e1a · outbound
This paper cites In: FMCAD.
The Vampire Diary In: FMCAD
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:24.772107Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b24dc8ba-b8e2-440a-8339-2f6b930a0940 · outbound
This paper cites In: IJCAR.
The Vampire Diary In: IJCAR
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:24.678767Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7dc59c5a-b3c1-4443-950c-c58d75f5b076 · outbound
This paper cites In: CADE.
The Vampire Diary In: CADE
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:24.600502Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f0577763-c31d-4061-af0b-36ce297ec2cc · outbound
This paper cites In: CADE.
The Vampire Diary In: CADE
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:24.476326Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 025166d1-55a5-404f-85a9-7c4eb9a9a7a6 · outbound
This paper cites International Organi- zation for Standardization, Geneva, Switzerland (Dec 2017).
The Vampire Diary International Organi- zation for Standardization, Geneva, Switzerland (Dec 2017)
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:24.395987Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c38da0c2-d7e3-4431-999b-67a40dc083ff · outbound
This paper cites In: TACAS.
The Vampire Diary In: TACAS
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:24.319358Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 90e37391-4d3b-4232-897d-fecbecd4b670 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:24.221977Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c61b5cef-472f-4f4b-9aa8-6dcee6730b21 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 33
- Resolution
- verified exact
- doi, observed 2026-08-07T11:17:18.490385Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8ae4578f-d3ae-433c-b66c-7887b2b0e5ac · outbound
This paper cites In: LPAR.
The Vampire Diary In: LPAR
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:24.144788Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4f3355d3-cd1c-45e3-bc5b-c5cd40a46e80 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:24.067036Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 28d65250-c2d6-4d13-9ba9-3d2625adbed1 · outbound
This paper cites In: IJCAR.
The Vampire Diary In: IJCAR
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:23.983764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 05d39d59-8c87-45fd-b68b-1a463004518a · outbound
This paper cites In: TACAS.
The Vampire Diary In: TACAS
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:23.800379Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 370d8e70-ae25-4954-92ab-28dea7c0dd16 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:23.606176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5e3b1e3c-b87a-4f54-8dd1-94bedf7fb599 · outbound
This paper cites In: IJCAR.
The Vampire Diary In: IJCAR
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:23.319721Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3d5c7943-a1ce-4530-89a1-8d2abb7cac01 · outbound
This paper cites In: IJCAR.
The Vampire Diary In: IJCAR
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:23.022336Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 43035e6d-7696-4e5c-a80c-9c3e867d93aa · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:22.670235Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b3aae282-2e05-427a-b692-b5fe61aee425 · outbound
This paper cites In: Fields of Logic and Computation III.
The Vampire Diary In: Fields of Logic and Computation III
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:22.417992Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4f0d5737-d38e-4255-a32a-f1ce7ba25e69 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:22.178249Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d5f384b6-d015-493b-9e7f-fc3b54d607e9 · outbound
This paper cites MIT press (1997).
The Vampire Diary MIT press (1997)
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:21.885386Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b516a533-2b2f-4926-b1e6-07a94dab7ff1 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:21.752539Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f3ae8d6c-34df-4a15-935d-3f3387126ed1 · outbound
This paper cites In: Handbook of Automated Reasoning, pp.
The Vampire Diary In: Handbook of Automated Reasoning, pp
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:21.631929Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4d85cf23-9e4d-41f0-bc91-29beb1b4d340 · outbound
This paper cites In: GCAI.
The Vampire Diary In: GCAI
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:21.545877Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8dad0f5f-96b6-44e6-9811-12834fd0f7b4 · outbound
This paper cites In: TACAS.
The Vampire Diary In: TACAS
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:21.405857Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation cda3a67f-e5b2-47dd-a2fb-4ade05953ae4 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:21.271898Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c1b0b547-eaf8-4068-bc97-178173028dc8 · outbound
This paper cites In: GCAI.
The Vampire Diary In: GCAI
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:21.186504Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e2a244c7-a789-48ce-8a19-cfa0a2bb36a9 · outbound
This paper cites In: TACAS.
The Vampire Diary In: TACAS
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:21.018575Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2e5ecc42-6414-4e3f-ab1e-2411a7c0b341 · outbound
This paper cites In: CADE.
The Vampire Diary In: CADE
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:20.859695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 83baf88d-b848-4304-aa7f-3f6a1e6d1cc1 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:20.649435Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 391e6acd-a90c-44fc-be59-f4d4c09eb624 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:20.444960Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 907a5ba4-4ff7-4c80-a538-fc58e60b313b · outbound
This paper cites In: LPAR.
The Vampire Diary In: LPAR
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:20.257222Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation fae36871-9996-4fc9-ac88-7ad5c0757dd9 · outbound
This paper cites In: CADE.
The Vampire Diary In: CADE
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:20.106177Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c2a8ac6c-f568-4906-8cfd-c126959f1ffb · outbound
This paper cites In: CADE.
The Vampire Diary In: CADE
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:19.908856Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7589ba0a-30ea-4240-9128-3a63a8dd95ba · outbound
This paper cites In: TACAS.
The Vampire Diary In: TACAS
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:19.623934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9d91016d-f040-4c0a-ac55-8c07b004a294 · outbound
This paper cites In: IJCAR.
The Vampire Diary In: IJCAR
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:19.511516Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6a19530c-0b7d-4c08-80f7-7c3bbd638e4c · outbound
This paper cites In: IJCAR.
The Vampire Diary In: IJCAR
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:19.421943Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation add1869a-a69d-41f2-a1e3-16137ddca72c · outbound
This paper cites AI Magazine37(2), 99–101 (2016).
The Vampire Diary AI Magazine37(2), 99–101 (2016)
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:19.331807Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 02c12309-c81a-4be0-91c4-79099e3ed5c4 · outbound
This paper cites Logic Journal of the IGPL (2022).
The Vampire Diary Logic Journal of the IGPL (2022)
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:17:17.652897Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82080c96-0b58-4c32-ba3d-8c86297eda1a · outbound
This paper cites The European Journal on Artificial Intelligence 0(0), 30504554241305110 (0).
The Vampire Diary The European Journal on Artificial Intelligence 0(0), 30504554241305110 (0)
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:19.247390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 75fe258c-006a-426c-be84-b986652eaa5a · outbound
This paper cites In: LPAR Workshops (2008).
The Vampire Diary In: LPAR Workshops (2008)
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:19.144839Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d80656e1-b5d2-41f0-84e9-48a695ca1b52 · outbound
This paper cites In: LPAR.
The Vampire Diary In: LPAR
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:19.058933Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9092b1d2-41ef-4047-87f1-da2629f0d7b3 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 67
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:18.965057Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation bac2bb04-7be8-4c4d-a302-9a271864557b · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 68
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:18.856770Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 524b5b17-ca84-4dde-bfd4-727f540f2787 · outbound
This paper cites org/smart-program/Vampire23/2023-07-05.html#talk:223833.
The Vampire Diary org/smart-program/Vampire23/2023-07-05.html#talk:223833
Reference 69
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:18.773611Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7f194585-3d31-4939-9b3f-7b03da716d65 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 70
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:17:18.686463Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 24119c84-d187-4c9c-b83c-f9df86fc5406 · outbound
This paper cites an unresolved cited work.
The Vampire Diary Unresolved cited work
Reference 71
- Resolution
- verified exact
- doi, observed 2026-08-07T11:17:18.370541Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation fde79f9b-249f-4ee0-bdcc-b60b10e17d56 · outbound
This paper cites In: CADE.
The Vampire Diary In: CADE
Reference 72
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:17:18.591874Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
No inbound Pith citation observations are available.