{"as_of":"2026-08-15T09:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:597941100cb6e5f92a121b4c9b8089ab0765b0fe77b3bc4f1d3d76ed9a7bf075","coverage":[{"denominator":87,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":87,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T19:07:36.521935Z","state":"measured"},{"denominator":87,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":87,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/2411.11113/citation-record","integrity":"/paper/2411.11113/integrity","json":"/paper/2411.11113/citation-record.json","paper":"/paper/2411.11113"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.158833Z","title":null,"venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.158833Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:df7b257e9b375dab5fdc44ce7669a103ef3d70cd5c73b3fe7089ad83ce76f515","observation_id":"02f262c5-efe1-4116-aa89-76d81ee2f388","resolution":{"observed_at":"2026-08-12T19:07:36.158833Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.164455Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.164455Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:a05bfa8037d19e6e534ee7c8e80c6a2d6ab75aa6a6640d0fd4833c306fab4dde","observation_id":"4e676c8d-82e8-4c74-80cb-7e1952b71a63","resolution":{"observed_at":"2026-08-12T19:07:36.164455Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.168845Z","title":"Naumann, and Minh Ngo","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.168845Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:a718af5c83f7bcba4ef3ce46bf84d5b9109c5ee3770690fb8d2f7a20ba6f8ff3","observation_id":"2e9ddad8-5e30-49bb-a67c-1daf0554a088","resolution":{"observed_at":"2026-08-12T19:07:36.168845Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.177315Z","title":"Apt and Gordon D","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.177315Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:4d42dad45e55879cd3caf2556c8afdeaad0b7b184b46a258274e5a1f4d2f76e8","observation_id":"86a50240-31f2-4b46-ad1d-165f9d036ba9","resolution":{"observed_at":"2026-08-12T19:07:36.177315Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.181794Z","title":"Naumann, Julien Signoles, Eric Totel, and Frédéric Tronel","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.181794Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:345ef66942d7ee3a376853a5d26b6cfe26ce991d30f7a921cbe22cc7b4bd0b00","observation_id":"07ba2718-62fc-455e-a054-a23c8af7a9d4","resolution":{"observed_at":"2026-08-12T19:07:36.181794Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.185987Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.185987Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:bc3affdebc7c5445f0fbad035ee1a71896e505aa4d266751cfaacb1c6208e8c1","observation_id":"6e182bce-5ff6-42f6-8684-0805a26d2568","resolution":{"observed_at":"2026-08-12T19:07:36.185987Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.190884Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.190884Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:d073e43ea178adf1c907dd55c0f78fc81d4b6764bb6cc4b0c79bdc62782d6dcd","observation_id":"9b985b12-ff21-4e4a-9091-a8d431d6f360","resolution":{"observed_at":"2026-08-12T19:07:36.190884Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.195405Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.195405Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:101488eabe09fc4745a35c367afa90000a97d37f4de6f2b91aa39922da562485","observation_id":"d97327cf-d514-42d9-8143-3a89d95fb524","resolution":{"observed_at":"2026-08-12T19:07:36.195405Z","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":"10.1007/978-3-031-37703-7_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"f1b7af70-9c1c-43d6-a2f0-30d4d839bbde","year":2023},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.199684Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:4c517e9adf4ce42b1035b7a83d52fe5bed2b56d5cb48f8979bca87c5cf518045","observation_id":"e35d270e-71cf-4918-b65b-933a8f194c63","resolution":{"observed_at":"2026-08-12T19:07:37.116360Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.203879Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.203879Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:78f82351637897a23d2586729b8d4a6338415cae95afd75fb2accc75b02dfc8f","observation_id":"cade51f8-902f-4e83-a835-79a407da29f1","resolution":{"observed_at":"2026-08-12T19:07:36.203879Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.207826Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.207826Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:331e6f70a5caf370da2e31a52621df35143ff561a988c1f81f32a7030aadad82","observation_id":"0c48aa4a-d1b9-49f1-9fd3-620f74bcb4be","resolution":{"observed_at":"2026-08-12T19:07:36.207826Z","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":"9758.10501","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:38.324073Z","title":null,"venue":null,"work_id":"4336aa02-4dc6-43de-a5d3-97c88532dfc2","year":1987},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.211956Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:1cd9a8ddbce71992a5cec77810206f2f493e8a1474ab518146452ba7abb0c2c9","observation_id":"80524679-af3e-4f15-9325-1bcd4957fa54","resolution":{"observed_at":"2026-08-12T19:07:38.330637Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.215876Z","title":"Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.215876Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:2a7218d23b4288449a232473e99eb73f4ab4370c0da6037d895ec0cb08784962","observation_id":"08c9fffb-c796-4faf-a2cc-8bfdadfbf02b","resolution":{"observed_at":"2026-08-12T19:07:36.215876Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.224420Z","title":"Clarkson and Fred B","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.224420Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:de4d41efc09f996b6b60dd8a5d19b036708baaca41f9603fb66d0b179e0f5147","observation_id":"1f646f33-2719-447f-beae-4461da975b61","resolution":{"observed_at":"2026-08-12T19:07:36.224420Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.228389Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.228389Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:1392e257d4cdf3be26398988480c69d6f26961e78885363d9582f030adc92b0c","observation_id":"16371ec9-7f72-4896-a888-bd70b64554ba","resolution":{"observed_at":"2026-08-12T19:07:36.228389Z","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":"0214.80655","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:38.255686Z","title":null,"venue":null,"work_id":"f8fbf254-7308-4c78-990a-aa62e8daa475","year":1977},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.232691Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:a704cd2150e85926d366e4c4abec8181b7170e4bca029413dcaabbb8f98797d5","observation_id":"5b7dc87e-4b29-4453-907d-cbb17e1e49ac","resolution":{"observed_at":"2026-08-12T19:07:38.263132Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-08921-7_53","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"eba38b6e-4c07-431a-acda-4b5d20b85d94","year":1978},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.236534Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:d418cbaa313927ae77802d722109033ab174b384406dc6e6f1afe42f8909d589","observation_id":"2b399f88-d25b-4fd0-a4b5-a34cbcf038ac","resolution":{"observed_at":"2026-08-12T19:07:37.069274Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0304-3975(00)00313-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:37.051510Z","title":null,"venue":null,"work_id":"c690494b-eddd-4bea-9543-b161e4aad0ce","year":2002},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.240556Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:03336a171cbfc3afb9c96b175a0e23feda5b18a5f29f88dafebd240357caf95c","observation_id":"8e772b1d-e996-4cad-888e-b5f108a25b69","resolution":{"observed_at":"2026-08-12T19:07:37.055837Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-45260-5_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"c10383ee-41b8-4ab2-bbd0-f9dfec53ebdb","year":2019},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.244438Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:21a7dec287e48e2ce1c322fab47b581632bae0a42f3970130cbd8e11d1cf8c6a","observation_id":"923115d5-6eb1-428e-862e-e3fa6f82a5cd","resolution":{"observed_at":"2026-08-12T19:07:37.042495Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.248679Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.248679Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:363d11248abc88491463e7b1f29fe00a91619b0b162c35a622e372b0c201cfbd","observation_id":"ca838937-3010-4e92-b1e9-44709e77a1ec","resolution":{"observed_at":"2026-08-12T19:07:36.248679Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.256792Z","title":"Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.256792Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:83fce26267c352b4bd7b34737abbbeaa5f0bac759d191457b88c9c2709a397a5","observation_id":"dfd5c4c8-60d9-42e2-9a32-04eaea76bfc2","resolution":{"observed_at":"2026-08-12T19:07:36.256792Z","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":"10.2140/pjm.1979.82.43","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:37.015825Z","title":null,"venue":null,"work_id":"1df50e7c-ebca-418f-a38d-cb2932c226a5","year":1979},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.260612Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:5d114e192293ed74281d218fd8ce192df9cff2756ba9fdecc3196174fc7ca842","observation_id":"a9dfe23c-6a54-41b2-ba36-b16157c72db3","resolution":{"observed_at":"2026-08-12T19:07:37.020054Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.265141Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.265141Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:1f557156df8bd0560463f823b3289241f4fe76b9d557af408af3ce9c8fca9e97","observation_id":"eba1172a-3f20-4ef0-a5f6-cf64271ba86c","resolution":{"observed_at":"2026-08-12T19:07:36.265141Z","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":"10.1007/3-540-60045-0_58","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"9420e994-d803-458c-b1d1-f714026d7a4e","year":1995},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.269358Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:ede1b8e70788fabe3365dc475ed8b7695465c45e11aaa2627a067414016e2d48","observation_id":"283b95ea-4b4e-4cf3-83cc-0272200c2171","resolution":{"observed_at":"2026-08-12T19:07:37.006514Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2008.03.025","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.988405Z","title":null,"venue":null,"work_id":"9f5d571f-6224-43c3-a862-4ae3c7b486d0","year":2009},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.273366Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:26db4918a2295d50e8b73bd9e5b819af7238c93d174ef9c478df125da52192f8","observation_id":"bdca0840-fe60-4e9b-b21c-06801f0ed66a","resolution":{"observed_at":"2026-08-12T19:07:36.992567Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.277260Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.277260Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:83b3ec6c7cfec3fbaa3a7bf59fb8caea6870ef00dc75d3bcb0e898ff0919c9b1","observation_id":"52c4fec7-7c9b-4dc6-a130-19be84336a7c","resolution":{"observed_at":"2026-08-12T19:07:36.277260Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.281239Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.281239Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:738a47a404c2518f787e2bd63c85ad3911e77444ec58479feb5fb47d16951d44","observation_id":"1ffc1b85-93f2-4123-9560-f063efdd8433","resolution":{"observed_at":"2026-08-12T19:07:36.281239Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.285112Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.285112Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:87f1c235e6908341fe7257eb2a1d1fd3c190d49eb89ca313499ad5ce454e330c","observation_id":"935983be-f341-429c-bafb-d5993af3cbca","resolution":{"observed_at":"2026-08-12T19:07:36.285112Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.289133Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.289133Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:784b16397f6bb1506fb374c557f0d78d47bf6196d339b48d164c934fc3d48b6b","observation_id":"aba14621-ddd1-410e-9c89-9e83f6ca832e","resolution":{"observed_at":"2026-08-12T19:07:36.289133Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.293109Z","title":"Davey and Hilary A","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.293109Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:7cf8b1aec7ea4b50522d85d4205a509cd8884b46cc71cb6ce700bbb024cefe0d","observation_id":"a1c1f62b-d379-4e5a-9f00-531abf12e31d","resolution":{"observed_at":"2026-08-12T19:07:36.293109Z","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":"10.1007/978-3-642-24690-6_12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"bf6693b7-99d0-4b6c-892c-12864af7145c","year":2011},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.297331Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:6fb274842743901e1132980d04536ea8cad0568ae308de601a80da596492e97d","observation_id":"f14910ec-7d14-4a0b-b623-5189f06edd70","resolution":{"observed_at":"2026-08-12T19:07:36.962545Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1142/s012905410200114x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.944267Z","title":null,"venue":null,"work_id":"cca82d47-18be-4e0f-94f9-2bd14da92901","year":2002},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.301608Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:8680c082f5280915d5610acc57972c5aac334daef5a8d8e93083ad6cc3573d29","observation_id":"ae2f0733-cff1-44e3-a61c-b425b4c0de83","resolution":{"observed_at":"2026-08-12T19:07:36.948463Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-1-4020-1898-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":null,"work_id":"82270686-f03d-4154-a0ba-229af7602f7c","year":2003},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.305678Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:c33b0e4a122bfa4a84b41710050cadf95c1f88ad62d5239e96251118c250ffe4","observation_id":"f93cfc4f-82c0-4f43-a1d2-346f39f4f9d7","resolution":{"observed_at":"2026-08-12T19:07:36.934893Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.309839Z","title":"Zhang, and Benjamin Delaware","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.309839Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:5a96667d179ed31e6eeebd6f3d4e056f7b53ea59075cb97f0956b0bfe9c2cb4c","observation_id":"bf26a26e-14e2-477f-9c6f-25e76b1b3bb5","resolution":{"observed_at":"2026-08-12T19:07:36.309839Z","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":"10.1007/bfb0014657","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"Dijkstra","venue":"Lecture notes in computer science","work_id":"ab903b39-b8bd-4529-9319-92dabf52b46b","year":1978},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.314087Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:b02a20efb07b5c40a53cf46360a51c2dcdd77e3afb22aac94ea3fb9d8a9c625f","observation_id":"881cff38-8a69-462c-9a45-f5126dd3ed2f","resolution":{"observed_at":"2026-08-12T19:07:36.911641Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-11157-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.893939Z","title":null,"venue":null,"work_id":"5a15e49b-a20c-4719-af82-74f5fd03c28e","year":1979},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.318092Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:7e9ca2d9c6d3c90caca103f36f8016cd756ff73187642748c7fca88155147bd0","observation_id":"47dab979-b159-4169-9383-1a90c2c3c404","resolution":{"observed_at":"2026-08-12T19:07:36.898057Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.322180Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.322180Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:064d3f8e963126b2df5b2af23aef4d6a8464a001a3a2ea7988dedb579724df82","observation_id":"3216b925-8b5f-4cbc-be32-9860e9a0bb29","resolution":{"observed_at":"2026-08-12T19:07:36.322180Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.326099Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.326099Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:977c1fbead4c2d3b80391ddd6bf9aff78a01c2306c679d5df8f2a45fa1c6df0b","observation_id":"b7b9e4f0-c9d4-4c50-89d0-19147d59a5b0","resolution":{"observed_at":"2026-08-12T19:07:36.326099Z","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":"10.4230/lipics.concur.2016.13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.879601Z","title":null,"venue":null,"work_id":"6d4bb560-21cf-433b-8b70-fad8d5e06476","year":2016},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.330344Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:842be6c06da00444295e2c997112d2e677d4c4a2af4d1b95bca1d8c90d47a62d","observation_id":"2f3425cb-21ad-4596-aa3f-a0c7d5c79d27","resolution":{"observed_at":"2026-08-12T19:07:36.883912Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2004.12.021","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.865763Z","title":null,"venue":null,"work_id":"61b5489d-f0cb-4cbe-ae1a-737c9eba4442","year":2005},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.334716Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:f004a7828bb54f8dce83390caf3ec4c7ae91b9427d3367670c12eb9559be3545","observation_id":"771a5729-ff8e-41c5-9dec-f19660c5adbc","resolution":{"observed_at":"2026-08-12T19:07:36.870095Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3175660","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.852509Z","title":null,"venue":null,"work_id":"fcf74913-c3cf-4a67-9973-7e92ed0b7896","year":2018},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.338798Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:602cecce80e2990eea558fd0a8dfb47e67b16b02b2810d73fcfa83715aed9fd1","observation_id":"f179ef55-9099-4c82-a69f-77f96d987da2","resolution":{"observed_at":"2026-08-12T19:07:36.856775Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.343028Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.343028Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:36501af45c6079db48f15cd833adf4b4bafd6be262bc786108e318f6e477f96a","observation_id":"fbe75d9f-f5e6-4af2-97d6-b106a7426678","resolution":{"observed_at":"2026-08-12T19:07:36.343028Z","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":"10.1016/s0022-0000(74)80028-0","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.829391Z","title":null,"venue":null,"work_id":"aafe094d-3d68-4f52-8baf-560a730f11d4","year":1974},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.347749Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:2ac9fbaf1514e540ac027b6a4f26b72b084cb8a53cee3fe5d0face0a0143d793","observation_id":"84cd460d-7115-4059-b48e-9a765e58d959","resolution":{"observed_at":"2026-08-12T19:07:36.833958Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.352053Z","title":"Goguen and Grant Malcolm","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.352053Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:d7b7771140500362a675ecfc55b5e28c4667d2809e1a8bb6fda73cc034d75e34","observation_id":"fe5e3e51-7e4f-441a-9662-0ce386048448","resolution":{"observed_at":"2026-08-12T19:07:36.352053Z","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":"10.1007/3-540-08353-7_183","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Goguen and José Meseguer","venue":"Lecture notes in computer science","work_id":"300d585d-6ac5-40b5-af9c-8ebd374d2a7c","year":1977},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.356015Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:6d60409e4c2dbfc27d82f23f1d59b5b851c8897ef3f3bd8063d6a50c4714a0ff","observation_id":"418583f0-483f-4dc8-8e8f-860f5f2577b1","resolution":{"observed_at":"2026-08-12T19:07:36.820511Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.360068Z","title":"Goguen and José Meseguer","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.360068Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:86b04ce7370fe35f3e287f1868a9ea0fdc5bba0ba01d7696b4ad6132db362b62","observation_id":"dee57eff-968d-4f30-8da7-0b4062af41d5","resolution":{"observed_at":"2026-08-12T19:07:36.360068Z","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":"1984.10019","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:37.865619Z","title":"Goguen and José Meseguer","venue":null,"work_id":"ddcf46cc-d059-4ae9-a918-cf554a4bd874","year":1984},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.364457Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:509fd2391f6542dc260feee875992b0ddb91115d6fc4e6c9e6eb04d53bfb51ef","observation_id":"91d2be77-9fde-4424-8e06-3c9a8a2184e2","resolution":{"observed_at":"2026-08-12T19:07:37.872333Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.368437Z","title":"Goguen, James W","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.368437Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:06d8ff4ed4b9d9e192d5ca0bd6c590ad2bb835aa38c3988c87fa2e119f8a303a","observation_id":"0721df5b-4d37-440a-8389-77d943010934","resolution":{"observed_at":"2026-08-12T19:07:36.368437Z","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":"10.1007/3-540-08921-7_73","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"cb11ae78-bc68-4f0e-8d54-749589d9f614","year":1978},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.372410Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:248e4e40d7d88a71975fda8f743706918f406b4c9d2fbcf365007f587efb7a0d","observation_id":"0971fb18-70c8-4c73-be41-38047b428647","resolution":{"observed_at":"2026-08-12T19:07:36.807276Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(93)90182-s","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.789409Z","title":null,"venue":null,"work_id":"bed745c4-91e7-494c-b68a-d252355f73ea","year":1993},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.376421Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:00b7816115437fc59199215d20238db31ca749f3ddf4884fb472d070c2afe838","observation_id":"92ccb4bd-5097-435e-9915-b418ce8054da","resolution":{"observed_at":"2026-08-12T19:07:36.793562Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0167-6423(90)90018-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.775081Z","title":null,"venue":null,"work_id":"902a25b9-238d-49ca-9856-88300fb02453","year":1990},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.380476Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:50a93d9a9fa284a4633fcb136548346773cb2b6ba2be07ad5066cb1237f4ae13","observation_id":"feba23c9-13ba-4515-a242-fb5402b61019","resolution":{"observed_at":"2026-08-12T19:07:36.780157Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-1-4419-8596-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":null,"work_id":"85960d9f-9181-4dc9-9668-257b59fc1b68","year":1993},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.384594Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:b7d5c4772ffa945496ede7b0b00ae9fb73f14061e5922398d9be313a39340104","observation_id":"dbb2c0cf-58e5-4f16-b0b7-5734a5e63620","resolution":{"observed_at":"2026-08-12T19:07:36.764662Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0167-6423(98)00027-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.747300Z","title":null,"venue":null,"work_id":"86e1f642-498d-488d-9441-60b8c158df7d","year":1999},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.388743Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:c60c8bbb08ff01ae56945b186f0969b708c804b7790ce7ee54343000902ab027","observation_id":"d086891f-3cae-4d11-b80c-266900c7b3be","resolution":{"observed_at":"2026-08-12T19:07:36.751535Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.392867Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.392867Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:3cbd039320b9eb8e1e81f939a962851f7a5076c72b1de76c4af3dd0d61e7f370","observation_id":"cfcd1b5c-f446-4ea9-aa9c-1799d283f11d","resolution":{"observed_at":"2026-08-12T19:07:36.392867Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.396998Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.396998Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:583db630fc936eda60abc9b8e551d6b667d24cb828b1ccbdf4b81b2e91d78446","observation_id":"fb37d90a-054f-44eb-a4e3-4c98f07e3dd5","resolution":{"observed_at":"2026-08-12T19:07:36.396998Z","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":"10.1007/978-3-642-39698-4_13","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"297d21fd-bf3d-4ada-b0ec-36466a2279c7","year":2013},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.401080Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:0e2fc5e8f451c50e54d56f4d1b9485b80177fe64f8804fcfdf94def64c3df854","observation_id":"e8c1220d-e885-406c-af3d-5695b6987057","resolution":{"observed_at":"2026-08-12T19:07:36.738130Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-44584-6_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"4b5f337d-f617-4fe2-b789-665b290aa969","year":2014},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.405359Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:c5ddb220ca56b297794142819b7b22d263e8841182809516ea6d4d636f0e7d1c","observation_id":"a92e484e-7ace-427e-a74e-4ed41bd82fea","resolution":{"observed_at":"2026-08-12T19:07:36.724722Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.scico.2013.08.012","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.707424Z","title":null,"venue":null,"work_id":"04beb95e-039f-4361-90dc-efc7df7bbc2c","year":2014},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.409504Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:908d1c8339b0f110c471e5a38da9f2f8079555834f96b806ceb5611cde4d2579","observation_id":"eb8dbc0c-543c-4999-b436-df06e4da2c61","resolution":{"observed_at":"2026-08-12T19:07:36.711739Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8924.36893","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:37.591305Z","title":null,"venue":null,"work_id":"fc86cd8f-882e-437f-862f-070f7eac386c","year":1958},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.413741Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:bc617125dbdf6d4057966554d32f97e3a0c89b86194ada5e73bdb50615a7873c","observation_id":"6e8db60b-ef14-4dfd-8231-d56b17769ef4","resolution":{"observed_at":"2026-08-12T19:07:37.600416Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.417655Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.417655Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:dbc6c6051f0ee5aacaf01bd6365742dcb835377b29b3a50490bbf1274ea2b07f","observation_id":"99014de5-51ce-4b67-9b92-439c46682fa7","resolution":{"observed_at":"2026-08-12T19:07:36.417655Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.421795Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.421795Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:c4af321fe606117f1192769429c8a04f5071f3c421c4ed36ce6686d18fdc62a0","observation_id":"7d1bd53e-8e50-4cc2-bc1e-00fb50f60ac2","resolution":{"observed_at":"2026-08-12T19:07:36.421795Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.425747Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.425747Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:7b8785fc95cbde7e72287e843687da2bd885f67f6c1f52e0005c77a88e263e6f","observation_id":"98ed2d93-651b-4a49-8644-ba4b041ef4fd","resolution":{"observed_at":"2026-08-12T19:07:36.425747Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.430084Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.430084Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:bb169fd10653e08e43683045a5dd3386d65d442f7e2c07d36b8580e71d3191b7","observation_id":"19adb233-8014-4470-81b4-cdbac5b67ec9","resolution":{"observed_at":"2026-08-12T19:07:36.430084Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.434337Z","title":null,"venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.434337Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:ecce6ae6ae639596b10c35c27870e226f24e2eb2998814a0a533b2ec671a2ee0","observation_id":"52f65c96-37ff-4a9c-bfec-6029ceddb6f4","resolution":{"observed_at":"2026-08-12T19:07:36.434337Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.438531Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.438531Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:01f59d334804ad130bb43d34d99716c40d362eb684019a505c68102788461eb0","observation_id":"1d81e2c3-68cc-48e8-ae93-7c233e867237","resolution":{"observed_at":"2026-08-12T19:07:36.438531Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.442874Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.442874Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:7c07ea32e51b7b6219cb98568641b478cc1069fff6a539a538f991bb8b92be08","observation_id":"b8adc3df-92b0-4ca9-847b-f0f864898ba6","resolution":{"observed_at":"2026-08-12T19:07:36.442874Z","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":"10.1007/978-3-031-44245-2_19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"ccf94577-9568-4459-b3ae-551b24ea3aad","year":2023},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.446940Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:babc59a8a32be095a63195a15eddaf783a305e2bab19f7ca0e285bd0fa81b483","observation_id":"1058a180-c03d-44c2-8f0e-90de34057693","resolution":{"observed_at":"2026-08-12T19:07:36.665047Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.451032Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.451032Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:f8a227a36c865291b983a3a11d8ad6a901119e9fb0a1256213bae885a93490d2","observation_id":"fe97bf64-92a0-4688-8528-defa66bb5e49","resolution":{"observed_at":"2026-08-12T19:07:36.451032Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.455031Z","title":"Possibilistic","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.455031Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:026bbe7b3066be7d6dc7b05d9951823c75a4b9b796587ba14deff6f922f5c08a","observation_id":"4c0c2230-eec6-4b83-97c4-7bfbca9bddc4","resolution":{"observed_at":"2026-08-12T19:07:36.455031Z","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":"10.1007/978-3-030-88701-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.637484Z","title":"O’Hearn, and Tony Hoare","venue":null,"work_id":"5d09395b-d115-4b4b-9370-7aa0ce88c62b","year":2021},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.459164Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:d9816bf50e6e94838f7ce23f81a67d7c66915e49e9219c7fd781fb0e8b0d25f0","observation_id":"7a17b032-5305-43d9-b745-afe77db63041","resolution":{"observed_at":"2026-08-12T19:07:36.641794Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:38.614935Z","title":null,"venue":null,"work_id":"b27ec955-7120-4575-a706-096561d0f9bd","year":1969},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.463711Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:aa20478944f9bf94cc6550c8eb2bd4aee40169405cdf189505a4aae09b695c89","observation_id":"ea0bc7b2-df06-4471-9687-699630898f40","resolution":{"observed_at":"2026-08-12T19:07:38.618977Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:38.600972Z","title":null,"venue":null,"work_id":"3c4fb761-9327-43e9-a064-64f1247fd674","year":1982},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.467762Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:9719e2574377b9f9d24f5649ea54c003da17a27de267a61e85b81eb7267433e3","observation_id":"1fafa32a-a626-4014-81fd-c6d23a3b1a7e","resolution":{"observed_at":"2026-08-12T19:07:38.605574Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:38.585752Z","title":null,"venue":null,"work_id":"43c14d8c-4bcd-4975-b845-809a6f2c21d7","year":1980},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.472671Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:6eef32afbdfc05e160d15f49e4c6a6a2f6adbc42a4fda885ce6c951ba2930ea0","observation_id":"21b1ff52-5fdf-4dc4-9866-8bcfc90e1f81","resolution":{"observed_at":"2026-08-12T19:07:38.589918Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:38.572780Z","title":null,"venue":null,"work_id":"5325d6f6-46f8-4305-b73a-5dcc5f0f8295","year":2020},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.476667Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:ead000d9ac5cad3241401d1ef2b69627f10ba7e0706a858bbc784d6cc151d587","observation_id":"62450064-1afd-4a09-a9eb-79f1fddf4175","resolution":{"observed_at":"2026-08-12T19:07:38.576874Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/1968978","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.624400Z","title":null,"venue":null,"work_id":"bc041b74-bdd3-4198-989b-5b2e52a00503","year":1943},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.480735Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:8644423e1f87ae130d6b08619b9e1c8d0da75e08ab5c4160290650df6550491a","observation_id":"561387f9-a938-4077-93bf-4cee1a45ee7b","resolution":{"observed_at":"2026-08-12T19:07:36.628461Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:38.558595Z","title":null,"venue":null,"work_id":"d0d8778c-b56b-420e-8fde-46ed01245054","year":1969},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.484955Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:793af3a0474447520f9dbceca619cdc501e56d12a6c8c01a2591a20ec1fbe3c3","observation_id":"d2b14b21-d43b-4b18-97f0-32459a0f6007","resolution":{"observed_at":"2026-08-12T19:07:38.563018Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:38.545276Z","title":null,"venue":null,"work_id":"f35ac1cf-6b27-4ac0-856a-0d153a95779f","year":1976},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.488929Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:7099301af83e7065f53708257b98a43e1e853781fedd3464fbb0be3a3ae35741","observation_id":"0e7e704a-a8ca-4c53-aeaf-6ec11fa1ce5a","resolution":{"observed_at":"2026-08-12T19:07:38.549557Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2015.12.021","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.610859Z","title":null,"venue":null,"work_id":"51ac86c9-22f9-43e7-aa46-681fb25ae878","year":2015},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.492822Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:5b83dec41889398eed1624cf312ed77391b07a466da166a304b79d4921103a43","observation_id":"6f814ea8-251e-409d-9ff8-5a18bd7223e5","resolution":{"observed_at":"2026-08-12T19:07:36.615361Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:38.532100Z","title":"Scott and Christopher Strachey","venue":null,"work_id":"b98da3b0-9450-4cd4-a3d8-efbee6b9f879","year":1971},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.497126Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:b54aaa7134dffc97a6e087c143551b6db7dca2ce8df18fc03035a34d16e3953d","observation_id":"b485de42-f108-426b-a080-2c84e56807ec","resolution":{"observed_at":"2026-08-12T19:07:38.536280Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.501127Z","title":null,"venue":null,"work_id":null,"year":1955},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.501127Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:8f9cabde7614ed7a4cbb928b1107eecb565462be32760129136110128893ce12","observation_id":"0a6d1e08-28b6-4fee-87b0-9be217546944","resolution":{"observed_at":"2026-08-12T19:07:36.501127Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.09662","last_updated":"2023-12-15T10:21:28Z","snapshot_observed_at":"2026-08-13T05:01:07.671147Z","submitted_at":"2023-12-15T10:21:28Z","title":"Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond","version":1},"cited_work":{"arxiv_id":"2312.09662","doi":"10.48550/arxiv.2312.09662","metadata_source":"pith","pith_arxiv_id":"2312.09662","snapshot_observed_at":"2026-08-13T00:16:21.800782Z","title":"Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond","venue":"cs.LO","work_id":"e0eef24d-2e62-47be-a9c0-9ab82253a6a8","year":2023},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.505185Z"},"links":{"cited_paper":"/paper/2312.09662","citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:8d520a1fa44eeff59481fccc89e2475426e179b355d93b15a2a3ee63a032e5d4","observation_id":"f4af71d5-ae5a-410d-8d5c-a50db15a729f","resolution":{"observed_at":"2026-08-12T19:07:36.593007Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/1968865","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.567737Z","title":null,"venue":null,"work_id":"04e143cb-8823-4765-9eec-630bff8db5bb","year":1942},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.509703Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:35da854baba63b6889ca52661cdb414cbed78d583ced47be84d136ebfd0e9a1b","observation_id":"abee2377-e40d-44c2-ae61-39ee65f91fd5","resolution":{"observed_at":"2026-08-12T19:07:36.572798Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T19:07:36.513781Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.513781Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:b7f1c6ab0d001eab2dc48d51f3e4c9a8ee8c3dbe9b8ec1b65c952e91ac1fad68","observation_id":"baef424f-704a-40e5-8d5e-d0564a6c3ac9","resolution":{"observed_at":"2026-08-12T19:07:36.513781Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.517914Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.517914Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:0ed90cbb3388e8462fdf23c797708639d4f31bf5fa38da9a93de2143dc01731e","observation_id":"4b5a47dd-cf62-403e-a46c-02ffcb20d041","resolution":{"observed_at":"2026-08-12T19:07:36.517914Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.12127","last_updated":"2021-05-28T22:47:31Z","snapshot_observed_at":"2026-08-02T10:21:43.659767Z","submitted_at":"2020-03-26T19:52:32Z","title":"Gryffin: An algorithm for Bayesian optimization of categorical variables informed by expert knowledge","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.12127","snapshot_observed_at":"2026-08-12T19:07:36.521935Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.521935Z"},"links":{"cited_paper":"/paper/2003.12127","citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:7ed79020b9950a61ac27df140a6cc730b380a5f0a53dd8050a4d18643b165e42","observation_id":"3ca57f49-6c57-4190-ba19-774ea164f4c6","resolution":{"observed_at":"2026-08-12T19:07:36.521935Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.220057Z","title":"In POST (Lecture Notes in Computer Science, Vol","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.220057Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:b56cc0541be404e890322090418b1dd32e6097b9926a9ed739f7404b209efab7","observation_id":"7aa43343-3f71-45bc-8791-a8d19633ce3c","resolution":{"observed_at":"2026-08-12T19:07:36.220057Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:07:36.173022Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-12T19:07:36.173022Z"},"links":{"citing_paper":"/paper/2411.11113"},"observation_digest":"sha256:76a7e3e5689c84d0fca0421f4c5675e3c7ac54c6f484ad528e9e2647a6bb2ee0","observation_id":"6f1ea438-40b0-4cdb-9f24-0125d0643b74","resolution":{"observed_at":"2026-08-12T19:07:36.173022Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.11113","last_updated":"2024-11-17T16:07:09Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-13T23:24:50.430043Z","submitted_at":"2024-11-17T16:07:09Z","title":"Calculational Design of Hyperlogics by Abstract Interpretation"},"reference_resolution":{"displayed":87,"state_counts":{"malformed_identifier":4,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":49,"verified_exact":31,"verified_fuzzy":1},"total_outbound_references":87},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 87 of 87 outbound references and 0 inbound Pith citation observations for arXiv:2411.11113."}