Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T23:14:19.825861Z
Paper Citation Record · LEDGER
As of 17 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2508.05798.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T23:14:19.825861Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
23 of 23 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 2d2d0644-ad21-49d2-87b1-b916fe24da2b · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 3d0c9c5f-ccbb-4d3d-83f8-08a92685971a · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d2b85d2f-649d-4207-875b-85cb100edeec · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 36326053-8047-4e4e-af34-5bb86f4a2c32 · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a37f7927-20ed-4126-880d-e430ac10c7bb · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 470c0c6a-f3ad-49dd-aa8f-5ccd9066185d · outbound
Basic interactive algorithms: Preview Gandy, ``Church's thesis and principles for mechanisms'', In ``The Kleene Symposium'' (eds
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8463f7e4-c237-4bc6-ac8f-8d94d2f31be2 · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2e7906d1-8fe4-4ad7-8a39-703b64caa350 · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 70eef7d2-df9c-4a09-857b-6b9a0f93ccab · outbound
Basic interactive algorithms: Preview Also (slightly revised) in ``Current Trends in Theoretical Computer Science: Essays and Tutorials" (eds
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 16ec0eff-48d0-4824-b7f6-6f03286680b1 · outbound
Basic interactive algorithms: Preview Evolving Algebras 1993: Lipari Guide
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 5a12af37-9e67-49b1-9d68-42f9f3d909a5 · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 425ed879-f8b4-48cc-9155-e83f8f606fdf · outbound
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 352d2e94-a831-4f95-874b-c155bdd9c272 · outbound
Basic interactive algorithms: Preview Software science view on quantum circuit algorithms
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 750b4708-7948-4133-88b9-cb5be1bdf13e · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 93b8085d-061d-4b07-abdc-d102fc5e6a42 · outbound
Basic interactive algorithms: Preview Kleene, ``Introduction to metamathematics,'' Wolters-Noordhoff Publishing and North-Holland Publishing Company, 1971 (First published by D
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4787ccb4-3efd-4878-9998-f4a361001638 · outbound
Basic interactive algorithms: Preview Kolmogorov, ``On the notion of algorithm,'' Uspekhi Matematicheskikh Nauk (in Russian) vol
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 6ddb96d0-f7b7-4ec2-91b4-fab7b0cc56fb · outbound
Basic interactive algorithms: Preview 9:3 (1973) 115--116
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f5dc5bd7-e145-431f-9960-30c9496b2bba · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 16716866-e813-4be2-8d4c-93feb4f3ea37 · outbound
Basic interactive algorithms: Preview ``Theory of recursive functions and effective computability,'' McGraw-Hill 1967
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8c535e70-4dd0-40c5-b49a-f4e040713fa7 · outbound
Basic interactive algorithms: Preview Shoenfield, ``Recursion theory,'' Springer Verlag 1993
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 49f8552a-c052-4931-a281-da843fc50f27 · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 29be27e4-778c-4d56-a2b3-3d4f554e1cb2 · outbound
Basic interactive algorithms: Preview Turing, ``On computable numbers, with an application to the Entscheidungsproblem,'' Proceedings of the London Mathematical Society , ser
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e4e86b0c-14cc-4d37-80af-eb8f5ba6932a · outbound
Basic interactive algorithms: Preview Unresolved cited work
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
No inbound Pith citation observations are available.