Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-10T04:50:06.342145Z
Paper Citation Record · LEDGER
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)
As of 8 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2607.08582.
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-08T06:32:00.761636+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
Reference resolution
16 of 16 outbound references displayed
- verified exact0
- verified fuzzy9
- unresolved6
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 88f94998-4206-4ac7-b694-f5a94c8d2125 · outbound
This paper cites an unresolved cited work.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T04:56:46.438014Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1e003759-f125-4560-9df7-3fd19f6a00bb · outbound
This paper cites In: Robinson, J.A., Voronkov, A.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) In: Robinson, J.A., Voronkov, A
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T04:56:46.429734Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation be88fd06-1344-4c88-af71-0b05c84079c3 · outbound
This paper cites an unresolved cited work.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T04:56:46.441748Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8b2d46d9-c3a2-4c50-87c7-bac05ea010e8 · outbound
This paper cites Blackwell (1847, Reprinted 1948).
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) Blackwell (1847, Reprinted 1948)
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T04:56:46.435641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 61c8f564-d3f6-4130-8509-723605bb5103 · outbound
This paper cites an unresolved cited work.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T04:56:46.437184Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2dea73f4-754a-4863-bc24-0192d9ee6108 · outbound
This paper cites Springer (1981).
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) Springer (1981)
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T04:56:46.424922Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 7d7d8074-042c-4bf0-be04-875dfdecfc7c · outbound
This paper cites In: Robinson, J.A., Voronkov, A.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) In: Robinson, J.A., Voronkov, A
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T04:56:46.423054Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b9d94116-4760-4d31-991c-3c50e12189b5 · outbound
This paper cites an unresolved cited work.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T04:56:46.443656Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9fed6e21-e61b-452c-ac4f-2c0360b209a2 · outbound
This paper cites Sitzungs- ber.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) Sitzungs- ber
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T04:56:46.419171Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 16687582-f83d-4e68-a444-f7375eef991f · outbound
This paper cites an unresolved cited work.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T04:56:46.421078Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1dc75d12-a4b3-4889-8697-3bcb5cd428c5 · outbound
This paper cites North-Holland, Amsterdam (1974).
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) North-Holland, Amsterdam (1974)
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T04:56:46.439781Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d4a4b244-c152-46cd-bdcd-b81601f2a153 · outbound
This paper cites an unresolved cited work.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-07-10T04:56:46.434813Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1ff40ee2-4526-44ce-a0e6-2dd5e7d1d900 · outbound
This paper cites In: Nieuwenhuis, R.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) In: Nieuwenhuis, R
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T04:56:46.417113Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a85348b0-f671-4a70-a291-dc8def61c345 · outbound
This paper cites In: Barrett, C.W., Waldmann, U.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) In: Barrett, C.W., Waldmann, U
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T04:56:46.415226Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b5b019e5-e62f-431a-9c52-21ac3ead49f2 · outbound
This paper cites On Symbol Elimination and Uniform Interpolation in Theory Extensions.
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-08T06:32:00.761636+00:00.
Observation 3817a62e-e29a-4542-ab2f-b8c6e96f651d · outbound
This paper cites In: Proceedings of IJCAR 2026.
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint) In: Proceedings of IJCAR 2026
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T04:56:46.419335Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Pith citing papers
No inbound Pith citation observations are available.