{"as_of":"2026-08-08T21:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:37f398531d42fb6e38c3df0b169f833c5acb448ae9254e455b0fea1d31ea1ca2","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:41:36.576157Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:12:57.648790Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-07T05:12:57.760308Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"cited_work":{"arxiv_id":"2505.17979","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.17979","snapshot_observed_at":"2026-08-07T05:12:57.760308Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","venue":"cs.SE","work_id":"f1bf9fc4-302e-4529-804b-095e1e5012d6","year":2025},"citing_paper":{"arxiv_id":"2506.08628","last_updated":"2025-06-10T09:44:19Z","snapshot_observed_at":"2026-08-07T05:03:46.805819Z","submitted_at":"2025-06-10T09:44:19Z","title":"Logic Mining from Process Logs: Towards Automated Specification and Verification","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:57.648790Z"},"links":{"cited_paper":"/paper/2505.17979","citing_paper":"/paper/2506.08628"},"observation_digest":"sha256:adc617ff3ad856e067e4b588f055ea68de079df307b485d5358bd7ff2919e61b","observation_id":"03b239cf-30a5-4fb6-b120-28461fe7d8d6","resolution":{"observed_at":"2026-08-07T05:12:57.765273Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.17979/citation-record","integrity":"/paper/2505.17979/integrity","json":"/paper/2505.17979/citation-record.json","paper":"/paper/2505.17979"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:38.989998Z","title":null,"venue":null,"work_id":"c221e575-8892-4ed8-97af-fbf72c4ce27c","year":2015},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:35.278070Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:ac3c5567157d4296a7a36076abe11dbc9dae8afba9818db0ef5800dd101d2d5d","observation_id":"e9298c93-f088-4353-a933-dd096e86fd4a","resolution":{"observed_at":"2026-08-07T14:41:39.087586Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:38.762961Z","title":null,"venue":null,"work_id":"587f37aa-0e8d-4208-ae98-7f424f9497e4","year":2013},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:35.352812Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:534ab50da29655c2ad54d18750a81164d579db34c051b891d05ad193fcf63ed1","observation_id":"10b693fb-99ba-4ba9-8301-3ea86b249a70","resolution":{"observed_at":"2026-08-07T14:41:38.870156Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:35.446589Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:35.446589Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:a906b0d6ae7136438b5b7ccc65df78aef243f2ae29b789f52c750260fe222b0b","observation_id":"f85bafc8-8c05-447a-8181-ee06eb97752c","resolution":{"observed_at":"2026-08-07T14:41:35.446589Z","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-07T14:41:35.519744Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:35.519744Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:284a34ab6b85f8248289b83ae5567dde8cd38d2d181045761cafc72cb9f0c2ce","observation_id":"ddcca600-b5b2-469a-aa21-8a62d4ee6c10","resolution":{"observed_at":"2026-08-07T14:41:35.519744Z","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-07T14:41:35.591947Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:35.591947Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:86df5fa58481b4e33c6125437ec63eea1cda15da8ebd730521327bcaa18bf4a1","observation_id":"a399082a-d9e9-4e12-ba5e-d6066392f285","resolution":{"observed_at":"2026-08-07T14:41:35.591947Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:38.508768Z","title":null,"venue":null,"work_id":"1854adcd-24d1-4654-abc2-fbd4e0c585a3","year":2013},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:35.720108Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:7e18ce76fc3a3f470b47e23f41281337aa4b9ba9daef7c27a06efba5f397f451","observation_id":"0831e801-ccae-4a64-8f14-dac56c088974","resolution":{"observed_at":"2026-08-07T14:41:38.617878Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:35.812817Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:35.812817Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:de496a7ffae9a136f05ae481e851995af1093e9034567777cc7f789098bd4a4f","observation_id":"4a36c899-b248-4667-ae6c-103e1e7a1e67","resolution":{"observed_at":"2026-08-07T14:41:35.812817Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:38.256031Z","title":null,"venue":null,"work_id":"5c61fe00-ab24-462e-8f41-397274f9d2c5","year":1992},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:35.903753Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:f0452d5b816f4f9a16a7a497d62e8c747dbde8ee208bbb6386b6aa47e454aa07","observation_id":"7c35bd8a-fa18-4f88-a50b-c4f9a3a8b549","resolution":{"observed_at":"2026-08-07T14:41:38.384293Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:38.078820Z","title":null,"venue":null,"work_id":"16a8c14d-1f95-44e4-9e10-9db83b191755","year":2019},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:35.997997Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:cdbd1265d57cd06ff62864404e71742260fb3adf97e752de52af3ff3b1f29f00","observation_id":"da777993-bb71-440f-ba0d-b84baef0f30e","resolution":{"observed_at":"2026-08-07T14:41:38.153542Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:37.902357Z","title":null,"venue":null,"work_id":"de8f6d7d-481c-4886-bfb6-8cf68fcbe171","year":1992},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:36.084567Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:b9cc4aef2c30e5d89f54b52f37fb8dc7d712f09edb2cbcc08396d88ea1535e90","observation_id":"6afaa6c4-5fe2-4610-9ae2-d19441d24091","resolution":{"observed_at":"2026-08-07T14:41:37.986880Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:37.698693Z","title":null,"venue":null,"work_id":"b1dadbd4-89df-4a0f-a5e9-9dfa403e8daa","year":1986},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:36.181033Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:9c08c262f203f230f3b37bd7975649a7272b67e0f9f3fa8cbfad83805d5a7f5e","observation_id":"0e241e8c-83c7-4c5a-b7d9-61e793f36371","resolution":{"observed_at":"2026-08-07T14:41:37.815816Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:36.261487Z","title":"Schaefer","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:36.261487Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:75399c3b99ebd2b99d74873322f9facf65443b69f38d598ac2abe64b4f132a5b","observation_id":"a1f20a32-d99f-4e3f-afd6-bfac66c886d5","resolution":{"observed_at":"2026-08-07T14:41:36.261487Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:37.514306Z","title":"Mitchell, and Hector J","venue":null,"work_id":"f92a92fa-57c9-46c9-8167-1a9a68a77090","year":1996},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:36.326713Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:6c352579bc8f6f6da34ddf9c5ab464fc3472ba0b7408a54d09942be52744f186","observation_id":"81d20e40-673e-4aa4-b399-2add84717e9b","resolution":{"observed_at":"2026-08-07T14:41:37.595165Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:37.314925Z","title":null,"venue":null,"work_id":"c94e34ca-175c-48e1-b235-065730b06f2e","year":2021},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:36.434964Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:7714c2300867a031ba464dd75d9fa6efcd65d4a681f856ccbd4f239740b9a925","observation_id":"e6e103b4-3871-486e-a9ca-fd38efe48831","resolution":{"observed_at":"2026-08-07T14:41:37.378522Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:37.153517Z","title":null,"venue":null,"work_id":"f923afb1-efaf-4468-9f02-43d43ad41672","year":2017},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:36.512987Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:550b556dd8f96944e6a7a73b806583f1712bf5daf54daec4a1c6acfb5b048166","observation_id":"b2b603ed-f293-4f1f-b396-d0d2312ebac3","resolution":{"observed_at":"2026-08-07T14:41:37.212735Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:41:36.576157Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T14:41:36.576157Z"},"links":{"citing_paper":"/paper/2505.17979"},"observation_digest":"sha256:65a2f2ae331b79878c37fe66fe7d4f22fde52b7207d349dc2e24f3660c710121","observation_id":"9a5c3fba-8caf-4cb0-9ba2-2c961d1dcf90","resolution":{"observed_at":"2026-08-07T14:41:36.576157Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.17979","last_updated":"2025-05-23T14:46:39Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T14:35:03.271618Z","submitted_at":"2025-05-23T14:46:39Z","title":"Re-evaluation of Logical Specification in Behavioural Verification"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":15,"verified_exact":0,"verified_fuzzy":1},"total_outbound_references":16},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 1 inbound Pith citation observation for arXiv:2505.17979."}