{"as_of":"2026-08-16T22:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7b240e945bdff6992f852bf4472d5f13f17918fae9d9b0cbc133c949d3f9a091","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T15:10:16.308523Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.01930/citation-record","integrity":"/paper/1908.01930/integrity","json":"/paper/1908.01930/citation-record.json","paper":"/paper/1908.01930"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.761228Z","title":"Ruijters and M","venue":null,"work_id":"fcbd764a-8663-4a7f-ae9a-63d7a8f1f8f6","year":2015},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.188770Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:4ca7e539d93b3cd70ebfee1512e4483ecefd7c569cefd71759e2ead61cf05f66","observation_id":"c7df928f-3731-4982-b369-fe6b5891c7b4","resolution":{"observed_at":"2026-08-14T15:10:16.769231Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.731110Z","title":"Hasan, W","venue":null,"work_id":"1f9e9945-0ffe-49be-a2f3-88afe76c3c70","year":2015},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.196774Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:dd1f571db7362192427eee0c023d5d3d460d07516f935ee10df9053c53ac7189","observation_id":"b6668e4f-87e0-472f-a5b8-93a553e98e03","resolution":{"observed_at":"2026-08-14T15:10:16.741063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.705037Z","title":"Distefano","venue":null,"work_id":"7528e9c1-a341-4cda-bea1-26fc1fb4abee","year":2005},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.204485Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:251f2724103bf8771b94caf2c94009651bb8a0f2ba138a557b3afe4992474608","observation_id":"4a685f18-cabb-4df3-a917-3c66122d5a51","resolution":{"observed_at":"2026-08-14T15:10:16.712090Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.679243Z","title":"Xu and L","venue":null,"work_id":"25c81e8f-d4e6-4f3e-ab2d-0ddbb7742e2b","year":2007},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.210989Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:64e85c6bb6e70a917843ae7edc379bac54b1fd1458d36a69ea50f9f332a21d75","observation_id":"c82625d0-07c3-4c27-a97c-e5983860b46e","resolution":{"observed_at":"2026-08-14T15:10:16.685401Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.652277Z","title":null,"venue":null,"work_id":"1caa6b3f-152f-400a-9dd2-ed1b6c53ac18","year":2012},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.217892Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:ca122cc024b9be8572167c64ad4a42816601a4fff788dac9af84906a7b83718e","observation_id":"0245f13e-af70-411f-8e78-0dbf889b5dca","resolution":{"observed_at":"2026-08-14T15:10:16.662477Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.618274Z","title":"Robidoux, H","venue":null,"work_id":"7a7fe0f1-95a6-4bfc-87db-934ac5fafd86","year":2010},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.223871Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:381dffaf6d433b8aa1b744198d2af7794d35bb2774dcc6ba474fbe93cd960ef3","observation_id":"e8cf8e3f-edf7-44c4-8663-bee3742d52fc","resolution":{"observed_at":"2026-08-14T15:10:16.626687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.595880Z","title":"Ahmed, O","venue":null,"work_id":"e31df894-a086-4d9b-98a7-8079f760861c","year":2016},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.230681Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:f166e843b878b2b2377b2025e0169f22994f11efc34e39d2e5c9326a6e6d10b3","observation_id":"ca9504f5-b95b-4b1b-b021-d61de6a0a12f","resolution":{"observed_at":"2026-08-14T15:10:16.603104Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.571222Z","title":"https://hol-theorem-prover.org/, 2019","venue":null,"work_id":"02238d2f-f5ef-4c0b-83ae-806f3569e21d","year":2019},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.237412Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:01195c52f05026750ebafb98cc2bb7cc32d919fd4e259dec82da2ee0477aabd8","observation_id":"7ccc8171-7fab-4bbd-8dab-721c6407ea43","resolution":{"observed_at":"2026-08-14T15:10:16.579215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.547122Z","title":null,"venue":null,"work_id":"842512a7-f5e4-4eb3-aa0d-0badf9ab0ff9","year":2010},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.247624Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:8caab176a1fb6cab85f50b78e2229160738584f83b584ba157ec2c8aec01f1f4","observation_id":"70ab51d0-9a20-4599-8eba-521b46b4064c","resolution":{"observed_at":"2026-08-14T15:10:16.553303Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.523623Z","title":"Mhamdi, O","venue":null,"work_id":"ccfeff5a-894b-4e71-9995-f228ece42104","year":2011},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.253148Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:f275823fa434e015b12f5cbbc8541eeb622b68293330c42f811740b3507b978d","observation_id":"d462daea-89f7-41a6-9e62-68d970541d77","resolution":{"observed_at":"2026-08-14T15:10:16.529564Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.494787Z","title":"Qasim, O","venue":null,"work_id":"9b389817-18c4-428b-aec3-070493e766fb","year":2016},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.266373Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:2bf2fa1118ee965ba6938e5a862f2c91e0bd3b879e8547fc08db1749b998cb72","observation_id":"256f0f5e-137c-4a2f-84f0-36c34bfaff3a","resolution":{"observed_at":"2026-08-14T15:10:16.504879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.465147Z","title":null,"venue":null,"work_id":"994faefa-d0ce-4a64-bb72-31ad5d76f772","year":2012},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.273421Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:2c94f01787b53507531d92d89bdf4e5d946b83ff8c555c2fd0b0277c7305908d","observation_id":"8e366ecb-b761-497a-b50b-0c16ceb3af3c","resolution":{"observed_at":"2026-08-14T15:10:16.476831Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.436900Z","title":"Proba- bilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving","venue":null,"work_id":"7ba2ea89-de69-4b61-99ec-3b342faf5904","year":2019},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.279416Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:d05edc8bac559b25a5d5762c4893b5358bed7bd498b10a14eef6c421c4a9b093","observation_id":"0ebe163c-0f59-43b2-86fc-601d5fc87729","resolution":{"observed_at":"2026-08-14T15:10:16.444028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.416495Z","title":"https://isabelle.in.tum.de/, 2019","venue":null,"work_id":"4fb1d41c-5fe5-45a7-a5c9-fefae52b9e02","year":2019},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.285965Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:717320218a865d1002afc668bf361b97a6741615d36b102829e5b845e3644864","observation_id":"3a9349f0-4608-46e1-a29f-aba2eb071e57","resolution":{"observed_at":"2026-08-14T15:10:16.422631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.396456Z","title":"Elderhalli","venue":null,"work_id":"d724d6ec-cbdd-45fa-a0da-8e42424266b1","year":2019},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.293810Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:4a894b070458269a60cde4afc18f4cda8fd667463823113968c2991506ae19c0","observation_id":"ad70f0e2-d14d-41ce-b5a9-f02513f390a3","resolution":{"observed_at":"2026-08-14T15:10:16.403285Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.376694Z","title":"Altby and D","venue":null,"work_id":"44e66c30-1ac5-47f2-808b-498b9afb01a2","year":2014},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.300899Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:73e25ce591b67cee9ffeae5c26bfc55716a5883c3b2c28e90e54fccf657a498b","observation_id":"ebb82666-7cbe-43c6-999e-88a0476bb4ba","resolution":{"observed_at":"2026-08-14T15:10:16.382623Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:10:16.352921Z","title":"Bistouni and M","venue":null,"work_id":"b6311614-4bc3-4197-ab8e-556b5e8b0a4f","year":2014},"citing_paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T15:10:16.308523Z"},"links":{"citing_paper":"/paper/1908.01930"},"observation_digest":"sha256:e3d4dd6434601b786408aa4b1eb7d0c59f77d52e7b44e4007997356e84982f73","observation_id":"78bac042-cc91-4fd8-aa33-b58dec73b2e0","resolution":{"observed_at":"2026-08-14T15:10:16.360030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.01930","last_updated":"2019-08-06T02:13:34Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T15:47:59.989980Z","submitted_at":"2019-08-06T02:13:34Z","title":"A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":14},"total_outbound_references":17},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"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."}