Paper Citation Record · LEDGER

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)

As of 16 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 0 inbound Pith citation observations for arXiv:1908.09479.

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

pith.paper-citation-record.v1
1908.09479 v1

Coverage vector

measured 9 of 9 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T11:16:49.787970Z

measured 9 of 9 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+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

9 of 9 outbound references displayed

verified exact1
verified fuzzy4
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 62f4b591-bfbd-4577-aa25-14fedf6434f5 · outbound

This paper cites Available at http://www.lsv.fr/~dowek/Publi/expressing.pdf.

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) Available at http://www.lsv.fr/~dowek/Publi/expressing.pdf

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:16:49.898922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 8c7e4e19-d31a-4134-bbf8-2b411fc3d833 · outbound

This paper cites In: Logic for Programming, Artiﬁcial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings , pp.

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) In: Logic for Programming, Artiﬁcial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings , pp

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-14T11:16:49.753688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f614613-e131-499a-a2a6-c3d46ae9f861 · outbound

This paper cites Available at https://hal.archives-ouvertes.fr/hal-02083232.

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) Available at https://hal.archives-ouvertes.fr/hal-02083232

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:16:49.885753Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation de475fea-c762-4b71-a68e-ba68ce247b8d · outbound

This paper cites Theses, ´Ecole polytechnique.

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) Theses, ´Ecole polytechnique

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:16:49.873563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7e0e8c07-e433-428b-ad9c-3857eac8d125 · outbound

This paper cites Available at http://www.lsv.fr/~dowek/Publi/skolem.pdf.

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) Available at http://www.lsv.fr/~dowek/Publi/skolem.pdf

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:16:49.862136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a30cbe75-efbd-4298-b81f-9fe170636121 · outbound

This paper cites In Ken McMillan, Aart Middeldorp & Andrei V oronkov, editors: Proc.

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) In Ken McMillan, Aart Middeldorp & Andrei V oronkov, editors: Proc

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T11:16:49.776399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58749ae7-6434-4ca9-a150-90f952f19a60 · outbound

This paper cites Sutcliffe (2017): The TPTP Problem Library and Associated Infrastructure.

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) Sutcliffe (2017): The TPTP Problem Library and Associated Infrastructure

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T11:16:49.780011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 297679cf-53ff-4a01-bcc3-819513592af5 · outbound

This paper cites AI Commun.

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) AI Commun

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T11:16:49.783999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fe426fd-3ab3-447a-8122-fc66998e89e8 · outbound

This paper cites an unresolved cited work.

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract) Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-14T11:16:49.819330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

No inbound Pith citation observations are available.