Pith. sign in

Paper Citation Record · LEDGER

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.05701 v2

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-11T03:29:06.145337Z

measured 52 of 52 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

52 of 52 outbound references displayed

  • verified exact3
  • verified fuzzy26
  • unresolved22
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a61a755e-93fc-4090-b6e2-6d4e0330c5fd · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.797742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:ead4029a069c4463603e1c1cbe34e1ee1185109ab3463b6cf81df8a901847b48

Observation 0f68f19d-5f21-4cb4-ae3d-7329cce907ae · outbound

This paper cites Parikh , title =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Parikh , title =

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.781076Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:4d955cca3ca7397064804880b11a00ab9ea8f7d1a30f27e9ed5730c0c78f4b3a

Observation 8acdda4e-b9da-4ba3-bf98-4b4e59fbfb0a · outbound

This paper cites Parikh automata and monadic theories of -words , booktitle =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Parikh automata and monadic theories of -words , booktitle =

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.589662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:29ca49b6c5af36926197074bad2a3bb23abe434423cc27a7340e25e86e774cd5

Observation 2364535b-df87-41ad-a199-f57c2c95df43 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.569306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:4b00976d4469de5a1ae87844863b6bb932c2abe4ee4c74411827f6eb1fd4f92e

Observation 9e07971e-4bcc-4b8d-a029-f3e3af39e630 · outbound

This paper cites Spanier , title =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Spanier , title =

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.629001Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:095daba061c292cfb7395bbf39204a796b85a5208903c94a06ebbaadca4351be

Observation 340e3817-0c54-4072-93dc-2c0422514b32 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.692638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:01941a4edeef28c93bd8f09209a8ca21243cb37114a2046287c61ad06f7b5923

Observation b87de4ad-b8e8-47f6-bb29-ecc6e1bf2f46 · outbound

This paper cites Logic and p -recognizable sets of integers , journal =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Logic and p -recognizable sets of integers , journal =

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.548681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:de6598c18ef70eaab9ba75437076b795e647c64c683f9eca8a7dba33d9f01547

Observation 2ded212c-34f9-4657-a9b6-6d20326ad743 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.652623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:80b0eba0adc4426b84bfd974447a9c683c92ba8f599966f23689e09fc74cc6f3

Observation eca3f4fb-1dc1-4aac-ac6d-06afafb5d63f · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.602796Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:48b1dd35dfd70b9e16aa903453a7caabbde90395f9d2b267c27875d15534ce62

Observation 8dfd472e-89a6-40d9-94c5-1f644ab3e386 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.491604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:bbcbc50eb636f7b119ae59f14279c8512558173c2ff7ac7ea731f97e3fde78d7

Observation d7d31d68-4913-468e-b586-14b46df7fed6 · outbound

This paper cites Gurari , title =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Gurari , title =

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.435204Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:153381b74d896a3a31bd72fbb71caee67d1a85f3cbed4e7acb99b3bd3cff2512

Observation 3c71afac-aafc-4c20-b64d-4a5598be083c · outbound

This paper cites Cherniavsky , title =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Cherniavsky , title =

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.413833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:28d1fe07f5736dc681fddfe4218a3a3bc7b292058668c5be63a600cf77a5d0b9

Observation 5960b54d-1904-4745-9739-b10a80852877 · outbound

This paper cites Ibarra , title =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Ibarra , title =

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.455467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:214f471fc81c42ba3b5de91501982d1d0072c818a5990f540b59d01294e0965b

Observation 224c8fe9-3d39-47a7-b59e-56978249d3a1 · outbound

This paper cites Gurari and Oscar H.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Gurari and Oscar H

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.510639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:25b45c3a4f8baf5e44bda838979fc0f458229b10b49d6727a544d16532b321d3

Observation 36ce65d4-6bb1-4bcf-ab75-a3c26695e016 · outbound

This paper cites Ibarra and Brian S.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Ibarra and Brian S

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.529343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:8174193fa9c37b24848d194353ab0d6319c79ef6605d90d6cb1c646497046f59

Observation 1c5421bb-f0a6-4ba9-92ea-ffa90f0cf6a8 · outbound

This paper cites Meyer and Dennis M.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Meyer and Dennis M

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.434962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:df741dfe37545c64a729858e9496c2345877c399edf21a917782763f3baa13fd

Observation ccaedf12-8308-471e-af18-88e6a64b30a5 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 17

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.350040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:461825f19227a041f6ad470b38244f306b3541710b8ad3d56faa9c6c73b81786

Observation f7cfdca5-a1cf-4715-8346-76fbd3e28c61 · outbound

