Paper Citation Record · LEDGER

Table-based Quantifier Elimination

As of 21 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 0 inbound Pith citation observations for arXiv:2602.19102.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2602.19102 v2

Coverage vector

measured 10 of 10 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T21:51:04.110337Z

measured 10 of 10 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

10 of 10 outbound references displayed

verified exact0
verified fuzzy0
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e8fa2d61-2f68-4934-bc54-903f4cc9026c · outbound

This paper cites Mitchell.

Table-based Quantifier Elimination Mitchell

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T21:51:02.902127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9dcb264d-3f61-4924-bd92-289ec378b648 · outbound

This paper cites Clingo = ASP + Control: Preliminary Report.

Table-based Quantifier Elimination Clingo = ASP + Control: Preliminary Report

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T21:51:03.609208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c3b43a5-c061-4274-b1ae-c2d85efc605b · outbound

This paper cites Gringo : A new grounder for answer set programming.

Table-based Quantifier Elimination Gringo : A new grounder for answer set programming

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T21:51:03.751460Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7385f028-2b23-41cf-a0ba-46f511e8dfe8 · outbound

This paper cites Eﬀiciently grounding FOL using bit vectors.

Table-based Quantifier Elimination Eﬀiciently grounding FOL using bit vectors

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T21:51:03.860721Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4fe550e-b041-4c35-badb-c793a212fcc6 · outbound

This paper cites Model expansion as a framework for modelling and solving search problems.

Table-based Quantifier Elimination Model expansion as a framework for modelling and solving search problems

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T21:51:04.110337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 125e0170-fad2-4fea-bc51-7d1e94b016ea · outbound

This paper cites BreakID: Static Symmetry Breaking for ASP (System Description).

Table-based Quantifier Elimination BreakID: Static Symmetry Breaking for ASP (System Description)

Reference 2008

Resolution: unresolved; no resolver link, observed 2026-08-02T21:51:03.467526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e81f2db-8d89-4ff7-b525-c3cb1af7b623 · outbound

This paper cites an unresolved cited work.

Table-based Quantifier Elimination Unresolved cited work

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-02T21:51:03.379627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24cd1c0e-62e6-4d51-a23f-2a9155fc586f · outbound

This paper cites Predicate Logic as a Modelling Language: The IDP System.

Table-based Quantifier Elimination Predicate Logic as a Modelling Language: The IDP System

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-02T21:51:03.262870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee5c5c44-6a2a-4b9d-8e94-37d225f3e04c · outbound

This paper cites DIRT: a literature-based bench- mark suite for grounders.

Table-based Quantifier Elimination DIRT: a literature-based bench- mark suite for grounders

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-02T21:51:03.972629Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d99c37b3-08f4-4900-8c0b-7d9db4a27e17 · outbound

This paper cites 3 Francesco Calimeri, Davide Fuscà, Simona Perri, and Jessica Zangari.

Table-based Quantifier Elimination 3 Francesco Calimeri, Davide Fuscà, Simona Perri, and Jessica Zangari

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-02T21:51:03.096525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.