{"as_of":"2026-08-11T19:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b134970593d65e8ec061cf98e2f4077cd53f8abfcf59baaa153e1f26a1702cc6","coverage":[{"denominator":45,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":45,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T23:55:50.973820Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2412.19946/citation-record","integrity":"/paper/2412.19946/integrity","json":"/paper/2412.19946/citation-record.json","paper":"/paper/2412.19946"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/jsl.2023.41","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.186624Z","title":null,"venue":null,"work_id":"d0629c87-87e0-4d2b-a87f-3445bfc67a09","year":2023},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.798426Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:03cdf171ed7f210018ca94a46ea96fe297b3f37f0be837aeb8df619187b9f6aa","observation_id":"07194f3d-e9ca-4859-9933-bd5801dabf84","resolution":{"observed_at":"2026-08-10T23:55:51.190721Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s000120050111","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.174144Z","title":"3, 213--227, http://dx.doi.org/10.1007/s000120050111 doi:10.1007/s000120050111","venue":null,"work_id":"b1273c04-b08a-434f-b03d-3b9fe7f9ee08","year":1999},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.803815Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:f726b768d3e4f97417470f09f276d3304738ef9b03009142a3fbdd3323a55002","observation_id":"a0ac84a3-1b84-4dfa-b27c-13d6f875aeff","resolution":{"observed_at":"2026-08-10T23:55:51.178009Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-981-97-8943-6_1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.162965Z","title":"3--22, http://dx.doi.org/10.1007/978-981-97-8943-6_1 doi:10.1007/978-981-97-8943-6_1","venue":null,"work_id":"4c5cffd1-1007-4ddb-bf1e-fd339197762a","year":2025},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.808450Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:84ded5b3a4cdfc80d4883c5ed76290a6383440e1f953c5fc126cb4da0adf3149","observation_id":"5ebf2f73-22ea-445d-8788-26d361f3bce6","resolution":{"observed_at":"2026-08-10T23:55:51.166857Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1705.04310","last_updated":"2018-09-08T12:45:14Z","snapshot_observed_at":"2026-07-06T05:42:19.240971Z","submitted_at":"2017-05-11T17:55:23Z","title":"Categorical structures for type theory in univalent foundations","version":2},"cited_work":{"arxiv_id":"1705.04310","doi":null,"metadata_source":"pith","pith_arxiv_id":"1705.04310","snapshot_observed_at":"2026-08-10T23:55:51.771622Z","title":"Categorical structures for type theory in univalent foundations","venue":"math.LO","work_id":"8119d52e-29d6-4dd5-badf-f180733e92e0","year":2017},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.812886Z"},"links":{"cited_paper":"/paper/1705.04310","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:49664d42313eab97287abfcdda4ab5b4c99298ecad79b1d8aaa18c8f164e8a97","observation_id":"c451d1b2-9027-447e-9e47-08a279d206c3","resolution":{"observed_at":"2026-08-10T23:55:51.776627Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:50.818355Z","title":"189, Cambridge University Press, Cambridge, 1994, http://dx.doi.org/10.1017/CBO9780511600579 doi:10.1017/CBO9780511600579","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.818355Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:c59876135987c7cab16fd7810890c00687782aec4a3bdaa0a885c7830f064617","observation_id":"8917d356-3796-45c1-8054-067e57e5c6bf","resolution":{"observed_at":"2026-08-10T23:55:50.818355Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"0709.0248","last_updated":"2007-09-03T14:51:44Z","snapshot_observed_at":"2026-07-06T01:29:46.307115Z","submitted_at":"2007-09-03T14:51:44Z","title":"Homotopy theoretic models of identity types","version":1},"cited_work":{"arxiv_id":"0709.0248","doi":null,"metadata_source":"pith","pith_arxiv_id":"0709.0248","snapshot_observed_at":"2026-08-10T23:55:51.751827Z","title":"Homotopy theoretic models of identity types","venue":"math.LO","work_id":"4071022b-8c98-45d0-a858-5baa7c064e54","year":2007},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.822844Z"},"links":{"cited_paper":"/paper/0709.0248","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:1774af74b34a781e88bc20003cd4d0f7b0257a969440e2223a44969ef00823ee","observation_id":"0bdd46cf-45f1-4389-a0ea-69b70fcab650","resolution":{"observed_at":"2026-08-10T23:55:51.756139Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1406.3219","last_updated":"2017-01-08T22:18:54Z","snapshot_observed_at":"2026-07-06T03:46:10.820581Z","submitted_at":"2014-06-12T12:46:36Z","title":"Natural models of homotopy type theory","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1406.3219","snapshot_observed_at":"2026-08-10T23:55:50.827935Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.827935Z"},"links":{"cited_paper":"/paper/1406.3219","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:ad772e6fe6cabe66c82fcc931316a5e16f0d3a87e189a8bede53e2b91713a594","observation_id":"27c5b8d9-c4ea-4df4-b748-76697a53519a","resolution":{"observed_at":"2026-08-10T23:55:50.827935Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1804.05236","last_updated":"2019-07-25T12:11:43Z","snapshot_observed_at":"2026-07-06T06:33:25.055528Z","submitted_at":"2018-04-14T15:13:53Z","title":"Modal Dependent Type Theory and Dependent Right Adjoints","version":3},"cited_work":{"arxiv_id":"1804.05236","doi":null,"metadata_source":"pith","pith_arxiv_id":"1804.05236","snapshot_observed_at":"2026-08-10T23:55:51.719264Z","title":"Modal Dependent Type Theory and Dependent Right Adjoints","venue":"cs.LO","work_id":"b59048f7-a3d0-4300-a7b9-e4aff47b9371","year":2018},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.832020Z"},"links":{"cited_paper":"/paper/1804.05236","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:69d106fd5cffca2fdbd0707a453631845bc631f9df14044aa05c8fbc4f5ec289","observation_id":"18e2409b-0d91-4e41-a6b4-38d9ceecc358","resolution":{"observed_at":"2026-08-10T23:55:51.723661Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:51.925027Z","title":"Nijmegen","venue":null,"work_id":"3383b296-75a7-4bf5-8796-ccc1240cc774","year":1991},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.836359Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:2368af8a069021b74ae20b0b0231ef5d46fff49971738c2c97e58277cb8e93fb","observation_id":"88563a5c-d273-406a-b9f8-f845908d63f1","resolution":{"observed_at":"2026-08-10T23:55:51.928923Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:51.912425Z","title":"thesis, Oxford, 1978","venue":null,"work_id":"8ccd9540-9727-4fc4-8fad-06e9f604b1d0","year":1978},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.840153Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:4760568c765ae31dfca66ae7660567b67e106a18f2a2ecb385e82f852ad49df4","observation_id":"7c2c7651-d052-4289-9811-aef6176ffd5f","resolution":{"observed_at":"2026-08-10T23:55:51.916300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:51.900057Z","title":"Pure Appl","venue":null,"work_id":"9a155334-3059-471b-bfc6-914c33fc0236","year":1986},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.843797Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:5bd12fc445a931d941ec62b5d2fcb98f3e512effb0d8daeeb96bcf517e1ed8f1","observation_id":"686b56fd-7d98-4c49-84fb-5b768a44c072","resolution":{"observed_at":"2026-08-10T23:55:51.904032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1112.3456","last_updated":"2011-12-15T09:32:25Z","snapshot_observed_at":"2026-08-09T08:27:17.075396Z","submitted_at":"2011-12-15T09:32:25Z","title":"The Biequivalence of Locally Cartesian Closed Categories and Martin-L\\\"of Type Theories","version":1},"cited_work":{"arxiv_id":"1112.3456","doi":null,"metadata_source":"pith","pith_arxiv_id":"1112.3456","snapshot_observed_at":"2026-08-10T23:55:51.700793Z","title":"The Biequivalence of Locally Cartesian Closed Categories and Martin-L\\\"of Type Theories","venue":"cs.LO","work_id":"e2020b5a-6b38-46da-8002-57c932f7ddba","year":2011},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.847674Z"},"links":{"cited_paper":"/paper/1112.3456","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:4504f5e766a343b146f3b2197f22a3d114220ad5337a69308a5ab808154c9106","observation_id":"6b67c1e5-5ced-46a7-95c4-bcf3d2568f65","resolution":{"observed_at":"2026-08-10T23:55:51.705742Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.03085","last_updated":"2024-10-07T11:25:29Z","snapshot_observed_at":"2026-07-06T17:39:57.777084Z","submitted_at":"2024-03-05T16:11:51Z","title":"A 2-categorical analysis of context comprehension","version":3},"cited_work":{"arxiv_id":"2403.03085","doi":null,"metadata_source":"pith","pith_arxiv_id":"2403.03085","snapshot_observed_at":"2026-08-10T23:55:51.683663Z","title":"A 2-categorical analysis of context comprehension","venue":"math.CT","work_id":"01b5469d-0603-47bd-bc2b-e5d7b428a253","year":2024},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.851815Z"},"links":{"cited_paper":"/paper/2403.03085","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:6fbe924b0fd6366201d4705a53b4632a6ab396a00ec011383c8330bf208e282e","observation_id":"271ea6b0-0d85-4d15-9c8d-5c5318a38583","resolution":{"observed_at":"2026-08-10T23:55:51.688131Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2014.03.003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.143234Z","title":null,"venue":null,"work_id":"e4682053-5deb-4663-b4bd-9ba3bb614eb2","year":2014},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.856056Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:e54780441da17522655e380dc8d313bdb14a065dda591f640572df2c5db84053","observation_id":"1e316ae7-f557-431e-8832-19ff7d09a331","resolution":{"observed_at":"2026-08-10T23:55:51.147083Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:51.887030Z","title":null,"venue":null,"work_id":"209b4d79-2720-4243-b8f4-c55aaab168f3","year":2020},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.860021Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:2aa2fe83905ac4aa68813f438acc71b3898dec6b84891b6b52dbbf758975feba","observation_id":"8d99076c-7bcb-4e83-850c-c95fb1bf20ab","resolution":{"observed_at":"2026-08-10T23:55:51.891161Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:50.863859Z","title":"Sci., vol","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.863859Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:69fa54db67e2f3da6709bf8e42d56f69588a6832ced1eda4f47db6458bdc1b88","observation_id":"7b82dd2f-4c15-41b2-b1c0-f496a645f052","resolution":{"observed_at":"2026-08-10T23:55:50.863859Z","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-10T23:55:51.872963Z","title":null,"venue":null,"work_id":"589c0e72-1c78-4b85-bd10-0d13ec34e802","year":2012},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.867668Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:0c42b23003fb31c65b02306aed0b81f6ca6a0e90e782bbc96e47b8a33c90c86c","observation_id":"5f6819eb-3aa7-4d56-8f7f-593003e55b3c","resolution":{"observed_at":"2026-08-10T23:55:51.877215Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0004972700044828","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.123583Z","title":"1, 1–76, http://dx.doi.org/10.1017/S0004972700044828 doi:10.1017/S0004972700044828","venue":null,"work_id":"80f020ef-bcdf-4725-9e89-141bcfa64f00","year":1972},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.871536Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:1097711fc5f98d39a662944e372c7b77f19ff39738d6a9d6f959bfe7b88bc293","observation_id":"07d1fc0f-e0c1-4bbc-a619-3d26b37f8e6b","resolution":{"observed_at":"2026-08-10T23:55:51.127956Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1402.6799","last_updated":"2014-02-27T06:30:35Z","snapshot_observed_at":"2026-07-06T03:37:05.704681Z","submitted_at":"2014-02-27T06:30:35Z","title":"Combinatorial structure of type dependency","version":1},"cited_work":{"arxiv_id":"1402.6799","doi":null,"metadata_source":"pith","pith_arxiv_id":"1402.6799","snapshot_observed_at":"2026-08-10T23:55:51.664533Z","title":"Combinatorial structure of type dependency","venue":"math.LO","work_id":"2dfe93f7-db76-4507-a2c9-606e2b047f4b","year":2014},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.875390Z"},"links":{"cited_paper":"/paper/1402.6799","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:b42e0e156700dce90d6e49a08080795a141bfc6d5f9c77533e5a18e3d95e8b98","observation_id":"c49f8fb3-5b1f-4ce2-af9d-0ace6e08b136","resolution":{"observed_at":"2026-08-10T23:55:51.669154Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0059396","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.110885Z","title":"221, Springer-Verlag, Berlin-New York, 1971, http://dx.doi.org/10.1007/BFb0059396 doi:10.1007/BFb0059396","venue":null,"work_id":"b8179fe4-484a-4f32-a655-320436c95bd3","year":1971},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.879383Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:a06ef8a4e63f99f420deb1a9aa1f6407818be6a53759ff3cc21380fe739ecebf","observation_id":"a2ac595f-e46a-4b43-a0d2-6f94059e9913","resolution":{"observed_at":"2026-08-10T23:55:51.115210Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0022273","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.098592Z","title":"Sci., vol","venue":null,"work_id":"263143d2-3fe0-4097-9888-a8c3b9a286be","year":1994},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.882970Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:f6e1f76c9346fe4a625c6b8253e7ac59a7e930b6f767567c15fbfb2237a349f4","observation_id":"4cd4b06d-26b0-4f38-adf4-74af40937346","resolution":{"observed_at":"2026-08-10T23:55:51.102589Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:50.886478Z","title":"Newton Inst., vol","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.886478Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:7ccff657561ece5801e8fac86b36e0b4a9d995642cfeeebdba76d6e320c4b304","observation_id":"52ed1075-9a39-48d4-affd-f70722415f27","resolution":{"observed_at":"2026-08-10T23:55:50.886478Z","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.1090/conm/092/1003199","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.079543Z","title":"Martin E","venue":null,"work_id":"466216a9-4ace-467e-b488-556c5d1e13cb","year":1987},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.890265Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:590f0a05d132ce004e185df67b316634b9ad5281f06f40baaca90aa3011e9a1e","observation_id":"ad561972-a3c5-4c80-9e7e-3e2de99bbee7","resolution":{"observed_at":"2026-08-10T23:55:51.083279Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(93)90169-t","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.067587Z","title":null,"venue":null,"work_id":"ad3b0c40-e7cd-4e0f-bf51-ce1c0643df8b","year":1993},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.893780Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:f24de5abbb9cb4f7db170cb8f0b942c189abd45f8d53dcb6752b79e08a14efc0","observation_id":"05aa384b-25a6-431c-8977-48639b3d8027","resolution":{"observed_at":"2026-08-10T23:55:51.071938Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:51.858800Z","title":"Johnstone, Sketches of an elephant: a topos theory compendium, Oxford Logic Guides, vol","venue":null,"work_id":"2bdb4384-dbcc-43e0-a960-4d87fdfd7ef2","year":2002},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.897260Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:68be1852489e79190d8c12b8642c7eae8a5ae94c2a1adf71687b48bef9236cf4","observation_id":"8c2de607-20b5-4fbe-b3d8-6f1616dbdccb","resolution":{"observed_at":"2026-08-10T23:55:51.863413Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1710.10238","last_updated":"2017-10-27T16:56:36Z","snapshot_observed_at":"2026-07-06T06:06:28.684685Z","submitted_at":"2017-10-27T16:56:36Z","title":"Notes on Clans and Tribes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1710.10238","snapshot_observed_at":"2026-08-10T23:55:50.900868Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.900868Z"},"links":{"cited_paper":"/paper/1710.10238","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:d15adc6e4f3d6e168c4e0303d90fa2dafdeb2100521a709ec8a1d3c59bd08819","observation_id":"10d400a0-4e7d-425a-b1d2-d3e65a4b7e08","resolution":{"observed_at":"2026-08-10T23:55:50.900868Z","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.1017/s0004972700005591","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.056402Z","title":null,"venue":null,"work_id":"87ce8092-5d83-4603-aada-b8085340d0d3","year":1982},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.904802Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:9dd1314489ee59fe4623a92f1c5407ecb3039d65fef772cc88702c37f457ccea","observation_id":"630c068f-fcdb-4855-9e50-215c8543be4a","resolution":{"observed_at":"2026-08-10T23:55:51.060007Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1808.01816","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.628671Z","title":"Pure Appl","venue":null,"work_id":"178552e5-4bac-48e7-9222-b161cc8fff7b","year":2021},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.908596Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:f8b5f50a4f422e833f6038617a2a946ae4057757d7be300fa52aadc639926c92","observation_id":"f473f128-2f30-48a9-879a-67c8b4f11f6a","resolution":{"observed_at":"2026-08-10T23:55:51.638331Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:50.912146Z","title":"12, 107126, http://dx.doi.org/10.1016/j.jpaa.2022.107126 doi:10.1016/j.jpaa.2022.107126 , https://www.sciencedirect.com/science/article/pii/S0022404922001220","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.912146Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:ad91e689c7177be8e1b57b1842d87ad9beec7efb5fded3fad8aab383c1ccf26b","observation_id":"4f0a85d8-d714-44cb-9568-63b1f9f6a7b1","resolution":{"observed_at":"2026-08-10T23:55:50.912146Z","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-10T23:55:51.844177Z","title":null,"venue":null,"work_id":"3b1d7dad-bd9e-4c5c-a687-f276248d4e2a","year":1995},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.915894Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:f49a859af4dc533699c8aa7c977812f9d7f197c42bd24245cd4959b344bfa7d0","observation_id":"d705a93a-6d37-4358-a17a-45429469c2d0","resolution":{"observed_at":"2026-08-10T23:55:51.849341Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:51.828965Z","title":"Lecture Notes, vol","venue":null,"work_id":"30edc244-21f1-4203-b1bf-aee5ee350345","year":1984},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.919722Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:04849e02be81ab8308ef9764ed159bc3061f9656c93f5c0848416ab84e1039dc","observation_id":"8a5319f2-54ae-4f0d-82da-6c7d441090c8","resolution":{"observed_at":"2026-08-10T23:55:51.833410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129500000074","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.044798Z","title":"Structures Comput","venue":null,"work_id":"b55ad491-3574-410c-8930-4a01d921cce3","year":1991},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.923410Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:f1b298e2f1c5e6d370279fd38cbf2b76bb1aa976b7bc9c9cbabe0a2b264975f1","observation_id":"f781d950-5840-4453-a2a0-6fdee148883e","resolution":{"observed_at":"2026-08-10T23:55:51.048584Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2103.06155","last_updated":"2021-03-10T16:09:37Z","snapshot_observed_at":"2026-08-11T04:45:38.824738Z","submitted_at":"2021-03-10T16:09:37Z","title":"Algebraic models of dependent type theory","version":1},"cited_work":{"arxiv_id":"2103.06155","doi":null,"metadata_source":"pith","pith_arxiv_id":"2103.06155","snapshot_observed_at":"2026-08-10T23:55:51.455011Z","title":"Algebraic models of dependent type theory","venue":"math.CT","work_id":"2c251ecf-589e-474f-90c3-32eebd595141","year":2021},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.926964Z"},"links":{"cited_paper":"/paper/2103.06155","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:4c18c2f634ae7c369dd8a94cfaf605347a8b1f36ead85b68629f2b6c73b229d7","observation_id":"a30ed1b3-fabf-4496-8d26-ce13e697fb98","resolution":{"observed_at":"2026-08-10T23:55:51.460397Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:50.930592Z","title":"Pitts, Categorical logic, Handbook of Logic in Computer Science, vol","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.930592Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:939aa15299ce71c7083d84088bdb91d33b50435c28fe097539a9cb013a054030","observation_id":"624360ee-c5a3-418b-a904-4a59974649ca","resolution":{"observed_at":"2026-08-10T23:55:50.930592Z","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-10T23:55:51.815635Z","title":"Report NS-98-7, Basic Research in Computer Science, Aarhus, August 1998, https://www.brics.dk/NS/98/7/index.html","venue":null,"work_id":"1a2e47df-2595-49de-9980-2e1925aee54e","year":1998},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.934068Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:345be5dd6ec9cf256dd8cc0ae5dc10b4f5762d671f8c175a97c226ce44393f20","observation_id":"afd30b79-db67-4bc9-9559-ea426fa17838","resolution":{"observed_at":"2026-08-10T23:55:51.820027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:50.937899Z","title":"Vickers, Partial horn logic and C artesian categories , Ann","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.937899Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:b939ecb19a7594f5c14fe4f05256744dfe58a71eb7e5162490f833107a571112","observation_id":"22b20b09-68e0-481f-83cc-e0503462f79f","resolution":{"observed_at":"2026-08-10T23:55:50.937899Z","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.1007/978-1-4612-0433-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:55:51.024633Z","title":null,"venue":null,"work_id":"375c067a-cb94-4072-b467-b5a1caf186a9","year":1991},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.941605Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:b86c9ecc78ae5c455a61e4e396fdb48b0fa0d452dbe8fd2e53655f5a2dc7a0c1","observation_id":"e9303b60-4f70-4672-ad6c-14622a9fd01e","resolution":{"observed_at":"2026-08-10T23:55:51.028467Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.02804","last_updated":"2021-10-06T14:24:04Z","snapshot_observed_at":"2026-07-06T11:55:00.678191Z","submitted_at":"2021-10-06T14:24:04Z","title":"From dependent type theory to higher algebraic structures","version":1},"cited_work":{"arxiv_id":"2110.02804","doi":"10.48550/arxiv.2110.02804","metadata_source":"pith","pith_arxiv_id":"2110.02804","snapshot_observed_at":"2026-08-11T00:16:15.729268Z","title":"From dependent type theory to higher algebraic structures","venue":"math.CT","work_id":"4a7a404b-7ec3-46c5-bc87-56ff72f66020","year":2021},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.945438Z"},"links":{"cited_paper":"/paper/2110.02804","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:8510091f344db5893ae117f5f0dca8aaefe0aebf3a862302c7baf50a10574de3","observation_id":"b46afb2f-9599-4647-9bcf-d36be5e977d9","resolution":{"observed_at":"2026-08-10T23:55:51.016010Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:51.800193Z","title":"thesis, University of Cambridge, 1986, https://www.paultaylor.eu/domains/recdic.pdf","venue":null,"work_id":"9a184d0d-67e3-4a83-87df-d7853c98aa43","year":1986},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.949487Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:a3a5a3c3a6eca8714ddb55d3b1d678ff29dcb6c58c27618ec3145f2a6465f2f1","observation_id":"dfb7168e-59f3-40f2-a735-fedfdda2e071","resolution":{"observed_at":"2026-08-10T23:55:51.804638Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T23:55:51.785865Z","title":"59, Cambridge University Press, Cambridge, 1999, https://www.paultaylor.eu/ pt/prafm/","venue":null,"work_id":"4b8ed970-8109-45c8-bbfa-49d487f1d7d4","year":1999},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.953188Z"},"links":{"citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:b5bf63bf7955ea3554e75993ca2038405ae451d7a750dd71ac6dda3218874992","observation_id":"c27e4531-f44d-4b3e-aafe-e49efd3806c2","resolution":{"observed_at":"2026-08-10T23:55:51.790496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1904.04097","last_updated":"2023-05-26T15:49:35Z","snapshot_observed_at":"2026-07-06T07:44:40.937729Z","submitted_at":"2019-04-08T14:37:59Z","title":"A General Framework for the Semantics of Type Theory","version":3},"cited_work":{"arxiv_id":"1904.04097","doi":null,"metadata_source":"pith","pith_arxiv_id":"1904.04097","snapshot_observed_at":"2026-08-10T23:55:51.272125Z","title":"A General Framework for the Semantics of Type Theory","venue":"math.CT","work_id":"70710721-a847-4a93-ac11-0650ad00dcae","year":2019},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.956885Z"},"links":{"cited_paper":"/paper/1904.04097","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:7a09fb5d5083c8ed29a75413dee8f569bdd395c66d67ad2dbc18659c39f90358","observation_id":"61c7a7dd-675a-4c18-be30-b91e39ce3fa8","resolution":{"observed_at":"2026-08-10T23:55:51.276388Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1007.4638","last_updated":"2011-10-14T05:18:19Z","snapshot_observed_at":"2026-07-06T02:13:19.502085Z","submitted_at":"2010-07-27T08:30:04Z","title":"Topological and simplicial models of identity types","version":2},"cited_work":{"arxiv_id":"1007.4638","doi":null,"metadata_source":"pith","pith_arxiv_id":"1007.4638","snapshot_observed_at":"2026-08-10T23:55:51.253525Z","title":"Topological and simplicial models of identity types","venue":"math.LO","work_id":"a2b611cc-5962-41e6-be1d-cdd1f846823c","year":2010},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.960956Z"},"links":{"cited_paper":"/paper/1007.4638","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:818a68f4dc90b6b132330fab949aebac239d6e328a727f0005a6cc9bdefa2ab4","observation_id":"d6f5b677-009d-4b8a-8b04-a5aae8b7d5fb","resolution":{"observed_at":"2026-08-10T23:55:51.258170Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1410.5389","last_updated":"2014-10-20T18:53:38Z","snapshot_observed_at":"2026-07-06T03:57:55.297380Z","submitted_at":"2014-10-20T18:53:38Z","title":"B-systems","version":1},"cited_work":{"arxiv_id":"1410.5389","doi":null,"metadata_source":"pith","pith_arxiv_id":"1410.5389","snapshot_observed_at":"2026-08-10T23:55:51.235012Z","title":"B-systems","venue":"math.LO","work_id":"48a1d462-9a32-47fd-979b-c8564725f23d","year":2014},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.964657Z"},"links":{"cited_paper":"/paper/1410.5389","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:f05f8417dfcfde55ca8646912150bfc2320df22ef880fed3f830250682d91ed7","observation_id":"9c30e8d4-b0ea-4ef1-a8ec-120ca625dddd","resolution":{"observed_at":"2026-08-10T23:55:51.239294Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1406.7413","last_updated":"2016-03-15T12:59:56Z","snapshot_observed_at":"2026-08-02T13:30:32.655167Z","submitted_at":"2014-06-28T15:03:30Z","title":"Subsystems and regular quotients of C-systems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1406.7413","snapshot_observed_at":"2026-08-10T23:55:50.969887Z","title":"Math., vol","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.969887Z"},"links":{"cited_paper":"/paper/1406.7413","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:7fd09b8e2abd87c0bbe087632a921309eca7a7abd21913e4eccacc8c64ad1681","observation_id":"56132d5d-c556-4b37-aa6f-cf2cab82de5b","resolution":{"observed_at":"2026-08-10T23:55:50.969887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1602.00352","last_updated":"2016-02-01T00:35:00Z","snapshot_observed_at":"2026-08-11T04:29:00.306210Z","submitted_at":"2016-02-01T00:35:00Z","title":"C-system of a module over a $Jf$-relative monad","version":1},"cited_work":{"arxiv_id":"1602.00352","doi":null,"metadata_source":"pith","pith_arxiv_id":"1602.00352","snapshot_observed_at":"2026-08-10T23:55:51.204535Z","title":"C-system of a module over a $Jf$-relative monad","venue":"math.LO","work_id":"532380cd-dbd7-424a-b7bf-169616b5d512","year":2016},"citing_paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-10T23:55:50.973820Z"},"links":{"cited_paper":"/paper/1602.00352","citing_paper":"/paper/2412.19946"},"observation_digest":"sha256:15edcee38877bfa4560ea018646c4c8084b7931b0a23f3fd64bee2b8258ea58d","observation_id":"c2d31054-146b-49c5-bf05-9b93cccf1993","resolution":{"observed_at":"2026-08-10T23:55:51.209125Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.19946","last_updated":"2026-06-05T15:27:19Z","latest_version":2,"primary_category":"math.CT","snapshot_observed_at":"2026-08-11T03:04:16.084659Z","submitted_at":"2024-12-27T22:55:39Z","title":"Comparing semantic frameworks for dependently-sorted algebraic theories"},"reference_resolution":{"displayed":45,"state_counts":{"malformed_identifier":0,"metadata_mismatch":5,"parse_uncertain":0,"unresolved":12,"verified_exact":20,"verified_fuzzy":8},"total_outbound_references":45},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2412.19946."}