Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-11T03:29:06.145337Z
Paper Citation Record · LEDGER
As of 17 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2607.05701.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-11T03:29:06.145337Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
52 of 52 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation a61a755e-93fc-4090-b6e2-6d4e0330c5fd · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0f68f19d-5f21-4cb4-ae3d-7329cce907ae · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Parikh , title =
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8acdda4e-b9da-4ba3-bf98-4b4e59fbfb0a · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Parikh automata and monadic theories of -words , booktitle =
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2364535b-df87-41ad-a199-f57c2c95df43 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 9e07971e-4bcc-4b8d-a029-f3e3af39e630 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Spanier , title =
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 340e3817-0c54-4072-93dc-2c0422514b32 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation b87de4ad-b8e8-47f6-bb29-ecc6e1bf2f46 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Logic and p -recognizable sets of integers , journal =
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2ded212c-34f9-4657-a9b6-6d20326ad743 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation eca3f4fb-1dc1-4aac-ac6d-06afafb5d63f · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8dfd472e-89a6-40d9-94c5-1f644ab3e386 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d7d31d68-4913-468e-b586-14b46df7fed6 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Gurari , title =
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 3c71afac-aafc-4c20-b64d-4a5598be083c · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Cherniavsky , title =
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 5960b54d-1904-4745-9739-b10a80852877 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Ibarra , title =
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 224c8fe9-3d39-47a7-b59e-56978249d3a1 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Gurari and Oscar H
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 36ce65d4-6bb1-4bcf-ab75-a3c26695e016 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Ibarra and Brian S
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 1c5421bb-f0a6-4ba9-92ea-ffa90f0cf6a8 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Meyer and Dennis M
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ccaedf12-8308-471e-af18-88e6a64b30a5 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f7cfdca5-a1cf-4715-8346-76fbd3e28c61 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic ACM Transactions on Computational Logic , volume =
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ca0f91dc-f954-429f-ac28-5ab487d47753 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 780055cc-d758-450c-940c-46dfb4b3cbaf · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ddf264e5-d528-41e8-a1e7-050587488def · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Journal of Symbolic Computation , volume =
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d0919e1d-d569-4be7-9c91-7038bfae9bda · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 39320aa7-4e9d-4f50-9202-f5b775fbcb6f · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0162d9dc-b315-45d5-bbf8-187e9f08dcd6 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic The taming of the s emi-linear set
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation af6891a2-17b3-43ec-9696-afca3081db01 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c21c1920-b757-4345-b5d4-ebcd665aad77 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Starchak , editor =
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 766f92d8-5ea7-42cb-beb5-ac8342dc453a · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 13a5c1f1-cab9-4d9b-aea7-235cd39dde83 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 490628f4-dba8-4617-8f63-064be0aded58 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 5d0e4ba0-e435-4806-b7bd-a777409aeae7 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 44435384-0935-4844-8903-30d42bc6cc50 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic The Complexity of Separability for Semilinear Sets and
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 6202eba3-2669-42e7-8315-57d71d37ead8 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 80c856c0-37ef-4a2e-91cc-92e4b2713916 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 56fb4b73-4f0f-4ed6-be98-40f22f0f7514 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 1e9944f8-5378-4d3d-9cbf-f78ec23104ca · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 3e726369-6641-4044-a726-af035d8b33b5 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic On Flatness for 2-Dimensional Vector Addition Systems with States , booktitle =
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8ec3fdf0-2644-44e0-879e-e0d34bfd2d21 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Reachability in Two-Dimensional Vector Addition Systems with States Is
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 3a1b2309-d10a-4674-a29e-a6e755d1c1e4 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Flat Acceleration in Symbolic Model Checking , booktitle =
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 28bf297d-7bdd-4876-bbb5-8b3beb2af0a6 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Complexity Analysis of Continuous
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation fb8ef0ad-bf7c-4424-86c2-41c4910a1d00 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation fa94c357-8ab7-4ed2-aecb-23d44eeed390 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d8e9c03d-1c61-44f7-9ef8-c2583fcf3281 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Local Search for
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ad40c7d0-b199-4e80-a8c8-e176ab0d9b41 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic An Automata-Based Decision Procedure for
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 74154c60-f370-4fa6-875a-a41abb955dd4 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e682026c-8507-4f2d-8bfd-42369790562f · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Fischer and Michael O
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 136dcf0a-ff1c-41d2-a771-5ffe5cf46281 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Theoretical Computer Science , volume =
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 057e4109-0c27-4626-ade2-54bb96201a55 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Akshay and A
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ad074a0b-2f5c-43f0-b2c8-eeb011b3a288 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Definable Groups in Models of
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 588fe648-3855-44c7-b394-8621acb85937 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Groups Definable in
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 6d4799b6-f789-41ce-8271-49e462aaa029 · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Linear Orders in Presburger Arithmetic
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 95ae2149-7a97-4a6f-9df7-1bd8d199d53b · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic SMT Workshop 2022 , year =
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 338f772b-8b52-436a-9d7d-16a109b7875b · outbound
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Educational Times , volume =
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
No inbound Pith citation observations are available.