{"as_of":"2026-08-14T11:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:af507a52a6ae08849425fe888479c0727175ed44c79f46d0cc26f230a9b3d34b","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-14T06:32:32.682623+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:1140dad629a727fcc59f5a2a611d03f01ed4cd64c7d0f08938e471643dabeed9","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:c5ef5d5e9ac63a022e8321fb256e0e9fb9d560c2b7977b898efa953cc079dbb2","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","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":"Lecture notes in computer science","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:65428b9269f61ae57e545b2eb4dbf8d7cc81611c2110fb591e5b4b265bfdbcba","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:3e8dc4674c737fd1d0050ceb39b3498ff13b3c6fce035da3435b2329693e658f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:f876bdcc84afb9ef75e6eb86d55082a82505210e650e329df093442691220afc","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T05:09:54.963485Z","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:ce7208cdeea70d7f5a20f2eeb5c74fa6b29ef5fd6885d9b8e76d4eae41c8f5da","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:6ae473835322bfc8beae39b537d9108475ab5abfb410672e3932bb8a5ee4cbcf","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:c588e239a991f6ce9d4944feb3bf75cba70878c7632259122b03e79a35530544","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:ae359af0c1b90e88f6f24f6f801750a71dad6dd3fdc94762d4cf3899af1ad7b7","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:1849988a5d3fa9f1b2d078fb4dd198d0449a90c34a578c0f4e789528236d4494","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T06:07:50.750784Z","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:679d3849534967db033b588891a43fdf48952b9d37d336eaa111cbc30d6d6e4d","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T09:26:13.545972Z","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:c4a5ef639b8154f1865e91df1aec30a4ad1a31e6ed149b8d456fa310f79c1308","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:7c1f7730df5629e26edbffc3627a565a4a63ac7b4d5aad26d5805484836cc703","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:1d06e9fa3e58f0fac1c860555c893f6da1c80b671a032958001589a38afd1fe8","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:460219b58f435950ab981502d822f3e152c02ffacd0add75ccb41d5083523481","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:691bbeb094a784e519e3005f5351324b6d474bc752ffeb9ab9a96c423d00d9ed","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T20:18:54.939012Z","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:f2b4f6a17ff49782485f98dfdfb13fa35d33bc194028d8ea096b81db7479a9dc","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0059396","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"221, Springer-Verlag, Berlin-New York, 1971, http://dx.doi.org/10.1007/BFb0059396 doi:10.1007/BFb0059396","venue":"Lecture notes in mathematics","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:bb789bd97b5a74d002e542d7e3613adf3bea3b3d66c3b7edd27e5b5869d8164e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0022273","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"Sci., vol","venue":"Lecture notes in computer science","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:2efa5f4611ca51c663a8dbafec181207c5953eed6fdc4ce6752335b8b0d60191","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:9df279a6b7f978db8e8cba1370c0e39974cefb22a4aeed13758feb833f4ebdea","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:5a85dec4eab028fe4e7b27be112b668c207a3f330d1f7b06e86bfa8772533808","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:bf59aed8a40421acd6a26c591d6128190b4da4dd873a3e128fc7a43c69be629e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:eb46ab59caaa3ebe07d00fccfa145c5b506691cf8effe6f6ac3360ab4a6be74f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:083e530a88cce749ad515f3601d0ad804295921d80cb2321c5fdabd1ca02e90f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:df2553d6daae991c4f4ceb403075af6f013663844ab16de46f9d5dbb9b7c7595","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:2499503db880bd1830fc58cacc4bc4c2cf582b030e3a9e44d775cd6bf7214241","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:f1c8fb87a494842f2422e0e7e560c3703d524fa972e5507822e3861e2de4ddbb","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T20:00:27.164752Z","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:a2f3d006e0229a3113c3b16bdb59f93bb6bda87ba7a7004b913ba5a9b17dc44f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:14d016f4fcbfd5c70e988475d0793135daa9d2b0c128a95531aa3fb85a7073e1","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":null,"venue":"Birkhäuser Boston eBooks","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:772def1daba7a6daf6d089974b04101bf0f105e89c33e6f041e713a02fcc0d29","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T17:58:29.714751Z","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:772ab387cfb607c558a6489ae29c507f86e30cf7d75aa5e44ce07a2b1f6926bf","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:32da2091144ee8e1237c028d9b94c4171329aae8e4d649f84e8220ee116b8dba","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:0a05cafbba426ac4b218f5f26a385c55b13d6129cefe19f30223faeb1dcb7872","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-12T06:20:14.492422Z","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:7c7e314f8bae2ce16e3f04a14dd3235e729ed28b95b64d21705c7db8f58d1cf4","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:3e10ee4ba1ce4fb2ecce4a8e8892cbe7abd075c49b98f245e113cd767b8bdf07","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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:e01a4813594cb390b137848bfa37db89d4251520bb70bef5f111fee22441e7c2","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T12:25:04.563565Z","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:1d39b2de911a2431cd4e63ff57af646b49764c71fa5158e2d484366cf545a5dc","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:e7dd4c1e78df51730af2d1580c61e1983474e344174b2d10ce2332d7b6d89ad9","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2412.19946."}