{"as_of":"2026-08-16T00:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b2567987d6e94f75dfdd152beda186db02662d99d4b38a6f7f0769506f87498b","coverage":[{"denominator":50,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":50,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T20:46:00.547276Z","state":"measured"},{"denominator":51,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":51,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T22:53:13.263863Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"cited_work":{"arxiv_id":"2505.12305","doi":"10.48550/arxiv.2505.12305","metadata_source":"pith","pith_arxiv_id":"2505.12305","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","venue":"cs.LO","work_id":"4d62ae17-0ec3-4f05-8fbf-41735e600924","year":2025},"citing_paper":{"arxiv_id":"2602.15511","last_updated":"2026-02-17T11:39:10Z","snapshot_observed_at":"2026-08-13T04:10:25.191366Z","submitted_at":"2026-02-17T11:39:10Z","title":"Generating Theorems by Generating Proof Structures","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:13.263863Z"},"links":{"cited_paper":"/paper/2505.12305","citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:dd0fa093a85205337bfd648eefd04cd00cffb59105cdbed0f55daf278679c4ef","observation_id":"19f80449-1d06-4c9e-a18b-62255759fb60","resolution":{"observed_at":"2026-08-02T22:53:31.028630Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.12305/citation-record","integrity":"/paper/2505.12305/integrity","json":"/paper/2505.12305/citation-record.json","paper":"/paper/2505.12305"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.345767Z","title":"Reviews of Modern Physics 74(1), 47–97 (Jan 2002)","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.345767Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:79b9cd37c82556e72c4f5d50bf0869949b041d02883761b3d615a7b0a3b892ff","observation_id":"76cb88c7-71bf-41b8-b6a9-716ee3519ee9","resolution":{"observed_at":"2026-08-15T20:46:00.345767Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1093/jigpal/jzac082","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.875891Z","title":"https://doi.org/10.1093/jigpal/jzac082","venue":null,"work_id":"9cda0dbf-a726-4404-b4f4-ffc97f789693","year":2023},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.350983Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:9c72dac8d558564a2f42ac0a24b4a12ad6c87cf162f0b130f20fe911f5f233be","observation_id":"342c631e-9e6c-4c39-bd10-38a32fe35bbc","resolution":{"observed_at":"2026-08-15T20:46:00.880012Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.418501Z","title":"Vieweg (1987), first edition 1982","venue":null,"work_id":"fe28fc09-e7d2-4da4-90a0-8034ff5d55a6","year":1987},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.355280Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:e367cca0559b0c2ff3878b0286d768a46df8f181780b32968fcf596fdb05ec90","observation_id":"137738ac-29c3-4789-a0e1-85e7ec6c36ac","resolution":{"observed_at":"2026-08-15T20:46:01.422522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.359505Z","title":"In: Kahle, R., Rathjen, M","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.359505Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:0856f77d2ad71c85a1a5d1a5642f41f39c51470718b4c577ef633ed0679e57df","observation_id":"132a031a-2011-4eb5-8fc0-e70ba4625a4b","resolution":{"observed_at":"2026-08-15T20:46:00.359505Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.364304Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.364304Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:38c4db0dd66d009bb9b17a344d6a65b64eaa431d8f6518fef64ace20df2ebb3b","observation_id":"2c885839-b4b7-48da-83ee-e85568df15c5","resolution":{"observed_at":"2026-08-15T20:46:00.364304Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf00250612","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.844804Z","title":null,"venue":null,"work_id":"acf45fbe-228d-4f0a-86fa-c40dfa579d1a","year":1987},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.368504Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:7909e5ab2f8fd652570161b43ac5956a272d34dfe5c54fe7794825bbd46977e9","observation_id":"52256d1d-3b4b-424d-9b27-8910757cb1ac","resolution":{"observed_at":"2026-08-15T20:46:00.849747Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.373370Z","title":"Nature Communications 10(1), 1017(Mar2019).https://doi.org/10.1038/s41467-019-08746-5,https://doi","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.373370Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:79f6d43c4438086b7ef283836eac443d377eb54e34cfce55c70050dab1befd42","observation_id":"ffdb3610-a50e-4877-83e2-c28d3bd53717","resolution":{"observed_at":"2026-08-15T20:46:00.373370Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1412.8091","last_updated":"2015-06-18T21:19:28Z","snapshot_observed_at":"2026-08-14T23:05:58.991223Z","submitted_at":"2014-12-27T23:29:46Z","title":"Conversion of HOL Light proofs into Metamath","version":2},"cited_work":{"arxiv_id":"1412.8091","doi":null,"metadata_source":"pith","pith_arxiv_id":"1412.8091","snapshot_observed_at":"2026-08-15T20:46:01.073321Z","title":"Conversion of HOL Light proofs into Metamath","venue":"cs.LO","work_id":"90bf1575-8019-4013-b815-9bb0f06d1488","year":2014},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.377670Z"},"links":{"cited_paper":"/paper/1412.8091","citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:ccb881b1a6507423f3fb9d3a17ac10945f2c2f1d0d609cfdb50ed13a2388e901","observation_id":"e8af7cbb-887c-4982-b92d-78e77669a14d","resolution":{"observed_at":"2026-08-15T20:46:01.078143Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.405178Z","title":"In: Benzmüller, C., Miller, B","venue":null,"work_id":"2a82b8fc-78ab-4964-aafa-6a43857ae162","year":2020},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.382396Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:3ea4359ade6b38629d03885b922264cace744b1ac9a29f756743eae6ec3d9675","observation_id":"ad9eb3ec-2443-4129-9e88-5f5cdfc2c99a","resolution":{"observed_at":"2026-08-15T20:46:01.409286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.386384Z","title":"In: Naumowicz, A., Thiemann, R","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.386384Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:e7874435904da9d0c2573158f12725227e05625d12d3f381d09b256c005cd34f","observation_id":"24c4d06b-58b6-4276-bebf-b1134fc7354d","resolution":{"observed_at":"2026-08-15T20:46:00.386384Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.390573Z","title":"SIAM Review51(4), 661–703 (2009)","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.390573Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:cc84bae8a24462ec60440e58fdd0fc89a38aa3bc9adea1142eea1965a0253ef8","observation_id":"690a3613-60bb-4e32-87ba-cf591be13612","resolution":{"observed_at":"2026-08-15T20:46:00.390573Z","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-15T20:46:01.392088Z","title":null,"venue":null,"work_id":"efd230f8-8765-45d1-90aa-d9a602dacb8c","year":1958},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.394587Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:bceeee9d6a6d8024f97b1897deaba204808555959c381b6c2340ba27697fc627","observation_id":"3b8e6a6e-09fd-49e0-ac06-036d4a160b39","resolution":{"observed_at":"2026-08-15T20:46:01.396488Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.379485Z","title":"In: Bonacina, M.P., Furbach, U","venue":null,"work_id":"0352743b-c6dd-401b-b762-d166185dea1c","year":1997},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.398780Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:b86d84ccecd5c5cdbeb45826acbf1c552572644e167f4b3d7bfaffa9541f049f","observation_id":"9b591988-52d2-4d01-9a32-a926450b0a97","resolution":{"observed_at":"2026-08-15T20:46:01.383578Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.365877Z","title":"Seki-Report SR-94-05, Universität Kaiserslautern (1994), http://wwwlehre.dhbw-stuttgart.de/~sschulz/ PAPERS/DS94-SR-94-05.ps.gz, revised September 1997","venue":null,"work_id":"16963096-2a25-40bb-bba1-d016b4674dae","year":1994},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.402908Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:b79b177c2fb9c052e52a2f89e91d92bb78f7b9ff385483a68b0b1a49012cc5a7","observation_id":"4157fe5f-0d5f-4109-b900-e820dfcc231d","resolution":{"observed_at":"2026-08-15T20:46:01.370558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.406974Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.406974Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:1dab3d19773ad7156d117f39c8d9f0fd3dd6b9f1692d2d3ebe32e6590645a15b","observation_id":"baa7e730-1ff1-4b50-89b3-43c4d0b7614d","resolution":{"observed_at":"2026-08-15T20:46:00.406974Z","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-15T20:46:01.352240Z","title":"In: Dediu, A.H., Martín-Vide, C","venue":null,"work_id":"fdbb325f-43d8-4a12-95b0-67a0b8301d0b","year":2012},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.410980Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:709cb0d6e14749997d5aaae897377104fe6398086dd08983022de467074db4c0","observation_id":"82137542-388a-4d28-89f9-74bb1543cc4f","resolution":{"observed_at":"2026-08-15T20:46:01.356578Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2274956","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.796807Z","title":"Journal of Symbolic Logic55(1), 90–105 (1990)","venue":null,"work_id":"6159e348-8c57-43e5-81cc-10891dc95636","year":1990},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.414854Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:a5371619f931deadf7c168c993c1a385ee9966995fc4a1b0cd6e326ae8800a1e","observation_id":"304b9aff-ea13-4394-8de4-574ac69c9213","resolution":{"observed_at":"2026-08-15T20:46:00.801738Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jsc.2014.09.032","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.781948Z","title":null,"venue":null,"work_id":"ed9d0167-f658-4d7f-b531-d6db294d0426","year":2015},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.418821Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:569c406c0feb09f76e1909b58e84e4b359a2bbabf892873027c2e1bba6e67cd2","observation_id":"3937cdbd-44b2-4e1e-a0a7-2484e07664c5","resolution":{"observed_at":"2026-08-15T20:46:00.786445Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/5.892708","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.768107Z","title":null,"venue":null,"work_id":"140e410c-f895-418f-9976-3c5080e1c389","year":2000},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.423395Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:5e09ca4f6082f6595f971994088a4cccfcc4f262a53f23adc45c8ae8a6066eb5","observation_id":"a699ef46-1b1f-41e8-9ab1-3329dcf167f4","resolution":{"observed_at":"2026-08-15T20:46:00.772669Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.338646Z","title":"In: Potapov, I","venue":null,"work_id":"083a2cf0-1a69-4e47-8cfe-5bb04d77d227","year":null},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.427333Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:3cba1391cc86dcbd65b8910df56077d63e4c8b9d9226a8ff79612d0f0f82a67c","observation_id":"06388ce4-ff37-489e-a120-f89621258ad7","resolution":{"observed_at":"2026-08-15T20:46:01.343173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.is.2013.06.006","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.647983Z","title":null,"venue":null,"work_id":"8ff7d1eb-8a9c-4d6a-bba2-1c317efb4ff7","year":2013},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.435498Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:38d68b614cfe68b1a8b3504d482d91f6f4386f7dd55e178f2f01ebc582476fc0","observation_id":"9a6a251b-b5a6-4545-af09-9b084d052c1b","resolution":{"observed_at":"2026-08-15T20:46:00.652393Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.312990Z","title":"JACM15(2), 236–251 (1968)","venue":null,"work_id":"4ae2b83e-71d4-4940-b54c-03363277b6f7","year":1968},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.439437Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:e2caa66a504bfa67de4a46fc405abb2495d919bc680fa8d11c56173106ca38eb","observation_id":"3d911fcc-79a7-4fe0-8cdf-0ef4a8e74bb0","resolution":{"observed_at":"2026-08-15T20:46:01.317072Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.299792Z","title":"North Holland (1970), edited by L","venue":null,"work_id":"22f71708-6ad1-4e26-a2aa-cb58d7b62ec0","year":1970},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.443245Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:6c8526edf253599b1a7a674ffd64713fcaf87f03c143f91a3a4786d869fd993e","observation_id":"11daae2b-79a2-453e-b973-f5eb4b1bca6f","resolution":{"observed_at":"2026-08-15T20:46:01.303969Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.287302Z","title":"Comptes rendus des séances de la Soc","venue":null,"work_id":"a6bad4a7-3b0b-4fb9-8441-aae5746b8dbb","year":1930},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.447048Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:0b30f4f9874164a8df1450f57cae822a3cca0a7ddb550469b5f7c53c69fd59d0","observation_id":"37cb6a9a-691b-4f52-8beb-bfe33a8fad40","resolution":{"observed_at":"2026-08-15T20:46:01.291293Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.274552Z","title":null,"venue":null,"work_id":"605553a9-ae94-4dfa-b26b-cf2788e9eb2e","year":2005},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.451010Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:6f75e45dc511f0409f7b7ce22215ff6573cfa140fd1854ff0e792fc828c60b5c","observation_id":"4e13e72b-afd4-4724-9edd-7a78ea1148a4","resolution":{"observed_at":"2026-08-15T20:46:01.278755Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-55602-8_167","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.634877Z","title":"In: Kapur, D","venue":null,"work_id":"64f813d4-0ad4-417d-8d41-c5b141a90995","year":1992},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.454902Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:4176563507d2aa66fe279736b39d528bd0adcb74259c6f002177751948d22ec5","observation_id":"99267cbc-5a7f-45e7-a5a9-3e5d5f7ce531","resolution":{"observed_at":"2026-08-15T20:46:00.638993Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.261223Z","title":"lulu.com, second edn","venue":null,"work_id":"da349959-da88-4489-af68-d4a75246c82f","year":2019},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.458885Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:f56aaafc55ab59e10866c62f99c07f9bd2a19fcd03ce147294032ca6643bfd7b","observation_id":"22df6e31-33a0-4c78-8bae-5d156cce9261","resolution":{"observed_at":"2026-08-15T20:46:01.265443Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.248464Z","title":null,"venue":null,"work_id":"d275b83e-2a7f-4b9e-bd87-2503ffadb543","year":2025},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.462994Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:e2d0da0c3606b68970f515a684bdd9283bd63209f174a6890d7c79fe55b65592","observation_id":"7c946b7a-9c21-4de0-9ca6-1502ecf7f09a","resolution":{"observed_at":"2026-08-15T20:46:01.252572Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.233775Z","title":null,"venue":null,"work_id":"83ed7d5c-a304-4975-8be5-795b56dc236c","year":2025},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.466844Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:333df8ab2f5db59ebfae7d542a0c7b1cce2ccbe17fd3d3c30874a19113a1fec0","observation_id":"38009b97-237f-4c95-9bee-745ac49713c1","resolution":{"observed_at":"2026-08-15T20:46:01.238977Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"ndjfl/1040149","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.051605Z","title":null,"venue":null,"work_id":"34f81b49-e5c1-479b-ba87-4dd0c274e477","year":1995},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.470800Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:377af724c424c20dfcadbd9c9bcb7beac2b4a582a76349bc68ae7777750d84ae","observation_id":"8539e664-b14e-497b-aab9-34c71ca37ba3","resolution":{"observed_at":"2026-08-15T20:46:01.058805Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.220849Z","title":"Oxford Univ","venue":null,"work_id":"c35d84db-ebf0-444c-87c9-8caaad667d65","year":2018},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.474854Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:e66c324978b5ec6a2171532d55f7e9095c4f95f239b67bd216a9d6c8924925ed","observation_id":"2852da94-28e9-49aa-95f8-7ac62a8678da","resolution":{"observed_at":"2026-08-15T20:46:01.224939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.208219Z","title":"Theoria26, 102–139 (1960)","venue":null,"work_id":"6ced0d07-f4a3-4451-8f25-c7e8e3e005ed","year":1960},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.478812Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:ed84b76132b2c0d946bf1982a9b2a133c601a0d4d9ca9ea1b2c98a4be685e343","observation_id":"3e31f81f-d3e5-435a-a497-e60fbc68ea7e","resolution":{"observed_at":"2026-08-15T20:46:01.212451Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.195109Z","title":"Machine In- telligence 4, 59–71 (1969), reprinted with author preface in J","venue":null,"work_id":"3042eb88-0035-4012-9eab-96158a44de34","year":1969},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.482724Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:15d3867b216878f48aac3645a081c3a6551b9cac47321ef3dbafa5e181c78b5c","observation_id":"a24b5629-5cc1-4dd6-9e4f-5ad93016cf62","resolution":{"observed_at":"2026-08-15T20:46:01.199449Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1080/00048405685200181","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.620490Z","title":"Australasian Journal of Philosophy 34(3), 182–192 (1956)","venue":null,"work_id":"26636d01-5568-4f3f-9caf-b71f8fe1fe89","year":1956},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.487561Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:64a425377bd8f2f217cd2bd02ffff98d6eb720ce3f7550c69ece47e94aee4f29","observation_id":"777b5bc8-e709-4ff8-8965-52bb44761d40","resolution":{"observed_at":"2026-08-15T20:46:00.625646Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.491603Z","title":"Clarendon Press, Oxford, 2nd edn","venue":null,"work_id":null,"year":1962},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.491603Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:86afc4a4e0c2bd1b7f53c6303ca133d6263beea9b6ebdf0c8950bbafe8d95fb0","observation_id":"6e1cd3de-769f-4588-af2d-241ebbcb60e5","resolution":{"observed_at":"2026-08-15T20:46:00.491603Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.495664Z","title":"In: Ramanayake, R., Urban, J","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.495664Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:9208751c5141535eb9174843cbe1fb890214b2f1ef5a2bb2009c374985df413d","observation_id":"9137b557-536f-4fe6-8dab-ac590e15e9a9","resolution":{"observed_at":"2026-08-15T20:46:00.495664Z","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-15T20:46:01.180539Z","title":"Projektarbeit in informatik, Fachbereich Informatik, Universität Kaiserslautern (1993), http: //wwwlehre.dhbw-stuttgart.de/~sschulz/PAPERS/Sch93-project.ps.gz, (German Language)","venue":null,"work_id":"e7d5c365-90cf-4bd5-8e10-a82526c6cf39","year":1993},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.499663Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:89da7f33b0f95f6c79c70ee83ae75edb9b366f2bcc1e4a95f767d98181639734","observation_id":"32be8fb0-bda6-4165-8dfb-e49e9c7803d0","resolution":{"observed_at":"2026-08-15T20:46:01.186383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.503694Z","title":null,"venue":null,"work_id":null,"year":1924},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.503694Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:0d003cbe5dd9fbffd3368c4570de628ead858324186ae6dce9fa4a75488a4911","observation_id":"0603f54e-7262-45cb-b9e4-dbf93a356533","resolution":{"observed_at":"2026-08-15T20:46:00.503694Z","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-15T20:46:01.167620Z","title":null,"venue":null,"work_id":"8f0c2e20-8fa8-4190-b093-723200733a8e","year":1988},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.507650Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:4bea5dac9d766be121a321187e40d6013050131c024e9d48ba5b8aafc595c0ac","observation_id":"da71e6e9-fa4b-4212-800d-900bcc4f2eda","resolution":{"observed_at":"2026-08-15T20:46:01.172092Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.511570Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.511570Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:be8c7e217403b532825972f6c336fbacc8e283fea481683a88b23097f8dd16d6","observation_id":"49e334d4-a93b-4cc7-9f78-9f36fbcf6b10","resolution":{"observed_at":"2026-08-15T20:46:00.511570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.515437Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.515437Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:ba5981a08834c8cad70f655953b492e99e11f3a997f1f4e095362343204978a6","observation_id":"c597d804-bf6f-4c68-86cc-448b38c1e34e","resolution":{"observed_at":"2026-08-15T20:46:00.515437Z","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-15T20:46:01.155055Z","title":"In: Fontaine, P., Schulz, S., Urban, J","venue":null,"work_id":"2a17e030-d0c7-4231-9ab0-e040a944b1a6","year":2016},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.519178Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:e31eae999a41a810c5cbdda034f6a8de34ff773d0fe1c3a6bbff61079ff0e09d","observation_id":"a0625edc-b917-4b1a-9019-c589b92bb302","resolution":{"observed_at":"2026-08-15T20:46:01.159005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.141889Z","title":"In: Hofstedt, P., et al","venue":null,"work_id":"e24dd545-aa23-4e88-bc47-57f9fa4e9fe9","year":null},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.523201Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:927decd7795a18433c26f8c14ece94165285ec5f5e7a39bca24992e4df2fc0a9","observation_id":"3e03d311-ff02-4917-a906-1079127e0865","resolution":{"observed_at":"2026-08-15T20:46:01.146203Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2209.12592","last_updated":"2022-09-26T11:23:17Z","snapshot_observed_at":"2026-08-13T14:19:17.507228Z","submitted_at":"2022-09-26T11:23:17Z","title":"Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving","version":1},"cited_work":{"arxiv_id":"2209.12592","doi":null,"metadata_source":"pith","pith_arxiv_id":"2209.12592","snapshot_observed_at":"2026-08-15T20:46:00.902319Z","title":"Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving","venue":"cs.LO","work_id":"e13521ec-e464-4fbe-a34a-d1300269be55","year":2022},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.531225Z"},"links":{"cited_paper":"/paper/2209.12592","citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:a5513a8b59fead62b6654f15f70b136989f75e6cd99a829339bfb405564cd684","observation_id":"5ac20e8e-be7b-4958-a231-576ea8f5b303","resolution":{"observed_at":"2026-08-15T20:46:00.907761Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.113817Z","title":"In: Otten, J., Bibel, W","venue":null,"work_id":"af9ffab1-bc92-4750-9442-e84848ad0d0f","year":2024},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.535397Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:6089e4b395d4f075cb7a69b4df585790a9f789adab2de0e8c09b97a655e17f36","observation_id":"7022fa66-8b3d-4256-a696-96b887525720","resolution":{"observed_at":"2026-08-15T20:46:01.118342Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.100988Z","title":"In: Platzer, A., Sutcliffe, G","venue":null,"work_id":"b26591b7-d65d-4fd0-870c-e4cddd56c3a7","year":2021},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.539429Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:933890b46acf233390d1cc27051341d27243631f8624173e12afc8167aad87cf","observation_id":"b20083b2-5ad6-4c01-8603-d7119fe1bd9d","resolution":{"observed_at":"2026-08-15T20:46:01.105143Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:00.543078Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.543078Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:8c6539bcded09a959b9166dc31724a4678320a658843789917564a51e81ebcda","observation_id":"78b67e26-6967-4bb9-98fc-bc010a11db6d","resolution":{"observed_at":"2026-08-15T20:46:00.543078Z","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-15T20:46:01.087439Z","title":"bottom-up","venue":null,"work_id":"d83ae7e0-1b1b-4d9a-ad57-eed98ac779ba","year":2012},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.547276Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:0073976a56ece0c23464c2a03174d0dd64d4938b147e87a452694af4665cce3e","observation_id":"c8120143-6ef6-4b21-914b-37050c6e0350","resolution":{"observed_at":"2026-08-15T20:46:01.091994Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.325576Z","title":"9168, pp","venue":null,"work_id":"e596484a-08df-42d8-a876-1cda41455751","year":2015},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.431604Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:e7be18b88dd9d26c771ab1a3342b52ceb068a82f7433674e784dcf1d28bd7faa","observation_id":"7492643e-468d-48d9-87f8-d53222eac53c","resolution":{"observed_at":"2026-08-15T20:46:01.329765Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:46:01.127319Z","title":"12057, pp","venue":null,"work_id":"d171341f-9459-4524-86f1-60e673e8959d","year":2020},"citing_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-15T20:46:00.527397Z"},"links":{"citing_paper":"/paper/2505.12305"},"observation_digest":"sha256:7594c499a79d9138d3ac1b5fa7bd1f6d50dd6a37626c8af3f785ede456e03774","observation_id":"e04d26e9-5988-48bc-9188-b61287296843","resolution":{"observed_at":"2026-08-15T20:46:01.132099Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-15T20:34:21.114152Z","submitted_at":"2025-05-18T08:38:37Z","title":"Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures"},"reference_resolution":{"displayed":50,"state_counts":{"malformed_identifier":7,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":16,"verified_exact":8,"verified_fuzzy":17},"total_outbound_references":50},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 1 inbound Pith citation observation for arXiv:2505.12305."}