Paper Citation Record · LEDGER

Provenance Analysis and Semiring Semantics for First-Order Logic

As of 16 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 1 inbound Pith citation observation for arXiv:2412.07986.

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

pith.paper-citation-record.v1
2412.07986 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T18:29:33.409991Z

measured 45 of 45 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-27T23:01:39.067515Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-02T16:07:08.838602Z

Reference resolution

44 of 44 outbound references displayed

verified exact8
verified fuzzy9
unresolved27
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f89ea4e3-6766-48e5-b2c0-8f23e2d4fb80 · outbound

This paper cites an unresolved cited work.

Provenance Analysis and Semiring Semantics for First-Order Logic Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-11T18:29:34.781782Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9668ef65-6d52-4df5-a46d-734a120ecb1c · outbound

This paper cites Amsterdamer, S.

Provenance Analysis and Semiring Semantics for First-Order Logic Amsterdamer, S

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:29:34.764251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 502915bf-d431-49eb-b77f-06abe4bdc20c · outbound

This paper cites On the Limitations of Provenance for Queries With Difference.

Provenance Analysis and Semiring Semantics for First-Order Logic On the Limitations of Provenance for Queries With Difference

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-11T18:29:34.553342Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3494e961-a12e-48b6-9bb6-5da508f587e7 · outbound

This paper cites Provenance for Aggregate Queries.

Provenance Analysis and Semiring Semantics for First-Order Logic Provenance for Aggregate Queries

Reference 4

Resolution: verified exact; local_arxiv, observed 2026-08-11T18:29:34.529742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ff0a3d78-c314-4de4-8dcd-037fc8dd3c8d · outbound

This paper cites Bertossi.

Provenance Analysis and Semiring Semantics for First-Order Logic Bertossi

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.171330Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92d61aaf-cb4e-4851-b50c-f73dd196418c · outbound

This paper cites Locality Theorems in Semiring Semantics.

Provenance Analysis and Semiring Semantics for First-Order Logic Locality Theorems in Semiring Semantics

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.177355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2c17125-fed5-47fe-b36a-2387cf7bf3d2 · outbound

This paper cites Bogaerts, M.

Provenance Analysis and Semiring Semantics for First-Order Logic Bogaerts, M

Reference 7

Resolution: verified exact; doi, observed 2026-08-11T18:29:33.740414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b213c15a-9239-4514-93ce-f008abad7269 · outbound

This paper cites an unresolved cited work.

Provenance Analysis and Semiring Semantics for First-Order Logic Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-11T18:29:34.745874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 44ade1c0-89d5-4ebd-8eeb-6ea246b1accc · outbound

This paper cites Bourgaux, A.

Provenance Analysis and Semiring Semantics for First-Order Logic Bourgaux, A

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.196783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09aeb958-1fba-4ebe-b460-de6ac53d5ef5 · outbound

This paper cites Ehrenfeucht-Fra\"iss\'e Games in Semiring Semantics.

Provenance Analysis and Semiring Semantics for First-Order Logic Ehrenfeucht-Fra\"iss\'e Games in Semiring Semantics

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-11T18:29:34.404391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0bc0be77-8a7a-4413-9aec-b42d99bc69ed · outbound

This paper cites Brinke, E.

Provenance Analysis and Semiring Semantics for First-Order Logic Brinke, E

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:29:34.728741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 41354d3e-8629-49d4-911e-7377da968ff5 · outbound

This paper cites Buneman and E.

Provenance Analysis and Semiring Semantics for First-Order Logic Buneman and E

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.214218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82c4e2ae-18e3-46f4-b5cd-7e5518824900 · outbound

This paper cites Dannert and E.

Provenance Analysis and Semiring Semantics for First-Order Logic Dannert and E

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.219848Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 093e1cd7-147d-48c0-bfc5-35872baca53a · outbound

This paper cites Dannert and E.

Provenance Analysis and Semiring Semantics for First-Order Logic Dannert and E

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.226561Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f8345ed-8057-4ebe-8576-81e35d47d1cd · outbound

This paper cites Dannert, E.

Provenance Analysis and Semiring Semantics for First-Order Logic Dannert, E

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.232022Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fcf34da-3702-489b-a6ab-e949ac65908a · outbound

This paper cites Deutch, T.

Provenance Analysis and Semiring Semantics for First-Order Logic Deutch, T

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.237937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2eacb68-c983-4880-955c-4bcb558a3d84 · outbound

This paper cites Deutch, Y.

Provenance Analysis and Semiring Semantics for First-Order Logic Deutch, Y

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:29:34.711563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 1ce8468d-99dc-46d1-850c-5197d26f3401 · outbound

This paper cites an unresolved cited work.

Provenance Analysis and Semiring Semantics for First-Order Logic Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.250368Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad3aec8a-3a5c-41c9-857e-a9614950d23c · outbound

This paper cites Foster, T.

Provenance Analysis and Semiring Semantics for First-Order Logic Foster, T

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.255616Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06f82b16-9276-4e02-8fc4-c57e797762b6 · outbound

This paper cites Geerts and A.

Provenance Analysis and Semiring Semantics for First-Order Logic Geerts and A

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.260856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94dbaff7-3bcb-4e82-96da-7d242b1bfa9e · outbound

This paper cites Geerts, T.

Provenance Analysis and Semiring Semantics for First-Order Logic Geerts, T

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.267095Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03de960e-ac69-492e-b33c-cd3fd26a6e2a · outbound

This paper cites an unresolved cited work.

