{"as_of":"2026-08-18T03:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:91bf8d160b96e852a726a8aed0b56a15417fef703962c53340fdca499e70e5a9","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-07-11T03:29:06.145337Z","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-17T06:30:58.91139+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/2607.05701/citation-record","integrity":"/paper/2607.05701/integrity","json":"/paper/2607.05701/citation-record.json","paper":"/paper/2607.05701"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T03:37:55.783632Z","title":null,"venue":null,"work_id":"c6605b1d-d3bf-4c2f-bc18-fc4a6be92ded","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:93be0b8fdc041bcf2ed908c07075719d1f760284512798a90789bfdfe4294c0e","observation_id":"a61a755e-93fc-4090-b6e2-6d4e0330c5fd","resolution":{"observed_at":"2026-07-11T03:37:55.797742Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.765457Z","title":"Parikh , title =","venue":null,"work_id":"234c737d-939d-4303-876a-3f69f2041350","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:906976cac9f9152479372c8b5c0f268cca0081b3b068c71118620b8dbc077378","observation_id":"0f68f19d-5f21-4cb4-ae3d-7329cce907ae","resolution":{"observed_at":"2026-07-11T03:37:55.781076Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.571711Z","title":"Parikh automata and monadic theories of -words , booktitle =","venue":null,"work_id":"b3b65037-9a48-4944-a90d-9f64958726f6","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:52c6723ebc85124e53fa8796c6ac851aae682598936de5a6aaaf1b115e723a1a","observation_id":"8acdda4e-b9da-4ba3-bf98-4b4e59fbfb0a","resolution":{"observed_at":"2026-07-11T03:37:55.589662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.553227Z","title":null,"venue":null,"work_id":"5b4309a6-238f-43b9-82e4-f3693e6de2c9","year":2012},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:1203551077705822edb654daa2b556317d5ec578719737f6850e2dd8c139e4ca","observation_id":"2364535b-df87-41ad-a199-f57c2c95df43","resolution":{"observed_at":"2026-07-11T03:37:55.569306Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.611344Z","title":"Spanier , title =","venue":null,"work_id":"158fb339-8b13-483a-8977-cfde647d1f40","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:1f215e7ef8aa18b49e340eec3b705e1461757868d443dfca95c6a9ef84d82a23","observation_id":"9e07971e-4bcc-4b8d-a029-f3e3af39e630","resolution":{"observed_at":"2026-07-11T03:37:55.629001Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.664544Z","title":null,"venue":null,"work_id":"056a2522-4cad-41c5-a523-706878dfc018","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:cb7bd308d5bd039953f3eb9b46612f2485f5bd5b99bc2caeb8b243b88668c448","observation_id":"340e3817-0c54-4072-93dc-2c0422514b32","resolution":{"observed_at":"2026-07-11T03:37:55.692638Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.531563Z","title":"Logic and p -recognizable sets of integers , journal =","venue":null,"work_id":"0fada756-6ceb-421d-95a1-e1a29338fea6","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:dd3e799ef843ee82e1fed94b7d70bfb6421d55299494a81f098e59ab29e3e6a8","observation_id":"b87de4ad-b8e8-47f6-bb29-ecc6e1bf2f46","resolution":{"observed_at":"2026-07-11T03:37:55.548681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.632214Z","title":null,"venue":null,"work_id":"52354bb4-3260-423d-864f-01c34ee6aa61","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:d14f95ee48e1ff1ec0627a6aedeec6e8788719611af5b39f7ef8e90e39ab9849","observation_id":"2ded212c-34f9-4657-a9b6-6d20326ad743","resolution":{"observed_at":"2026-07-11T03:37:55.652623Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.582579Z","title":null,"venue":null,"work_id":"d8e390b2-dd5e-4401-88bf-b500b49b95fb","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:f38c3ac5ba28881427b1585d52ce320a0717714c54f42f6dc73619610abca3dc","observation_id":"eca3f4fb-1dc1-4aac-ac6d-06afafb5d63f","resolution":{"observed_at":"2026-07-11T03:37:55.602796Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.476056Z","title":null,"venue":null,"work_id":"3510be41-fb1b-4385-9cf4-c1067c2c7f57","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:521861bfae4bc5db5a31d1c4698e007a8ade13823020f2a44cf51b45009d4eeb","observation_id":"8dfd472e-89a6-40d9-94c5-1f644ab3e386","resolution":{"observed_at":"2026-07-11T03:37:55.491604Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.416718Z","title":"Gurari , title =","venue":null,"work_id":"bf5162cb-da69-4885-a657-33dc2ea14911","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:bcb7c592e600a8d67e6003695f639643a354508a7912d8af9e80d749a6458eae","observation_id":"d7d31d68-4913-468e-b586-14b46df7fed6","resolution":{"observed_at":"2026-07-11T03:37:55.435204Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.395787Z","title":"Cherniavsky , title =","venue":null,"work_id":"4580971e-3164-427d-b459-a1c0e083550e","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:0b014b3a5b177d9b60bde4cd25b412d8c051a636c92a894bbc019fa62be2c3c3","observation_id":"3c71afac-aafc-4c20-b64d-4a5598be083c","resolution":{"observed_at":"2026-07-11T03:37:55.413833Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.437864Z","title":"Ibarra , title =","venue":null,"work_id":"e4a2bc85-afbd-49c0-8368-28502fa97da2","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:773ee95cb329d4ec70c22f4bc288185bf0d28aba77ee43d6f3ad9d8dd4e3bc38","observation_id":"5960b54d-1904-4745-9739-b10a80852877","resolution":{"observed_at":"2026-07-11T03:37:55.455467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.494469Z","title":"Gurari and Oscar H","venue":null,"work_id":"336373b0-ff50-478e-a6c1-d325e0c3a597","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:36c7ae70ac326d58690767722706ca1f31904e011b90c13dc3e8899bc312c4e4","observation_id":"224c8fe9-3d39-47a7-b59e-56978249d3a1","resolution":{"observed_at":"2026-07-11T03:37:55.510639Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.512934Z","title":"Ibarra and Brian S","venue":null,"work_id":"2561b7e9-e770-42e2-a416-e10dc4dc3aaf","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:86baee3291fcca5e7cdf75a725599cff4b32a81fe7172d04a3e34f79a4626858","observation_id":"36ce65d4-6bb1-4bcf-ab75-a3c26695e016","resolution":{"observed_at":"2026-07-11T03:37:55.529343Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.416973Z","title":"Meyer and Dennis M","venue":null,"work_id":"533e7d73-8bde-4efb-a617-f43f5c209070","year":1967},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:9a7c077936b1a1df6568f3c6ca1ce868a1e92cd326d3e7adcee5eddf95ab8851","observation_id":"1c5421bb-f0a6-4ba9-92ea-ffa90f0cf6a8","resolution":{"observed_at":"2026-07-11T03:37:55.434962Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.331871Z","title":null,"venue":null,"work_id":"a5a4a7c9-7e1f-4e43-9132-b6c7be8efc2e","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:318df41a966aa9c44daf54a5696d1ea73d7074adabcd9b93b49416a66930c327","observation_id":"ccaedf12-8308-471e-af18-88e6a64b30a5","resolution":{"observed_at":"2026-07-11T03:37:55.350040Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.353331Z","title":"ACM Transactions on Computational Logic , volume =","venue":null,"work_id":"237cfe97-7382-421d-be50-cef2d617658c","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:f61d59307f84f947d451ab8dce3f33316c968b823feb267ed5015497e0088523","observation_id":"f7cfdca5-a1cf-4715-8346-76fbd3e28c61","resolution":{"observed_at":"2026-07-11T03:37:55.373471Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.479573Z","title":null,"venue":null,"work_id":"e6a705dd-1ccf-4ba8-b90c-e7560c4acc8a","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:7a4efc64415957875ed745b6f1806368512c8825a7e157b1834dd3d082a906ca","observation_id":"ca0f91dc-f954-429f-ac28-5ab487d47753","resolution":{"observed_at":"2026-07-11T03:37:55.495523Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.706857Z","title":null,"venue":null,"work_id":"066085d3-b933-4e69-bd5e-efac45b286dc","year":2024},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:f73ae066b30302dbb74078e63ade2bedc04d7ccff2139083a4fd8f67d5f7e6ac","observation_id":"780055cc-d758-450c-940c-46dfb4b3cbaf","resolution":{"observed_at":"2026-07-11T03:37:55.724591Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.255146Z","title":"Journal of Symbolic Computation , volume =","venue":null,"work_id":"169fe5db-19ef-4a3a-b502-b9d9e6e34cc0","year":1988},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:5785cedb197dc1883692a677d06395cea5ef383b39ff3042637370262be2b9fd","observation_id":"ddf264e5-d528-41e8-a1e7-050587488def","resolution":{"observed_at":"2026-07-11T03:37:55.270323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.238065Z","title":null,"venue":null,"work_id":"420bd2b0-590f-47dc-9cce-da2226a7cd11","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:a9caa76bef9c0ff91f452ff7d611aa2ce372c3d3052e3dfac3d52e79da14e054","observation_id":"d0919e1d-d569-4be7-9c91-7038bfae9bda","resolution":{"observed_at":"2026-07-11T03:37:55.253061Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.fsttcs.2024.1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ArXiv.org","work_id":"d51136e0-79c1-4986-8218-8d3c40e7b710","year":2024},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:454f347b43e5c5af93dd7413b914bdd4a2fcc50d956c403f099770042eeb5a31","observation_id":"39320aa7-4e9d-4f50-9202-f5b775fbcb6f","resolution":{"observed_at":"2026-07-11T03:37:45.672704Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-07-11T12:19:02.747178+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T12:19:02.747178+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.icalp.2016.128","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"The taming of the s emi-linear set","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"3411043a-382c-4fc7-acd6-912f98cafc44","year":2016},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:025dfc32c52e731f6e980388822d06432b75e77f643487744fbd11bf0a419bd3","observation_id":"0162d9dc-b315-45d5-bbf8-187e9f08dcd6","resolution":{"observed_at":"2026-07-11T03:37:45.647532Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-07-11T12:19:03.000385+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T12:19:03.000385+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.376326Z","title":null,"venue":null,"work_id":"c549abf1-7fd8-47c0-a193-358eddff7bdb","year":2023},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:1908a7a73fa3d9f093a3cdf8e082d694f8fce968e2f6899dde3cfdb0dcd2cf00","observation_id":"af6891a2-17b3-43ec-9696-afca3081db01","resolution":{"observed_at":"2026-07-11T03:37:55.392719Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.mfcs.2025.72","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Starchak , editor =","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"3c30854e-dbc0-4cf1-bbc4-3004ffa93bae","year":2025},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:e76f57ebc99e17b7e5787c0072fb6f2f27cc4559a22ef6c43ce7a5bd15e88b79","observation_id":"c21c1920-b757-4345-b5d4-ebcd665aad77","resolution":{"observed_at":"2026-07-11T03:37:45.694581Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-07-11T12:19:03.240742+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T12:19:03.240742+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.592450Z","title":null,"venue":null,"work_id":"f706473f-df4e-4a6b-87ec-0a42adb69d07","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:c13b7ec322aa36bbf624acfaf2e61cc22e9026131e7e1c07979d47dcd7ea40b6","observation_id":"766f92d8-5ea7-42cb-beb5-ac8342dc453a","resolution":{"observed_at":"2026-07-11T03:37:55.608639Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.695580Z","title":null,"venue":null,"work_id":"2b03be72-4385-42ac-a6df-539d8180f52c","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:b9a14710e1def371281e55d3308d1d93bb94d3a8321b5a42bdd5c526e6ff8dda","observation_id":"13a5c1f1-cab9-4d9b-aea7-235cd39dde83","resolution":{"observed_at":"2026-07-11T03:37:55.712777Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.715596Z","title":null,"venue":null,"work_id":"a695a84e-1ee3-48bb-a147-ce4f686aabea","year":2024},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:3ee3c2a7a2c00e4c6455d9588d8fae23472f4c6607c62a4e45d0465298400c86","observation_id":"490628f4-dba8-4617-8f63-064be0aded58","resolution":{"observed_at":"2026-07-11T03:37:55.733174Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.202286Z","title":null,"venue":null,"work_id":"2c864b0b-f4cf-46b8-a749-53b24b116bf5","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:ff49d5018d1c7e07a08577298ce2280e81fbf468a945e545c5d462a1bb0e40b3","observation_id":"5d0e4ba0-e435-4806-b7bd-a777409aeae7","resolution":{"observed_at":"2026-07-11T03:37:55.217971Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.182173Z","title":"The Complexity of Separability for Semilinear Sets and","venue":null,"work_id":"7098505b-783a-4059-ae44-8338ade922d0","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:d2aeed5648ba5ca6d40663a6441dc57bc1ee6b7e1084610aae4786ea921623f9","observation_id":"44435384-0935-4844-8903-30d42bc6cc50","resolution":{"observed_at":"2026-07-11T03:37:55.199762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.164015Z","title":null,"venue":null,"work_id":"d57eb3ff-d468-45b0-8b84-1d374eeb0323","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:754aa88fb229137e7b7a5ad0ea5fc971d8df3637cefe1d3b9afd35c3cf034e66","observation_id":"6202eba3-2669-42e7-8315-57d71d37ead8","resolution":{"observed_at":"2026-07-11T03:37:55.179417Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.145210Z","title":null,"venue":null,"work_id":"a13d7819-b601-4406-aeff-aad68b396985","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:5d307385fd21c99dab3a4436010a703bffafc0e8ba410a4a7020d0c38d88925d","observation_id":"80c856c0-37ef-4a2e-91cc-92e4b2713916","resolution":{"observed_at":"2026-07-11T03:37:55.161503Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.090461Z","title":null,"venue":null,"work_id":"e5bb5842-c655-4ac4-8c1c-11112418e9e7","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:52a06a0e32204d776bb5351808230f0a30c190f4979390143f40bc6dc952a6aa","observation_id":"56fb4b73-4f0f-4ed6-be98-40f22f0f7514","resolution":{"observed_at":"2026-07-11T03:37:55.107127Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.026162Z","title":null,"venue":null,"work_id":"9a53defb-b06c-4a71-b29d-f85236b12788","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:a8ea3c0c0310bf0855896dc00f315a33d8ee41867e5d0d6cd397aee825cae5e9","observation_id":"1e9944f8-5378-4d3d-9cbf-f78ec23104ca","resolution":{"observed_at":"2026-07-11T03:37:55.041597Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.044220Z","title":"On Flatness for 2-Dimensional Vector Addition Systems with States , booktitle =","venue":null,"work_id":"d9bb08e3-a242-4e8a-b95a-42034140f89d","year":2004},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:36effa319d09ecda164a285c2e887fb50f0f405b849be3de9270d8a0dcf7e3f2","observation_id":"3e726369-6641-4044-a726-af035d8b33b5","resolution":{"observed_at":"2026-07-11T03:37:55.062980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.066006Z","title":"Reachability in Two-Dimensional Vector Addition Systems with States Is","venue":null,"work_id":"bcc30393-0795-4243-b0be-b3f32e8dde9b","year":2015},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:e709840a44206c2b0fb8af2cc3d9445db0ba9d1fd798c495ff91768328b0facf","observation_id":"8ec3fdf0-2644-44e0-879e-e0d34bfd2d21","resolution":{"observed_at":"2026-07-11T03:37:55.087335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.126773Z","title":"Flat Acceleration in Symbolic Model Checking , booktitle =","venue":null,"work_id":"304530fd-cca0-4bd5-9057-c58fa15e5de5","year":2005},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:8f5400ee2d2de0914f8161d1bf2bf8a23d1d717098354580df2378c24164396b","observation_id":"3a1b2309-d10a-4674-a29e-a6e755d1c1e4","resolution":{"observed_at":"2026-07-11T03:37:55.142900Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.008733Z","title":"Complexity Analysis of Continuous","venue":null,"work_id":"f1172e4a-f9a9-4cf0-b870-f17d14463aef","year":2015},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:824fe025e617b6ea89fc969775e563c87294730462fff8f8967bceb057df73bf","observation_id":"28bf297d-7bdd-4876-bbb5-8b3beb2af0a6","resolution":{"observed_at":"2026-07-11T03:37:55.024097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.085042Z","title":null,"venue":null,"work_id":"db7b6d58-c152-4132-a337-6f429c6d8d74","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:54dfa55aa146533f536c7b696214933b8f00049173bafd36811252167a258364","observation_id":"fb8ef0ad-bf7c-4424-86c2-41c4910a1d00","resolution":{"observed_at":"2026-07-11T03:37:55.102941Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.128027Z","title":null,"venue":null,"work_id":"919befd7-f1f4-4c7e-9f41-ed2aee13c872","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:6b85a454fa27a8403a44fb7ebaf5459e68ebc5294ea038d1454f2e950b12f832","observation_id":"fa94c357-8ab7-4ed2-aecb-23d44eeed390","resolution":{"observed_at":"2026-07-11T03:37:55.144219Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.182060Z","title":"Local Search for","venue":null,"work_id":"d62f8f16-0f89-431c-b9c2-66ee6a3df037","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:4213ba38eef49caab21b65480ae8f12140f503155ecda326aa1c8b61071426df","observation_id":"d8e9c03d-1c61-44f7-9ef8-c2583fcf3281","resolution":{"observed_at":"2026-07-11T03:37:55.197961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.221815Z","title":"An Automata-Based Decision Procedure for","venue":null,"work_id":"a4a6e4a3-4fc3-4fe5-a119-d60ba3f29c70","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:01da6d129f8854dafbbacd1b3ee8e533eaa2c271423d2f97507367678601c3a1","observation_id":"ad40c7d0-b199-4e80-a8c8-e176ab0d9b41","resolution":{"observed_at":"2026-07-11T03:37:55.241740Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.109812Z","title":null,"venue":null,"work_id":"ff465164-a360-4b74-90be-d6a4dabfb038","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:3cafc6757ad4ebd3b070874f3bf4116f3a333afeb4e2b0eefa3f2a8d9dea1534","observation_id":"74154c60-f370-4fa6-875a-a41abb955dd4","resolution":{"observed_at":"2026-07-11T03:37:55.124510Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.220234Z","title":"Fischer and Michael O","venue":null,"work_id":"69b2e29a-db30-4f5b-aa52-9bc39ff5738f","year":1974},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:353849c906e30ebfda51419ed7b92c6acf7a551f3e4f81f324345749caf85eb1","observation_id":"e682026c-8507-4f2d-8bfd-42369790562f","resolution":{"observed_at":"2026-07-11T03:37:55.235226Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.727402Z","title":"Theoretical Computer Science , volume =","venue":null,"work_id":"d5667d61-3890-4689-bb63-0813f5b53eaf","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:f690040ffffa1a2357e5f7220921218ed8555e3e7c8b3f75091165b88e290725","observation_id":"136dcf0a-ff1c-41d2-a771-5ffe5cf46281","resolution":{"observed_at":"2026-07-11T03:37:55.744263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.632985Z","title":"Akshay and A","venue":null,"work_id":"b206ebab-6c86-44bf-bd22-065637a79b24","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:439c5a2bfe8238a6d753d0bdadcf9787dde66b76f34c9f553e91c3ef120eda6f","observation_id":"057e4109-0c27-4626-ade2-54bb96201a55","resolution":{"observed_at":"2026-07-11T03:37:55.655471Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.658462Z","title":"Definable Groups in Models of","venue":null,"work_id":"5e2e5461-3c9c-48b4-b47e-dafacc9ca286","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:d0afa00019b75e84c034622651316686b77a20aebdbf69b3c631a0fe9f3b86f8","observation_id":"ad074a0b-2f5c-43f0-b2c8-eeb011b3a288","resolution":{"observed_at":"2026-07-11T03:37:55.680044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.683440Z","title":"Groups Definable in","venue":null,"work_id":"73a4261c-e272-4b17-9b91-7d8a1fdd8e56","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:d1618e825e5817ebc7613795741411a33cc1c5a824057a47e05c3d557a331cc7","observation_id":"588fe648-3855-44c7-b394-8621acb85937","resolution":{"observed_at":"2026-07-11T03:37:55.703670Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2209.11598","last_updated":"2026-04-20T15:52:36Z","snapshot_observed_at":"2026-08-13T14:48:23.754746Z","submitted_at":"2022-09-23T14:02:26Z","title":"Linear Orders in Presburger Arithmetic","version":2},"cited_work":{"arxiv_id":"2209.11598","doi":null,"metadata_source":"pith","pith_arxiv_id":"2209.11598","snapshot_observed_at":"2026-07-11T03:37:46.930091Z","title":"Linear Orders in Presburger Arithmetic","venue":"math.LO","work_id":"c6dffbd8-8421-4284-996d-442cbbf05045","year":2022},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"cited_paper":"/paper/2209.11598","citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:e09a31a7faab17a8468554f49ca7ae368623c70de4b4f7bf686380e6d23f0267","observation_id":"6d4799b6-f789-41ce-8271-49e462aaa029","resolution":{"observed_at":"2026-07-11T03:37:46.972589Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.746646Z","title":"SMT Workshop 2022 , year =","venue":null,"work_id":"66cefd95-94d1-45e8-abe2-4c31192f7297","year":2022},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:08c3b76a359ef81cf57263b7cc45cae8e4b343c51ee2575d26159f84618631b1","observation_id":"95ae2149-7a97-4a6f-9df7-1bd8d199d53b","resolution":{"observed_at":"2026-07-11T03:37:55.762725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07-11T03:37:55.606211Z","title":"Educational Times , volume =","venue":null,"work_id":"d142d177-c08e-4233-90c6-6b31cd8ba492","year":null},"citing_paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic","version":2},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-07-11T03:29:06.145337Z"},"links":{"citing_paper":"/paper/2607.05701"},"observation_digest":"sha256:89ab52cc16dc7967fd35d3f2e60134f07e06244cdab3af1249daf942ee094d1c","observation_id":"338f772b-8b52-436a-9d7d-16a109b7875b","resolution":{"observed_at":"2026-07-11T03:37:55.629883Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.05701","last_updated":"2026-07-08T03:30:15Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-17T19:36:19.352725Z","submitted_at":"2026-07-06T23:47:19Z","title":"Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":22,"verified_exact":3,"verified_fuzzy":26},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2607.05701."}