This paper cites ACM Transactions on Computational Logic , volume =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic ACM Transactions on Computational Logic , volume =

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.373471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:03d4fb891a3a10d50409f959c09eb6e27bff6e54767c1e28084f12788e16d603

Observation ca0f91dc-f954-429f-ac28-5ab487d47753 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.495523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:7340f90eccd22170f589aaa68f0243c50eb0ac4c8a8e4c7eafb31b03352ecf92

Observation 780055cc-d758-450c-940c-46dfb4b3cbaf · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 20

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.724591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:07da23ef5025234546b78c4a5292faa18adaf87edf8eb92f605cc14cdfe9f0e8

Observation ddf264e5-d528-41e8-a1e7-050587488def · outbound

This paper cites Journal of Symbolic Computation , volume =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Journal of Symbolic Computation , volume =

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.270323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:2ba9017fa32dc1bc7a62036ff0f9dd81ed52ce29a962e43e9698261383f29e08

Observation d0919e1d-d569-4be7-9c91-7038bfae9bda · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.253061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:e6a0ef9c47fbba397886e4ba62ba559d837e6c6c1a48ae11935419baf0001467

Observation 39320aa7-4e9d-4f50-9202-f5b775fbcb6f · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 23

Resolution
verified exact
doi, observed 2026-07-11T03:37:45.672704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:7961b915a2707e28f8f591ad55e6add9d0242e7b02725d3dfa15e12a9f8ae0fc

Observation 0162d9dc-b315-45d5-bbf8-187e9f08dcd6 · outbound

This paper cites The taming of the s emi-linear set.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic The taming of the s emi-linear set

Reference 24

Resolution
verified exact
doi, observed 2026-07-11T03:37:45.647532Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:b51750d4fbc4328380d5d99531d0b52755a52127d7e2f2d60c298c86f5446a9c

Observation af6891a2-17b3-43ec-9696-afca3081db01 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 25

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.392719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:5a0b6611e499abd9f6c9693cd8283acfaa747f0c1d327ad0eadef131557e1649

Observation c21c1920-b757-4345-b5d4-ebcd665aad77 · outbound

This paper cites Starchak , editor =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Starchak , editor =

Reference 26

Resolution
verified exact
doi, observed 2026-07-11T03:37:45.694581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:cab12aa45a888dca332e048b14523ffa5447277df21f2cb2383b4b4d27a132e4

Observation 766f92d8-5ea7-42cb-beb5-ac8342dc453a · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.608639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:f460286473a645f63523804abf1d5282ae5a7faa4f37407c6f728c8367c102f2

Observation 13a5c1f1-cab9-4d9b-aea7-235cd39dde83 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.712777Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:680ca11637eadf73a543eca75a4c0da351a4480cab9fc5ff51b9e2371764c9ff

Observation 490628f4-dba8-4617-8f63-064be0aded58 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.733174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:a0616f3bc3267036b6e06ebe34d5cd3559301ca8d6c382d6e7862aa32bab0ad6

Observation 5d0e4ba0-e435-4806-b7bd-a777409aeae7 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.217971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:7af6e46ea5a6915d79261056d1f365a82cef8ff5a3c0fcb019ecf5a3739427b9

Observation 44435384-0935-4844-8903-30d42bc6cc50 · outbound

This paper cites The Complexity of Separability for Semilinear Sets and.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic The Complexity of Separability for Semilinear Sets and

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.199762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:1fe235593b3c0e46032070d73ea6c5791619779aa713f59eb3ece7deef073b7f

Observation 6202eba3-2669-42e7-8315-57d71d37ead8 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 32

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.179417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:abc16da64abef4cc64b4f46d15045e20d9e9240dae877c6adefaae6c0b99a23f

Observation 80c856c0-37ef-4a2e-91cc-92e4b2713916 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.161503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:e60caafc063a545c5fdce05577d37d462ce108d6f093c6bf8e103798a244a14a

Observation 56fb4b73-4f0f-4ed6-be98-40f22f0f7514 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.107127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:20ef473572ae448556a6fd9b8d5e44031b86ddf57fa57305a4132d1696fe6f10

Observation 1e9944f8-5378-4d3d-9cbf-f78ec23104ca · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 35

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.041597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:1dc5828a9b3cbedf949fa56cd6b716b1cfefc1dc714e0438ab146ef6bda78c7c

Observation 3e726369-6641-4044-a726-af035d8b33b5 · outbound

This paper cites On Flatness for 2-Dimensional Vector Addition Systems with States , booktitle =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic On Flatness for 2-Dimensional Vector Addition Systems with States , booktitle =

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.062980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:45b1c10bb18888cf7605e1b421e6545a4368be94ba6fc01b411cefe85ee7d1e5

