{"as_of":"2026-08-17T05:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ad3536a2a91b719f9464a3bd60fcf4e9b192c076c4e49fe426fbf7477b9ff18b","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T11:27:37.547189Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"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.09123/citation-record","integrity":"/paper/1908.09123/integrity","json":"/paper/1908.09123/citation-record.json","paper":"/paper/1908.09123"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:37.466405Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.466405Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:45c0c894d3d8b01440ddbb244ab7b712f5ef3eebddb87bdd2d18643bc7380e04","observation_id":"f0ea45f3-70e4-4444-ac66-84dcb3a6ec5e","resolution":{"observed_at":"2026-08-14T11:27:37.466405Z","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-14T11:27:38.294117Z","title":null,"venue":null,"work_id":"343d642b-7456-4063-af6d-67638762e73f","year":2011},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.471163Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:c44a772a89872de6c72ad447f9b5449cbcb80d7c3d2ea6ac80801de0ac83c1a3","observation_id":"32b47d86-b04d-4fe9-9aba-e6b144af73f3","resolution":{"observed_at":"2026-08-14T11:27:38.298873Z","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":"10.1016/j.apal.2012.05.003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:37.764139Z","title":null,"venue":null,"work_id":"4a89485d-658b-4ab1-9c92-7c0ef16103fc","year":2013},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.482157Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:55963237ae24eea045649c00375e955552de9352079ddd83d5a000124b4e4604","observation_id":"0707e553-2197-4a11-963f-8758bc18863a","resolution":{"observed_at":"2026-08-14T11:27:37.768919Z","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-21691-6_1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:37.738430Z","title":null,"venue":null,"work_id":"61399ffc-9030-4051-be9d-e03354e21563","year":null},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.505839Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:85c8f728fe12b5b70ae0dabfcb7aa20b2910ef81f23447c52ab1a4de00ed414d","observation_id":"7e98331a-eeca-4cad-9e7d-d4b254d72043","resolution":{"observed_at":"2026-08-14T11:27:37.743375Z","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.1109/lics.2015.22","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:37.721470Z","title":null,"venue":null,"work_id":"7ab7c9c1-86d3-48a1-a66a-bb05b05760de","year":2015},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.515678Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:d6b2f5d583907f14846233bb99047f627a04671b2e9a81b52d76899078750ef0","observation_id":"695daab0-5bbb-4d5e-ba7e-e7622621a59a","resolution":{"observed_at":"2026-08-14T11:27:37.727709Z","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-14T11:27:38.212505Z","title":null,"venue":null,"work_id":"2cee64cf-97a8-4159-a63b-f6ed96a0cbc6","year":2008},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.521042Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:dc9b29d0009dd5af35179e080ce13f07db8116c9415adf535eca63cb0af5e899","observation_id":"66400412-33be-4a51-9416-a84661601f62","resolution":{"observed_at":"2026-08-14T11:27:38.217477Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:37.525555Z","title":"In Applied Semantics, International Summer School, APPSEM","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.525555Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:68009892cec95827b867c3368fa03323f55ba71c8ae29bf6dd3d12de62dc824c","observation_id":"58033e76-c0ed-4653-abbd-e181ff687044","resolution":{"observed_at":"2026-08-14T11:27:37.525555Z","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-14T11:27:37.538251Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.538251Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:1eac21583ae1b54505f8b845c05c4c9c6b9b590aaf979d2f5fc509cc3e14632a","observation_id":"1587c1dc-d126-4494-9030-11a35175bca0","resolution":{"observed_at":"2026-08-14T11:27:37.538251Z","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-14T11:27:37.542587Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.542587Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:63281d4b838adc2a8bb30a61cc9cae3f5314bf22385955fd896706bd517defb7","observation_id":"1a79c0a8-6bc1-442e-be1c-a8736ffb33a6","resolution":{"observed_at":"2026-08-14T11:27:37.542587Z","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-14T11:27:38.180769Z","title":"(August 2013)","venue":null,"work_id":"31531afa-d4b9-4d2a-a21b-00236166f0d5","year":2013},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.547189Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:0f557cf7f804f12b11154d88b8e33320b2fafc5d384b37c30a070415ac03f57b","observation_id":"bca9e1ac-25a1-45d7-9e15-8332b3d0f35e","resolution":{"observed_at":"2026-08-14T11:27:38.185273Z","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-14T11:27:37.534051Z","title":"The journal of symbolic logic 32, 2 (1967)","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":1967,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.534051Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:c76a9cfa6f69ddee73fa59a48a7108c945800aafaf7dc63f81469f50fa1183f6","observation_id":"61d2f1d1-5c69-4126-b4a6-34f56e8d12d4","resolution":{"observed_at":"2026-08-14T11:27:37.534051Z","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-14T11:27:38.278138Z","title":null,"venue":null,"work_id":"226272a0-6935-4328-a116-8206aaf6c31f","year":1985},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":1985,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.487156Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:dfebf14563e184031ad6591f23d53811503695f704e054c1206276dd6373613b","observation_id":"97ef8dd1-436b-4915-8d26-64071cca7ae9","resolution":{"observed_at":"2026-08-14T11:27:38.283047Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:37.461624Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":1987,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.461624Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:a8664013f1e668f74a6d596827b5009c06d1af436102b8f2aefb31d2737605db","observation_id":"af0fef2f-ebe7-42b3-8b40-2c87fdcfdfc4","resolution":{"observed_at":"2026-08-14T11:27:37.461624Z","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-14T11:27:37.426838Z","title":"Journal of Logic and Computation 2, 3 (1992), 297–347","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":1992,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.426838Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:13abd1e3c786c675e5c85c59bc9b3cc31ca934b0ac869f0f76deff7abb7ef51e","observation_id":"02b12688-4087-42b0-bcf2-627e88a09811","resolution":{"observed_at":"2026-08-14T11:27:37.426838Z","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-14T11:27:38.195686Z","title":"Higher order operational techniques in semantics (1998)","venue":null,"work_id":"f1a57f30-4133-421b-8a29-31357064f220","year":1998},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.529809Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:0bb82dc0c31ff96c150475181661b8d599de646ed3f10a954a26950de38cbe71","observation_id":"2affec0a-5515-41a6-b12b-85991b709537","resolution":{"observed_at":"2026-08-14T11:27:38.201649Z","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":"7766.35126","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:38.029581Z","title":null,"venue":null,"work_id":"719d3a7e-d0f2-4f1d-9128-4010993d751e","year":null},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.446996Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:d9a1a1ed20d593b15a5c46451be9a6d9b74c8b83cc2bfc8233417265c08dcb37","observation_id":"2ea272bf-6e4b-46e6-be3a-83295ef4c88d","resolution":{"observed_at":"2026-08-14T11:27:38.037745Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:37.491874Z","title":"Higher-Order and Symbolic Computation (2007)","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.491874Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:85339ec5d74632da31ca0995165afe2fbb4c9cd4bf83a174b6cd994c3d456dab","observation_id":"e4de43b2-ea06-4416-aec1-b6d1f08c0502","resolution":{"observed_at":"2026-08-14T11:27:37.491874Z","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-14T11:27:38.261675Z","title":null,"venue":null,"work_id":"179f5172-934a-4bef-9c1a-333c92635588","year":2008},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.496724Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:eaaa829b3cf4b21f091faf7a2cb7f6e347255abe760b3c61176f5a8dc8d61cb0","observation_id":"8a3147fb-e14d-4e18-8137-7660a82ca785","resolution":{"observed_at":"2026-08-14T11:27:38.267024Z","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-14T11:27:38.244891Z","title":"Panoramas et synthèses 27 (2009), 197–229","venue":null,"work_id":"f159c58c-dbac-4794-ab02-ec242be75141","year":2009},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.501283Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:f10ec74788e33768512813118f42978d6bf04ee88883041aa3592f412f797ef6","observation_id":"7a1e8b51-5df7-42c3-8ac5-50e47246ad09","resolution":{"observed_at":"2026-08-14T11:27:38.249850Z","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-19805-2_8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:37.816370Z","title":"In FoSSaCS","venue":null,"work_id":"99fb400b-65f9-49c0-a437-4466359a64c0","year":null},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.437055Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:def53ba5b6d17df8954a4df60754c18421f5a88ce9edab4742eaa08d0e36eeda","observation_id":"c4caaebb-3dcb-4653-9b18-e12e022dc402","resolution":{"observed_at":"2026-08-14T11:27:37.821004Z","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-14T11:27:38.228473Z","title":null,"venue":null,"work_id":"cc4272b9-abbe-4c58-b860-04d78ae9d0eb","year":2012},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.511121Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:28d68b09134aedbab0603413eee907d9e6355961a36d135ff16785cb4421ee1a","observation_id":"ed6b792d-aaf3-48a4-a270-4a7737ee16f3","resolution":{"observed_at":"2026-08-14T11:27:38.233718Z","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":"10.1016/j.entcs.2014.02.008","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:37.780108Z","title":"In W ACT","venue":null,"work_id":"a305391d-50aa-445d-b3dc-d0928578a2a8","year":2014},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.475939Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:27d839267989b2672f872a7259723dd19050aad36969a6f531fad8bc3c3d20d3","observation_id":"dd6a579b-f982-4b75-9c57-9d3fce082e14","resolution":{"observed_at":"2026-08-14T11:27:37.785089Z","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-14T11:27:37.432243Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.432243Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:7381085ec4f942280eb727cbf53f5a984c0548d636dcf30252cf20ea9eefe386","observation_id":"31935989-6438-47e3-96a0-eac48010f54b","resolution":{"observed_at":"2026-08-14T11:27:37.432243Z","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-14T11:27:37.456908Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.456908Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:11ea8ca7556c3fc9de28f91edfb8a22c2ac97153e8339d6e96a88d70409473c9","observation_id":"4f321855-519e-4971-82f3-3efb4095052f","resolution":{"observed_at":"2026-08-14T11:27:37.456908Z","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-14T11:27:37.442076Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.442076Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:53b003d3adc3f25f1e5c09e84f68b79d807dde892612f0ebade9cb2e20092a36","observation_id":"b147ab56-7b08-4631-8a5f-43aaea0dbc63","resolution":{"observed_at":"2026-08-14T11:27:37.442076Z","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-14T11:27:38.309255Z","title":null,"venue":null,"work_id":"492fd9fe-4328-4307-ac10-fb1f76ff6824","year":2018},"citing_paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:37.451877Z"},"links":{"citing_paper":"/paper/1908.09123"},"observation_digest":"sha256:986016c56ee114ec8a0944399dbaaa3aa7c543ddf30ab0550d4bf0f70c8f4641","observation_id":"7d02b9e3-e8ed-4c33-a78c-f2c584596e9f","resolution":{"observed_at":"2026-08-14T11:27:38.314050Z","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"}}],"paper":{"arxiv_id":"1908.09123","last_updated":"2020-07-27T12:56:02Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T06:29:48.176702Z","submitted_at":"2019-08-24T10:53:27Z","title":"Dependent Pearl: Normalization by realizability"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":17,"verified_exact":5,"verified_fuzzy":3},"total_outbound_references":26},"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 17 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:1908.09123."}