{"as_of":"2026-08-16T07:53:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b3d84266ae51a421a917ace62dbcafdb330f2802c6608aedae0ef0bffb8280bb","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T12:30:36.646578Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"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.07189/citation-record","integrity":"/paper/1908.07189/integrity","json":"/paper/1908.07189/citation-record.json","paper":"/paper/1908.07189"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.570208Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.570208Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:195b7b3b9ea4e71098564dc1be7e9e3b6a56f09104fd4bd74fb5b87ce51d41c7","observation_id":"1357018f-be66-488e-a8c0-4de78179674a","resolution":{"observed_at":"2026-08-14T12:30:36.570208Z","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-14T12:30:37.144981Z","title":"Benkerimi & J","venue":null,"work_id":"c65e2fe9-468b-47c8-a79d-69aaab8cdc6e","year":1990},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.575700Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:bef7513b90c129dd537bd18555b919075b679c275d1d79d68e2f150effba7fd5","observation_id":"aa2938a0-99fe-4d5d-943f-d65b6bd9ddd9","resolution":{"observed_at":"2026-08-14T12:30:37.148001Z","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-14T12:30:36.578608Z","title":"Bjørner, A","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.578608Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:e4d5d5628c67d4d97b03e03166361dababc4633aaa75dbb184496d30b257e03e","observation_id":"ee039680-02c9-4dbe-8a72-c2101c45ef51","resolution":{"observed_at":"2026-08-14T12:30:36.578608Z","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-14T12:30:36.581625Z","title":"Cousot & R","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.581625Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:0374f67f370549079f2b32a809195f6e2b0cffc17e17723a58aabd1d96ad601a","observation_id":"e4e07c6c-7e83-47ae-bb64-5e82d3fb7990","resolution":{"observed_at":"2026-08-14T12:30:36.581625Z","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-14T12:30:36.584742Z","title":"Cousot & R","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.584742Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:c3ba4fb4f97cc8c00bc0d9e902c324e05b0cc105ebd91e46f98aa2a6d8020116","observation_id":"752a1a01-9bc4-49e9-b36a-00b050556361","resolution":{"observed_at":"2026-08-14T12:30:36.584742Z","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":"10.1007/978-3-642-38197-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.770246Z","title":"De Angelis, F","venue":null,"work_id":"c014d23e-7399-4da8-8244-a828f1099144","year":2012},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.588118Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:b386ca596cb6803a8a984309d8bc09f20b8cc2f40f89ee9647e4fce751105e64","observation_id":"a073c777-2d88-4cf1-add8-c707d57035d6","resolution":{"observed_at":"2026-08-14T12:30:36.773202Z","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-14T12:30:36.591311Z","title":"De Angelis, F","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.591311Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:5f0010151841333b3599a6578a425fbfc12d0142b71671952b9324f8348aa083","observation_id":"6d413fdc-a535-4268-a6f8-6efd6b8398c7","resolution":{"observed_at":"2026-08-14T12:30:36.591311Z","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-14T12:30:36.593969Z","title":"De Angelis, F","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.593969Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:002c59349a5e8178c5c855fd054a906f68f00becd75cc0e4d07d7da1d6c9d93c","observation_id":"9316bb39-1424-4ed1-acc1-2b04fa63297c","resolution":{"observed_at":"2026-08-14T12:30:36.593969Z","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-14T12:30:37.135657Z","title":"Dom ´enech, S","venue":null,"work_id":"39e9fdcb-de8d-4c5c-beb9-2ac848a4d7ea","year":2018},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.596913Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:91d440932605800271e5badc7ce018212121e8c14de513270d5f02d246134928","observation_id":"19df4b28-e66f-4c9f-afcf-59e8c553d934","resolution":{"observed_at":"2026-08-14T12:30:37.139043Z","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-14T12:30:36.599609Z","title":"Etalle & M","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.599609Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:d38a56c1a0aaec7a443cc43e4c76ea9cd1d7a94e98aad08dcf8d0f97a82363df","observation_id":"aa1cfd2a-56ba-4dc4-bd92-45c0531c70f5","resolution":{"observed_at":"2026-08-14T12:30:36.599609Z","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.3233/fi-2013-845","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.749836Z","title":"Fioravanti, A","venue":null,"work_id":"0ec848ce-1f5e-440c-b181-b0b1988d774e","year":2013},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.602307Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:d8d3ff887faf3a5958a3051847d9edec4cda47f2cbbd3ae6370ba343ce0011b5","observation_id":"2d62617c-19f8-4751-be70-f39b605f8c31","resolution":{"observed_at":"2026-08-14T12:30:36.752676Z","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":"4630.15464","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:37.061007Z","title":null,"venue":null,"work_id":"8128a8a8-20ad-46b8-a768-cefc7530222a","year":1993},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.604960Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:37bd1a5f020db0b9439ae73faa69c1fc902be909d9d392c71c483941f9f2ebae","observation_id":"b15d5f6f-1fa9-4c70-a975-eb97309945cc","resolution":{"observed_at":"2026-08-14T12:30:37.066053Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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.1023/a:1012936614361","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.732427Z","title":null,"venue":null,"work_id":"759ddbcd-2f3c-45a8-9c20-6e90837027d4","year":2001},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.610122Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:0d7d033745271b1c5ec44265dd77f8f1fe177fb1eae252d1c99c0c98d2987882","observation_id":"34b77be6-5ed4-4a12-9b1f-c2ea019f1eb2","resolution":{"observed_at":"2026-08-14T12:30:36.736292Z","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-14T12:30:36.612777Z","title":"Grebenshchikov, N","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.612777Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:fc1a6bfeb32ca38cf74c9b193e88c323822440934caf372d75911c9f3f18a24a","observation_id":"b2fd9e63-c436-490d-b103-72ab3f9cbe98","resolution":{"observed_at":"2026-08-14T12:30:36.612777Z","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-14T12:30:36.615256Z","title":"Gulwani, S","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.615256Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:edb3f198d2e4b3e28dcacfd3bc2e00bb4231afb334765112aad945b84cf20a75","observation_id":"e4a3f14d-ade2-46f2-a092-103eb4f0c0a2","resolution":{"observed_at":"2026-08-14T12:30:36.615256Z","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-14T12:30:36.617692Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.617692Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:326d0e0a38b201f1ead20a2b608f7692ef678d32e27df5290ef8017e0d9dd34e","observation_id":"383ec040-4dd8-47cb-ab41-32a5b73030dd","resolution":{"observed_at":"2026-08-14T12:30:36.617692Z","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.1017/s1471068418000091","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.720033Z","title":null,"venue":null,"work_id":"5e3e73b4-43e2-4bd3-bdb6-013bfba8ae7e","year":2018},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.620226Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:b969f92beb549395561b1142a92ff5e5023b87c1c066bcc22a65b73461d43291","observation_id":"ebb9f0be-bc01-49a7-ab4b-776860f02999","resolution":{"observed_at":"2026-08-14T12:30:36.722868Z","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.1017/s1471068418000030","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.712173Z","title":null,"venue":null,"work_id":"113c01e2-1a4c-4724-8b64-a5fab65cdf16","year":2018},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.622390Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:87046cc4380487c8a0a3a377f8a6d1c0103614ea3b39396e992787dc60dfd9fc","observation_id":"7b5cbf42-1c7d-4562-8c47-70a0477c8fd4","resolution":{"observed_at":"2026-08-14T12:30:36.714799Z","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/3-540-61580-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.741521Z","title":"Leuschel & B","venue":null,"work_id":"e5d20eab-027c-48e4-83bc-05b6c5ed5bd1","year":1996},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.625004Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:281dec49cd6b596e46c0ba4bf5f1c7af42cf70363461b47160e92dfc40c30ebb","observation_id":"370ffd69-75ed-46cf-a646-2553b39841e0","resolution":{"observed_at":"2026-08-14T12:30:36.744208Z","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/10720327","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.704058Z","title":"Leuschel & T","venue":null,"work_id":"1cc13115-7444-4e5f-a49e-c90036332935","year":2000},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.627468Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:f74053f3cdd76af528d549f1b160d2f638c5c237d98d0a10b4b7439c90fadfb4","observation_id":"91ebf209-3b80-4953-ac4e-ed523eed958d","resolution":{"observed_at":"2026-08-14T12:30:36.707111Z","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.1016/0743-1066(91)90027-m","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.696048Z","title":"Lloyd & J","venue":null,"work_id":"849b2eeb-235e-480e-a416-0a2e7fce8a57","year":1991},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.630140Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:c7c9d9d77a129eaec074395f861a8d34b151272f4cbf80b2662b74fa93aebe0e","observation_id":"254fd21d-0213-4616-95a4-1dbe87815c21","resolution":{"observed_at":"2026-08-14T12:30:36.698992Z","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-14T12:30:37.127900Z","title":"Martens & J","venue":null,"work_id":"31f4790b-0a65-42f4-87c0-9d917857468e","year":1995},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.632792Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:c78d8131d653df24bcea83e6ac910aa1cf073e82b3312796c975198305a1f7f7","observation_id":"a52d9875-aa97-471d-b700-aa83c02ded42","resolution":{"observed_at":"2026-08-14T12:30:37.130655Z","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.1016/s0743-1066(99)00029-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.688224Z","title":"Pettorossi & M","venue":null,"work_id":"a19eb78d-61bf-49b2-8f0e-e271a230e6e5","year":1999},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.635531Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:0541297d1416049b3cd5b2494e392402bfe83283d88889a85c56dc223226dc0d","observation_id":"40291cf0-0372-40ee-bcb2-624d2ede8407","resolution":{"observed_at":"2026-08-14T12:30:36.691053Z","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/bf03038271","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.679448Z","title":"Sahlin (1993): Mixtus: An Automatic Partial Avaluator for Full Prolog","venue":null,"work_id":"72b9acb9-bc36-4725-b4ff-771ffc0f9702","year":1993},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.638366Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:1081f2c185cda76406e0b01e8c84ca812a7853c7650dad1a0a64b9987e801c81","observation_id":"96f1892c-3aba-406f-8267-cc4260476a18","resolution":{"observed_at":"2026-08-14T12:30:36.683169Z","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-14T12:30:36.641035Z","title":"Sharma, I","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.641035Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:f863ccb2facac8bf7267d69c4f80094652de20628df77337c8f08c9ae5ef0df2","observation_id":"c874261c-9f24-4442-8663-36072aabb7a7","resolution":{"observed_at":"2026-08-14T12:30:36.641035Z","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-14T12:30:37.119835Z","title":"Turchin (1988): The Algorithm of generalization in the supercompiler","venue":null,"work_id":"6a9545e5-e915-4828-99bc-be834be0495b","year":1988},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.643727Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:968f1147c0ec75dc7033c3948368b59cde1ae4509ecd5d8d64cb7619ed69f70b","observation_id":"25ada865-276d-4311-ac9b-d58305549e80","resolution":{"observed_at":"2026-08-14T12:30:37.122919Z","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/3-540-58156-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:30:36.665340Z","title":"de Waal & J","venue":null,"work_id":"63ab45a1-2adb-4d00-881c-3bc01fefd0aa","year":1994},"citing_paper":{"arxiv_id":"1908.07189","last_updated":"2019-08-20T06:36:01Z","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T12:30:36.646578Z"},"links":{"citing_paper":"/paper/1908.07189"},"observation_digest":"sha256:810a3dc8a90bbf037a07ad37a2b90cd01ef64b5560cee490023613a9abf04d47","observation_id":"1881d7c0-06fa-453b-a68e-4609c42dfc55","resolution":{"observed_at":"2026-08-14T12:30:36.669115Z","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.07189","last_updated":"2019-08-20T06:36:01Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T02:22:27.918789Z","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":10,"verified_exact":11,"verified_fuzzy":4},"total_outbound_references":27},"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 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:1908.07189."}