Provenance Analysis and Semiring Semantics for First-Order Logic Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.273184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dde4579d-9b3d-4d92-93b2-f57845153040 · outbound

This paper cites Glebskii, D.

Provenance Analysis and Semiring Semantics for First-Order Logic Glebskii, D

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.278972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7203a17f-2624-4737-aaac-67fc7c686f5d · outbound

This paper cites Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics.

Provenance Analysis and Semiring Semantics for First-Order Logic Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics

Reference 24

Resolution: verified exact; local_arxiv, observed 2026-08-11T18:29:34.192437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a49b1f4f-902e-419d-836b-c992b155075e · outbound

This paper cites Gr ¨adel, P.

Provenance Analysis and Semiring Semantics for First-Order Logic Gr ¨adel, P

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.290109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d46feb4-d759-4ecc-87b7-b75d4f51b9c5 · outbound

This paper cites Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials.

Provenance Analysis and Semiring Semantics for First-Order Logic Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-08-11T18:29:34.167217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2ba205cc-14dd-448d-82af-3b75890eaf45 · outbound

This paper cites Gr ¨adel and L.

Provenance Analysis and Semiring Semantics for First-Order Logic Gr ¨adel and L

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.300406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 600a040d-1ef7-48fb-a617-619a107fef47 · outbound

This paper cites Semiring Provenance for First-Order Model Checking.

Provenance Analysis and Semiring Semantics for First-Order Logic Semiring Provenance for First-Order Model Checking

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.306219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22389ee9-8f79-4489-8462-1d1cd06d113e · outbound

This paper cites Provenance Analysis for Logic and Games.

Provenance Analysis and Semiring Semantics for First-Order Logic Provenance Analysis for Logic and Games

Reference 29

Resolution: verified exact; local_arxiv, observed 2026-08-11T18:29:34.121409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7cf314aa-634c-405b-9c9b-9d73b1675ebd · outbound

This paper cites an unresolved cited work.

Provenance Analysis and Semiring Semantics for First-Order Logic Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.318108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c14361e1-a63b-4b86-8c2a-9c5dd137ef8a · outbound

This paper cites Green, Z.

Provenance Analysis and Semiring Semantics for First-Order Logic Green, Z

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.324132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 244b907b-62c5-43bc-91b3-f50978bdaa65 · outbound

This paper cites Green, G.

Provenance Analysis and Semiring Semantics for First-Order Logic Green, G

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:29:34.693392Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d4a162d9-4f57-4aee-b142-2b3df4e3f37a · outbound

This paper cites Green, G.

Provenance Analysis and Semiring Semantics for First-Order Logic Green, G

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:29:34.674438Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bf8e9e34-48c7-463b-ab33-ea84a675bb8c · outbound

This paper cites Herschel and M.

Provenance Analysis and Semiring Semantics for First-Order Logic Herschel and M

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.350184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a526fbc-5dd6-4a8d-b877-c9b8cc7615ec · outbound

This paper cites Herschel, M.

Provenance Analysis and Semiring Semantics for First-Order Logic Herschel, M

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:29:34.657709Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b3d70b2f-a7a3-41ab-bade-f8e4bb83ab69 · outbound

This paper cites an unresolved cited work.

Provenance Analysis and Semiring Semantics for First-Order Logic Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-11T18:29:34.639343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 04ecd43d-c875-465e-8279-35662fa9039f · outbound

This paper cites Karvounarakis, Z.

Provenance Analysis and Semiring Semantics for First-Order Logic Karvounarakis, Z

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:29:34.621307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 448db6a3-67c6-478e-8ed1-5efd14d8898b · outbound

This paper cites Meliou, W.

Provenance Analysis and Semiring Semantics for First-Order Logic Meliou, W

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:29:34.603932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 1817e2cb-b5c3-4842-b3f8-e3713643aae6 · outbound

This paper cites Moschovakis.

Provenance Analysis and Semiring Semantics for First-Order Logic Moschovakis

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T18:29:34.586391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6dd82a64-e532-47ae-acd2-6a4e866a71bd · outbound

This paper cites Computing Least and Greatest Fixed Points in Absorptive Semirings.

Provenance Analysis and Semiring Semantics for First-Order Logic Computing Least and Greatest Fixed Points in Absorptive Semirings

Reference 40

Resolution: verified exact; local_arxiv, observed 2026-08-11T18:29:33.765817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f5b1439d-ad37-4e39-93c7-e73cf589f7f8 · outbound

This paper cites an unresolved cited work.

Provenance Analysis and Semiring Semantics for First-Order Logic Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.401822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bac7e50-61ec-439f-9073-2ddc9ee62c6f · outbound

This paper cites an unresolved cited work.

Provenance Analysis and Semiring Semantics for First-Order Logic Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-11T18:29:34.569524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 83cad906-da6b-4dc2-9b06-0564a4ae6a54 · outbound

This paper cites an unresolved cited work.

Provenance Analysis and Semiring Semantics for First-Order Logic Unresolved cited work

Reference 2007

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.343071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0392cf85-06c2-4220-9202-4aea4191337e · outbound

This paper cites an unresolved cited work.

Provenance Analysis and Semiring Semantics for First-Order Logic Unresolved cited work

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-11T18:29:33.364589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation f0f77b35-690f-4ad6-b7b8-4222c03f5c1e · inbound

TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory cites this paper.

TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory Provenance Analysis and Semiring Semantics for First-Order Logic

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-07-02T16:07:08.839838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.