{"as_of":"2026-08-07T23:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0e68491b44f6b1fc55ac659260bf54ea43ef62386e2fb11720acf5d4da76d238","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:51:26.042009Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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-07-10T04:50:06.342145Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-10T04:56:45.928960Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"cited_work":{"arxiv_id":"2506.01664","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.01664","snapshot_observed_at":"2026-07-10T04:56:45.928960Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","venue":"cs.LO","work_id":"fc1e4b68-d54f-4912-9517-e8107b908a47","year":2025},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"cited_paper":"/paper/2506.01664","citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:deed99bb619419db10abaf530c7c47fe6125b288073d4ac2ba87fe5e56a21942","observation_id":"b5b019e5-e62f-431a-9c52-21ac3ead49f2","resolution":{"observed_at":"2026-07-10T04:56:45.930278Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.01664/citation-record","integrity":"/paper/2506.01664/integrity","json":"/paper/2506.01664/citation-record.json","paper":"/paper/2506.01664"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:51:31.212388Z","title":"Bruttomesso, S","venue":null,"work_id":"f30c4b50-3aa3-40c1-9742-abe82b8eb136","year":2014},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:22.566076Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:ed1c70024c53eafc1c09a25d9123d75f4a1966988fe0eff5b7311e38212e7d9b","observation_id":"748bd839-e17d-4f58-8a41-9dc0ef4d5ec2","resolution":{"observed_at":"2026-08-07T11:51:31.265435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:31.081216Z","title":"Calvanese, S","venue":null,"work_id":"7529e5c2-7c96-4cbb-9770-390602c6ef3b","year":2021},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:22.642211Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:755173c572d4782689b4021ad0398267e32b53dc77a6abea43a6caf2c59ce351","observation_id":"b334a969-9767-4d89-92eb-496b1a8a6260","resolution":{"observed_at":"2026-08-07T11:51:31.126877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:30.972758Z","title":"Calvanese, S","venue":null,"work_id":"dc4da3de-cbb4-4eb3-81fa-05c97580cd47","year":2022},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:22.751469Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:5d4cc0da429f46d8be5004d0b57b9ca046eede23dadbfb311fdc85aee7d2db22","observation_id":"d94d4622-48a5-4088-b925-cefd3768be51","resolution":{"observed_at":"2026-08-07T11:51:31.033035Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:30.828354Z","title":"Ganzinger","venue":null,"work_id":"e023ca1c-1e21-478f-934c-ae21dd1ca94b","year":2001},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:22.848471Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:483c00f5d694d0f72bc9211763ac1abd14b8e4b407fd24c94c9dbf2b23934fd5","observation_id":"7ac711e4-d4ae-43ed-874b-22c4c3cb06fb","resolution":{"observed_at":"2026-08-07T11:51:30.891074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:30.709922Z","title":"Ghilardi, A","venue":null,"work_id":"007baf04-dae9-42d8-b26a-a0f0b655b886","year":2022},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:22.943918Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:2665e6c327fd55e3d365e5fa97f98080131e4f4d4be0cb235398f76b4fa1c7ef","observation_id":"8bc4bcbd-3162-439b-892d-cc07ce973b37","resolution":{"observed_at":"2026-08-07T11:51:30.758273Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:30.595358Z","title":"Gulwani and M","venue":null,"work_id":"2f3de598-fcff-4ca1-89fb-bb4252d9843a","year":2008},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:23.039704Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:5f8868b1082d2ec1bdf966dee941e91938ed223e31216f51e74acdac5331aecc","observation_id":"50b29589-2e04-4eab-b795-dccffe32c430","resolution":{"observed_at":"2026-08-07T11:51:30.653880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:30.468922Z","title":"Hoder, L","venue":null,"work_id":"abb59613-e8fc-43d0-8d93-3d8c8af1b00c","year":2010},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:23.114897Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:2e15bc2da062d7badec7ca9d4c92299a8e31acc79fe006ba303d9e741e6e6193","observation_id":"613c49fc-e999-4da3-9b46-6e09301defef","resolution":{"observed_at":"2026-08-07T11:51:30.524437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:30.367982Z","title":"Hodges.Model theory, volume 42 ofEncyclopedia of mathematics and its ap- plications","venue":null,"work_id":"252e7b59-7543-496b-b3fc-8d213572209e","year":1993},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:23.217884Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:d3d17040e28dfa48dc487e89cdd0c4b77accae56d5d0a084159a199b27b79a91","observation_id":"c83f34fd-cddf-47b9-9be0-19a7dbf9e9da","resolution":{"observed_at":"2026-08-07T11:51:30.407504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:30.253500Z","title":"Horbach and V","venue":null,"work_id":"ae921108-fff7-4e6e-b082-90612a523be5","year":2013},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:23.316223Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:d8740c4311d306b928764f28f2b0700138c3e7ed56ece808814d555b320ab130","observation_id":"2cc08287-0fc1-47bb-934e-8395cd775388","resolution":{"observed_at":"2026-08-07T11:51:30.314199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:30.123867Z","title":"Horbach and V","venue":null,"work_id":"02b3f26d-361f-40d5-9aef-2da9f302d6d4","year":2014},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:23.410087Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:ca830dafb976b6f1f734572564fa6f2e1e768b6b4b8dfe7f63262c1b335816dd","observation_id":"c2ccc5c5-e250-4b7f-9a65-36e51efd4342","resolution":{"observed_at":"2026-08-07T11:51:30.188775Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:30.006805Z","title":"Horbach and C","venue":null,"work_id":"637d3b6e-e086-48dc-beaa-4c0b755f8a01","year":2009},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:23.492591Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:4235bd5f7485044f1260a8401c552aab1c689e6693281abfe98dd43c47ea521e","observation_id":"4611c2fa-b1c8-4337-abe3-ab2e92687d2e","resolution":{"observed_at":"2026-08-07T11:51:30.069034Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:29.882410Z","title":"Ihlemann, S","venue":null,"work_id":"ed92dd20-534c-48b4-b96f-a846e680bc38","year":2008},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:23.601769Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:e79349602e7b337f2bf321522805bde8caf171b6af6217e9b8f847a0c1ec5722","observation_id":"306f76ed-a93c-44b5-bd4c-cac70d3b1fc5","resolution":{"observed_at":"2026-08-07T11:51:29.942445Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:29.789422Z","title":"Ihlemann and V","venue":null,"work_id":"01ec9b08-3ace-4370-9340-0dfb9274057c","year":2010},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:23.706149Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:b0583053949e0365715e9b27f81da241fff03bd96744e9981b34d7f828719097","observation_id":"25eb6998-8eb5-4b46-a61b-2146207dcee5","resolution":{"observed_at":"2026-08-07T11:51:29.839925Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:29.696459Z","title":"Jhala and K","venue":null,"work_id":"4e639f6e-00e9-4e58-8aed-6ab69cd1674d","year":2005},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:23.839781Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:a9c53fea89d8cfd0f8edb42abd7054fbdc63bff91df18d7573dd36e6fd2e80f0","observation_id":"b8c7cc71-bac8-4b84-b9b3-a292c116c91c","resolution":{"observed_at":"2026-08-07T11:51:29.744816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:29.584225Z","title":"Kapur, R","venue":null,"work_id":"3807e338-0baf-4952-ba16-834ea88686de","year":2006},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:23.940564Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:33187ee3b853967169e3a028df8f5fa475dd4c193feba84ae98808dd14c80e00","observation_id":"9163c32b-8821-4e9a-a7b6-1f8482d6a3f4","resolution":{"observed_at":"2026-08-07T11:51:29.627763Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:29.514141Z","title":"Konev, D","venue":null,"work_id":"f47e1530-4fef-4ebf-ad4c-01fefeedc60a","year":2009},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:24.040313Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:dd6de13be4328814e8dbcc37262d67cacf3d7163ce3021be5dd4792cbd8e82c3","observation_id":"da674359-fcb8-4c74-a8d1-b72aaccb2cf5","resolution":{"observed_at":"2026-08-07T11:51:29.548159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:29.396555Z","title":"Konev, D","venue":null,"work_id":"ff3fd632-0045-4c37-a98a-f3f6d6534f6d","year":2009},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:24.140458Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:0e57e4a8800b7dffa3eb545e0008cf683e26122ba8a0bd307efcb3f0a4249045","observation_id":"1bc8fb31-f5bc-4692-99ac-53da849c8779","resolution":{"observed_at":"2026-08-07T11:51:29.464386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:29.284593Z","title":"Lutz and F","venue":null,"work_id":"e67f7d12-5673-4cff-8659-e19bc1296c71","year":2011},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:24.218443Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:aea59b191fb05a4fc087904bf69c225aa1a8ee206275d00b691a66ab084b7fb7","observation_id":"a61a8689-524c-44c4-8d85-450878343328","resolution":{"observed_at":"2026-08-07T11:51:29.337397Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:29.129239Z","title":null,"venue":null,"work_id":"f03aa852-a070-4b18-b59e-ea5947ead30a","year":1993},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:24.293414Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:f01a0bea1287cbee35b56e3057c1108f0a05a18e0155b5e722458b46a9a7ffcf","observation_id":"f65feba4-a055-4f63-9f33-670f10adf81c","resolution":{"observed_at":"2026-08-07T11:51:29.208008Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:28.989208Z","title":null,"venue":null,"work_id":"6d20edf9-4775-4e9a-a9a3-641c043b99e6","year":2003},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:24.379900Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:86bc7cbc465e9f89ea8846ca292cd407cafef7cbe094e4c0a62156628a824184","observation_id":"2b70681f-46b5-4ebb-9fd4-d4354b2ac0ba","resolution":{"observed_at":"2026-08-07T11:51:29.044505Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:28.834870Z","title":null,"venue":null,"work_id":"dc8955b8-3490-4cf1-9901-f85d3c54d8cf","year":2004},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:24.472335Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:97930d7d2a8ff2a30371b092a292a56bb191eb5ca7762c0cd3cd9ef1ca277da4","observation_id":"d223301f-96a2-430a-b081-15044b06e0ec","resolution":{"observed_at":"2026-08-07T11:51:28.901966Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:28.692816Z","title":null,"venue":null,"work_id":"e00ea401-494d-4880-8876-68c7f2cf1817","year":2005},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:24.588320Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:a375a06bc9c010fab80bbe417d95636a4b0d0e830e5f09c1d027121743e4f98d","observation_id":"99a00b73-f2c7-4afe-a694-3e69cdd00e84","resolution":{"observed_at":"2026-08-07T11:51:28.762342Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:28.546098Z","title":"Peuter and V","venue":null,"work_id":"3edef2c7-72a1-4619-b691-295197b6a3cb","year":2019},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:24.744481Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:5981987b833f8da80c54a00572fc2057c75b642c8d51cbd622c0b383a894db69","observation_id":"e0988a5f-fddf-4f46-82f5-69aa95364f55","resolution":{"observed_at":"2026-08-07T11:51:28.612968Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:28.377826Z","title":"Peuter, V","venue":null,"work_id":"063886d4-c3b6-4a95-a786-93395f92f59b","year":2023},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:24.877447Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:c40d5e367435d12c0d6b3483c651515d5da004dd1502978df7a5ee41a4fcceea","observation_id":"08f3b856-557b-45cc-9344-53acf12100c1","resolution":{"observed_at":"2026-08-07T11:51:28.483323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:28.205729Z","title":"Sofronie-Stokkermans","venue":null,"work_id":"76b1907f-1567-4aab-882d-ae0394fe287e","year":2005},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:24.978213Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:30aea994192d42282becc751f5f84d9b70ba004ffae381838598dcb15e1f64ae","observation_id":"943c3637-d3a3-4b77-a6a8-920802b1532c","resolution":{"observed_at":"2026-08-07T11:51:28.289504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:28.040500Z","title":"Sofronie-Stokkermans","venue":null,"work_id":"392bf798-fe2c-4ba5-bfb9-9ad70c44750c","year":2006},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:25.070900Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:2beea64179e5ed25c2abd392033d6270f471e630c93ae3fe25d021300b7e9d75","observation_id":"345ef112-ff22-4a54-b112-11a31bac7303","resolution":{"observed_at":"2026-08-07T11:51:28.122476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:27.815334Z","title":"Sofronie-Stokkermans","venue":null,"work_id":"f168ed2d-1dcc-4826-8d15-4627b381acc3","year":2008},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:25.146376Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:6664a56abea11975eaeb7254318ba48cf252ff5b4e9e3fa4b361ade21edf7ce6","observation_id":"8de53c47-3fe8-47cd-971b-2b200d3f3d6c","resolution":{"observed_at":"2026-08-07T11:51:27.950503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:27.635461Z","title":"Sofronie-Stokkermans","venue":null,"work_id":"c447c1e9-c6b0-4520-99e3-622237c097f5","year":2010},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:25.230179Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:0c5bfcb4bd93876eca3cd2038f1370bdc978d7f03152df61d09c4affad3d8039","observation_id":"63d4553a-b427-49ce-806e-00a443f5ab49","resolution":{"observed_at":"2026-08-07T11:51:27.704411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:27.481438Z","title":"Sofronie-Stokkermans","venue":null,"work_id":"4d7b8f0b-5865-4423-b270-6a662b4810c9","year":2013},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:25.309777Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:e90cfb3f91f81e3c149c8a49c5f468cad718075c48d242981a3cc220104920fa","observation_id":"0106e3f9-9142-4ab1-83de-7a66e70638c6","resolution":{"observed_at":"2026-08-07T11:51:27.548957Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:27.311358Z","title":"Sofronie-Stokkermans","venue":null,"work_id":"c16fdb65-4d87-491f-8eea-40c9a697b1af","year":2016},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:25.440897Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:cabfd73c1683582c350764effc7e7e5bc770a41213c35f53f5bdf95b64cbc111","observation_id":"99218297-e248-4343-9d93-0d16c47a30d8","resolution":{"observed_at":"2026-08-07T11:51:27.390204Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:27.116437Z","title":"Sofronie-Stokkermans","venue":null,"work_id":"25c3ff0e-5ec2-492f-bdb2-8419a84869ff","year":2017},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:25.534437Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:7ec7942bcf9455eba52ec7d4f79c49c5b8157f9aeb29feacead92db10200d0b6","observation_id":"446f7301-e7e5-46d0-aa1f-35a7ade6bcb1","resolution":{"observed_at":"2026-08-07T11:51:27.221136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:26.939680Z","title":"Sofronie-Stokkermans","venue":null,"work_id":"87857010-23ae-42d3-b823-1b57d1b4a88a","year":2018},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:25.651897Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:b453946164182fed580f5cd198820fb4dee8bbe62ee8e62a68e16f4f6ebfb7ec","observation_id":"5c8054af-b7cd-4386-a84b-a74859da99df","resolution":{"observed_at":"2026-08-07T11:51:27.022584Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:26.744869Z","title":"Sofronie-Stokkermans","venue":null,"work_id":"e3bbbff9-559f-4cf4-a7a1-d167d698ab92","year":2020},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:25.744525Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:29c121ab9183baa7aee7624d2c4fdc06f6919e1a0a93d77cdb9201341d9c8514","observation_id":"d53db98d-6186-472c-8d90-a10baba5e359","resolution":{"observed_at":"2026-08-07T11:51:26.838366Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:26.533762Z","title":"Sofronie-Stokkermans","venue":null,"work_id":"4097470e-5a39-4d41-a201-c676e6921c86","year":2025},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:25.852263Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:803909e0f26cfa36d22b9c6d43aedbef53db096c277e569b342c688d6a82d1c7","observation_id":"a8429697-4dd1-4c44-a2f1-ea7e171645a4","resolution":{"observed_at":"2026-08-07T11:51:26.630872Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:26.340519Z","title":"Sofronie-Stokkermans and C","venue":null,"work_id":"c7477dfc-a1a6-47b0-8b78-03f741124dc9","year":2007},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:25.950682Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:cd21519103016739d93c7c3c41c4f8af83f8780a0bdbbe430c31e2d51c930666","observation_id":"c87f04b6-dacb-4078-af8a-b40b893155b4","resolution":{"observed_at":"2026-08-07T11:51:26.446662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:51:26.145595Z","title":"Sofronie-Stokkermans and C","venue":null,"work_id":"5c5f2c81-46e5-426b-9dc1-ce18bee4fd5c","year":2007},"citing_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T11:51:26.042009Z"},"links":{"citing_paper":"/paper/2506.01664"},"observation_digest":"sha256:ad6577400f9e7c3e94d64fe5e4ec0741eea989394011f03a541548d01ea2aff6","observation_id":"d3f63b2a-cbf1-4746-8736-2babe2e55f5d","resolution":{"observed_at":"2026-08-07T11:51:26.220511Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":0,"verified_fuzzy":32},"total_outbound_references":36},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 1 inbound Pith citation observation for arXiv:2506.01664."}