{"as_of":"2026-08-16T05:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:daec08cc1fc6a5d6a0c424cb87059bc0d6032fcbe168d845b1f241e2c819bb06","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T11:36:56.816484Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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.08944/citation-record","integrity":"/paper/1908.08944/integrity","json":"/paper/1908.08944/citation-record.json","paper":"/paper/1908.08944"},"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-14T11:36:57.507648Z","title":null,"venue":null,"work_id":"0fc72e00-b7a0-465d-b6ec-5da3fdb47149","year":2009},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.653374Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:4563124e19229d4d190b5212fa840c3238311163f46e3d24e7c56b02258f1017","observation_id":"cad9092a-e74e-4e82-bc3c-17dfcbbbdbfc","resolution":{"observed_at":"2026-08-14T11:36:57.512773Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.491628Z","title":"Blackwell, G","venue":null,"work_id":"e01c8668-d5eb-4560-bdcb-1c8912a2eedb","year":1989},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.658894Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:960583a3fabd482d4511292df96f363166917d2a479aa2a38a4e8bc12da7bef8","observation_id":"05f9160e-8fda-457f-ada1-42120beae901","resolution":{"observed_at":"2026-08-14T11:36:57.496478Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.477535Z","title":null,"venue":null,"work_id":"6bf6d8d1-a79d-4f19-969c-012c7438189f","year":1973},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.663811Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:56b4aa4e89b0345aa6d760e588a6a0b802edd306be1c2e01c21978cd0f81936c","observation_id":"865eb92e-a6f4-420f-a9da-f13ae2ab4e2f","resolution":{"observed_at":"2026-08-14T11:36:57.482134Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.463522Z","title":null,"venue":null,"work_id":"bb9d1492-9160-40e6-8693-c0ee21d54f1f","year":1990},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.668627Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:712fed0ea5e05a0ae6f253739101c7a63cdc98a9585873e623f31c88d108f419","observation_id":"394a1abd-255c-420a-9b30-4c5deae6d0fd","resolution":{"observed_at":"2026-08-14T11:36:57.468002Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:56.673734Z","title":"Pursuing stacks, 1983","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.673734Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:630ffea6eed4dc65f024406cb7976c3c5c5092629328079dca2d500436ff9772","observation_id":"78e289f8-e3c0-4a55-8b2d-01a648cf3c26","resolution":{"observed_at":"2026-08-14T11:36:56.673734Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1905.10690","last_updated":"2022-02-23T05:44:31Z","snapshot_observed_at":"2026-08-16T05:29:21.734137Z","submitted_at":"2019-05-25T23:05:37Z","title":"Homotopies in Grothendieck fibrations","version":3},"cited_work":{"arxiv_id":"1905.10690","doi":null,"metadata_source":"pith","pith_arxiv_id":"1905.10690","snapshot_observed_at":"2026-08-14T11:36:57.006697Z","title":"Homotopies in Grothendieck fibrations","venue":"math.CT","work_id":"9b9d8e31-52e7-435d-9194-402931544d99","year":2019},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.678598Z"},"links":{"cited_paper":"/paper/1905.10690","citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:3ae1859331c54c3b415e3dec40b040e820fbaa4980aa3a451637f770e07d00f7","observation_id":"d1ab3a75-44a7-4585-a9ed-c942c321b62c","resolution":{"observed_at":"2026-08-14T11:36:57.014666Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.448056Z","title":"Lambek's categorical proof theory and L \\\" a uchli's abstract realizability","venue":null,"work_id":"07c0ad70-4c49-4ed3-8f99-56691088d7b9","year":1992},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.684362Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:ffb1c30e0713027be5048632308b08c02f9d75f9f09e696e4d92917541bbb10f","observation_id":"4252f507-3cd2-47c6-bc6e-ff12acaad5cf","resolution":{"observed_at":"2026-08-14T11:36:57.452973Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.432950Z","title":"On the interpretation of type theory in locally C artesian closed categories","venue":null,"work_id":"a1a5b189-ff1a-47ab-9879-4ce7abc6c217","year":1994},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.689135Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:d8746bdf157cc8725a9f4f26dfab680e44459a096eb44b6507a42cfcb0e4ff8f","observation_id":"9350447b-923e-436f-9af2-7bc55168fbd0","resolution":{"observed_at":"2026-08-14T11:36:57.437988Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:56.693887Z","title":"Model categories , volume 63 of Mathematical Surveys and Monographs","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.693887Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:138472a0cb4409e4caf5a34108112f076349f09b66400a75a3ac119171008f48","observation_id":"a3fa8a49-09f1-413b-9f37-c2f673c66ca3","resolution":{"observed_at":"2026-08-14T11:36:56.693887Z","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:36:56.698654Z","title":"The groupoid interpretation of type theory","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.698654Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:f24b9480de081fc0b30d04d63861fe12994513ba4c9a4ac937508be4c5d17b2d","observation_id":"99ec017f-e957-4dd5-aab5-7193e47889eb","resolution":{"observed_at":"2026-08-14T11:36:56.698654Z","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:36:56.703382Z","title":"Categorical logic and type theory , volume 141 of Studies in Logic and the Foundations of Mathematics","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.703382Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:e9d0e63efe054bc6268a09d19381f6a54b6c3f1e09d7b69f884c7a566e302f99","observation_id":"80db8036-6908-4680-9060-1c187102b212","resolution":{"observed_at":"2026-08-14T11:36:56.703382Z","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:36:56.708080Z","title":"Johnstone","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.708080Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:7fdf00d2d93759be2c591fadf008eefa3ebfbe941c38b0e5cffefca75474bc6f","observation_id":"03595a4c-cc9f-4d34-abde-7134a784d165","resolution":{"observed_at":"2026-08-14T11:36:56.708080Z","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:36:56.712621Z","title":"The simplicial model of univalent foundations (after voevodsky)","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.712621Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:0e19c5a20cbf4a4c0373b6c0eaa7e4e1e135ba3b6f268fa6976cfffb12fa6a45","observation_id":"6debc717-9415-47a6-974d-e4d190f9ed3b","resolution":{"observed_at":"2026-08-14T11:36:56.712621Z","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:36:57.378193Z","title":"An elementary account of flat 2-functors, 2019","venue":null,"work_id":"d3367549-abbf-498e-9437-c0b602b82532","year":2019},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.717026Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:17fa1c4dda26a0e1bd1a7b325f6b27c18ed0a4185fef738c6f1f6bae4e8cb8a2","observation_id":"950768b7-6e16-4b1d-b8a9-b5ea92774e41","resolution":{"observed_at":"2026-08-14T11:36:57.382984Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.363536Z","title":"L \\\"a uchli","venue":null,"work_id":"7bdf82c4-4b9f-43ff-ab19-251a070648d7","year":1968},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.721529Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:f49b0e5677f8394fcd331b0353138ff693d0812eeb2d5a398d39c1221f99f36b","observation_id":"b85cf2b6-c9cf-438f-9580-e61def987c52","resolution":{"observed_at":"2026-08-14T11:36:57.368234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.348570Z","title":"William Lawvere","venue":null,"work_id":"1f5e14bc-fae5-46ad-a990-b6eb73c81c71","year":1968},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.726186Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:c459ba454c80aa79a0d0eabb5557f18206a52c3fb6a82ac6fd5be87dcc41548e","observation_id":"3538cfad-c778-4e1c-9ab4-3c28e24c2af6","resolution":{"observed_at":"2026-08-14T11:36:57.353337Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.333653Z","title":"William Lawvere","venue":null,"work_id":"ca9f0d5d-520d-41ce-abd2-12fc30255539","year":1963},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.730728Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:adb40dfaec830d82e547cdd9cfb7055129aae93659c2aa09b03acd7fad033220","observation_id":"dfe5ca5b-9af0-46e0-be68-45a706c05d2c","resolution":{"observed_at":"2026-08-14T11:36:57.338399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.318716Z","title":"William Lawvere","venue":null,"work_id":"9fe19287-9845-44cc-a865-a9c385503f52","year":1969},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.735746Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:038587d9183ad04f8c82050948e98ea510aba3f3b23ae248efcbec3c4e17b267","observation_id":"9467e98c-c3a5-4af1-aaef-bad10ad0d340","resolution":{"observed_at":"2026-08-14T11:36:57.323411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:56.740326Z","title":"Lambek and P","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.740326Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:c79c1c9f6837da9c12eb1546fa4bf4c03f4d6912414cc4eb25bde514365d3e4a","observation_id":"a310b188-b820-42c2-9117-7ca4e86fe30f","resolution":{"observed_at":"2026-08-14T11:36:56.740326Z","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:36:56.745365Z","title":"Higher Algebra","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.745365Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:a2687475ccf883830e9cd3747280808601578e9bc3b3b4b7d0c5953aa213c2a7","observation_id":"44f9b006-d3c2-4d01-924e-1ab1188f7b90","resolution":{"observed_at":"2026-08-14T11:36:56.745365Z","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:36:57.293736Z","title":"odel, K ripke, and L \\","venue":null,"work_id":"be275b4b-6132-4ae4-916e-968a245bd878","year":1993},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.750204Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:d5b1ed2a3452ba650dd50b136761e8006dd60e0c78bf2849f8fa1a88529a2ed8","observation_id":"2744bc38-4932-41f2-8ebd-6d2d809dd270","resolution":{"observed_at":"2026-08-14T11:36:57.298425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.277970Z","title":"odel, K ripke, and L \\","venue":null,"work_id":"8d9b0bd6-8517-49a9-97c4-44ddf2ca1c1f","year":1993},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.755044Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:c5b504a830969623a3d05cac42a22510c176d149e23c206c8d1f995e3f178f94","observation_id":"ab7ec91d-a1cf-49f0-b2ef-72e431c95c3c","resolution":{"observed_at":"2026-08-14T11:36:57.283236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.263178Z","title":null,"venue":null,"work_id":"654c55d3-cb6d-4412-9dd3-8de596159924","year":1996},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.760227Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:c782123b7b16d582d5c41a7b1b6b4303c3d4dcebf4c27e683e3a77366ae07df6","observation_id":"251bbf86-0dea-4333-bdb0-708e915428a4","resolution":{"observed_at":"2026-08-14T11:36:57.267881Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.246983Z","title":"Elementary categories, elementary toposes , volume 21 of Oxford Logic Guides","venue":null,"work_id":"dd69bd0e-0b66-498b-97c6-e551a353010b","year":1992},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.765003Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:5095fdaae09a4572e5627a90e8578be1dc26617842a9fb0ac71f82817581f5ff","observation_id":"524c6c11-175a-495f-a4c1-da6ec8d176ac","resolution":{"observed_at":"2026-08-14T11:36:57.252474Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.230274Z","title":"An intuitionistic theory of types","venue":null,"work_id":"593da440-e8d0-4a0e-a0fa-2b8db9542278","year":1995},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.769738Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:a53a15d0ab43a4926832143bc7f7d6e6403ff7e41eebcba24c4a2034e98a3bd0","observation_id":"60b735db-0b44-43a6-8d7f-1741fba61e41","resolution":{"observed_at":"2026-08-14T11:36:57.235059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.214541Z","title":null,"venue":null,"work_id":"30e77c75-49b6-4d86-8b61-a4e6b383bb89","year":2012},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.774300Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:f8fe9b122ab05b8e4c69238a695095a107baecb648f4081a32a22e5d01904a39","observation_id":"bea98384-1bed-4399-a5dc-5668777f4062","resolution":{"observed_at":"2026-08-14T11:36:57.220097Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.199423Z","title":null,"venue":null,"work_id":"cd2285ac-7758-4b37-8b68-caba4fa0dfbf","year":1963},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.778852Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:f2cfd92e2034f95b28a378516ba36c027d180d697e4fdf466a6398a555179ffa","observation_id":"43639dd7-383f-4671-809b-dae5bd461216","resolution":{"observed_at":"2026-08-14T11:36:57.204077Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.183898Z","title":"A categorical version of the B rouwer- H eyting- K olmogorov interpretation","venue":null,"work_id":"dc74f651-a63b-489d-8883-e78dd1266bcc","year":2004},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.783761Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:99a84a05b3d67bf444b8b9589bbce31d4813711f018cfeb8fd2fc1ba2c008be0","observation_id":"efe45026-7443-48e5-aecf-900faef87968","resolution":{"observed_at":"2026-08-14T11:36:57.188955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.168863Z","title":null,"venue":null,"work_id":"221d0e1a-a3ef-4128-808c-e513d120148a","year":1989},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.788205Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:d7d2122efa3033a80ede65d35b95affdee81e6940250339adad92f6a8e8944b8","observation_id":"a6c2e748-f287-41be-8b48-19aa978dc6dd","resolution":{"observed_at":"2026-08-14T11:36:57.173617Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:56.792924Z","title":null,"venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.792924Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:9884dfe2f9f7847490c50d13e62103564e8f29b79d323e68a82b9370ed00df64","observation_id":"80b878ec-c8a8-48c6-aced-3eaa3c5a27a4","resolution":{"observed_at":"2026-08-14T11:36:56.792924Z","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:36:56.797464Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.797464Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:cc8c8616371a7525b646d7bbeb1ef1e98b750cae4cfa909af362a0396c63d9bd","observation_id":"dfe04698-2915-44fe-a6b3-e05ad9da3040","resolution":{"observed_at":"2026-08-14T11:36:56.797464Z","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:36:57.135212Z","title":null,"venue":null,"work_id":"f0fe8703-d12a-461a-8774-95ee43d4004b","year":1984},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.802206Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:f0b92302d36a96660fc2c49a83f64138ddc70a9eab59c024cfdfadc0340310a4","observation_id":"76caf79a-e6ee-4310-80ed-542ad74fa9bb","resolution":{"observed_at":"2026-08-14T11:36:57.139880Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.119902Z","title":null,"venue":null,"work_id":"914df7ef-1ab5-4f6d-a368-45e427333271","year":1991},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.807001Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:65a602f37f5ca3614f8d5851bd8fec92b572a8730545a9d95459f6671b9e4232","observation_id":"0b45e9bb-ea52-48ab-9572-7ff8f1815418","resolution":{"observed_at":"2026-08-14T11:36:57.124518Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.104867Z","title":null,"venue":null,"work_id":"ca3a8687-58c6-4ebf-aa7a-f08e6d547b18","year":1999},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.811763Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:cd0388505ff28359105d68b32ed50657bb1a28aacdf4c5870778066aa0c9653d","observation_id":"958b0a6c-0e91-4e58-bc67-c2063322d772","resolution":{"observed_at":"2026-08-14T11:36:57.109558Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:36:57.088753Z","title":"Homotopy theoretic aspects of constructive type theory, 2008","venue":null,"work_id":"e69179c4-83e7-42e1-b1cb-c4d873ace191","year":2008},"citing_paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-14T11:36:56.816484Z"},"links":{"citing_paper":"/paper/1908.08944"},"observation_digest":"sha256:1b743fc8b64aeb3807b5ed518963f836f578845b30c8a4ac9938da1f1c17d4ab","observation_id":"3e41dc35-609a-4f6f-ba4b-5bf8eb013cd8","resolution":{"observed_at":"2026-08-14T11:36:57.094684Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}}],"paper":{"arxiv_id":"1908.08944","last_updated":"2022-02-23T04:58:28Z","latest_version":2,"primary_category":"math.LO","snapshot_observed_at":"2026-08-16T02:22:29.871501Z","submitted_at":"2019-08-23T12:36:24Z","title":"First-order homotopical logic"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":1,"verified_fuzzy":14},"total_outbound_references":35},"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 16 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:1908.08944."}