{"as_of":"2026-08-09T10:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b7b0c1244598eed347a04de0e0d716cfebff86853bf4d856c2ba7d77ac35234f","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-09T06:31:02.800959+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-07T05:04:29.225280Z","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:43edcbda146efc73f92e65a98ecec50b4fb807bacd2c76dd1573ae0c5ed7f05d","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-03T06:57:23.982202Z","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-07T05:04:29.225280Z","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:8d42eb51266990f204c0e98f02a1ee42391be74cfdaddbce487bf8c2cbd30bca","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:9d5621a65754aba16b5c6fedf533307d3d0018479fca4cfc9bbcd863786cc453","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-07T05:04:29.225280Z","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:7573792136b13be07ef4fde54737e4c8340b40bef8631d316acb98bc6099a59a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:a5703b036a909b7abf6ad4cf234644d4c3ca000140e67d313962778d18e24b26","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T08:25:32.518928Z","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-07T05:04:29.225280Z","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:189e8810cc7c1274b8a51a23e53805994a325bb0d6b59f55c51a1e47001f6c65","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:de7f7bd29ad340fb000652955e15762bbe51031f7b50b6e2bb86fdb81b6ff1fb","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-07T05:04:29.225280Z","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:d483a0592cceb1e027da50a42e17706093ececcaa3107396aa5ac1f6dc0ddc35","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-07T05:04:29.225280Z","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:ca1588bbb5552e1bd47b0879ecba538b3bf74111bdd90acb23c09038688c1b44","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:ba815e186f55d2ee8fa5909c964ca18bada51d3e2cd2278d06dafe76b02c815b","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-07T05:04:29.225280Z","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:f2f8214b11df155bcdab49cb383afacefb61aabb783e50f5a8401daf9d0962a6","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-07T05:04:29.225280Z","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:13c21c70df2c6401866f9318a70e07a3388f3e77ad9ae243a29963d21cd0229f","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-07T05:04:29.225280Z","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:54ecf9d5b051c185dcaffd7c2d715086e99619fa5d769d79bd00e58c2f567649","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-07T05:04:29.225280Z","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:21b881b5d9bfa8e641a4338ff4fdf91c879c6f50b742c9924ce87943a3ae093f","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-07T05:04:29.225280Z","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:cf06b60a098197ff560ef8eecd6c990f85ec93f64e89dbc17a2132a6f980704e","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-07T05:04:29.225280Z","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:8ff74099acc5a39618d089390d8e42fbdec5161f45c8fc710cae903489c4bd33","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-07T05:04:29.225280Z","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:97bec098c4bc68585febbb13bb7fe7bbecae195434b8674fad1968a439ada742","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-07T05:04:29.225280Z","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:f17da1a1397f6eb285e529fae23f46ac02647e0f131842c4bf1295a67977c23b","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-07T05:04:29.225280Z","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:499a220cedcef2ca149ddd4ad41a04c89d24c505fe9d09935c88c6823cb0f4d4","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-07T05:04:29.225280Z","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:525dcbe5ea1c87915d28a8c7a66e70543349f6b78487acd55e86373bf51c16e9","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-07T05:04:29.225280Z","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:f02f4e4184b1eb9a80b94da00f9b139fda867e897204867eddef02293013e0c8","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-07T05:04:29.225280Z","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:8dcbe205ed3a675eabd62617af3294c423301af0bb60531797a72e63cbe022ae","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-07T05:04:29.225280Z","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:8e4c6532fa24c42e3a4052830f823b2c35acf87dd19b456ddde38f0f03715185","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:0e1efc41e6c68eb66166074816a5d8b7b6e1bb365d81c97e23ee915bb0b2eb88","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:6d566f935903130b50833a7c6b263cb1645debf4ad5af07cb7116faafb6f9ebe","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:30abb1d72125e3760bd8d1e3655a5720a900dba0b6ca40154777a491448b0434","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:c269228f15949be907f7619259ff73b663074254e75bb5cf9c02c8018b6a606c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:f23dd2c7b736cc1bb72393f4ce578772863ff9dd5963e3c3034f97090f398cdc","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:10bac7693859c9543fb4d2e4f725a0a122c48726fca87f656a028df18f49e86a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0140525x00031915","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.520373Z","title":"How subtle is Gödel’s theorem? More on Roger Penrose.Behavioral and Brain Sciences, 16:611–612, 9 1993","venue":null,"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-07T05:04:29.225280Z","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:b224f0c45260650270863753312ee1c0534996219a9d4c286d36d0068fe5135a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:ea58b0c67f6e10873351d21d18d8609b8ee2b1919b2efa4d57d7b6a82b79fc61","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:85f836ca684668816950359de7bb749679c72fbe1e14daf744654ea275d271d1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:34b8cb964e62dc4c3303342d7c11c1abcd24efb92f8dba99d5f4364873248ae5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:048e5b7e9b8e99352dbede99d1f869acd651534f810a7fa28365fa79c11c4846","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:0dd4c3e7eece302f3089c524fa3d8f167605292d71874304a70e36e1393ab4f2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:4674b3e75bc043ec911e48d81449d1e08f98f6312857b939bf878ec3067d8c20","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:14e7478015331df4ab9c46515ad99a43d9a86b7f8bebef2fbb7c1cf0d0fb8811","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:fa1abe9a4fd10ff151dd7340744918e31550f51ef9f4da92c81897013d0d0262","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:ae7081d51c7587e25ec146dc26e6b8624ab41ce99ce8da9c9ceadc2a09555ee2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:fc4566ea0f199a8d157d84260569ec010322e91cc548411504816dfbccb42afd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:83d1b65f9da0944154e97a7894e202dc8fe4d6d8ef7c8b2810cafda0abac8374","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:d8664cc84dd7970f7fe5af62863a9b085229b416b26da7c04db79d10e325b8b4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:c14adde4d9dc1bc149dbbc8a72598df629b173dd52a8654f0127c44bc191d151","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:20042d361c732076cfd8d6468f79cb68cafb43f145f057fe7deadbcd48d78743","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:0dc5f0deabb687716e20c3b182146eb2351b191ad25bdb0c45d11ac61b6dde3e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:ccca4692db8713b95fa26a9d49ff92581e9e6f034d9d96d8a9d237e722746019","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:611d3e4ff0b067bbf10e8596cc75a1a5fb6dcb54d51d4a62acc1d3ee44172175","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:abaa3a283689ae2b27fcc7406c1948857c45e5ca257449d1c56bcfb20e1347e5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:9e33234b909e33c4822114e77868ed7697115ffb9e9c56bfacecb42dc4869645","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:0347e1fd6def592b186b79de42496f9e1a6f5b8f3256bacf5752b4a2d2c85209","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:105eda83bc65c4890d9df42dd859d86c2a09943e0ad65dfe6790493ed84f27ba","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:46dd63354cdf95b1c8ae0404bdb9a886e9926b7bc40194214cc23f641283dd45","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:2d618c007ea2fdd25382d3ec1ac016af61cfa8ffc3bb4b2b68dd76f686a2ec9c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:10c679d6d3be3ddbb9070fe664296101aad9e6dcef4a6689922e6cc7d80bf238","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:17ddfbb1733aa7a5a5ba968f43e4c85bdaad0418521bdefaa61cee92c0c3a3ad","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:4cc2aa65a9e00335457e36d735df0eacd85b6a9e2f0980865c609ee0767d38a9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:8b38c9fe82dc8fd3e4c86c3f23d11e550e66a0ebd3be7594dca05470165eb271","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-07T05:04:29.225280Z","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:08e819db292512b3be5cff89884dc84538f6a3a10d8ff0ef8289b1b21cd8a875","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-07T05:04:29.225280Z","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:d4746a2b6f7b9396981e9bfc5e30507334077a6d7bea81f611bd08e3a1dc791f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:efca6351637e649cc5240bb213c4db09fd1586057f8920064237c3b3db1652eb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:f49c24091c1bf08a907d29875e7b4ac1cd01dbdad0a58e6034be3f9582c41f29","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:a71fc5a52002816a9b0041ff54365609f9d66b684563e74f045368f7b66153b2","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-07T05:04:29.225280Z","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:026b239ba09d58efe8eb68a4397cd951a585023ce38923b8f1bd25a5b94c3475","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:4d57852a3ccd9f097deb30e3f515b62a669733b05dcabe40479ec23575c18eed","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-07T05:04:29.225280Z","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:ddaf5217d939783cdd60bccc9c84a9892caf149a6849fd588ad23d923c9853e2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:fae6177e5502f1fd059071a0366d66c287beb4622fce48c34f504d5bce9fbf34","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:9284a94674f8eaf4910795ff576a5e99d5a6eaf42df0af06ff3f1a1a2a3eaef6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:2073a410b21b6881c63c73174cead53b1597daab412f856ab2f509fde13e67bb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:6695734be4ae08e02b713a28ca3ceee3d3fe5ceefd8184cc49baa79b080d7da5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1090/stml/088","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.382953Z","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-07T05:04:29.225280Z","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:ab33974d44bfabc24a1d61e7f06f182536a4eca2d619d5cff437f4c7e66645d2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:7205bec84a5e17087cd7a82127ff67ef2ae1b67f8ae075817e5650528ac6b2c9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:3566a6a5b9f9b0c7646d21239d8d9721dfdf900f95323e741a4eca1c294bb6a0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:58dbe74428717fe5754e55983d4a04819d19c0592009a23586ab84ef7cc1a853","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:fb0ec7d8037ea04e4fc73737ac5398dca0ced08634d3a3c1cda0a771c0898b0a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:3231072c808aa8414acee8d26cf14916888d3250c65f4124d86bd953ed2f0f74","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:41a139c4e7916f3d09765807e168a294b0a4cb10638354a9da5bd9bc36edd3ce","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:5061eba77163de4594667539e0352803cfe9a7c8ed92e524652fcc0d9ce4ed20","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:f0bd21500b44d41db8a8a8e293dc0036582b830ad168cfbc61c73eca0788281b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:da64b415fb7af6496dce1df58377fc8be7e9395bcfc3da05e48450c42277efe4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:afbe68e0386cf05c6f3c904c232cae2edafa9d3832a8494c5f139058e5f720c3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:c561b251dd9f76f97f82ea8ae725cb493565d5ca34542c96627341abbac4cfcd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2269027","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.361870Z","title":"Robinson","venue":null,"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-07T05:04:29.225280Z","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:71406cadbbdedb7b5628704577abd4090dd01e79aa0cde6bb47c42384a189ed0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:b90daaf6d5dba999b73a562fab2b4a708b2f6806384cd65f37e2f76f6e8bbd19","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/421012","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:12:11.338746Z","title":"Step by recursive step: Church’s analysis of effective calculability.Bull","venue":null,"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-07T05:04:29.225280Z","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:cba5072b300c71103c003569c9c7657f22fe3e0d455b08e2ec705b3b57802c9f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:7003e14fd61c491b79ab89d27328e92f45755e73dae3fcf2274b966dbac84c2b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:0dc9acc60e78d6857761658fe01c2a85cf0531cb531276c0609596ccecb99981","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:4fe94b8a45fd47a93291f824fab167309e6fb5cf7f4a09e89223b5677bfe370c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:a9cc3241deda79259844b5ad4dc9d4ae93c30ccb5c06bf90d3088a2322ac5ba2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:6d054b58ca2793927e3ff9c975bd70c1888b58e5b7fa41e089df51101e10987b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:8728f0b82311136ebae810e25728c93d28d2224da87fc4728d1beb769b2f467b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:813420759109e229497263ca0e0ea6eca231fcdf2a21a3aab7993e786de1c281","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-07T05:04:29.225280Z","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:17902ff2c6c4e15d19d31ae9180a342cf93d48f35d072a573b53fd98b78ffcf0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:267454fcc2b0882195bdf247032683b86a6ba4d0b019f9b3776b82e17ec5b163","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:2465406770625b21dc60c9322a04544ec4f4c5bc8e807b584844bc090bccedf1","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-07T05:04:29.225280Z","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:f3e30ed65664f2d4cb5f590090a485930e7a337210ab154d1504a9bca4a97011","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:c1f58aea71dc52b1efaa82eabb8a7c9cfebc5435b04840d8f52a004edee6c887","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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:0369b50130788b768c6680d56a48db651566c28404002a8126a50b9c69b57b1b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T05:04:29.225280Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 97 of 97 outbound references and 0 inbound Pith citation observations for arXiv:2506.08588."}