{"as_of":"2026-08-15T11:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2c1456ff7ddd1cf81574e4243259c9ff0fc45ceb415437528dab4477a340e07e","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":2,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":2,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T18:56:25.900672Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T18:56:27.374341Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2010.14166","last_updated":"2020-10-27T09:51:30Z","snapshot_observed_at":"2026-08-06T16:16:45.572929Z","submitted_at":"2020-10-27T09:51:30Z","title":"Coherence of strict equalities in dependent type theories","version":1},"cited_work":{"arxiv_id":"2010.14166","doi":null,"metadata_source":"pith","pith_arxiv_id":"2010.14166","snapshot_observed_at":"2026-08-06T18:56:27.374341Z","title":"Coherence of strict equalities in dependent type theories","venue":"cs.LO","work_id":"79331401-aaf9-4a7e-948c-111d2deb544e","year":2020},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.900672Z"},"links":{"cited_paper":"/paper/2010.14166","citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:6053d10ee43c2faa06caa83e408754dc6de29eee7dfd5d639cd66dc0805c0d26","observation_id":"e7d92dbf-c770-4b77-92e7-9aace165613a","resolution":{"observed_at":"2026-08-06T18:56:27.379339Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2010.14166","last_updated":"2020-10-27T09:51:30Z","snapshot_observed_at":"2026-08-06T16:16:45.572929Z","submitted_at":"2020-10-27T09:51:30Z","title":"Coherence of strict equalities in dependent type theories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2010.14166","snapshot_observed_at":"2026-08-01T08:30:27.002537Z","title":"Coherence of strict equalities in dependent type theories","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.27387","last_updated":"2026-07-29T18:48:13Z","snapshot_observed_at":"2026-08-14T15:15:03.704192Z","submitted_at":"2026-07-29T18:48:13Z","title":"Extension Types for Free","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T08:30:27.002537Z"},"links":{"cited_paper":"/paper/2010.14166","citing_paper":"/paper/2607.27387"},"observation_digest":"sha256:8d5bac2f1798cc6f63bbd1d86e9b1770aeff4da73b002a1787eba959559cd7aa","observation_id":"df9c5132-bdef-4035-8371-340ad95aadb1","resolution":{"observed_at":"2026-08-01T08:30:27.002537Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2010.14166/citation-record","integrity":"/paper/2010.14166/integrity","json":"/paper/2010.14166/citation-record.json","paper":"/paper/2010.14166"},"outbound":[],"paper":{"arxiv_id":"2010.14166","last_updated":"2020-10-27T09:51:30Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-06T16:16:45.572929Z","submitted_at":"2020-10-27T09:51:30Z","title":"Coherence of strict equalities in dependent type theories"},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:2010.14166."}