{"as_of":"2026-08-17T00:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dd8c4db0436aa0f1bcc94380f6a0ff04e133926b3380fff64c25301a6757d7ca","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:24:24.344368Z","state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"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.05294/citation-record","integrity":"/paper/1908.05294/integrity","json":"/paper/1908.05294/citation-record.json","paper":"/paper/1908.05294"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:24:25.117760Z","title":null,"venue":null,"work_id":"57e1365b-ce6a-426f-bd61-e428aa790fad","year":2018},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.344368Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:d9388493b928cff1d984e5d72f5c380b7f5063ebd5f12cbd2d4d46bc3e09b697","observation_id":"480b4a83-5a98-4917-80e3-99830fd92bb6","resolution":{"observed_at":"2026-08-14T13:24:25.121631Z","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-14T13:24:24.309082Z","title":"SIGPLAN Not","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.309082Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:4f0d6e412003b7a4eaa6659c9b3fb1431edd06d645910d8167f7289db6de16e4","observation_id":"cbbd549d-3167-44ef-9496-c68948c6aac8","resolution":{"observed_at":"2026-08-14T13:24:24.309082Z","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:24:24.313001Z","title":"https://doi.org/10.1145/3009837.3009871 Andrew J","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.313001Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:66ae4e3e351a5139f60ccf5d5c7ae2bf45fd2f0db7c9586ade5f73d020413e02","observation_id":"75df702b-142c-4399-957f-841a8f06cbff","resolution":{"observed_at":"2026-08-14T13:24:24.313001Z","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":"6000.31360","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:24:24.695064Z","title":"https://doi.org/10.1145/3136000.3136003 Martin Odersky, Vincent Cremet, Christine Röckl, and Matthias Zenger","venue":null,"work_id":"022f69ed-941e-426a-b5c1-a97f194520a7","year":null},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.316617Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:ef82caf1c71f3691ee9a66f6aa930bf785810c19590c5fb3e9304d88b586dfb1","observation_id":"e92fcbe2-d559-414c-bce5-a6bfe5b8fd1b","resolution":{"observed_at":"2026-08-14T13:24:24.700819Z","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.1145/3133870","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:24:24.394385Z","title":null,"venue":null,"work_id":"15160335-6d84-495b-8935-9449fba320f1","year":2017},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.330493Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:1a8135d15004e7fd8aec80a8f04f7cb4fb7ba3ce87adf062ee9e764d31cbac67","observation_id":"5b7fd629-5d61-4f44-bae6-5bc42bd9998c","resolution":{"observed_at":"2026-08-14T13:24:24.398271Z","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:24:24.334077Z","title":"In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.334077Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:6185a547894349d6ae6495edc8950924db45b054acdf828faaf072f13107d4e6","observation_id":"e7f6101a-b4b1-4d99-8d8a-fff33740e962","resolution":{"observed_at":"2026-08-14T13:24:24.334077Z","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.1219885","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:24:24.382768Z","title":"https://doi.org/10.5281/zenodo.1219885 Stefan Wehr and Peter Thiemann","venue":null,"work_id":"a6dc09cd-05a6-4a25-8001-0f8a0a7d2f5d","year":null},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.337355Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:dc74409cc87456977b802c8261932b52c540efbb619ad51a435117bf6834c08f","observation_id":"687acd53-e8ea-46c0-929b-b20537a9ff57","resolution":{"observed_at":"2026-08-14T13:24:24.386514Z","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:24:24.294541Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.294541Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:b9c4b9fbd99f64f002060b7230d4b06f50a1e9f16947bcd5fbadfbb35d7f9424","observation_id":"103bff90-135d-418f-9266-0b090f429988","resolution":{"observed_at":"2026-08-14T13:24:24.294541Z","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":"1999.2832","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:24:24.622903Z","title":null,"venue":null,"work_id":"56b4333f-040f-4980-a3dc-a044c873e7be","year":1999},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":141,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.323227Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:d33ae0930b1cdb049609f4a470cf1e634f5044a120a61bacbaed010cc0f0130a","observation_id":"2386a048-e53d-4679-88d1-c549053f0534","resolution":{"observed_at":"2026-08-14T13:24:24.628732Z","resolver_source":"raw_fallback","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/s0304-3975(00)00175-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:24:24.406058Z","title":"Barendregt","venue":null,"work_id":"6e60c6e9-21a0-424c-b7b5-d34a6f7be628","year":null},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":309,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.287239Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:bde9a42c79dae38d106fd6eab5592f1c9529a93af5992822309e410b73bb7be1","observation_id":"fa67a756-5ebe-4366-b89a-c99aba9ef0e8","resolution":{"observed_at":"2026-08-14T13:24:24.409920Z","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:24:24.297954Z","title":"ACM Comput","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":1985,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.297954Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:509b4cfebe5519343c4842f042e2701127677b5ce5f826cb05bfb65118ebbcc4","observation_id":"6cb626b3-93ab-4785-b518-8a2f89bdd69a","resolution":{"observed_at":"2026-08-14T13:24:24.297954Z","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":"3165.14322","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:24:24.552592Z","title":"In Proceedings of the 19th ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (P OPL ’92)","venue":null,"work_id":"b83a8ac3-ff2c-43ce-bc68-5278e6d5df4d","year":null},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":1992,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.326669Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:a96316df348ad6033a8bb37c6199d9d636825ea8f65ee74d4dc11e159cf6f4f7","observation_id":"6c92a867-5ca2-4b11-87ae-d441de65abe4","resolution":{"observed_at":"2026-08-14T13:24:24.558822Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:24:25.141722Z","title":"Information and Computation 109, 1 (1994), 4 –","venue":null,"work_id":"fd75e354-f18f-466c-9e90-e8b375051937","year":1994},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.290835Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:0765e8a32b6f3e0eeb6eaf07ba8124447a6a101771491740239a6a4eb75731c5","observation_id":"3360e4ba-937d-4db4-934f-14b38308b1c2","resolution":{"observed_at":"2026-08-14T13:24:25.145541Z","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:24:25.129421Z","title":"Intuitionistic and Class ical Logic","venue":null,"work_id":"22f49637-5ea9-4913-98ce-7c7dcf67e5a5","year":2000},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.319754Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:20352559dcc0af561ce557e80e86832d3824c3f0ab7f42280567475dfd07195d","observation_id":"79382f1d-a0e7-4690-82f2-70bcd744a74b","resolution":{"observed_at":"2026-08-14T13:24:25.133712Z","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:24:25.153619Z","title":"Theoretical Computer Science 266, 1 (2001), 273 –","venue":null,"work_id":"58baa93b-28b5-4c22-850d-9f0a269d401b","year":2001},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.283504Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:873278245984f4147e778dbc0943f5877cd611143db73afef5a11d526b252c94","observation_id":"4898f46a-0c87-4109-a4f9-6ae782b47e0e","resolution":{"observed_at":"2026-08-14T13:24:25.157276Z","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-10672-9_10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:24:24.370023Z","title":"In Proceedings of the 7th Asian Symposium on Programming Languages and Syst ems (APLAS ’09)","venue":null,"work_id":"38e1c1cc-ab81-4b81-8a73-58b752fe71e8","year":null},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.340838Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:d5f83c3a2d530e4c383e15a18802d61eb400ea08d79b4373d51b08ea4aca5c29","observation_id":"c5b496e3-bd50-454a-b2c2-2ec36e632601","resolution":{"observed_at":"2026-08-14T13:24:24.375483Z","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:24:24.279797Z","title":"In Proceedings of the 2014 ACM International Conference on Object Oriented Programming S ystems Languages & Applications (OOPSLA ’14)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.279797Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:c7b464f7c9f6981a1f35ab0b09f9362e1604414bfba83cef2d93a5b32118d72f","observation_id":"d0048ed3-9196-487e-8581-700c23377edf","resolution":{"observed_at":"2026-08-14T13:24:24.279797Z","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:24:24.272025Z","title":"Springer International Publishing, Cham, 249–272","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.272025Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:a4b9d8ed069ff6f2881ce44123f8a227803ecfd6eb46cc15940bddf690e46d26","observation_id":"0078d769-b8a6-4123-9b41-fe92010ed894","resolution":{"observed_at":"2026-08-14T13:24:24.272025Z","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:24:25.165696Z","title":"In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017","venue":null,"work_id":"8726136c-3c24-42e2-9a9c-2ad99495a5f5","year":2017},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.276224Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:e9491cb1f97ab4aa5036a385d4c49379649c16a19c657115407c8066d2473e18","observation_id":"e94782c5-39b2-4ef0-8f4f-24014e3c8a4a","resolution":{"observed_at":"2026-08-14T13:24:25.169875Z","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":{"arxiv_id":"1711.07023","last_updated":"2018-07-18T15:19:29Z","snapshot_observed_at":"2026-08-14T20:12:11.649879Z","submitted_at":"2017-11-19T14:15:45Z","title":"Verification of PCP-Related Computational Reductions in Coq","version":2},"cited_work":{"arxiv_id":"1711.07023","doi":null,"metadata_source":"pith","pith_arxiv_id":"1711.07023","snapshot_observed_at":"2026-08-14T13:24:24.919425Z","title":"Verification of PCP-Related Computational Reductions in Coq","venue":"cs.LO","work_id":"6bbfb906-3db9-4279-8c4e-fd8dd530f2fa","year":2017},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.301670Z"},"links":{"cited_paper":"/paper/1711.07023","citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:d56af26d74f39d6eb065464b3ab519ba63f2a7e7f77ee399516d5ca1a4ae6616","observation_id":"c251a3b6-da23-4ff7-98a8-bfb3c082a066","resolution":{"observed_at":"2026-08-14T13:24:24.923664Z","resolver_source":"local_arxiv","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":"3880.32940","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:24:24.901048Z","title":"https://doi.org/10.1145/3293880.3294096 Yannick Forster and Gert Smolka","venue":null,"work_id":"e20c35d3-c986-4011-8aa2-7a9d6381871f","year":null},"citing_paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-14T13:24:24.305691Z"},"links":{"citing_paper":"/paper/1908.05294"},"observation_digest":"sha256:3da96e76dd4e82daf95dd74a1f59cdeb78286e9959e5265761eb8ed63058bf3e","observation_id":"78ea8cda-e9ba-4f35-b2f1-1495c643ace7","resolution":{"observed_at":"2026-08-14T13:24:24.906963Z","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"}}],"paper":{"arxiv_id":"1908.05294","last_updated":"2019-08-14T18:15:47Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T18:47:14.339969Z","submitted_at":"2019-08-14T18:15:47Z","title":"Undecidability of $D_{<:}$ and Its Decidable Fragments"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":0,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":8,"verified_exact":5,"verified_fuzzy":4},"total_outbound_references":21},"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 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:1908.05294."}