Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T15:10:16.308523Z
Paper Citation Record · LEDGER
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams
As of 16 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:1908.01930.
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
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
17 of 17 outbound references displayed
- verified exact0
- verified fuzzy14
- unresolved3
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation c7df928f-3731-4982-b369-fe6b5891c7b4 · outbound
This paper cites Ruijters and M.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Ruijters and M
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.769231Z
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 b6668e4f-87e0-472f-a5b8-93a553e98e03 · outbound
This paper cites Hasan, W.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Hasan, W
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.741063Z
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 4a685f18-cabb-4df3-a917-3c66122d5a51 · outbound
This paper cites Distefano.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Distefano
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.712090Z
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 c82625d0-07c3-4c27-a97c-e5983860b46e · outbound
This paper cites Xu and L.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Xu and L
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.685401Z
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 0245f13e-af70-411f-8e78-0dbf889b5dca · outbound
This paper cites an unresolved cited work.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:10:16.662477Z
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 e8cf8e3f-edf7-44c4-8663-bee3742d52fc · outbound
This paper cites Robidoux, H.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Robidoux, H
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.626687Z
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 ca9504f5-b95b-4b1b-b021-d61de6a0a12f · outbound
This paper cites Ahmed, O.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Ahmed, O
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.603104Z
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 7ccc8171-7fab-4bbd-8dab-721c6407ea43 · outbound
This paper cites https://hol-theorem-prover.org/, 2019.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams https://hol-theorem-prover.org/, 2019
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.579215Z
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 70ab51d0-9a20-4599-8eba-521b46b4064c · outbound
This paper cites an unresolved cited work.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:10:16.553303Z
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 d462daea-89f7-41a6-9e62-68d970541d77 · outbound
This paper cites Mhamdi, O.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Mhamdi, O
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.529564Z
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 256f0f5e-137c-4a2f-84f0-36c34bfaff3a · outbound
This paper cites Qasim, O.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Qasim, O
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.504879Z
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 8e366ecb-b761-497a-b50b-0c16ceb3af3c · outbound
This paper cites an unresolved cited work.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:10:16.476831Z
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 0ebe163c-0f59-43b2-86fc-601d5fc87729 · outbound
This paper cites Proba- bilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Proba- bilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.444028Z
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 3a9349f0-4608-46e1-a29f-aba2eb071e57 · outbound
This paper cites https://isabelle.in.tum.de/, 2019.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams https://isabelle.in.tum.de/, 2019
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.422631Z
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 ad70f0e2-d14d-41ce-b5a9-f02513f390a3 · outbound
This paper cites Elderhalli.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Elderhalli
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.403285Z
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 ebb82666-7cbe-43c6-999e-88a0476bb4ba · outbound
This paper cites Altby and D.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Altby and D
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.382623Z
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 78bac042-cc91-4fd8-aa33-b58dec73b2e0 · outbound
This paper cites Bistouni and M.
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams Bistouni and M
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:10:16.360030Z
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
No inbound Pith citation observations are available.