{"as_of":"2026-08-13T01:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0fe538639ed1d937c01b868bf3c5946921170e373ce21a8e48fb1cdb784c5100","coverage":[{"denominator":97,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":97,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:12:11.261475Z","state":"measured"},{"denominator":97,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":97,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2506.08588/citation-record","integrity":"/paper/2506.08588/integrity","json":"/paper/2506.08588/citation-record.json","paper":"/paper/2506.08588"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.676948Z","title":"Diophantine complexity","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.676948Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:625eb61ae06ff6ca5fd2148b559046b7f5173f38e53a553d41e5068ac7743ba4","observation_id":"f0c58294-94e8-4a60-9144-11f9f17281c6","resolution":{"observed_at":"2026-08-07T05:12:10.676948Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.18774","last_updated":"2025-01-30T21:56:25Z","snapshot_observed_at":"2026-08-12T09:30:06.095399Z","submitted_at":"2025-01-30T21:56:25Z","title":"Rank stability in quadratic extensions and Hilbert's tenth problem for the ring of integers of a number field","version":1},"cited_work":{"arxiv_id":"2501.18774","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.18774","snapshot_observed_at":"2026-08-07T05:12:12.299682Z","title":"Rank stability in quadratic extensions and Hilbert's tenth problem for the ring of integers of a number field","venue":"math.NT","work_id":"0cf153af-a249-432e-a3a9-a73764e0f2bf","year":2025},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.684828Z"},"links":{"cited_paper":"/paper/2501.18774","citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:7e8d00fccf5c25cdcbe43c0ab3092de0c7c35b34cde430e96f23b1361ab869f8","observation_id":"84fdd3e0-b376-44d8-b497-5bbee64db2ab","resolution":{"observed_at":"2026-08-07T05:12:12.307521Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.691887Z","title":"IOS Press, second edition, 2021.doi:10.3233/FAIA336","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.691887Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:9ab77b19b3bceb42d2b280e5af3a167aa0208a526ba6ec854d4d44b980e69144","observation_id":"95564888-e1b2-4381-b2e8-37b3293f3708","resolution":{"observed_at":"2026-08-07T05:12:10.691887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"bams/1183540","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.259998Z","title":"Review: Martin Davis, Applied nonstandard analysis, and K","venue":null,"work_id":"eed59d4e-0743-4289-9a75-eeca50f2a90e","year":1978},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.699539Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:0cfd8fce7185a8281f2e81c85a0e0a5294145b011cf34a42e7cd5d913a973699","observation_id":"493f6a24-e417-4558-9803-d215dd41e5e3","resolution":{"observed_at":"2026-08-07T05:12:12.272075Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1386.32139","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.166781Z","title":"A machine-independent theory of the complexity of recursive functions.J","venue":null,"work_id":"9d2c68bd-7136-4a0f-92c7-f63056d78577","year":1967},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.705388Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:5d1a81ac8c01931548e9ff8ec27b31c6fd97150a23c80fb4b6763f743449660a","observation_id":"4f553216-c137-4141-81fe-e01c829d95a2","resolution":{"observed_at":"2026-08-07T05:12:12.178807Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.10154","last_updated":"2024-01-15T21:34:28Z","snapshot_observed_at":"2026-08-12T09:30:36.446813Z","submitted_at":"2024-01-15T21:34:28Z","title":"In Memory of Martin Davis","version":1},"cited_work":{"arxiv_id":"2401.10154","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.10154","snapshot_observed_at":"2026-08-07T05:12:12.053613Z","title":"In Memory of Martin Davis","venue":"math.HO","work_id":"9be9b1f0-d6cd-4106-a3b1-d7296b89cd1a","year":2024},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.710717Z"},"links":{"cited_paper":"/paper/2401.10154","citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:070e1270077d712bf775e93863f4b2e993a4157f8f98ab47b1a68ebe03f483f6","observation_id":"05a6624e-ee65-4561-b214-490c17104313","resolution":{"observed_at":"2026-08-07T05:12:12.063931Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.718929Z","title":"Omodeo, and Alberto Policriti","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.718929Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:e5afe5465f5b4cf28d90bb3f180e50288edd9b86a5de2aa66eb473e0d58693be","observation_id":"16131973-023c-42b4-802f-16545a1faa15","resolution":{"observed_at":"2026-08-07T05:12:10.718929Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.725782Z","title":"Theorem- provingbymatching","venue":null,"work_id":null,"year":1964},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.725782Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:12746136e5d65d30325b049ad367ae77faab961ddc1217e042b4b3bdefa3b2fe","observation_id":"67eb09e2-e71c-4ef8-86f7-64c03b527e3f","resolution":{"observed_at":"2026-08-07T05:12:10.725782Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2678472","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.010756Z","title":"Jack Copeland","venue":null,"work_id":"07f37949-4820-4094-9986-ada425025fc2","year":2000},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.731921Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:2f57f28df1bf24be9de758aeffc9fb746f55056aeada8aed53559024c2e5f386","observation_id":"8ca10af9-dfef-460b-b75c-0d88a6302604","resolution":{"observed_at":"2026-08-07T05:12:12.021489Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.738732Z","title":"Arithmetical problems and recursively enumerable predicates (abstract).J","venue":null,"work_id":null,"year":1950},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.738732Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:e279e736c0d53065a256c0bcfe3ce973a5894df7f6fe137938c0bc5f2540d912","observation_id":"fc76a306-7b3a-42fa-9fd7-0d3e0898219c","resolution":{"observed_at":"2026-08-07T05:12:10.738732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.744752Z","title":"PhD thesis, Princeton University, May 1950","venue":null,"work_id":null,"year":1950},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.744752Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:fa3c8750a54ea04880b65627ce0b8aa7c12b777a9f3691d79b242daff1bb03bb","observation_id":"87ad3ee7-da8e-4be1-bd94-9354a4d0948a","resolution":{"observed_at":"2026-08-07T05:12:10.744752Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.751987Z","title":"Relatively recursive functions and the extended Kleene hierarchy","venue":null,"work_id":null,"year":1950},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.751987Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:b8c9be05b53f8efb4b482b4032fc2905fa94801f4963b72015bdde71efcf7006","observation_id":"d9b38a1e-c486-4d56-aaed-8ec745768415","resolution":{"observed_at":"2026-08-07T05:12:10.751987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.759298Z","title":"Arithmetical problems and recursively enumerable predicates.J","venue":null,"work_id":null,"year":1953},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.759298Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:057cda25728a9cf55b2f4d02668854696e3562f84fdb3335ef8939e432d59c8e","observation_id":"5d0c6d63-7ecd-496d-98be-43d61d9ff190","resolution":{"observed_at":"2026-08-07T05:12:10.759298Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.770074Z","title":"McGraw-Hill, New York, 1958","venue":null,"work_id":null,"year":1958},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.770074Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:6e6b771ddf078aca315d854a3a967028988ce2291d3a7fcea35a5cf9a9152b67","observation_id":"0e9cb513-463e-466f-8a55-314421c9126d","resolution":{"observed_at":"2026-08-07T05:12:10.770074Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.775537Z","title":"Eliminating the irrelevant from mechanical proofs","venue":null,"work_id":null,"year":1963},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.775537Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:6c6afdff4e95a1c3221f67995c347485d472e8ccb738e6a7e1d658c0bc9df477","observation_id":"3a51eadd-8a61-4dba-b62c-5c3ce24e825b","resolution":{"observed_at":"2026-08-07T05:12:10.775537Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.781214Z","title":"Modern Science Selection","venue":null,"work_id":null,"year":1966},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.781214Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:35b4948bd936aa7162e18943c040222329cf7fd8f9fbb068470a0da350ba1b9a","observation_id":"295857c1-9b7a-4d1f-82d5-29e2faf9a5d0","resolution":{"observed_at":"2026-08-07T05:12:10.781214Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.786468Z","title":"One equation to rule them all.Transactions of the New York Academy of Sciences.Series II, 30(6):766–773, 1968","venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.786468Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:f62e9da3ab16ce1ece6ee372369d8a5e89b1aeafab6f83933e30f6055b28e7fa","observation_id":"91a20480-f8bc-4f70-8e55-ee2dde8e22e3","resolution":{"observed_at":"2026-08-07T05:12:10.786468Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.794787Z","title":"An explicit Diophantine definition of the exponential function.Comm","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.794787Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:5056566a591670d2f8665731862ee12befec0727ba6c2aee003eac8fb4c912ce","observation_id":"33652b89-7d70-4312-a7eb-fef7a986a429","resolution":{"observed_at":"2026-08-07T05:12:10.794787Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.799682Z","title":"On the number of solutions of Diophantine equations.Proc","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.799682Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:d0f6eca09989c5569c7e7c669f3b8861fac83eb519b2f790e712534985db73d8","observation_id":"0beb5bcc-aac3-4737-a0ad-83400978b3b6","resolution":{"observed_at":"2026-08-07T05:12:10.799682Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.807044Z","title":"Hilbert’s tenth problem is unsolvable.Amer","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.807044Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:15d2c7f117246e7f7ac571ffb1afcf107272dbb36f50976c00bac9b91680ff54","observation_id":"c67e1ad8-23e4-4dc1-a953-7967e16ff23d","resolution":{"observed_at":"2026-08-07T05:12:10.807044Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.818536Z","title":"Speed-up theorems and Diophantine equations","venue":null,"work_id":null,"year":1973},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.818536Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:5ee62ee808510c8ed0aa563e54b7e81bbf325a7adc3ad4733c5c27e285cf8bbf","observation_id":"ad69cfd4-8cf2-4285-8684-dd03c022deb0","resolution":{"observed_at":"2026-08-07T05:12:10.818536Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.823755Z","title":"Introduzione alla teoria della computabilità e alla teoria delle funzioni ricorsive","venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.823755Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:86cfcfc8617738847c1b4ea8ae34680c693ac53c8f11d881b5f22497e2a1c28d","observation_id":"55326fe6-9698-4391-ad55-a748cf776af5","resolution":{"observed_at":"2026-08-07T05:12:10.823755Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.311326Z","title":"John Wiley & Sons, Inc., 1977","venue":null,"work_id":"362167af-f50e-4f33-8924-ab2ce4a70484","year":1977},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.828717Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:13993ed73312f8aa5c49be44987d74f15cd4cf1ffe10f9c0a37e819a744da4d0","observation_id":"1a39cdf8-38ff-4179-978f-fa8c62a7ab3c","resolution":{"observed_at":"2026-08-07T05:12:13.317048Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.295523Z","title":"Unsolvable problems","venue":null,"work_id":"256754c7-0d06-421b-950a-32f69bc40ed3","year":1977},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.833505Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:cda457079d87043b130ee02e3469a656e0451d912aefcdde111921c3886671f7","observation_id":"44a666ca-47d4-4222-b433-46fae0b11dc8","resolution":{"observed_at":"2026-08-07T05:12:13.300111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.278353Z","title":"The mathematics of non-monotonic reasoning.Artif","venue":null,"work_id":"797ab071-e4a1-414b-97a1-53ddaad1ed93","year":1980},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.839625Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:62ff77692b2973fa7c0cd697c2631bdc8ff11dc2784c2fb542ea6665b490171f","observation_id":"7ad2b5ce-13ab-41a4-b888-df3964537bb7","resolution":{"observed_at":"2026-08-07T05:12:13.283411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.255505Z","title":"Obvious logical inferences","venue":null,"work_id":"1529c89e-14c2-414b-a7da-8d6c4870464d","year":1981},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.844906Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:0f9fae664fb23aa368dbf9f3c34c097833a09e06e27008363e2a272873889fa2","observation_id":"3c3b05bd-a045-4946-9680-b27d8a12d3e9","resolution":{"observed_at":"2026-08-07T05:12:13.261148Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.235321Z","title":"Why Gödel didn’t have Church’s thesis.Information and Control, 54(1/2):3–24, 1982","venue":null,"work_id":"f6d4a639-e816-4830-ba44-b806df846d99","year":1982},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.850728Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:391e405f53345c3263401d357fe4931961d144cc3b2b035c4a991b602a325a95","observation_id":"144347aa-7824-4ac0-9405-68846e29eda8","resolution":{"observed_at":"2026-08-07T05:12:13.241095Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.215668Z","title":"The prehistory and early history of Automated Deduction","venue":null,"work_id":"e85885c6-a74c-4b80-b0fd-8bbadb6e7e3d","year":null},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.855765Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:822deeb1510b035dfae21a3b826e701a9f7313681eeace47dbbe1dd11fee8f63","observation_id":"03d28668-888b-4558-a023-21b9584831f6","resolution":{"observed_at":"2026-08-07T05:12:13.222200Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.198969Z","title":"Is mathematical insight algorithmic?Behavioral and Brain Sciences, 13(4):659– 660, 1990","venue":null,"work_id":"127a3693-0b32-425a-85fe-63b4ca83c354","year":1990},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.861173Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:3eb6e229acd744ab5f938229acfabfc647912b441f0ca2e1561e3d1a39172cbb","observation_id":"14f1856d-643c-42ca-b482-bc458a59be10","resolution":{"observed_at":"2026-08-07T05:12:13.203959Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0140525x00031915","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"How subtle is Gödel’s theorem? More on Roger Penrose.Behavioral and Brain Sciences, 16:611–612, 9 1993","venue":"Behavioral and Brain Sciences","work_id":"3200f0b0-f76d-4014-b61e-f42d51f8b282","year":1993},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.866448Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:4ca9802aa667eb43b8756b72064646578882fd83d0d3131e608eebf102aa5fc7","observation_id":"fdf69251-2d49-4aee-94d9-41a987cb2bce","resolution":{"observed_at":"2026-08-07T05:12:11.526128Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.182871Z","title":"Foreword to the English translation of [74], pages xiii–xvii","venue":null,"work_id":"8a93d2fa-5225-468a-9cd3-d1bdbc02546f","year":null},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.871792Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:c719e72b41dd5b9e33e0a78acc7ae3f7201e61e93273ab0fc5c57e096107e2ce","observation_id":"9c9ccccd-5196-4e3b-b0d5-b8e148cef864","resolution":{"observed_at":"2026-08-07T05:12:13.188148Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.148575Z","title":null,"venue":null,"work_id":"6a257f6b-ca43-4599-960a-677ad5d2f824","year":1994},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.884946Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:428b6ff73a361ed45b9b7e50900896db0bcfd39695b50cd11519ae289c2c1d17","observation_id":"28fe83b4-30fb-4e63-a28f-2ec516e4ae98","resolution":{"observed_at":"2026-08-07T05:12:13.153956Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.131935Z","title":"From logic to computer science and back","venue":null,"work_id":"4bf47981-b7cf-42a0-a2c6-f412900145b3","year":1999},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.891118Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:cce890a748f2c8ae3239461165d723b81dfb06eddd71916f1e311c81a123c7fe","observation_id":"43bb9fb0-a9a1-4c5c-ad44-49b1add7dcda","resolution":{"observed_at":"2026-08-07T05:12:13.137063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.114893Z","title":null,"venue":null,"work_id":"5b169793-3a60-4d02-863f-e6ac6861ebb7","year":null},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.898595Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:455189f48a0f133c3ce8915f5024b8d83351b9a2bf1c994d4a1fa87532b78e53","observation_id":"c45aeece-f9d6-4f08-b502-c361ec1b100f","resolution":{"observed_at":"2026-08-07T05:12:13.120250Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-05642-4_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"The myth of hypercomputation","venue":null,"work_id":"2245274e-67e5-4e28-97b1-cb5c5db83268","year":2004},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.909999Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:86d0c9797a3030319565f6a527ddd814db62f7d1b7d66cd24edb96a8c7186f71","observation_id":"9388b4dc-6ba3-47dc-88cc-982ece4f90db","resolution":{"observed_at":"2026-08-07T05:12:11.505070Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.082901Z","title":"Why there is no such discipline as hypercomputation.Appl","venue":null,"work_id":"eddbc809-5676-4311-86ae-353cc259d609","year":2006},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.915352Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:db86113c9ec20a8aa3e6343e63bd49c9667ede163273e4edf109a25909f9a269","observation_id":"116e4280-f71b-4176-b7af-0c1c704f54a2","resolution":{"observed_at":"2026-08-07T05:12:13.087852Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.066359Z","title":"Representation theorems for r.e","venue":null,"work_id":"ccd53670-df11-4aa5-89aa-0e1a452b3497","year":2010},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.920170Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:53ab135803bb2c0f6a3093ccd1cb9306525f021e95f08923da7d51d449952d5c","observation_id":"cdbce24b-cb74-4970-b7ee-fb471ec4b152","resolution":{"observed_at":"2026-08-07T05:12:13.072028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.049180Z","title":"Representation theorems for recursively enumerable sets and a conjecture related to Poonen’s large subring ofQ.J","venue":null,"work_id":"33321265-6b0e-42e5-832e-dee5ff6de20e","year":2010},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.926781Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:dca770cc8a30ac6c7e561261de2db7f4f4994010c5cc024fef1bafaf2ba4123f","observation_id":"d37715cf-2784-48ac-b408-531436bf21d2","resolution":{"observed_at":"2026-08-07T05:12:13.055385Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-48006-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Seventy years of computer science","venue":"Lecture notes in computer science","work_id":"0ca5e0ab-8780-4041-96b5-5419f655fe60","year":2020},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.941895Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:aebd2db4b76a170fe1622878391a9eb89bd53c56414e0e401e4334c3ff3004a9","observation_id":"0ba6763c-09f2-438d-8026-9aea92a71464","resolution":{"observed_at":"2026-08-07T05:12:11.465313Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.031612Z","title":"A free variable version of the first-order predicate calculus","venue":null,"work_id":"a3e80a55-a474-47b1-843a-ef024d9162a5","year":1991},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.947280Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:1d4c92685f9e8c8fffffb1218227e5559d1275782be2106ead98f59210da2122","observation_id":"f011ab6e-feb4-4e57-95b7-8bc3fbfdbb08","resolution":{"observed_at":"2026-08-07T05:12:13.036987Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.013654Z","title":"Nonstandard analysis.Scientific American, 226:78–86, 1972","venue":null,"work_id":"8bc1efb4-8a17-4f4a-ba51-5d54d78980b3","year":1972},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.952850Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:a16cc63235441f513fadfae309e89d9898fa5602e4c38ac01cdb3f4c1518b2d4","observation_id":"c8d40195-27e8-4288-a4a0-08a327294d00","resolution":{"observed_at":"2026-08-07T05:12:13.019178Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.997055Z","title":"A machine program for theorem- proving","venue":null,"work_id":"573d5ee3-39ee-4265-bbb3-90b065b9c4df","year":1961},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.960629Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:e497b50a3879acaf396e3b36f4a36bf1c071da5750cd9a295d546fddfeb94079","observation_id":"4d0a58d8-e2f7-4130-8277-7b0cbfa5e2f2","resolution":{"observed_at":"2026-08-07T05:12:13.002230Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.980755Z","title":"Loveland","venue":null,"work_id":"904db70c-6523-4941-a4f0-360409eb89da","year":1962},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.966795Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:9e868fe49ac0d7bd79da45a259c16de88297d0720963832e7dc5b1527058494e","observation_id":"759f69e6-3c65-401b-b7a1-571aab9ce656","resolution":{"observed_at":"2026-08-07T05:12:12.986163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.963870Z","title":"Hilbert’s tenth problem","venue":null,"work_id":"4b7361a7-e778-4f17-bbc2-310e50938817","year":1976},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.972130Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:6f0e5c817162f817c897f03cd0d57d3cd41706cc5c37edc1f9803c566ed7a978","observation_id":"4e8fed31-0a0c-44cc-8f8a-7af2259d64ba","resolution":{"observed_at":"2026-08-07T05:12:12.968884Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.946523Z","title":"Feasible computational methods in the propositional cal- culus","venue":null,"work_id":"282038c8-9be6-4c21-ae6b-bf43571b1219","year":1958},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.977995Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:77c58df51f35dcca49bd0b40dee44d6db5e803607b7fcc551908383cf2abf42b","observation_id":"42c6a0b4-a12c-4e32-8cdc-0fc69eba9d86","resolution":{"observed_at":"2026-08-07T05:12:12.951590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.929225Z","title":"Reductions of Hilbert’s tenth problem.J","venue":null,"work_id":"43ff9190-e633-4957-a23a-9ef08e4d3bb7","year":1958},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.982798Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:62654c23c97b856b68521f68c304908c712e6890ad4563ff446cc2adec59dd45","observation_id":"56317693-f8c5-43cf-863f-62ee3946de3b","resolution":{"observed_at":"2026-08-07T05:12:12.935286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.911249Z","title":"A computational proof procedure; Axioms for number theory; Research on Hilbert’s Tenth Problem","venue":null,"work_id":"ce11006e-ecb0-4283-9036-b34ed1cbd207","year":1959},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.987829Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:b6127d5bec9fa9653f7f0016335c93ddc29e2c3952b72444a4b6b63e47ab6f2a","observation_id":"88fc0323-b124-44e2-a15a-258c3510f235","resolution":{"observed_at":"2026-08-07T05:12:12.916315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.895873Z","title":"A computing procedure for quantification theory.J","venue":null,"work_id":"2e0e56a3-c1bf-4ee2-9e08-603158dcd49c","year":1960},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.993635Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:c183bd3bb73e0cd9c0bd5b0d93d888e3cddd2c40b3fbd387b15bac67d283a068","observation_id":"4145f99a-e7ea-4a68-bf20-cf67e82e7a55","resolution":{"observed_at":"2026-08-07T05:12:12.901010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.879603Z","title":"The decision problem for exponential Diophantine equations.Ann","venue":null,"work_id":"c954a83b-8674-4903-8209-ce6b29be3b02","year":1961},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.998966Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:aa0c75a088c77b24f2b2e11e29a7cbb0a389e9634e61d279a61e5710bf42ce65","observation_id":"95bdbcef-ea07-4084-a17a-e1d3b01f5032","resolution":{"observed_at":"2026-08-07T05:12:12.884806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.862153Z","title":"Schwartz","venue":null,"work_id":"d79de302-6358-4770-b11e-3de02a605910","year":1979},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.004610Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:bd11603b8c302c21657f0d64b7c6cfa31b561d57abc8a76fd7ed7e40783ad960","observation_id":"7064688e-c3ef-4067-ad36-8f486bd9635a","resolution":{"observed_at":"2026-08-07T05:12:12.866978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.844286Z","title":"Conceptual Confluence in 1936: Post and Turing","venue":null,"work_id":"4aab61bf-8bda-4b1d-bd2d-495a73fd5bbd","year":1936},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.014492Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:c8940c7dfa5d4f8de4df69a27cc25bb694c47962085ad4332034083dd15b9474","observation_id":"74b0126c-2564-4331-90cb-a02a7fdfd5ed","resolution":{"observed_at":"2026-08-07T05:12:12.849724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.827641Z","title":"Weyuker.Computability, Complexity, and Languages","venue":null,"work_id":"e82f1775-4f8d-46fd-8fe1-30ba57a69ecd","year":1994},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.020169Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:c73f73fe9271acaae3adfcdf533d4f0890af348d16eee345b044ab7d8e9bb9fd","observation_id":"f4419cd6-84f8-48be-9425-2868e3184dc1","resolution":{"observed_at":"2026-08-07T05:12:12.833174Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.810084Z","title":"Fundamentals of Theoretical Computer Science","venue":null,"work_id":"5ca8eb27-ac85-49b3-91ac-f2599ef9baa9","year":null},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.026022Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:5a0a5060d31761148eaae7a94fd15b2f3376af72c0f0d9b0e14e6641cfd80a91","observation_id":"d100099c-f58a-4ddb-bd64-8a2dc362b051","resolution":{"observed_at":"2026-08-07T05:12:12.815838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.793999Z","title":"Daylight","venue":null,"work_id":"c0d06d8c-b00f-4fa9-8587-102c17c11b7d","year":2014},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.031835Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:d6550ac6ff46c7740102fee389889439f08703c980ee348b0ee7065c36b49830","observation_id":"37e69f53-616a-41c4-a5d8-2229a4902080","resolution":{"observed_at":"2026-08-07T05:12:12.799304Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.777095Z","title":"Daylight","venue":null,"work_id":"7bd91007-ef9f-44f5-b6be-48d4eaa9d0e8","year":2018},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.037856Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:bbce255934767c535ef829ce1798f40cb901868837574572204c8d735cdcf973","observation_id":"a196c35a-8b9e-4148-a12e-b03e4241bdb9","resolution":{"observed_at":"2026-08-07T05:12:12.782372Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.759805Z","title":"The confluence of ideas in 1936","venue":null,"work_id":"4f580d1a-3058-4426-ac06-221d5112d43b","year":1936},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.043553Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:14df3670171b9469d6f19038e62a9b2c85111db23a1c2b74a68ef0021b1abc06","observation_id":"0e3f2670-f2e9-495e-b785-92b536067252","resolution":{"observed_at":"2026-08-07T05:12:12.764688Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.048903Z","title":null,"venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.048903Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:c94e1cd4f9e843747d970153836431cbe19e5e9f880c758287697ad16c76a287","observation_id":"27d93a7a-81aa-46f5-a883-7d6776b6158f","resolution":{"observed_at":"2026-08-07T05:12:11.048903Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.057061Z","title":"The primes contain arbitrarily long arithmetic progressions.Ann","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.057061Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:f4e3e49bc85e84ecfbe191c22b6d1f0e21b334ddfdb51c74106e186e9766bd1a","observation_id":"bddca253-e2f2-4608-a864-b03d76f3be45","resolution":{"observed_at":"2026-08-07T05:12:11.057061Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.742889Z","title":"Mathematische Probleme","venue":null,"work_id":"3c6d564b-9e46-4909-82c4-7ed068734cca","year":1900},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.063409Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:b5ee2764ae37dd2e4fe1e5663bfdf54867cd6b1af669287bd56822aa3a7b0960","observation_id":"732c3341-64ca-41d3-887b-e6ff726f1087","resolution":{"observed_at":"2026-08-07T05:12:12.747716Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.726651Z","title":"Mathematical Problems","venue":null,"work_id":"772b7ccb-706f-4726-8195-85421ccaa3f5","year":1900},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.069854Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:1ebc029cfa2a223ca1e0581949c988d1feece888990226ce5524d290d506f0ad","observation_id":"a58b99ef-b451-4b21-9fcd-f2fc5c2794fa","resolution":{"observed_at":"2026-08-07T05:12:12.731609Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1090/noti457","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.401229Z","title":"Interview with Martin Davis.Notices Amer","venue":null,"work_id":"70a34b25-91e8-4617-a6b7-5817979609b1","year":2008},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.080153Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:2724266e0b35c3fdd05b316c04faf10f16371139bc253191312290e7995ed318","observation_id":"403ab4e7-1a5b-48ec-81f7-b735b873f67f","resolution":{"observed_at":"2026-08-07T05:12:11.407573Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.086458Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.086458Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:86080dda4b9d4611c9f2048dd5116db4a4eedf49a6d9ce83cfa2b536645de29e","observation_id":"9b35c975-f494-44c1-8988-a964650965df","resolution":{"observed_at":"2026-08-07T05:12:11.086458Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.709382Z","title":null,"venue":null,"work_id":"a669a049-8b70-48cf-96ad-148433d7a835","year":1952},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.091353Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:ee148b69298947bc129f54a065c53808de388c0cf60de6d6f3318f6d9b9372ab","observation_id":"bbf30091-d83a-40fa-8f53-80c4925fe0bd","resolution":{"observed_at":"2026-08-07T05:12:12.715011Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.096400Z","title":"Hilbert’s tenth problem via additive combinatorics, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.096400Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:4b72664ed5c806b8b7621ccf09f1437635ac3a0cbfd56a178f6140b0a2aa0dc1","observation_id":"9e94869b-2dc9-4796-a9c6-66fa8fb7c305","resolution":{"observed_at":"2026-08-07T05:12:11.096400Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.692579Z","title":null,"venue":null,"work_id":"2ace8582-8803-4d3b-9fad-9fa09935fb05","year":1988},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.106065Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:255a0e1b2709165126d1f74a1798683b14986f60dc8ee514b108008d27394b43","observation_id":"15ee793a-0c04-4e0c-9b28-8b70647a6219","resolution":{"observed_at":"2026-08-07T05:12:12.698412Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.675687Z","title":"Mal’tsev","venue":null,"work_id":"3bde40a1-cb09-4f1d-bebf-0f12424edece","year":1968},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.111886Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:9c6e63963b72d621c856ce7052ba570563374e043c6913c1d234e57e34dfadfb","observation_id":"2aaadf4d-abba-4188-aafd-23dbdb8ca864","resolution":{"observed_at":"2026-08-07T05:12:12.681359Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.657631Z","title":"Almqvist & Wikseil, Stockholm, 1970","venue":null,"work_id":"b0965385-2140-4043-9464-9cc7c4230192","year":1970},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.117778Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:267e15d534c47f27ef3f62b2babcdeb838018ce799c2a1c79780c91d8e045efd","observation_id":"d6d5ed60-967d-46ae-9237-bd5e85c4e43f","resolution":{"observed_at":"2026-08-07T05:12:12.663765Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.638793Z","title":"Matiyasevich","venue":null,"work_id":"789487b6-7d23-4d53-a914-eec044ff446f","year":1970},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.122872Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:a67343e7a7b2dc78a22060309a6f25a9aa706377ef2e6534500472f0f336b2be","observation_id":"4d82f91d-b098-4c22-84f4-3f89c6876cb3","resolution":{"observed_at":"2026-08-07T05:12:12.645433Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.620572Z","title":"Matiyasevich.Desyataya Problema Gilberta","venue":null,"work_id":"79811ca5-8564-4793-882c-e78cd2050d65","year":1993},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.127663Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:d2da07e7387a94e1791cc7085d7d360957ae66c41215cd1cf830a27dee0ce6fe","observation_id":"3d3517b6-149a-4f7e-85c4-3d49a727ab6e","resolution":{"observed_at":"2026-08-07T05:12:12.625750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1090/stml/088","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Ram Murty and Brandon Fodden.Hilbert’s tenth problem","venue":null,"work_id":"0f26590a-7fcf-4b1c-b7ab-95d207d8faaf","year":2019},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.143756Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:15789ed974687969c81c4f9397769b1f166dde764ada8ec69e78843235c9587e","observation_id":"b9b8e7bd-71ab-4cef-add9-de65cbe061cc","resolution":{"observed_at":"2026-08-07T05:12:11.388875Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.588556Z","title":null,"venue":null,"work_id":"c08dad42-e82e-410f-9a79-5e71e56b7a3d","year":1982},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.149091Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:80b628ea9e3e50a643185e012c5613fc762d5daeed7e848100629ac81754bbac","observation_id":"30e5caef-d931-42e4-b230-b28beeb952a2","resolution":{"observed_at":"2026-08-07T05:12:12.593148Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-41842-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Omodeo and Alberto Policriti, editors.Martin Davis on Computability, Computa- tional Logic, and Mathematical Foundations, volume 10 ofOutstanding Contributions to Logic","venue":"Outstanding contributions to logic","work_id":"bc74106e-de93-43f5-beb9-40e20d0a265d","year":2016},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.154171Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:4165439dcb8e034f5457c9dc628048af28be11ea736260f8ca7a778f8fe749e0","observation_id":"3b18555e-389f-400a-8c31-cca60d5e0f59","resolution":{"observed_at":"2026-08-07T05:12:11.487047Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"oclc/1972427","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.752168Z","title":"Oxford University Press, 1989","venue":null,"work_id":"be93c429-6a2e-4bf9-996e-e6fc79628061","year":1989},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.158921Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:2a24c2ef291fc4874356215cb568b2ab47a8ae1a640718c3729fa92e95d826b6","observation_id":"49568021-bb7e-4efc-849c-5304077b8dc3","resolution":{"observed_at":"2026-08-07T05:12:11.760240Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.573456Z","title":"Oxford University Press, 1994","venue":null,"work_id":"82b20668-7753-432e-88b0-69ca4e467bbc","year":1994},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.164300Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:6e2227580416b6699be3579e401536f3133ea919df5234c4b9ca912971346a34","observation_id":"af990a27-30c0-4657-8b49-96cac53dd077","resolution":{"observed_at":"2026-08-07T05:12:12.578128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.557755Z","title":null,"venue":null,"work_id":"989bb8dd-c283-4244-bee1-3f9b09687a9e","year":1943},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.169424Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:eaee632ad571b262216e7478baa81f8fb4f6ff045840aab4678a280870bd6756","observation_id":"ce8fd2a0-ab47-4abd-8cae-89b5bea545b8","resolution":{"observed_at":"2026-08-07T05:12:12.562687Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.542054Z","title":null,"venue":null,"work_id":"74b654b4-fdec-4c1d-806b-4ab31ef89d80","year":1943},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.175739Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:604f300b4b7dbbdab38ff0ece4fab46c5e4245b082563def313863ed6dd29b4c","observation_id":"291f0190-42ce-4d42-9429-a1da6c8ab583","resolution":{"observed_at":"2026-08-07T05:12:12.546923Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.526109Z","title":null,"venue":null,"work_id":"0a0a284e-42f7-4124-a9bd-4f23420e4485","year":1944},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.182068Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:e042b9d11a1323b52ec2f1e7e77054695918c84e526e05aba042d0f0261fd774","observation_id":"36424fa0-2d0d-4fdb-aa8c-180cb72953b3","resolution":{"observed_at":"2026-08-07T05:12:12.531204Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.509792Z","title":"A mechanical proof procedure and its real- ization in an electronic computer.J","venue":null,"work_id":"4755cf03-8ba0-4615-aea5-10d8fc2f05c9","year":1960},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.186863Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:f9db9482b26aba55765851ee25b0c3e753e70623ad7ccb37b649d4c751b801e7","observation_id":"971fc79e-6a3b-4ea0-b0ac-b8418184811c","resolution":{"observed_at":"2026-08-07T05:12:12.515784Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0868.01020","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.639023Z","title":"MAA Spectrum","venue":null,"work_id":"ec42d064-b8d4-4651-97ee-9739cf7fd9c1","year":1996},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.191861Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:0324e9a1e56be500212ce063dbd69c3aa936b53a22a0f5679ad453496d11cb6b","observation_id":"bc1c26bf-116a-4815-a947-b0aa0b330f0e","resolution":{"observed_at":"2026-08-07T05:12:11.647812Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.494178Z","title":"Obrazovatelnye proekty","venue":null,"work_id":"4728ab3b-c0a5-4b26-8fc4-a4fa2bac27b9","year":2023},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.196837Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:c92daaed2a05094831b4338b59fc2e305e25823c301b4cf7d7cf20cedf269b49","observation_id":"8295bef7-b031-4226-b2b1-6e32712ec675","resolution":{"observed_at":"2026-08-07T05:12:12.499157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.477223Z","title":"AMS, Providence, RI, 1996","venue":null,"work_id":"06a9d2db-3bc5-4432-a8c8-e80f9545cfbd","year":1996},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.201861Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:f7e78ed8237ad48e9533675adea838352afd56a2f45d31fd7cbd32e7be78efc4","observation_id":"dc4002f4-db86-4525-9112-4acf3cf4e7ed","resolution":{"observed_at":"2026-08-07T05:12:12.483261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2269027","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Robinson","venue":"Journal of Symbolic Logic","work_id":"5d87f17f-d86d-46ee-a4d4-8e231d8d0ef5","year":1956},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.206635Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:4e3574e50191bb59a42529629cb51a5643e482c5c942d8ee28e649150babf80d","observation_id":"42887ead-f5fb-4315-9e7a-b0dcbe9488e9","resolution":{"observed_at":"2026-08-07T05:12:11.368659Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.459995Z","title":"Sacks, editor.Mathematical Logic in the 20th Century","venue":null,"work_id":"7d0267a5-2756-4f42-8237-c648804948e7","year":2003},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.211644Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:3bc238378c1fbeed4c8f7126bd4dd790a880ec9bad574c1aa18fb8309322b654","observation_id":"b41faa1b-af63-4df9-86c0-aabb42146a05","resolution":{"observed_at":"2026-08-07T05:12:12.465145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/421012","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Step by recursive step: Church’s analysis of effective calculability.Bull","venue":"Bulletin of Symbolic Logic","work_id":"f2a47ed6-7a92-423f-a0f1-fc72dccc631c","year":1997},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.217194Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:f4627c2099010c99947e692c5bdcf92e282f4094764bbb0e6b4fa1b6b828f154","observation_id":"2d203448-6e6a-48a8-9755-8978b641757c","resolution":{"observed_at":"2026-08-07T05:12:11.344643Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.440834Z","title":"Siegelmann.Neural networks and analog computation: Beyond the Turing limit","venue":null,"work_id":"7be5d9ac-524e-4d0b-bc0a-83d757e73468","year":1999},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.222316Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:eafd1d74b0b39a83b8d9ab01169f9fbf506ee35f02d40b3ac26a7de10498882c","observation_id":"50b7cd4a-b0bc-43b2-9d6c-c7c3600d73df","resolution":{"observed_at":"2026-08-07T05:12:12.448567Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.423115Z","title":"Springer, Berlin, Heidelberg, 1983","venue":null,"work_id":"173d3f7e-3fda-4a95-87cf-b1ca88e2ae34","year":1957},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.227046Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:5b8403cb7751115268f93c39da180896b1bb4164a750cef03873ff81e4df2a92","observation_id":"f3ca1880-6357-42e4-bf39-c6c2bfd1a9af","resolution":{"observed_at":"2026-08-07T05:12:12.428335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-0-387-68546-5_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Amethodofpresentingthetheoryofalgorithmsandenumerablesets(inRus- sian).Trudy Matematicheskogo instituta im","venue":null,"work_id":"e3c1b3a7-3a2e-4fe4-95f3-078815f59363","year":1972},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.232104Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:0e0edc5de61b30ee553a0b1a0293a8fb75f2aca826962ce0c90d054dbc2829c2","observation_id":"247a4f19-c695-4dd8-9cd6-7471709d8955","resolution":{"observed_at":"2026-08-07T05:12:11.323406Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.406503Z","title":null,"venue":null,"work_id":"e206b5bc-ff3a-4353-ba83-1a1f97969805","year":1936},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.237226Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:535c5cac286657fddd59d92ffc1c2b865cd168d027d065e8175d1bdac108a97e","observation_id":"b20f1c11-e737-4b8a-92e9-59dd1aee4f48","resolution":{"observed_at":"2026-08-07T05:12:12.411399Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.389851Z","title":null,"venue":null,"work_id":"40bb6e7b-2386-4dd2-9f77-b346b49fc221","year":1950},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.241956Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:9be8abb0ff8b7e86b1edda22cd28ab6e7455ad1c70fba854a1a3d55fe07b97f6","observation_id":"d277c72a-eb86-4f38-8c46-c3319089eb8b","resolution":{"observed_at":"2026-08-07T05:12:12.394822Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.372809Z","title":null,"venue":null,"work_id":"dfb93ec9-2882-4275-bc0e-3cb7a273facc","year":1954},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.246970Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:6ca56883f36c33b17851bfa3ac28a538b855a6c4e919e33c853620055705537f","observation_id":"bb5427d8-af65-4ad9-babf-0744596c1944","resolution":{"observed_at":"2026-08-07T05:12:12.378345Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.251849Z","title":"Toward mechanical mathematics.IBM Journal of Research and Development, 4(1):2–22, 1960.doi:10.1147/rd.41.0002","venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.251849Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:d9d9dc411a5dd702279aef66acbbeace8be5059da7e59bd5f112d4d99cc1916a","observation_id":"eb3318e6-d6f8-4d25-b9ef-0f0bf6bbfe3d","resolution":{"observed_at":"2026-08-07T05:12:11.251849Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.353384Z","title":"Webb.Mechanism, Mentalism and Metamathematics","venue":null,"work_id":"bdc4b54f-5a1e-439c-90a3-96e230755232","year":1980},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.256690Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:241d4a7141dd2cffbda6192442c0959425f89c9ada67451e8a5fea0fb8032e43","observation_id":"14a6ee84-09d2-4330-88df-04e358790a88","resolution":{"observed_at":"2026-08-07T05:12:12.360092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.324796Z","title":null,"venue":null,"work_id":"88110151-77b6-4414-af8b-188e4e28015e","year":1976},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.261475Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:372c994a2bd14979951ce642e9b1a6a3c551595c0107edd2bc4e08af204c460b","observation_id":"95adfb6a-5942-4c45-b7e4-502246defa2e","resolution":{"observed_at":"2026-08-07T05:12:12.334723Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:10.812892Z","title":"199–235]","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":1973,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.812892Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:644b9472aba289017ac84518ae7429405fe5ed2f041b525431773d116467e362","observation_id":"11c02b3b-3935-40ea-96e3-fcfb2c04c658","resolution":{"observed_at":"2026-08-07T05:12:10.812892Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.165634Z","title":"The collaboration in the United States","venue":null,"work_id":"575193c4-b458-41c8-b25e-c308bf915934","year":null},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.878848Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:9d62fb280d595da289b9c4d1d1dff6f79528bc43f58b7c174f014fe18703e199","observation_id":"7ea4f7cb-a4e3-4ba1-9506-04e1c9b2cce4","resolution":{"observed_at":"2026-08-07T05:12:13.171217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:12.604429Z","title":"URL: logic.pdmi.ras.ru/∼yumat/H10Pbook/","venue":null,"work_id":"abbaec67-c5d1-4a38-8e58-107fae79138a","year":2022},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":1995,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:11.132991Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:5bd7bb5d2d4efca945fea23b215259b80605bb761f8b626cf8cad2b0677aec20","observation_id":"122c6bbf-36c6-4c2c-9eb9-11e6316f66d4","resolution":{"observed_at":"2026-08-07T05:12:12.609724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:13.099215Z","title":null,"venue":null,"work_id":"72e54a42-24c9-4178-8795-76e8d4b47dfa","year":2012},"citing_paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy","version":1},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-07T05:12:10.904822Z"},"links":{"citing_paper":"/paper/2506.08588"},"observation_digest":"sha256:8526b9f38af5215a5d5e2730c07c9cbddb272d4573074573d473803e7ded9b16","observation_id":"053d7eb1-d18c-4d7e-a1ad-09901017391a","resolution":{"observed_at":"2026-08-07T05:12:13.103938Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.08588","last_updated":"2025-06-10T08:56:48Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T09:30:10.809791Z","submitted_at":"2025-06-10T08:56:48Z","title":"Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy"},"reference_resolution":{"displayed":97,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":35,"verified_exact":14,"verified_fuzzy":45},"total_outbound_references":97},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 97 of 97 outbound references and 0 inbound Pith citation observations for arXiv:2506.08588."}