Observation 8ec3fdf0-2644-44e0-879e-e0d34bfd2d21 · outbound

This paper cites Reachability in Two-Dimensional Vector Addition Systems with States Is.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Reachability in Two-Dimensional Vector Addition Systems with States Is

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.087335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:d77b1538a9e90c12094264961eec9894220d4b0e42077f652c493582685e3072

Observation 3a1b2309-d10a-4674-a29e-a6e755d1c1e4 · outbound

This paper cites Flat Acceleration in Symbolic Model Checking , booktitle =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Flat Acceleration in Symbolic Model Checking , booktitle =

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.142900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:899ae4cb78e6c65c50fc46e35962f9bc415fd39a454d97344d1aa4db4fa00405

Observation 28bf297d-7bdd-4876-bbb5-8b3beb2af0a6 · outbound

This paper cites Complexity Analysis of Continuous.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Complexity Analysis of Continuous

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.024097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:b7bc7f645ad055b1f4a21745d06df428febcd24c1dd5481f9012b9255106ef34

Observation fb8ef0ad-bf7c-4424-86c2-41c4910a1d00 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 40

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.102941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:cba3774ed728cde24af993e6b8058dde6a3251a08f60cc570f81e1913edc8850

Observation fa94c357-8ab7-4ed2-aecb-23d44eeed390 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 41

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.144219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:b509441c8d7cccfd718f524bc73b9b755161554fd6ced14c3d1647371a7570b8

Observation d8e9c03d-1c61-44f7-9ef8-c2583fcf3281 · outbound

This paper cites Local Search for.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Local Search for

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.197961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:ef5d1790eed58f6a40a24547ff6cf40bfbe2a3d83260368b3019a6598759f98f

Observation ad40c7d0-b199-4e80-a8c8-e176ab0d9b41 · outbound

This paper cites An Automata-Based Decision Procedure for.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic An Automata-Based Decision Procedure for

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.241740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:f05b5a1960124569d95a2dcaa17ca61327a83a9343b202a9f36767940debd09b

Observation 74154c60-f370-4fa6-875a-a41abb955dd4 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 44

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.124510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:a4681823687b7f37ea7976660f8b9ca3529f403c26c146a67b0a304cc5bbb36f

Observation e682026c-8507-4f2d-8bfd-42369790562f · outbound

This paper cites Fischer and Michael O.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Fischer and Michael O

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.235226Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:6bd5cc8db252fad71ecf7c7b2fb7d951186bcebf94272ea271bf5cae5dfd6e5e

Observation 136dcf0a-ff1c-41d2-a771-5ffe5cf46281 · outbound

This paper cites Theoretical Computer Science , volume =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Theoretical Computer Science , volume =

Reference 46

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.744263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:3f23f4b5152002a46edcd5b8e33bd7952ed569af1507c1ea52a8dec83bf85110

Observation 057e4109-0c27-4626-ade2-54bb96201a55 · outbound

This paper cites Akshay and A.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Akshay and A

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.655471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:6137892211b5281ea74033200931be02a4f41e72ea07bcc2e8c4af0a2ce07a02

Observation ad074a0b-2f5c-43f0-b2c8-eeb011b3a288 · outbound

This paper cites Definable Groups in Models of.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Definable Groups in Models of

Reference 48

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.680044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:16264711f67b5f9183be0901543a0d5cdbea7be10b9c686331435f78e8b26f34

Observation 588fe648-3855-44c7-b394-8621acb85937 · outbound

This paper cites Groups Definable in.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Groups Definable in

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.703670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:599371c561461111c7b75072deab5d8df6d94eb42a340e116e49521cf6de9174

Observation 6d4799b6-f789-41ce-8271-49e462aaa029 · outbound

This paper cites Linear Orders in Presburger Arithmetic.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Linear Orders in Presburger Arithmetic

Reference 50

Resolution
metadata mismatch
local_arxiv, observed 2026-07-11T03:37:46.972589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:0dad09006f56f23e280a243a9be1a13b9fbb5c9f8dd77a40bd39fcb1586628ff

Observation 95ae2149-7a97-4a6f-9df7-1bd8d199d53b · outbound

This paper cites SMT Workshop 2022 , year =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic SMT Workshop 2022 , year =

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.762725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:6dc8631acad84bae8ad051154e5e12ad79bdfdae222f1b128f2bcc7e46ffdf59

Observation 338f772b-8b52-436a-9d7d-16a109b7875b · outbound

This paper cites Educational Times , volume =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Educational Times , volume =

Reference 52

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.629883Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:7b8ec7efba7c171eea3a0fa2eec6fb5d5ec617600b1bb6ea43dca18abab514ad

Pith citing papers

No inbound Pith citation observations are available.