{"as_of":"2026-08-18T08:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4aa47e03046b322252735638a8db79791d98f637150e49ab3123abbd5c7559b5","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-18T06:34:40.430872+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:ead4029a069c4463603e1c1cbe34e1ee1185109ab3463b6cf81df8a901847b48","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:4d955cca3ca7397064804880b11a00ab9ea8f7d1a30f27e9ed5730c0c78f4b3a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:29ca49b6c5af36926197074bad2a3bb23abe434423cc27a7340e25e86e774cd5","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:4b00976d4469de5a1ae87844863b6bb932c2abe4ee4c74411827f6eb1fd4f92e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:095daba061c292cfb7395bbf39204a796b85a5208903c94a06ebbaadca4351be","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:01941a4edeef28c93bd8f09209a8ca21243cb37114a2046287c61ad06f7b5923","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:de6598c18ef70eaab9ba75437076b795e647c64c683f9eca8a7dba33d9f01547","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:80b0eba0adc4426b84bfd974447a9c683c92ba8f599966f23689e09fc74cc6f3","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:48b1dd35dfd70b9e16aa903453a7caabbde90395f9d2b267c27875d15534ce62","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:bbcbc50eb636f7b119ae59f14279c8512558173c2ff7ac7ea731f97e3fde78d7","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:153381b74d896a3a31bd72fbb71caee67d1a85f3cbed4e7acb99b3bd3cff2512","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:28d1fe07f5736dc681fddfe4218a3a3bc7b292058668c5be63a600cf77a5d0b9","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:214f471fc81c42ba3b5de91501982d1d0072c818a5990f540b59d01294e0965b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:25b45c3a4f8baf5e44bda838979fc0f458229b10b49d6727a544d16532b321d3","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:8174193fa9c37b24848d194353ab0d6319c79ef6605d90d6cb1c646497046f59","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:df741dfe37545c64a729858e9496c2345877c399edf21a917782763f3baa13fd","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:461825f19227a041f6ad470b38244f306b3541710b8ad3d56faa9c6c73b81786","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:03d4fb891a3a10d50409f959c09eb6e27bff6e54767c1e28084f12788e16d603","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:7340f90eccd22170f589aaa68f0243c50eb0ac4c8a8e4c7eafb31b03352ecf92","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:07da23ef5025234546b78c4a5292faa18adaf87edf8eb92f605cc14cdfe9f0e8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:2ba9017fa32dc1bc7a62036ff0f9dd81ed52ce29a962e43e9698261383f29e08","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:e6a0ef9c47fbba397886e4ba62ba559d837e6c6c1a48ae11935419baf0001467","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:7961b915a2707e28f8f591ad55e6add9d0242e7b02725d3dfa15e12a9f8ae0fc","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+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-18T06:34:34.496301+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:b51750d4fbc4328380d5d99531d0b52755a52127d7e2f2d60c298c86f5446a9c","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+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-18T06:34:34.496301+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:5a0b6611e499abd9f6c9693cd8283acfaa747f0c1d327ad0eadef131557e1649","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:cab12aa45a888dca332e048b14523ffa5447277df21f2cb2383b4b4d27a132e4","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+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-18T06:34:34.496301+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:f460286473a645f63523804abf1d5282ae5a7faa4f37407c6f728c8367c102f2","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:680ca11637eadf73a543eca75a4c0da351a4480cab9fc5ff51b9e2371764c9ff","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:a0616f3bc3267036b6e06ebe34d5cd3559301ca8d6c382d6e7862aa32bab0ad6","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:7af6e46ea5a6915d79261056d1f365a82cef8ff5a3c0fcb019ecf5a3739427b9","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:1fe235593b3c0e46032070d73ea6c5791619779aa713f59eb3ece7deef073b7f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:abc16da64abef4cc64b4f46d15045e20d9e9240dae877c6adefaae6c0b99a23f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:e60caafc063a545c5fdce05577d37d462ce108d6f093c6bf8e103798a244a14a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:20ef473572ae448556a6fd9b8d5e44031b86ddf57fa57305a4132d1696fe6f10","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:1dc5828a9b3cbedf949fa56cd6b716b1cfefc1dc714e0438ab146ef6bda78c7c","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:45b1c10bb18888cf7605e1b421e6545a4368be94ba6fc01b411cefe85ee7d1e5","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:d77b1538a9e90c12094264961eec9894220d4b0e42077f652c493582685e3072","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:899ae4cb78e6c65c50fc46e35962f9bc415fd39a454d97344d1aa4db4fa00405","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:b7bc7f645ad055b1f4a21745d06df428febcd24c1dd5481f9012b9255106ef34","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:cba3774ed728cde24af993e6b8058dde6a3251a08f60cc570f81e1913edc8850","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:b509441c8d7cccfd718f524bc73b9b755161554fd6ced14c3d1647371a7570b8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:ef5d1790eed58f6a40a24547ff6cf40bfbe2a3d83260368b3019a6598759f98f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:f05b5a1960124569d95a2dcaa17ca61327a83a9343b202a9f36767940debd09b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:a4681823687b7f37ea7976660f8b9ca3529f403c26c146a67b0a304cc5bbb36f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:6bd5cc8db252fad71ecf7c7b2fb7d951186bcebf94272ea271bf5cae5dfd6e5e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:3f23f4b5152002a46edcd5b8e33bd7952ed569af1507c1ea52a8dec83bf85110","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:6137892211b5281ea74033200931be02a4f41e72ea07bcc2e8c4af0a2ce07a02","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:16264711f67b5f9183be0901543a0d5cdbea7be10b9c686331435f78e8b26f34","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:599371c561461111c7b75072deab5d8df6d94eb42a340e116e49521cf6de9174","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:0dad09006f56f23e280a243a9be1a13b9fbb5c9f8dd77a40bd39fcb1586628ff","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:6dc8631acad84bae8ad051154e5e12ad79bdfdae222f1b128f2bcc7e46ffdf59","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:7b8ec7efba7c171eea3a0fa2eec6fb5d5ec617600b1bb6ea43dca18abab514ad","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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."}