{"as_of":"2026-08-16T19:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d1bd36533f0935f442184b8586cf80d31b7977443db00e51fd0728df4c5f4251","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:00:54.279680Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.06271/citation-record","integrity":"/paper/1908.06271/integrity","json":"/paper/1908.06271/citation-record.json","paper":"/paper/1908.06271"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.095148Z","title":"In: Proc","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.095148Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:01acd135ffbab6ce553c9e98de3637ce229fca5fe5073d7e5b8090857a5dcc1c","observation_id":"4e73adf5-18b8-43d6-bec3-0c917e55b696","resolution":{"observed_at":"2026-08-14T13:00:54.095148Z","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-14T13:00:54.101128Z","title":"In: Proc","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.101128Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:e97c4aa4d2337e04d1c8f279676fcbc6cc592a6a65a7a39ee7c7d33af076d045","observation_id":"d7dec183-c590-4369-964e-2d8256ddbbfb","resolution":{"observed_at":"2026-08-14T13:00:54.101128Z","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.1109/mis.2014.3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.613854Z","title":"IEEE Intelligent Systems 29(1), 20–29 (2014)","venue":null,"work_id":"0c84304e-5a75-4b5b-a919-a0825b0fb2f2","year":2014},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.106150Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:38115270137844022a589911ce3b3f48b280351cad6a582cbecdcb5fca08dd70","observation_id":"96e1b503-f330-4467-923a-4522a2c3f3f9","resolution":{"observed_at":"2026-08-14T13:00:54.619564Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-54580-5_20","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.597927Z","title":"In: Proc","venue":null,"work_id":"d21905b3-bcde-4ec7-b1b9-c0a10b1f8c83","year":2017},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.111316Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:90ef9ecdaadfd25f41c159668a2bbe9590e899191cb7bc29892139bfdc6f2185","observation_id":"9d26f76e-4d57-4206-ad86-450280fba503","resolution":{"observed_at":"2026-08-14T13:00:54.602576Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-21690-4_42","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.582709Z","title":"In: Proc","venue":null,"work_id":"9f162d99-955a-46fe-a704-bfb3336131d2","year":2015},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.117268Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:fc8a50821dbe5602fd3952888d43ae5b1a18a4e0db94a1e018a95bdd32f1abb8","observation_id":"d4132180-8a45-47e4-83c3-85b9b5571065","resolution":{"observed_at":"2026-08-14T13:00:54.587478Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.122886Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.122886Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:7eb985179b2d357e2c446bffbc2efac4d7e7bdb07b16826b92759f703d7e90ee","observation_id":"1a33738c-71fa-414e-b868-3f2001189c9e","resolution":{"observed_at":"2026-08-14T13:00:54.122886Z","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-14T13:00:54.128586Z","title":"In: Proc","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.128586Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:89bd8a7b44bddb5dcd759078b7533d42de495cbdca7442e0743f7b992459c92a","observation_id":"cb0ff4a3-b5d1-460e-a9ce-931d77f697e5","resolution":{"observed_at":"2026-08-14T13:00:54.128586Z","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-14T13:00:54.135023Z","title":"In: Proc","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.135023Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:4167caf1fee959336c7dc099ffa2f69b6a869908e4b79502a6c979519767d1aa","observation_id":"146fbe57-5e99-4c8e-9a7c-abb238932101","resolution":{"observed_at":"2026-08-14T13:00:54.135023Z","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-14T13:00:54.140571Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.140571Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:06e945ed68914148dc471749ba56da7bc3e148a4483b10193495564565f77433","observation_id":"d77ee5ba-a002-4194-a5da-04b1dce1eae3","resolution":{"observed_at":"2026-08-14T13:00:54.140571Z","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.5281/zenodo.3370037","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.536277Z","title":"Zenodo (2019)","venue":null,"work_id":"7ae33fdb-4d76-4610-a2ef-abf50c685138","year":2019},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.145593Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:4fe5bbbecb63d4ca615440b14197ec2a817b4e176648c2af159df615ae7c5e9d","observation_id":"493759e5-ae75-41ab-8450-7e9da4bd3996","resolution":{"observed_at":"2026-08-14T13:00:54.541241Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.150683Z","title":"In: Proc","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.150683Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:be0fba78ec4bda8f8a10f3bb7077f45f218e2769c32647d3a41b4b1c9ff53348","observation_id":"40767430-3d85-4fa7-8026-040922ac369a","resolution":{"observed_at":"2026-08-14T13:00:54.150683Z","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-14T13:00:54.156338Z","title":"In: Proc","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.156338Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:dfdafa1da8245ec41adc9577bc27c5d9d8b93b0c23359435dd3502a8b3d99bb9","observation_id":"cc598bc2-d57c-47f4-a819-9290ad960f3e","resolution":{"observed_at":"2026-08-14T13:00:54.156338Z","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-14T13:00:54.161494Z","title":"In: Proc","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.161494Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:5a4c42ede8ba82492ddd21dbb7a8c7d37e5698ce00f32b2daad73493e6bef9d4","observation_id":"c55134ba-4572-4e9c-ba7b-30c458362fcb","resolution":{"observed_at":"2026-08-14T13:00:54.161494Z","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-14T13:00:54.166665Z","title":"Formal Asp","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.166665Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:b548fbd420a0e9fdbe44dc0efa6e5a3a7cf5ba9cc80ed00ab61f532a1e03f76f","observation_id":"52e80084-2dae-4481-bbdb-8ac2d376966f","resolution":{"observed_at":"2026-08-14T13:00:54.166665Z","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-14T13:00:54.171341Z","title":"In: Proc","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.171341Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:f27cfd4d085541c8e9d9853199fcad154247338cfea9ad58d919f0ecab1cd034","observation_id":"953dcdfb-45bc-47aa-a001-2ed31f9412a3","resolution":{"observed_at":"2026-08-14T13:00:54.171341Z","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-14T13:00:55.098476Z","title":"In: Proc","venue":null,"work_id":"76900f39-fac5-442d-be7f-ccdf91e36770","year":null},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.176314Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:33860d24d4044a2febe058b3376a993d4891f75a5fbba97db33b2e142ec4024c","observation_id":"71e6ea44-f06c-4d27-987d-6565db6032b3","resolution":{"observed_at":"2026-08-14T13:00:55.103608Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.186071Z","title":"FMSD 49(3), 190–218 (2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.186071Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:b6153afa4e667cea3b22367c1608913eba82ae80674130c6a34406f4b76cff03","observation_id":"075424e8-583d-4c22-ade0-85617d360180","resolution":{"observed_at":"2026-08-14T13:00:54.186071Z","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-14T13:00:54.191217Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.191217Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:24fc1b8a66effdece183d461eb59790b07e3381571c21e21ef5dba37d9606c8f","observation_id":"1cd4c69e-57fe-4c58-b2cd-be322e5e3abc","resolution":{"observed_at":"2026-08-14T13:00:54.191217Z","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-14T13:00:54.196709Z","title":"A new form of the Herbrand-G entzen theorem","venue":null,"work_id":null,"year":1957},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.196709Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:09d927f35b5f1ee7914b70d0a00748e296c54af97f1317dc50375bc28273c96f","observation_id":"828e30e3-4a92-46d8-8fd4-2e434c0d64f1","resolution":{"observed_at":"2026-08-14T13:00:54.196709Z","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-63166-6_10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.429381Z","title":"In: Proc","venue":null,"work_id":"589558e2-17a6-49ca-bbc5-b5d54cda2f63","year":1997},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.201435Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:9bfe44a7b9ce5b6e4a7b3d579afc3ec12231a2ea2ee576b1efadbc4616503fff","observation_id":"a0ddc04f-16b0-456b-8c57-9bf2a3bc73af","resolution":{"observed_at":"2026-08-14T13:00:54.434687Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:55.080424Z","title":"In: Pro c","venue":null,"work_id":"d5b13ed5-1bcf-4a6c-9a0f-00c9fbe80051","year":2016},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.206343Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:97b9bbf97e831551a7b25463de7aba4ba7643189c88b695acc2e85a22bf84d7d","observation_id":"ac90620a-bf00-4d8c-a1e6-0223fa9ca841","resolution":{"observed_at":"2026-08-14T13:00:55.086540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-15769-1_18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.412742Z","title":"In: Proc","venue":null,"work_id":"a9fa1598-3a66-4c3c-b591-9c48b1da42b1","year":2010},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.210834Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:264afdd03cf539ac075023d3225df58e9ea34537f3f9c88cc5e4ae9021aa875a","observation_id":"7b45c712-e0fd-4adb-9adc-7a19d57fd99f","resolution":{"observed_at":"2026-08-14T13:00:54.418206Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.215520Z","title":"In: Proc","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.215520Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:e68027f01fc65592bfcfe3180119efa085e3771369b5fb6ea802dc4c8bceddf6","observation_id":"e02f3508-883c-468d-9f38-a4cbe20a47f6","resolution":{"observed_at":"2026-08-14T13:00:54.215520Z","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-662-46681-0_41","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.386430Z","title":"In: Proc","venue":null,"work_id":"92549736-5a61-4156-9288-ab0b8ed6f464","year":2015},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.220107Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:81c70355d7fb1d19ff03ba9e9844e5382cbf8d29cf5d5b01783af1ae09191bf0","observation_id":"30439fc8-c088-4200-8254-a6bdf6faad4f","resolution":{"observed_at":"2026-08-14T13:00:54.391541Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.224888Z","title":"In: Proc","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.224888Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:b3f0d083ce246744e4c7e8024f972255993950c6d56538dd43b11cd45a9c7534","observation_id":"1d2d9ace-eb22-4a9b-bc9b-65a2dab2094d","resolution":{"observed_at":"2026-08-14T13:00:54.224888Z","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-14T13:00:54.229934Z","title":"ACM Co mputing Surveys 41(4) (2009)","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.229934Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:1f2c96f5bd0773b61ce41af8ec4933208b985339ba9a19a7297c12d740658223","observation_id":"cf220be5-2312-4658-932c-690232e45fbc","resolution":{"observed_at":"2026-08-14T13:00:54.229934Z","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-14T13:00:54.234945Z","title":"In: Proc","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.234945Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:ad62c3cdd0702c06f7da281534e07e1c3e46fc10cf3323087918e78b55449634","observation_id":"bc84ba0a-5347-4818-8652-c0be6f24ee14","resolution":{"observed_at":"2026-08-14T13:00:54.234945Z","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-14T13:00:55.059840Z","title":"In: Proc","venue":null,"work_id":"9f01b955-6687-4fc6-bb16-df11d12fcd47","year":null},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.239503Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:09a15a579992f871d8315685a14cdb0fb05f9eb88ccfe64cab4a587efcb1b286","observation_id":"77468519-11dc-4b4d-bfad-e5f12f0d9cd0","resolution":{"observed_at":"2026-08-14T13:00:55.065251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-11486-1_14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.343199Z","title":"In: Proc","venue":null,"work_id":"72f1c7ac-3b5f-400a-b04b-209c497cf7ff","year":2009},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.250217Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:2cd9ef88f62f6229ce7c615e91b1f051a1c5310a8a3cc98f8f4398f8669a5cc5","observation_id":"b98ca3ee-7ed3-4a3a-a875-d12b2be9cc95","resolution":{"observed_at":"2026-08-14T13:00:54.348373Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-94111-0_5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.324148Z","title":"In: Proc","venue":null,"work_id":"9baa6938-6bca-4ec1-9198-44e1deae9ba5","year":2018},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.254878Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:212cf022b625c227e49585180a5317d4832975b37d80cf06f5ddb20243e8f606","observation_id":"0f5133b5-1dd3-4d36-8851-fc663f052f8c","resolution":{"observed_at":"2026-08-14T13:00:54.330772Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:55.043251Z","title":"In: Proc","venue":null,"work_id":"655ffd2e-cd83-41a8-84fa-a7a9a8f008ed","year":2015},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.259803Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:d6a73e8e7099f4ab8b74bf4fc799ddf3e307a3ea18178810ad24d3f3bcb1ce05","observation_id":"3b5d726e-16ad-4d9f-b4d9-5943f41e66e6","resolution":{"observed_at":"2026-08-14T13:00:55.048294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.264555Z","title":"In: Proc","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.264555Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:edbba8050466a15c639d186883440c4235499befd6a254324e38253ac8597847","observation_id":"35983fbf-486a-4747-b7d6-e8abb1538bd9","resolution":{"observed_at":"2026-08-14T13:00:54.264555Z","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-14T13:00:55.026111Z","title":"Wiley Publish- ing, 3rd edn","venue":null,"work_id":"01b9273d-35d4-4877-8f56-1be2d6267206","year":2011},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.269499Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:43bba45d3d1b89cf6f7abc0be82054db07319221d53270375648ae0b62d3d983","observation_id":"7a5d6dea-9f4c-4d3b-8882-69c131f0d643","resolution":{"observed_at":"2026-08-14T13:00:55.031497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:55.009643Z","title":null,"venue":null,"work_id":"65f8628a-9a1e-4106-a1a0-2fed06d9593e","year":2013},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.274821Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:847920c0cd25389cf3984d2240d1f8f7e544348bfa5daee92b36abc80bb1181d","observation_id":"3190bde7-32ab-46bb-8376-86d86ee8f378","resolution":{"observed_at":"2026-08-14T13:00:55.014655Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.991537Z","title":"PhD Thesis, University of Pas- sau, Software Systems Lab (2017)","venue":null,"work_id":"2fb55bd1-8df8-402d-b64e-3e4d6650ee88","year":2017},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.279680Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:ce78154c24e27e2a3cc243afe58c4cc4830ec31a0a302b873ae3170b29ff93b4","observation_id":"67b1213b-9b26-4e3c-b61e-eb72de734af0","resolution":{"observed_at":"2026-08-14T13:00:54.997263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.72","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.360006Z","title":"https://doi.org/10.4204/EPTCS.72","venue":null,"work_id":"49cdbd35-09ff-4b8a-bbc5-3a90c38fdd99","year":2011},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.245112Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:e04aad1f08812c4b75930c0f3147137ed9ec3ad59372d44fa3bdb61be70b835c","observation_id":"bff40262-a2d7-42d6-85b1-98ef37a58e78","resolution":{"observed_at":"2026-08-14T13:00:54.365347Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-31424-7_23","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:00:54.467722Z","title":"https://doi.org/10.1007/978-3-642-31424-7_23","venue":null,"work_id":"6809acff-2b33-49ec-a4f9-33b2eb3dca7d","year":2012},"citing_paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art","version":2},"reference_index":293,"source":"pdf_text","source_observed_at":"2026-08-14T13:00:54.181242Z"},"links":{"citing_paper":"/paper/1908.06271"},"observation_digest":"sha256:f86e06acd228921750fd4f862a09de68abbfaa7e9b0fc468d215b85c02dc5f85","observation_id":"91fc19ae-b509-407a-ab4c-55bef0b88c06","resolution":{"observed_at":"2026-08-14T13:00:54.472518Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.06271","last_updated":"2020-02-24T18:25:59Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-16T18:48:03.332729Z","submitted_at":"2019-08-17T09:29:01Z","title":"Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":11,"verified_fuzzy":6},"total_outbound_references":37},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:1908.06271."}