Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T11:51:26.042009Z
Paper Citation Record · LEDGER
On Symbol Elimination and Uniform Interpolation in Theory Extensions
As of 7 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 1 inbound Pith citation observation for arXiv:2506.01664.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-10T04:50:06.342145Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-10T04:56:45.928960Z
Reference resolution
36 of 36 outbound references displayed
- verified exact0
- verified fuzzy32
- unresolved4
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 748bd839-e17d-4f58-8a41-9dc0ef4d5ec2 · outbound
This paper cites Bruttomesso, S.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Bruttomesso, S
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:31.265435Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b334a969-9767-4d89-92eb-496b1a8a6260 · outbound
This paper cites Calvanese, S.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Calvanese, S
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:31.126877Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d94d4622-48a5-4088-b925-cefd3768be51 · outbound
This paper cites Calvanese, S.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Calvanese, S
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:31.033035Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7ac711e4-d4ae-43ed-874b-22c4c3cb06fb · outbound
This paper cites Ganzinger.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Ganzinger
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:30.891074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8bc4bcbd-3162-439b-892d-cc07ce973b37 · outbound
This paper cites Ghilardi, A.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Ghilardi, A
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:30.758273Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 50b29589-2e04-4eab-b795-dccffe32c430 · outbound
This paper cites Gulwani and M.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Gulwani and M
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:30.653880Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 613c49fc-e999-4da3-9b46-6e09301defef · outbound
This paper cites Hoder, L.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Hoder, L
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:30.524437Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c83f34fd-cddf-47b9-9be0-19a7dbf9e9da · outbound
This paper cites Hodges.Model theory, volume 42 ofEncyclopedia of mathematics and its ap- plications.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Hodges.Model theory, volume 42 ofEncyclopedia of mathematics and its ap- plications
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:30.407504Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2cc08287-0fc1-47bb-934e-8395cd775388 · outbound
This paper cites Horbach and V.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Horbach and V
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:30.314199Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c2ccc5c5-e250-4b7f-9a65-36e51efd4342 · outbound
This paper cites Horbach and V.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Horbach and V
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:30.188775Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4611c2fa-b1c8-4337-abe3-ab2e92687d2e · outbound
This paper cites Horbach and C.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Horbach and C
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:30.069034Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 306f76ed-a93c-44b5-bd4c-cac70d3b1fc5 · outbound
This paper cites Ihlemann, S.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Ihlemann, S
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:29.942445Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 25eb6998-8eb5-4b46-a61b-2146207dcee5 · outbound
This paper cites Ihlemann and V.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Ihlemann and V
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:29.839925Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b8c7cc71-bac8-4b84-b9b3-a292c116c91c · outbound
This paper cites Jhala and K.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Jhala and K
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:29.744816Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9163c32b-8821-4e9a-a7b6-1f8482d6a3f4 · outbound
This paper cites Kapur, R.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Kapur, R
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:29.627763Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation da674359-fcb8-4c74-a8d1-b72aaccb2cf5 · outbound
This paper cites Konev, D.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Konev, D
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:29.548159Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1bc8fb31-f5bc-4692-99ac-53da849c8779 · outbound
This paper cites Konev, D.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Konev, D
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:29.464386Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a61a8689-524c-44c4-8d85-450878343328 · outbound
This paper cites Lutz and F.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Lutz and F
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:29.337397Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f65feba4-a055-4f63-9f33-670f10adf81c · outbound
This paper cites an unresolved cited work.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:51:29.208008Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2b70681f-46b5-4ebb-9fd4-d4354b2ac0ba · outbound
This paper cites an unresolved cited work.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:51:29.044505Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d223301f-96a2-430a-b081-15044b06e0ec · outbound
This paper cites an unresolved cited work.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:51:28.901966Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 99a00b73-f2c7-4afe-a694-3e69cdd00e84 · outbound
This paper cites an unresolved cited work.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:51:28.762342Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e0988a5f-fddf-4f46-82f5-69aa95364f55 · outbound
This paper cites Peuter and V.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Peuter and V
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:28.612968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 08f3b856-557b-45cc-9344-53acf12100c1 · outbound
This paper cites Peuter, V.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Peuter, V
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:28.483323Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 943c3637-d3a3-4b77-a6a8-920802b1532c · outbound
This paper cites Sofronie-Stokkermans.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:28.289504Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 345ef112-ff22-4a54-b112-11a31bac7303 · outbound
This paper cites Sofronie-Stokkermans.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:28.122476Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8de53c47-3fe8-47cd-971b-2b200d3f3d6c · outbound
This paper cites Sofronie-Stokkermans.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:27.950503Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 63d4553a-b427-49ce-806e-00a443f5ab49 · outbound
This paper cites Sofronie-Stokkermans.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:27.704411Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0106e3f9-9142-4ab1-83de-7a66e70638c6 · outbound
This paper cites Sofronie-Stokkermans.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:27.548957Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 99218297-e248-4343-9d93-0d16c47a30d8 · outbound
This paper cites Sofronie-Stokkermans.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:27.390204Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 446f7301-e7e5-46d0-aa1f-35a7ade6bcb1 · outbound
This paper cites Sofronie-Stokkermans.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:27.221136Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5c8054af-b7cd-4386-a84b-a74859da99df · outbound
This paper cites Sofronie-Stokkermans.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:27.022584Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d53db98d-6186-472c-8d90-a10baba5e359 · outbound
This paper cites Sofronie-Stokkermans.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:26.838366Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a8429697-4dd1-4c44-a2f1-ea7e171645a4 · outbound
This paper cites Sofronie-Stokkermans.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:26.630872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c87f04b6-dacb-4078-af8a-b40b893155b4 · outbound
This paper cites Sofronie-Stokkermans and C.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans and C
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:26.446662Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d3f63b2a-cbf1-4746-8736-2babe2e55f5d · outbound
This paper cites Sofronie-Stokkermans and C.
On Symbol Elimination and Uniform Interpolation in Theory Extensions Sofronie-Stokkermans and C
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:51:26.220511Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
Observation b5b019e5-e62f-431a-9c52-21ac3ead49f2 · inbound
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) cites this paper.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) On Symbol Elimination and Uniform Interpolation in Theory Extensions
Reference 15
- Resolution
- malformed identifier
- local_arxiv, observed 2026-07-10T04:56:45.930278Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.