{"as_of":"2026-08-08T10:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:17f94d9641022c8df15ce9cdda5fe25716a4b4a54d5eb0745c4aef4223d7dbb3","coverage":[{"denominator":71,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":71,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:17:18.272376Z","state":"measured"},{"denominator":71,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":71,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2506.03030/citation-record","integrity":"/paper/2506.03030/integrity","json":"/paper/2506.03030/citation-record.json","paper":"/paper/2506.03030"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2311.07185","last_updated":"2023-11-13T09:22:36Z","snapshot_observed_at":"2026-07-06T16:46:30.470666Z","submitted_at":"2023-11-13T09:22:36Z","title":"Dedukti: a Logical Framework based on the $\\lambda$$\\Pi$-Calculus Modulo Theory","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.07185","snapshot_observed_at":"2026-08-07T11:17:11.362524Z","title":"CoRRabs/2311.07185 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:11.362524Z"},"links":{"cited_paper":"/paper/2311.07185","citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:957072a15fac18167d5f7f44482eda0ceeaead3fee8b4ba47181904470760be2","observation_id":"620cc18b-6f3f-446c-a35a-300efb072ab4","resolution":{"observed_at":"2026-08-07T11:17:11.362524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:17:29.075657Z","title":"In: TACAS","venue":null,"work_id":"decc6eea-3e66-4d84-bfca-731872501dc9","year":2022},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:11.438857Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:936f163e93246e0b519a74899e3b5b4500b4f4bb7ab0cae5bb981a30d159099e","observation_id":"d3b78782-7e9f-4706-893f-3bb1110914ea","resolution":{"observed_at":"2026-08-07T11:17:29.165046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:28.881014Z","title":"www.SMT-LIB.org (2016)","venue":null,"work_id":"1d0dcaea-d3e2-4b5a-9b2e-2622e87cb6b0","year":2016},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:11.523934Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:638b7c0f946440c93bcdee76177a3a9db40e1fa631e58294be0880aaeb223e31","observation_id":"ee9322cc-e577-4dcf-be65-a33f27170c72","resolution":{"observed_at":"2026-08-07T11:17:28.956641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:28.689194Z","title":null,"venue":null,"work_id":"c9c69fff-f3d8-4723-a2ec-74aade665463","year":2005},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:11.582851Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:93d9d8543e69efd7cac5d0de23375390e48213d45e691974b9735ae8396414c5","observation_id":"12e4b0d4-4b04-493b-a5b0-ed1f00d9ff07","resolution":{"observed_at":"2026-08-07T11:17:28.789071Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:28.480248Z","title":"In: IJCAR","venue":null,"work_id":"7c5b195f-2e93-4155-bac9-4ee10811d469","year":2024},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:11.639791Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:bf651e3e365166f346aa7e7cb21b8181e47a8541afa4a52e13dd409a41fdefe3","observation_id":"c04598e2-038a-4362-b00e-01f8823e93ff","resolution":{"observed_at":"2026-08-07T11:17:28.563192Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:28.308086Z","title":"In: LPAR","venue":null,"work_id":"a6499a59-8f9b-4b7e-be4d-274c3ade88be","year":2023},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:11.716722Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:cf29e1418f1d35a3ffcd3ed452f87b4b7496947b7ef685a8d21a7a16ad4707e8","observation_id":"06c92cbc-9102-4ab5-b612-b10a4a7e2295","resolution":{"observed_at":"2026-08-07T11:17:28.423957Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:28.192048Z","title":"In: IJCAR","venue":null,"work_id":"a74c4d14-1807-4ffb-b404-181d6a1d4498","year":2020},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:11.771885Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:10ccb7d14d3c832e2dd3f65c09c65160ab9058bdfec25ce7afe0217d93f43583","observation_id":"5264a393-a6e7-41d8-a474-c3775043b511","resolution":{"observed_at":"2026-08-07T11:17:28.255548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:28.017029Z","title":"In: IJCAR","venue":null,"work_id":"f2e3a779-021e-4374-ae07-c186952df2cc","year":2020},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:11.854945Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:ef3f02a551a629cf1a659dbf04ecffa6026e8d627d4c3bc0dc6355a3447413d1","observation_id":"cfea2fe3-f022-4d09-89f5-c5d6a9e3e398","resolution":{"observed_at":"2026-08-07T11:17:28.059005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:27.871494Z","title":"In: CADE","venue":null,"work_id":"ef05af1b-d117-40a7-8a34-c9e4545e0490","year":2023},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:11.951970Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:92916d1bb14c6332977d692bb4393e81c280062750dafd2a6e545edf1c8aaff0","observation_id":"b89251db-feb0-4fcc-9171-4fd28fef735d","resolution":{"observed_at":"2026-08-07T11:17:27.934917Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:27.690413Z","title":"In: IJCAR","venue":null,"work_id":"26a71e1b-a153-4e04-81fa-f36a7e4af872","year":2024},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.046705Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:927ebc9d5861a5fa17763059a41065e29ab5d5bed0e6ac81c3d19515df855814","observation_id":"f40ab06d-435c-4201-b1df-283239e20c1e","resolution":{"observed_at":"2026-08-07T11:17:27.829104Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:17:12.142628Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.142628Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:7ef13dc2ae5e1d8ce1ab6deb85624e68587bacb7dd7b37cca4ec6d187bc13f49","observation_id":"f2c26e8c-12be-420b-b03f-3e1bbf956674","resolution":{"observed_at":"2026-08-07T11:17:12.142628Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:17:27.517110Z","title":"In: CADE","venue":null,"work_id":"688d8bb1-0aae-4e03-b4cc-d4f677ee94bc","year":2013},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.237934Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:1e79ad0fa7d14cef71d3405222ba7930008ba888ab2c6c97cdf71ac1301d85b5","observation_id":"99cf4c7d-dcbc-419a-8d2e-eaf85cbe48fa","resolution":{"observed_at":"2026-08-07T11:17:27.614334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:27.289681Z","title":"In: CADE (2013)","venue":null,"work_id":"7c3e7c30-447b-4aae-b41c-59b4c414d156","year":2013},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.331701Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:fe16318e582a910038870842f14cca8bc0d0bb482ff6b8d8c6e9a551f14fe314","observation_id":"6471863c-760c-412f-8fa8-372e4e55fd56","resolution":{"observed_at":"2026-08-07T11:17:27.404181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:27.001287Z","title":"In: WS on Model Computation - Principles, Algorithms and Applications (2003)","venue":null,"work_id":"0c04e195-c838-45a6-bbec-1a784658b778","year":2003},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.397853Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:7e1cc4e94f820a4cb41ea11a25789aba4afb8135f5bce161cd020002b39f87f8","observation_id":"5d2e0bc2-bb85-418d-b3c1-52056d7663bd","resolution":{"observed_at":"2026-08-07T11:17:27.124255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:26.706201Z","title":"Formal Methods in System Design (2024)","venue":null,"work_id":"215d0507-80a4-484c-885f-f864f62d8a0c","year":2024},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.496267Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:58c159053e23336cd0b0469a10eb16f74ce81c2d369cfdd745ad30818c5bf7ed","observation_id":"894f7247-b32d-4936-b885-bac221cf48c3","resolution":{"observed_at":"2026-08-07T11:17:26.831766Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:26.394311Z","title":"In: TACAS","venue":null,"work_id":"c4179c05-4d59-47b8-a5cc-bc427e493f11","year":2008},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.566957Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:3abf0cdefc340715e1e6278143dc72327beb2bc5b05261d28631b2e971c85db0","observation_id":"1690c4a0-8079-40b8-9d38-7b2a087fdcb0","resolution":{"observed_at":"2026-08-07T11:17:26.544328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:26.120765Z","title":null,"venue":null,"work_id":"be3537a4-5886-4b5f-b727-3c26394cc311","year":2022},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.618266Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:527bb0ebfce2f26a41e2dcf82325f9827186f1f3f964850d92d71272814c95a6","observation_id":"03fdcf07-e113-40d5-acc4-abbf4e4fb602","resolution":{"observed_at":"2026-08-07T11:17:26.238904Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:25.838688Z","title":null,"venue":null,"work_id":"1c03f8c6-70c5-4dda-a9d7-defc9c3f1444","year":2003},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.687055Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:cbbe10f69111c95a84d9979e9fe946ef62cf52d884a505148969f4345f349a2a","observation_id":"3c2ee077-c887-40af-ad1f-37f57f01b809","resolution":{"observed_at":"2026-08-07T11:17:25.986640Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:25.692542Z","title":null,"venue":null,"work_id":"6c42e8f7-2c60-4612-b112-2e1a85eb2e47","year":1995},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.785471Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:50ff837ea2381858167bb977f2f4c7b9bdf3e12ac4b14b659c351be1d33cb4cb","observation_id":"9f280239-24c9-4f54-a8bd-84c33799c3be","resolution":{"observed_at":"2026-08-07T11:17:25.743165Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:25.539431Z","title":null,"venue":null,"work_id":"0a728d55-7b2e-4496-9240-37d9c5dfcee4","year":2023},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:12.914476Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:c73a02cbdb6ac7199fc06f4ccd0a12a220b39ef3174c12580437d5dc459ef303","observation_id":"88fd6f92-33ee-4c17-a30a-e4c492fc050f","resolution":{"observed_at":"2026-08-07T11:17:25.596956Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:25.326766Z","title":"In: CADE (2025), to appear","venue":null,"work_id":"37477330-01c7-4638-9bec-369043784508","year":2025},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:13.055734Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:7c5060cceb0642869c6df47f78c3e357a0b3fc84cf14277daa9b4a2e8939bcac","observation_id":"c3334b1e-bf51-4181-8510-d46d3a36b612","resolution":{"observed_at":"2026-08-07T11:17:25.450707Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:25.200829Z","title":"In: Principles of Systems Design","venue":null,"work_id":"93741f47-ae53-4b76-82ae-62cb68417205","year":2022},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:13.142119Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:b4732bb675fc8db7519083a7d02a7166594a0cce09d03e0fafb41e63c0264b79","observation_id":"b0fe9af9-df50-430e-8ef8-4f1a239d5faf","resolution":{"observed_at":"2026-08-07T11:17:25.251413Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:25.085684Z","title":"In: CICM","venue":null,"work_id":"f1a88cf3-3eac-4bcf-9628-8a9c2c251028","year":2020},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:13.249623Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:b7752ef0a425ef1ecc78e377cc06eb67e64cc9650dacd6d00f025d994ccb1b50","observation_id":"a6660ba6-9986-4dd4-bc18-57603f2de526","resolution":{"observed_at":"2026-08-07T11:17:25.131480Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.944283Z","title":"EasyChair Preprint no","venue":null,"work_id":"0b74b0d3-1040-444b-be0d-3eef8956e341","year":2022},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:13.359662Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:a7e54e035332831fa1ebd881dc03e88e0148e465662edf984d10c0f4f7bc0f7e","observation_id":"ba81ce0e-09ad-4748-aaee-41dc5ae0a4c7","resolution":{"observed_at":"2026-08-07T11:17:25.011599Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.854775Z","title":"In: LPAR","venue":null,"work_id":"7a3c0e5c-27de-4040-8eea-89cd3871a4bb","year":2024},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:13.463752Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:2d184a9d3fa5b1fe3d1981234a2bf6eded0d77fdee651f63a36e479d87cc77a0","observation_id":"539fc8ab-ff34-4633-ae4b-dd4795f46622","resolution":{"observed_at":"2026-08-07T11:17:24.895985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.722005Z","title":"In: FMCAD","venue":null,"work_id":"c003bb72-57ef-4227-8004-4e78584f3fae","year":2021},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:13.588901Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:7e8b9d4ff72bedb5dc8d4ec4358c892487b5db84cfbb7523ae8a66881071afd9","observation_id":"78e694f7-eaa0-4ee2-9f99-f42864106e1a","resolution":{"observed_at":"2026-08-07T11:17:24.772107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.636209Z","title":"In: IJCAR","venue":null,"work_id":"b75c166d-273d-4e31-8a0b-6f13e92cee6c","year":2024},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:13.750163Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:848c4f55da276124bc39acd32cc05f68ef9deef025a52a7378ec2626c85ed2d6","observation_id":"b24dc8ba-b8e2-440a-8339-2f6b930a0940","resolution":{"observed_at":"2026-08-07T11:17:24.678767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.544390Z","title":"In: CADE","venue":null,"work_id":"d6b2aab4-ba7f-47ee-af03-14ded6def54c","year":2023},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:13.867582Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:532988d81d063d6f7d9d37ea7fba8c3e130a874b3d9ae779399ddbbcdfe3b9c4","observation_id":"7dc59c5a-b3c1-4443-950c-c58d75f5b076","resolution":{"observed_at":"2026-08-07T11:17:24.600502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.432340Z","title":"In: CADE","venue":null,"work_id":"cdb47bac-3e47-4547-95ce-d8cb9bd8ad3b","year":2021},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:13.959501Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:f19b4e6390b087ba262e7136349fd8e746744f29ff64e097b10d711bfdb5218d","observation_id":"f0577763-c31d-4061-af0b-36ce297ec2cc","resolution":{"observed_at":"2026-08-07T11:17:24.476326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.362564Z","title":"International Organi- zation for Standardization, Geneva, Switzerland (Dec 2017)","venue":null,"work_id":"5530649a-0176-42ff-a259-fe27355c802e","year":2017},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:14.054367Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:1cf64ae949789d250e9343cf1fe8d61eb196f30378804c6f8f90eb244fa6df44","observation_id":"025166d1-55a5-404f-85a9-7c4eb9a9a7a6","resolution":{"observed_at":"2026-08-07T11:17:24.395987Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.263588Z","title":"In: TACAS","venue":null,"work_id":"cc4eaff1-c8f1-49b9-a9c3-fb89617824b7","year":2010},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:14.197526Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:c2233911632be38b372329a120e12b5cdc837837bb94eea7494c80aa42dd810a","observation_id":"c38da0c2-d7e3-4431-999b-67a40dc083ff","resolution":{"observed_at":"2026-08-07T11:17:24.319358Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.185925Z","title":null,"venue":null,"work_id":"6a84399e-52b1-41d1-a13e-673e5a092c77","year":2024},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:14.345440Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:89bda6dff5caf2d25816a4585fa12ef17ae49e685eb17362ebd5ca34f92adf77","observation_id":"90e37391-4d3b-4232-897d-fecbecd4b670","resolution":{"observed_at":"2026-08-07T11:17:24.221977Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-1-4615-4449-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:17:18.450291Z","title":null,"venue":null,"work_id":"024d60b5-57ad-401f-9455-6a146244cdeb","year":2000},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:14.448827Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:bf6e8a9bca62593dbce367c022a94f7fd0c026d0f7f0b902aa357dbe5da5532d","observation_id":"c61b5cef-472f-4f4b-9aa8-6dcee6730b21","resolution":{"observed_at":"2026-08-07T11:17:18.490385Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.103245Z","title":"In: LPAR","venue":null,"work_id":"d8ff298e-1e6a-4305-82cd-1a03613a8f20","year":2017},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:14.560040Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:9bf3b4f039c7aee562d965f5c25b3d3363926ad46656b98188c0e4ee59e8bab2","observation_id":"8ae4578f-d3ae-433c-b66c-7887b2b0e5ac","resolution":{"observed_at":"2026-08-07T11:17:24.144788Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:24.017784Z","title":null,"venue":null,"work_id":"41c9bcce-a844-4cb4-ac5d-e7dbb45e5215","year":2025},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:14.682874Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:863d3c5f16491a305741ed19f44026d2de632757e80dcb47be7c00e250a86ab7","observation_id":"4f3355d3-cd1c-45e3-bc5b-c5cd40a46e80","resolution":{"observed_at":"2026-08-07T11:17:24.067036Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:23.891657Z","title":"In: IJCAR","venue":null,"work_id":"ed1ffaf3-3c53-4c27-9f47-11b187b72962","year":2008},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:14.764901Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:38891aeee2ffede3b1b0a3c779bf632c548909535cbc5062d1462e716c30ae9a","observation_id":"28d65250-c2d6-4d13-9ba9-3d2625adbed1","resolution":{"observed_at":"2026-08-07T11:17:23.983764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:23.727360Z","title":"In: TACAS","venue":null,"work_id":"f3d9685f-7fa3-4d40-b119-13032a6ac069","year":2023},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:14.868541Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:b7609ad8e38635ee52134a9454232bb1f534787312dd4a9570be3bf10f663051","observation_id":"05d39d59-8c87-45fd-b68b-1a463004518a","resolution":{"observed_at":"2026-08-07T11:17:23.800379Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:23.490227Z","title":null,"venue":null,"work_id":"9ad790e1-9dcf-416b-b51a-eb24d8b84312","year":2016},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:14.970836Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:1eee12394f92d1327c7d156741da184be0ba47c4ea03833d73af39849c82c94b","observation_id":"370d8e70-ae25-4954-92ab-28dea7c0dd16","resolution":{"observed_at":"2026-08-07T11:17:23.606176Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:23.162038Z","title":"In: IJCAR","venue":null,"work_id":"b755a116-fe25-4b72-989f-dc4e939d4aea","year":2018},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:15.070979Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:48d2d99bb3bc1c6355b26d1353884d7ad1f98aa16a283e3f5ce19a6d4b72e1ae","observation_id":"5e3b1e3c-b87a-4f54-8dd1-94bedf7fb599","resolution":{"observed_at":"2026-08-07T11:17:23.319721Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:22.800091Z","title":"In: IJCAR","venue":null,"work_id":"da208bf3-203c-4020-91e9-5afee16b4668","year":2024},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:15.174180Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:4266b9437f5808ef33860bd9e6a33b6d11549ff72efca7766c66fe01ef511831","observation_id":"3d5c7943-a1ce-4530-89a1-8d2abb7cac01","resolution":{"observed_at":"2026-08-07T11:17:23.022336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:22.564814Z","title":null,"venue":null,"work_id":"474895ac-3f27-4417-84b7-b8ed5f62686d","year":2013},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:15.279444Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:ea60ea40aac580a864d71166192b022cabce4dd0a77c30b9fed224b6148caeb6","observation_id":"43035e6d-7696-4e5c-a80c-9c3e867d93aa","resolution":{"observed_at":"2026-08-07T11:17:22.670235Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:22.300528Z","title":"In: Fields of Logic and Computation III","venue":null,"work_id":"a4fd2b27-ad16-4200-9d88-ca33c56e09ed","year":2020},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:15.370410Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:87c77bed597c980bf333be6d4fe3a49bf0a7e1095c4161a3a05a9fcba80a5002","observation_id":"b3aae282-2e05-427a-b692-b5fe61aee425","resolution":{"observed_at":"2026-08-07T11:17:22.417992Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:22.058397Z","title":null,"venue":null,"work_id":"d0ee6c37-09ea-4dce-aa00-541e3a8c0f71","year":null},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:15.459095Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:add74ae8756a88b02da58261f474e2139aca02d219e2655ab1285193aeb5c975","observation_id":"4f0d5737-d38e-4255-a32a-f1ce7ba25e69","resolution":{"observed_at":"2026-08-07T11:17:22.178249Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:21.801603Z","title":"MIT press (1997)","venue":null,"work_id":"c43afa74-3bf8-4940-9a2a-e256bbd83013","year":1997},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:15.558842Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:10712c9812832d8645dd5a90ea9e3564d13b6f1af7839e95f5d435dc06b7eaa3","observation_id":"d5f384b6-d015-493b-9e7f-fc3b54d607e9","resolution":{"observed_at":"2026-08-07T11:17:21.885386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:21.676471Z","title":null,"venue":null,"work_id":"a59e7b23-4721-42ed-a6b6-c66745787c6f","year":2000},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:15.650918Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:560bd35f7971cd3420acea9fdc90c2c0d84b8d715351e9b041cf948d7b45ca66","observation_id":"b516a533-2b2f-4926-b1e6-07a94dab7ff1","resolution":{"observed_at":"2026-08-07T11:17:21.752539Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:21.590959Z","title":"In: Handbook of Automated Reasoning, pp","venue":null,"work_id":"71845b32-98f6-46d9-bce4-d45c109fdb56","year":2001},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:15.717502Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:48d5e14c367817ad00414107eb8aacb61dc8b0df4a85a806794386c6c6912d8c","observation_id":"f3ae8d6c-34df-4a15-935d-3f3387126ed1","resolution":{"observed_at":"2026-08-07T11:17:21.631929Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:21.463232Z","title":"In: GCAI","venue":null,"work_id":"85462801-2c43-479d-8171-f28c31498945","year":2016},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:15.850049Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:28a47267112074b8cddc3608cbbecd13cb2a6f996bd88d7773283240a2aa9577","observation_id":"4d85cf23-9e4d-41f0-bc91-29beb1b4d340","resolution":{"observed_at":"2026-08-07T11:17:21.545877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:21.352164Z","title":"In: TACAS","venue":null,"work_id":"fc28f918-291b-4a00-a392-223c7e464982","year":2021},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:16.013964Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:96c2d8b7a0cc1618b7b36622fbb4a0a9ff10bb53df055522640e1202d6724315","observation_id":"8dad0f5f-96b6-44e6-9811-12834fd0f7b4","resolution":{"observed_at":"2026-08-07T11:17:21.405857Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:21.201086Z","title":null,"venue":null,"work_id":"cb014b75-6a2b-4ab3-91f5-09b1b1d6612f","year":2016},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:16.125033Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:e7f491467e128f8ea0496b55e6785829ce273acd09903d61a98cce8f666014c8","observation_id":"cda3a67f-e5b2-47dd-a2fb-4ade05953ae4","resolution":{"observed_at":"2026-08-07T11:17:21.271898Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:21.123627Z","title":"In: GCAI","venue":null,"work_id":"4227f2cf-fda5-4d63-adc2-8a7120a65af6","year":2016},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:16.227945Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:a5cc296b081e85b1c29f9a4d3f281d7d6ed4bad6171601e1ac344df6e3ccc9db","observation_id":"c1b0b547-eaf8-4068-bc97-178173028dc8","resolution":{"observed_at":"2026-08-07T11:17:21.186504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:20.932342Z","title":"In: TACAS","venue":null,"work_id":"a7dd2642-6de8-4448-8dac-11ce7414c463","year":2018},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:16.473521Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:6de8f1beffc5b56421543d8a285a848de2cc30253728b9985810f331244f466d","observation_id":"e2a244c7-a789-48ce-8a19-cfa0a2bb36a9","resolution":{"observed_at":"2026-08-07T11:17:21.018575Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:20.749696Z","title":"In: CADE","venue":null,"work_id":"9ea8af88-d665-487a-8b8b-91c3f137e1df","year":2019},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:16.589081Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:1610ddb5664d83d91eed1a7e7f3211d12c4c632e88c4c9ecb22368a19de134e0","observation_id":"2e5ecc42-6414-4e3f-ab1e-2411a7c0b341","resolution":{"observed_at":"2026-08-07T11:17:20.859695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:20.538949Z","title":null,"venue":null,"work_id":"68385532-81b9-4a2c-b2cc-e9df6b4423cb","year":2000},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:16.715628Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:1d8d6242e65b013dc6b87aba9836c72fb29597c7a155ad8c2c16e403700c04f0","observation_id":"83baf88d-b848-4304-aa7f-3f6a1e6d1cc1","resolution":{"observed_at":"2026-08-07T11:17:20.649435Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:20.357057Z","title":null,"venue":null,"work_id":"f2f26154-e989-4a50-9ec8-d28f8ddc78b2","year":2022},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:16.844335Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:c8ba294b056ccd0262d2e1a33ce8fa2233f199682ad02b44029e5e1fccd341a4","observation_id":"391e6acd-a90c-44fc-be59-f4d4c09eb624","resolution":{"observed_at":"2026-08-07T11:17:20.444960Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:20.188058Z","title":"In: LPAR","venue":null,"work_id":"29f86d2e-fb58-40fe-8dd9-a2db364d05e0","year":2024},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:16.963246Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:c596e8be2fe0a9059cca7578fde29708b07c24c618380467e57113a1722b93e9","observation_id":"907a5ba4-4ff7-4c80-a538-fc58e60b313b","resolution":{"observed_at":"2026-08-07T11:17:20.257222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:20.005248Z","title":"In: CADE","venue":null,"work_id":"a880f144-adff-4867-9153-ee5032d64aa9","year":2019},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.078013Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:f9d3b0fd769828d798569a3204b8430badd68bf78d69dde09a23ecb13662de06","observation_id":"fae36871-9996-4fc9-ac88-7ad5c0757dd9","resolution":{"observed_at":"2026-08-07T11:17:20.106177Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:19.773262Z","title":"In: CADE","venue":null,"work_id":"4457ee7c-b754-49b9-86e1-f1afa80f336f","year":2021},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.151504Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:c6fc6eab6c79794ee91c7b252afa5c7371e515ae0d4faed66b7eeb8cfb6f2082","observation_id":"c2a8ac6c-f568-4906-8cfd-c126959f1ffb","resolution":{"observed_at":"2026-08-07T11:17:19.908856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:19.573273Z","title":"In: TACAS","venue":null,"work_id":"59c65d6f-f5d6-44d9-afed-1dd496c4ecb2","year":2012},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.258365Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:5e61ab8b4e1894615d6eceaed0c744d486ebeacf0124385638f24396d0511477","observation_id":"7589ba0a-30ea-4240-9128-3a63a8dd95ba","resolution":{"observed_at":"2026-08-07T11:17:19.623934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:19.476194Z","title":"In: IJCAR","venue":null,"work_id":"013787e7-fd55-4518-93fe-45eab609c8a6","year":2018},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.336488Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:1875324e8efeaac78ad18d218b2f3bfb33debbf9efbb98d47fbfb532b9582ae8","observation_id":"9d91016d-f040-4c0a-ac55-8c07b004a294","resolution":{"observed_at":"2026-08-07T11:17:19.511516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:19.385030Z","title":"In: IJCAR","venue":null,"work_id":"df5d41a4-bbf8-4f09-b888-2ffea2fcf738","year":2022},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.436738Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:898c70244d4fa75c488f05dfc0ff6bb649eca73d8e22dd501b50746c951bad74","observation_id":"6a19530c-0b7d-4c08-80f7-7c3bbd638e4c","resolution":{"observed_at":"2026-08-07T11:17:19.421943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:19.289495Z","title":"AI Magazine37(2), 99–101 (2016)","venue":null,"work_id":"e4048966-9476-432d-b0ab-f27c6fc290a8","year":2016},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.529721Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:00a9cf008aea5cee575d6822044439e98114a81145fe43bb185bb6fb2d283c9f","observation_id":"add1869a-a69d-41f2-a1e3-16137ddca72c","resolution":{"observed_at":"2026-08-07T11:17:19.331807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:17:17.652897Z","title":"Logic Journal of the IGPL (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.652897Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:4c10c03902d3a914d0dbf0d017224bba830ef2b21dce93843990cd52b34d9840","observation_id":"02c12309-c81a-4be0-91c4-79099e3ed5c4","resolution":{"observed_at":"2026-08-07T11:17:17.652897Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:17:19.199587Z","title":"The European Journal on Artificial Intelligence 0(0), 30504554241305110 (0)","venue":null,"work_id":"ad146396-3600-487d-b967-3e9059f46b1b","year":null},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.725918Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:c557c2c8ad250daaf24507642f525024e688116ed9c4a7abeaebdd07a92a7b0e","observation_id":"82080c96-0b58-4c32-ba3d-8c86297eda1a","resolution":{"observed_at":"2026-08-07T11:17:19.247390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:19.104507Z","title":"In: LPAR Workshops (2008)","venue":null,"work_id":"35e4599f-c54a-4b0e-807f-d0e3f3d1b9ab","year":2008},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.800587Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:76520756274973fab6ae2c712ec8fa95274deb2dc637ba14bcc5ce9296fe6c0d","observation_id":"75fe258c-006a-426c-be84-b986652eaa5a","resolution":{"observed_at":"2026-08-07T11:17:19.144839Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:19.026701Z","title":"In: LPAR","venue":null,"work_id":"51842a55-e61b-4580-81ae-d962e84a5b1e","year":2010},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.865503Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:54347f30723cbd654c157ace4850cc0c8f64fca01ad0e94bc089e6a745b5d4a6","observation_id":"d80656e1-b5d2-41f0-84e9-48a695ca1b52","resolution":{"observed_at":"2026-08-07T11:17:19.058933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:18.926004Z","title":null,"venue":null,"work_id":"e9bad9b5-6e8d-4f70-a519-7a806009cb74","year":2025},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.938246Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:798c02f1067dea71632c1de8eaee02d3f41178d201ba3c72bed44defdcee85b2","observation_id":"9092b1d2-41ef-4047-87f1-da2629f0d7b3","resolution":{"observed_at":"2026-08-07T11:17:18.965057Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:18.817845Z","title":null,"venue":null,"work_id":"4edf7b3d-d05a-4d90-9dfb-4c3b5db7c9b9","year":2014},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:17.992469Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:3c09b47f1615cf8519862bb25431b6567b57d3b461add026b4a2f2f9cf579383","observation_id":"bac2bb04-7be8-4c4d-a302-9a271864557b","resolution":{"observed_at":"2026-08-07T11:17:18.856770Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:18.726501Z","title":"org/smart-program/Vampire23/2023-07-05.html#talk:223833","venue":null,"work_id":"2163325d-37ab-47ff-aaf4-cc39d4eb685c","year":2023},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:18.108617Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:7f4498f8cad096cfe761e844eab971c1ccb44a4f7f2a3301bd985d449fbf78af","observation_id":"524b5b17-ca84-4dde-bfd4-727f540f2787","resolution":{"observed_at":"2026-08-07T11:17:18.773611Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:18.646340Z","title":null,"venue":null,"work_id":"4c35aff4-23a4-41db-9360-121ec6cdf404","year":2022},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:18.174748Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:ac22fa55cb8aab35865ae97de08edc3c787181a15de7111b4c3c236bb9ffa9b1","observation_id":"7f194585-3d31-4939-9b3f-7b03da716d65","resolution":{"observed_at":"2026-08-07T11:17:18.686463Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/sat190123","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:17:18.340797Z","title":null,"venue":null,"work_id":"d49a2d19-611d-4f76-a2e7-f57d82edf021","year":2019},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:18.229124Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:e6c1d5b8e822da31d16fd90a450b5167ae013160b752f95b7280b5d5fe47323d","observation_id":"24119c84-d187-4c9c-b83c-f9df86fc5406","resolution":{"observed_at":"2026-08-07T11:17:18.370541Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T11:17:18.549185Z","title":"In: CADE","venue":null,"work_id":"2100ba80-ccf0-4fe4-ba1a-a490f6f3f4b8","year":2009},"citing_paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary","version":3},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-07T11:17:18.272376Z"},"links":{"citing_paper":"/paper/2506.03030"},"observation_digest":"sha256:e47046332b0bede84966572bc16f908fc4e78f73a3618c0d14a694950abab01c","observation_id":"fde79f9b-249f-4ee0-bdcc-b60b10e17d56","resolution":{"observed_at":"2026-08-07T11:17:18.591874Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.03030","last_updated":"2025-08-20T09:25:41Z","latest_version":3,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T11:07:46.451453Z","submitted_at":"2025-06-03T16:03:37Z","title":"The Vampire Diary"},"reference_resolution":{"displayed":71,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":2,"verified_fuzzy":49},"total_outbound_references":71},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"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."}