{"as_of":"2026-08-22T06:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:856634d9fa08ab570860916ce7dfb88bb7bd93ec87a2a9d4d6a0d6d779da5726","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":3,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":3,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-10T12:13:16.684251Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"doi_reference","source_observed_at":"2026-07-10T12:17:03.716080Z","state":"measured"}],"external_citation_measurements":[{"count":27,"observed_at":"2026-07-10T12:17:03.716080Z","source":"doi_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"1801.07664","last_updated":"2018-07-05T08:54:10Z","snapshot_observed_at":"2026-08-18T04:13:00.270617Z","submitted_at":"2018-01-23T17:21:55Z","title":"Internal Universes in Models of Homotopy Type Theory","version":4},"cited_work":{"arxiv_id":"1801.07664","doi":"10.4230/lipics.fscd.2018.22","metadata_source":"doi_reference","pith_arxiv_id":"1801.07664","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Licata, Ian Orton, Andrew M","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"05c2b75c-a250-4bcf-a559-582f9432fe5b","year":2018},"citing_paper":{"arxiv_id":"2605.15126","last_updated":"2026-05-18T10:58:50Z","snapshot_observed_at":"2026-08-15T06:42:00.820214Z","submitted_at":"2026-05-14T17:37:19Z","title":"Constructive higher sheaf models with applications to synthetic mathematics","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-05-15T03:02:42.978733Z"},"links":{"cited_paper":"/paper/1801.07664","citing_paper":"/paper/2605.15126"},"observation_digest":"sha256:75f0dd27bcaa1ca75db97b96fd0428c7dbee9173b0b3186c99e84f0494ec8b31","observation_id":"ea0be765-cc0f-4364-9e1d-fa3db9616e09","resolution":{"observed_at":"2026-05-15T03:03:56.262146Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-05-24T16:24:25.933938+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T16:24:25.933938+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1801.07664","last_updated":"2018-07-05T08:54:10Z","snapshot_observed_at":"2026-08-18T04:13:00.270617Z","submitted_at":"2018-01-23T17:21:55Z","title":"Internal Universes in Models of Homotopy Type Theory","version":4},"cited_work":{"arxiv_id":"1801.07664","doi":"10.4230/lipics.fscd.2018.22","metadata_source":"doi_reference","pith_arxiv_id":"1801.07664","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Licata, Ian Orton, Andrew M","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"05c2b75c-a250-4bcf-a559-582f9432fe5b","year":2018},"citing_paper":{"arxiv_id":"2605.15126","last_updated":"2026-05-18T10:58:50Z","snapshot_observed_at":"2026-08-15T06:42:00.820214Z","submitted_at":"2026-05-14T17:37:19Z","title":"Constructive higher sheaf models with applications to synthetic mathematics","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-05-20T20:10:02.655663Z"},"links":{"cited_paper":"/paper/1801.07664","citing_paper":"/paper/2605.15126"},"observation_digest":"sha256:593e49b827ddb9731101ddb4b823fb055800e81879ac169726fa85c3150d0468","observation_id":"ee1a6b46-f608-4582-991a-4fbc8f1ed57a","resolution":{"observed_at":"2026-05-20T20:13:43.167608Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-05-24T16:24:25.933938+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T16:24:25.933938+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1801.07664","last_updated":"2018-07-05T08:54:10Z","snapshot_observed_at":"2026-08-18T04:13:00.270617Z","submitted_at":"2018-01-23T17:21:55Z","title":"Internal Universes in Models of Homotopy Type Theory","version":4},"cited_work":{"arxiv_id":"1801.07664","doi":"10.4230/lipics.fscd.2018.22","metadata_source":"doi_reference","pith_arxiv_id":"1801.07664","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Licata, Ian Orton, Andrew M","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"05c2b75c-a250-4bcf-a559-582f9432fe5b","year":2018},"citing_paper":{"arxiv_id":"2607.08154","last_updated":"2026-07-09T06:49:13Z","snapshot_observed_at":"2026-08-14T08:20:32.840261Z","submitted_at":"2026-07-09T06:49:13Z","title":"Directed proof-relevant logical relations in simplicial HoTT","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-10T12:13:16.684251Z"},"links":{"cited_paper":"/paper/1801.07664","citing_paper":"/paper/2607.08154"},"observation_digest":"sha256:34222092f27173019ba728795dc6110b303bd39ac2700825f5a150f8d19b3d80","observation_id":"6c74dff1-34e3-47b0-82c4-5a7a6b2f8aad","resolution":{"observed_at":"2026-07-10T12:17:03.718444Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-05-24T16:24:25.933938+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T16:24:25.933938+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/1801.07664/citation-record","integrity":"/paper/1801.07664/integrity","json":"/paper/1801.07664/citation-record.json","paper":"/paper/1801.07664"},"outbound":[],"paper":{"arxiv_id":"1801.07664","last_updated":"2018-07-05T08:54:10Z","latest_version":4,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-18T04:13:00.270617Z","submitted_at":"2018-01-23T17:21:55Z","title":"Internal Universes in Models of Homotopy Type Theory"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:1801.07664."}