{"as_of":"2026-08-13T12:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:68235b75bac7c9958e71c74f52a94562bbd9a525a9bfb2f61e6bc8f45f88aa6e","coverage":[{"denominator":52,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T22:53:13.751436Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2602.15511/citation-record","integrity":"/paper/2602.15511/integrity","json":"/paper/2602.15511/citation-record.json","paper":"/paper/2602.15511"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:53:06.634961Z","title":"Addison-Wesley (1986)","venue":null,"work_id":null,"year":1986},"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":1,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:06.634961Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:64eb3475e76706d25e504bdabb53f102b42df2459a7c23d39cb4dbd69d2a8f06","observation_id":"7d2c6f18-4642-4ce8-86d9-44431c3baa38","resolution":{"observed_at":"2026-08-02T22:53:06.634961Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.04942","last_updated":"2026-06-02T13:29:28Z","snapshot_observed_at":"2026-08-08T13:30:59.720984Z","submitted_at":"2025-04-07T11:30:36Z","title":"Lemmanaid: Neuro-Symbolic Lemma Conjecturing","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.04942","snapshot_observed_at":"2026-08-02T22:53:06.782311Z","title":"CoRR abs/2504.04942(2025).https://doi.org/10.48550/ARXIV.2504.04942","venue":null,"work_id":null,"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":2,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:06.782311Z"},"links":{"cited_paper":"/paper/2504.04942","citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:7e978fc94b41b90ba72ebfd58043cac7e3d6d521c8e41b565f8de548a4cad514","observation_id":"1bdc79dd-5f7b-4f06-9791-c8aae5629e5a","resolution":{"observed_at":"2026-08-02T22:53:06.782311Z","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-02T22:53:06.913662Z","title":"In: Douglas, M.R., Hales, T.C., Kaliszyk, C., Schulz, S., Urban, J","venue":null,"work_id":null,"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":3,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:06.913662Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:5320ad0885a04e0e59b1d05f4ff7ae8cdc4755f083c2683315bed1706a67ddbf","observation_id":"c3770d60-5528-47a6-9307-c4c5612a54f5","resolution":{"observed_at":"2026-08-02T22:53:06.913662Z","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-02T22:53:06.963027Z","title":"Vieweg (1987), first edition 1982","venue":null,"work_id":null,"year":1987},"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":4,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:06.963027Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:c684e92ba2003acefe31949b14b779c9b58d322f2c80d706b6dbc27a450c2759","observation_id":"8e192d5a-284c-4caf-9a30-552e9bdb8262","resolution":{"observed_at":"2026-08-02T22:53:06.963027Z","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-3-030-49424-7_13","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Kahle, R., Rathjen, M","venue":null,"work_id":"5a4ae23c-7416-4158-95ff-23c188afd244","year":2020},"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":5,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:07.032524Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:ff44ad294ed0d2bf57cd7213c2da8695e3123ad42d1528a14a1163e5d88fcd9d","observation_id":"5893f157-f126-4aab-8766-69faade42b48","resolution":{"observed_at":"2026-08-02T22:53:39.484935Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:07.129809Z","title":"In: Capretta, V., Krebbers, R., Wiedijk, F","venue":null,"work_id":null,"year":2024},"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":6,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:07.129809Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:9deec63f524e026e302e97ae34e5e2700934fbf60911798a94308020fe0f1b6d","observation_id":"bf0dda41-71b6-44c7-ac3a-2a16eab7d532","resolution":{"observed_at":"2026-08-02T22:53:07.129809Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:53:07.235340Z","title":"In: Naumowicz, A., Thiemann, R","venue":null,"work_id":null,"year":2023},"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":7,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:07.235340Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:6fad2dbf5111a3bbf47b843acb7b22feef664d17df0e7726143545d22781920d","observation_id":"2aee8a3e-3778-4eb6-915c-fcb386d29e79","resolution":{"observed_at":"2026-08-02T22:53:07.235340Z","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-02T22:53:07.333158Z","title":null,"venue":null,"work_id":null,"year":1958},"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":8,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:07.333158Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:b4355cc9a56610935ac44a9abfcb14485410c380d96184b35af54eff70c7c00f","observation_id":"54e5fe26-ef61-4e50-8467-ed4c41707c29","resolution":{"observed_at":"2026-08-02T22:53:07.333158Z","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-02T22:53:07.436830Z","title":"Seki-Report SR-94-05, Uni- versität Kaiserslautern (1994),http://wwwlehre.dhbw-stuttgart.de/~sschulz/ PAPERS/DS94-SR-94-05.ps.gz, revised September 1997","venue":null,"work_id":null,"year":1994},"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":9,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:07.436830Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:b4878c4d5ba00805c71b67dfa30c4a4867ac07333a63c41eb554990db8c8018f","observation_id":"8e0aa22f-754d-4b22-9a8d-22d6e2f1ec95","resolution":{"observed_at":"2026-08-02T22:53:07.436830Z","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-3-322-84222-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Vieweg, Braunschweig (1992).https://doi.org/10.1007/978-3-322-84222-0","venue":null,"work_id":"752250e4-5a18-4e05-921d-bf82ae1d4cf2","year":1992},"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":10,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:07.540286Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:fb95ab54b43e2203bf4f4f43680d0c28e443f1d6033e27fff4d4e86c1c66d9ff","observation_id":"356778ad-99a2-48d0-90ac-6873b93eff8e","resolution":{"observed_at":"2026-08-02T22:53:38.568216Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0026296","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Börger, E., Kleine Büning, H., Richter, M.M","venue":"Lecture notes in computer science","work_id":"3463baa1-9cef-49cd-8cca-ec75015861d5","year":1989},"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":11,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:07.634366Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:c092b0b9a78d57c53dee57c22eb960cc925aa3c1e7c29cceecd697d8cbed9514","observation_id":"446d9039-7fe5-428a-8679-e760da046c96","resolution":{"observed_at":"2026-08-02T22:53:38.033239Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:07.712803Z","title":null,"venue":null,"work_id":null,"year":2020},"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":12,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:07.712803Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:cc8158735e3318fca8cc270a2298507515ab23709e5b8546879e14bc4a840760","observation_id":"f1ae2fe8-0560-45d9-bc59-f20763a0075a","resolution":{"observed_at":"2026-08-02T22:53:07.712803Z","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-02T22:53:07.808014Z","title":"In: Dediu, A.H., Martín-Vide, C","venue":null,"work_id":null,"year":2012},"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":13,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:07.808014Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:d31d181d4633c34c55a37f81450fe2c58125371279e280e1a6a17f861ca2e359","observation_id":"79dbbea8-7db5-482f-967c-1702f546c41f","resolution":{"observed_at":"2026-08-02T22:53:07.808014Z","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-02T22:53:07.951500Z","title":"Cambridge University Press (1997)","venue":null,"work_id":null,"year":1997},"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":14,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:07.951500Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:ed9a956cd90a6cc7f1cd1353d59b666d171e06c7f544f8ab59aacd991473580b","observation_id":"a24ec5f2-7cee-4896-9959-7d23db698393","resolution":{"observed_at":"2026-08-02T22:53:07.951500Z","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-02T22:53:08.048884Z","title":"Journal of Symbolic Logic55(1), 90–105 (1990).https://doi.org/10.2307/ 2274956","venue":null,"work_id":null,"year":1990},"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":15,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:08.048884Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:d243b9f039a94fe783bd47588bd10967251b3dd9c96a562f31e9b4760188dccc","observation_id":"7f7777ab-33ee-45a9-9f86-4bb04bd9bcd6","resolution":{"observed_at":"2026-08-02T22:53:08.048884Z","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.1016/j.jsc.2014","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:53:36.804821Z","title":null,"venue":null,"work_id":"6101e978-3007-4b84-b8d8-d6259212a7f2","year":2015},"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":16,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:08.213786Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:9a9bb2b3e2dc685efea2d16799476e9470fb6a0637503b47e1031d2c948abe37","observation_id":"66d88118-47f4-45a7-bfe0-66f97b31ff3d","resolution":{"observed_at":"2026-08-02T22:53:36.934663Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-90686-7_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Gallagher, J.P., Sulzmann, M","venue":"Lecture notes in computer science","work_id":"dd430e2a-f744-4225-a9be-79d4490787c3","year":2018},"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":17,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:08.356833Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:c7dc30ebe4eb49c86aa9b2381827a12167dd5802979df4558f68daeaef54813e","observation_id":"eff0fcbb-1bb9-469a-bfc5-9cc2330f442a","resolution":{"observed_at":"2026-08-02T22:53:36.329903Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:08.476153Z","title":"In: Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013","venue":null,"work_id":null,"year":2013},"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":18,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:08.476153Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:565f638826baaa6e3d36218da03bd9c4bcdc3d1cbab1d257000d969f021fab74","observation_id":"f5ecd54e-7646-4dba-bb78-9753aaa739cb","resolution":{"observed_at":"2026-08-02T22:53:08.476153Z","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-02T22:53:08.653987Z","title":"Structure, Complexity, Implementa- tion","venue":null,"work_id":null,"year":1999},"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":19,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:08.653987Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:5797388c768b606083aa625efd619079fc105f61596fb5abd5b798c70dc601b4","observation_id":"4163ea97-d5b2-40ad-bbfb-3f901acf2d32","resolution":{"observed_at":"2026-08-02T22:53:08.653987Z","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-02T22:53:08.789346Z","title":"In: Potapov, I","venue":null,"work_id":null,"year":null},"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":20,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:08.789346Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:d3567f2eb2c21b6d932f7409746ada6d8e92d30c8c0b139e722910371d2a891f","observation_id":"817e2bdf-c145-4efc-b142-ec7cf052a67b","resolution":{"observed_at":"2026-08-02T22:53:08.789346Z","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.1016/j.is.2013","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:53:35.176999Z","title":null,"venue":null,"work_id":"2c84b60e-394f-4338-aa25-8ae3323c8434","year":2013},"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":21,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:09.142142Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:582341d754411b6115ff98526652234f709c0e33c5f1c8a3743aff33bcdc18d7","observation_id":"c0340792-a727-4d89-bd0e-7ea4bb542608","resolution":{"observed_at":"2026-08-02T22:53:35.291799Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:09.295855Z","title":null,"venue":null,"work_id":null,"year":2005},"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":22,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:09.295855Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:bd50230609e36ea584624ef5cc3bc626f5056260d3dc89e2e722cd60d619df0d","observation_id":"cc343f3f-b216-46b6-954d-34595f4497a1","resolution":{"observed_at":"2026-08-02T22:53:09.295855Z","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-02T22:53:09.458854Z","title":"lulu.com, second edn","venue":null,"work_id":null,"year":2019},"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":23,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:09.458854Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:80c93404dbfff9c713e3a6aaa95a5eb2f15d4533db4e150aebc3fd47dbecedbb","observation_id":"c5e5ebc5-eb57-4dca-919a-5c878e6ef628","resolution":{"observed_at":"2026-08-02T22:53:09.458854Z","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-02T22:53:09.626406Z","title":null,"venue":null,"work_id":null,"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":24,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:09.626406Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:9aa59d72130a18afac770caf60010da5669229b1872d4a7645e6c6b9f9075f3e","observation_id":"8e8e575d-022a-4670-9e77-b5f55919a6c0","resolution":{"observed_at":"2026-08-02T22:53:09.626406Z","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-02T22:53:09.735361Z","title":"Notre Dame J","venue":null,"work_id":null,"year":1995},"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":25,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:09.735361Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:5660c45b037a472bf21cf3ad5de2186f635a1267b0671916e43dc5b11e55f90c","observation_id":"22245a96-cab2-4150-8dec-8099e939f49b","resolution":{"observed_at":"2026-08-02T22:53:09.735361Z","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-02T22:53:09.900565Z","title":null,"venue":null,"work_id":null,"year":2026},"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":26,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:09.900565Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:e7f87e952bff4a01de8557c1972dd9809a42e5d7be0e93ed708a597be24f2654","observation_id":"35cb7ac8-b634-4901-99f2-85e662fd4bd0","resolution":{"observed_at":"2026-08-02T22:53:09.900565Z","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.3233/aic-2010-0464","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"AI Communications","work_id":"f326cd54-03bd-465f-bb3d-b838d683a003","year":2010},"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":27,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:10.105708Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:097a67ab7c2b9a6c99f09dbd5458dd5891b412714125ec5b1277cfe280b76978","observation_id":"bbb8a969-609a-4006-a15f-2574250b147a","resolution":{"observed_at":"2026-08-02T22:53:34.143854Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:10.247035Z","title":"Prentice Hall (1987),https://simon.peytonjones.org/slpj-book-1987/","venue":null,"work_id":null,"year":1987},"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":28,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:10.247035Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:88a1ce8af0abf9ccd5656ebe24563dc11cbb6e501276c73151da083a40158730","observation_id":"69ac5fc9-efa6-41cf-bd70-2020601fdefc","resolution":{"observed_at":"2026-08-02T22:53:10.247035Z","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/bfb0012869","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Lusk, E., Overbeek, R","venue":"Lecture notes in computer science","work_id":"1d3a48f1-1a93-4eed-821c-d54dcde265ab","year":1988},"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":29,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:10.431959Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:e6d50ffd89a935b4390904e034d205a795d926732f6e4318d2399790f1a6a6a9","observation_id":"ad6dead5-00be-4ab6-a1b9-f4c2febc74cf","resolution":{"observed_at":"2026-08-02T22:53:33.818974Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:10.664664Z","title":"Australasian Journal of Philosophy34(3), 182–192 (1956).https://doi.org/10.1080/ 00048405685200181","venue":null,"work_id":null,"year":1956},"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":30,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:10.664664Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:0ec1f6eb2b83f9beb5d1054c618b71a46af5e3f39efe7a35fd176eab9158484a","observation_id":"2c6e4b02-e43c-4948-bc05-93c5ea9beceb","resolution":{"observed_at":"2026-08-02T22:53:10.664664Z","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/978-3-031-43513-3_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Ramanayake, R., Urban, J","venue":"Lecture notes in computer science","work_id":"99a74978-1a3f-45ef-b1f3-03f608b1f981","year":2023},"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":31,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:10.852602Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:74b1055f7b6eb89ecb3b7cb4c52299fe8c33f2f19a0da6d6ca76345f719c8231","observation_id":"e1cd5ee7-de1f-4b55-9900-2e88c1b6f372","resolution":{"observed_at":"2026-08-02T22:53:33.292044Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:11.064058Z","title":"In: Douglas, M.R., Hales, T.C., Kaliszyk, C., Schulz, S., Urban, J","venue":null,"work_id":null,"year":2024},"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":32,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:11.064058Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:f5670152776737c4f1d43d8c7e5daae3188bb7e7faf70fc0609939e8d938f8e9","observation_id":"fc12d447-6f1e-4c33-b0d5-2ed7891fdd98","resolution":{"observed_at":"2026-08-02T22:53:11.064058Z","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-02T22:53:11.247065Z","title":null,"venue":null,"work_id":null,"year":2020},"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":33,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:11.247065Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:4ac1ade017d46f5b8dce9b733f80685d109b49fa9fe53cba86f96fb1b07734dd","observation_id":"a999b08a-74ec-4c64-80f2-76b50c381184","resolution":{"observed_at":"2026-08-02T22:53:11.247065Z","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-02T22:53:11.423242Z","title":"Projektarbeit in informatik, Fachbereich Informatik, Universität Kaiserslautern (1993),http: //wwwlehre.dhbw-stuttgart.de/~sschulz/PAPERS/Sch93-project.ps.gz, (Ger- man Language)","venue":null,"work_id":null,"year":1993},"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":34,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:11.423242Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:7e3c0264615a59af203fd171042960a37a2fbdd841329e6ebd7a74d5dac68509","observation_id":"da3835e4-7b97-4431-9e63-295c02ec2038","resolution":{"observed_at":"2026-08-02T22:53:11.423242Z","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-3-030-29436-6_29","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Fontaine, P","venue":"Lecture notes in computer science","work_id":"f99b84d7-9173-4369-b0a4-29b461ce44f1","year":2019},"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":35,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:11.625619Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:be4eeac7b9a176297528b877628194cbb7cc00ef129c7f2a7889302e8e9a6597","observation_id":"f1cb3130-a3da-4db6-9324-b8362ba973ac","resolution":{"observed_at":"2026-08-02T22:53:33.016207Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-58156-1_58","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: CADE-12","venue":"Lecture notes in computer science","work_id":"eac39e0a-d33e-4a49-9689-2ab6481293ba","year":1994},"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":36,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:11.833957Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:03808e45a501cc2f73cf85b073583da4d8e825a375abbb9ddab2a1d4f68ec6e2","observation_id":"926fd754-5b93-4390-9cb8-be784dfd23f3","resolution":{"observed_at":"2026-08-02T22:53:32.772123Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:12.028410Z","title":null,"venue":null,"work_id":null,"year":1924},"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":37,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:12.028410Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:bc1133ef338a5e9608f5eb51484138f6f16e94a6401ab7fa62ce08ef84618ff2","observation_id":"2d28e08f-f043-4439-9bca-e4edafc1d7a4","resolution":{"observed_at":"2026-08-02T22:53:12.028410Z","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/s10817-009-9143-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"From CNF to TH0, TPTP v6.4.0","venue":"Journal of Automated Reasoning","work_id":"9e81b8d7-471e-42c5-923f-56d4e8942dc2","year":2017},"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":38,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:12.181111Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:6d8aa1bdf0c568fc3600225a84350c9d85811dbe5d5a877d6e4f246668ee8b5a","observation_id":"e0c7d619-1e8c-4fc4-b898-838a6170c679","resolution":{"observed_at":"2026-08-02T22:53:32.268432Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1010683508225","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Automated Reasoning","work_id":"21124234-ac65-4e11-96a0-6fec9cd6d829","year":2001},"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":39,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:12.415097Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:850d22cb88605dc9f2c3c755d414e4f3e502cb192946c798f8fea8668c899ef0","observation_id":"34a3613d-ec30-4f18-9743-a3158266cb31","resolution":{"observed_at":"2026-08-02T22:53:32.012597Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-17511-4_25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"649f93f5-4fb8-42d6-94ce-23808b42c00b","year":2010},"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":40,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:12.595321Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:ab6e9e4812b3705ec178988246a1b19f971dde32cd281c37b3fd4a967f39cbb3","observation_id":"202a3425-0536-4588-a170-bebd13987e89","resolution":{"observed_at":"2026-08-02T22:53:31.377993Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:12.754345Z","title":null,"venue":null,"work_id":null,"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":41,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:12.754345Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:90ebadac3470ef53752137595d6671d441ee70f1fc65b843bfd0bd2a130eb40e","observation_id":"294081c4-f99a-4934-b012-232e45ac6a21","resolution":{"observed_at":"2026-08-02T22:53:12.754345Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.12592","last_updated":"2022-09-26T11:23:17Z","snapshot_observed_at":"2026-08-08T07:51:39.603781Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.12592","snapshot_observed_at":"2026-08-02T22:53:12.936154Z","title":"In: Konev, B., Schon, C., Steen, A","venue":null,"work_id":null,"year":2022},"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":42,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:12.936154Z"},"links":{"cited_paper":"/paper/2209.12592","citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:96e0dcc5c7bc557733ec78452621cd0557355fd958b54f4216093a6f4f57dc13","observation_id":"326aec04-480b-41c0-a625-9e7b03e37d7f","resolution":{"observed_at":"2026-08-02T22:53:12.936154Z","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-02T22:53:13.007621Z","title":"In: Otten, J., Bibel, W","venue":null,"work_id":null,"year":2023},"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":43,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:13.007621Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:d0f2417f49e7f34d33cc1dc0b1f69f0fba5bc024483d9a5084e2d634ede31ce1","observation_id":"46b5c437-f9b4-4383-b9ef-35b706e8c1aa","resolution":{"observed_at":"2026-08-02T22:53:13.007621Z","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-02T22:53:13.131974Z","title":"In: Platzer, A., Sutcliffe, G","venue":null,"work_id":null,"year":2021},"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":44,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:13.131974Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:2c1c5fad7971917d554de8159ef697c90659d0832b4e68131c733c87348ca99b","observation_id":"eda40d1f-5dc7-4601-8e15-3f104ae251df","resolution":{"observed_at":"2026-08-02T22:53:13.131974Z","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/s10817-024-09711-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Automated Reasoning","work_id":"dd7cdb47-2ce1-4eed-84e3-a8aea980e41a","year":2024},"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":45,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:13.184432Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:9360567be06c80c5a31bdd6be7a7169f582e8c3dc7536deaec77a17fd9a37d10","observation_id":"3badd157-9967-44b6-b922-31022b16606c","resolution":{"observed_at":"2026-08-02T22:53:31.214361Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.12305","last_updated":"2025-06-11T11:59:48Z","snapshot_observed_at":"2026-08-07T15:43:43.564747Z","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:8a97fa19fdaa6958823232bb45af06760e2f948dff33e9adc4f1042c14076e23","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:13.359889Z","title":null,"venue":null,"work_id":null,"year":2026},"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":47,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:13.359889Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:6b8ccbd6a77bbc1e4aa86aac27b53e213c991ce42ae4590fdcaa3317d09f817a","observation_id":"0dcd3332-a3e0-4a29-8aac-b2735b9f9646","resolution":{"observed_at":"2026-08-02T22:53:13.359889Z","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-02T22:53:13.505574Z","title":null,"venue":null,"work_id":null,"year":2014},"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":48,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:13.505574Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:317fb9a4485f74a962bb5eca16299002e2956ab55401fb0e7920ebbf7e7e64ff","observation_id":"dc4a22e1-f927-4335-9d62-dd7d4b35cbc7","resolution":{"observed_at":"2026-08-02T22:53:13.505574Z","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-02T22:53:13.561271Z","title":"Theory and Practice of Logic Programming12(1-2), 67–96 (2012).https://doi.org/10.1017/ S1471068411000494","venue":null,"work_id":null,"year":2012},"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":49,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:13.561271Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:4dc73922a56ec3150b4c2667eac6857e848600d5e34891043c3105f663dc3e8a","observation_id":"3974229a-98b7-4e33-b677-40f02eb5838f","resolution":{"observed_at":"2026-08-02T22:53:13.561271Z","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.1016/0898-1221(94)00220-f","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Computers Math","venue":"Computers & Mathematics with Applications","work_id":"65f2ac57-39c9-4e59-a706-3394946d6c4c","year":1995},"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":50,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:13.658138Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:e51706c612a9528f9bc8e4a411c034892e0d206346d751c5de4934ff7dc43dcb","observation_id":"92121f39-e7c1-464a-9700-a12a98120ca8","resolution":{"observed_at":"2026-08-02T22:53:30.813349Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1010691726881","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"top-level","venue":"Journal of Automated Reasoning","work_id":"38aef0c6-f6e0-4fee-9f0e-f27f84efea18","year":2001},"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":51,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:13.751436Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:ccb429c590f99becbe9f0f6576205221608d16edd7035a43cf4c4b31bd0226e8","observation_id":"501518c7-cac2-43ab-ba19-4786a786f1a7","resolution":{"observed_at":"2026-08-02T22:53:30.650022Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-02T22:53:08.970963Z","title":"9168, pp","venue":null,"work_id":null,"year":2015},"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":2015,"source":"pdf_text","source_observed_at":"2026-08-02T22:53:08.970963Z"},"links":{"citing_paper":"/paper/2602.15511"},"observation_digest":"sha256:0efd84c7bb58dfa5d6a3f14553a01552cc30993f9c17ebf47d67fcbedd1d0a39","observation_id":"ea37d1f9-5623-477a-92c1-84a36f7dad9a","resolution":{"observed_at":"2026-08-02T22:53:08.970963Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2602.15511","last_updated":"2026-02-17T11:39:10Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-13T04:10:25.191366Z","submitted_at":"2026-02-17T11:39:10Z","title":"Generating Theorems by Generating Proof Structures"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":6,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":28,"verified_exact":17,"verified_fuzzy":0},"total_outbound_references":52},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2602.15511."}