Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T14:50:18.033549Z
Paper Citation Record · LEDGER
Rewriting Consistent Answers on Annotated Data
As of 16 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2412.11661.
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-16T06:30:59.297886+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
39 of 39 outbound references displayed
- verified exact9
- verified fuzzy3
- unresolved23
- parse uncertain0
- malformed identifier2
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation a7501710-695c-40d8-984e-44d6daa69caa · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T14:50:18.977447Z
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 00ccac32-8d65-45c2-8dd8-7890f697c35e · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-11T14:50:18.222888Z
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 b52fb24e-ace2-4bfd-a6c4-677f66e5cfee · outbound
This paper cites Bertossi, and Jan Chomicki.
Rewriting Consistent Answers on Annotated Data Bertossi, and Jan Chomicki
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.899864Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a882f4a1-f03b-444e-98af-def515c6e57d · outbound
This paper cites Bertossi, Jan Chomicki, Xin He, Vijay Raghavan, and Jeremy P.
Rewriting Consistent Answers on Annotated Data Bertossi, Jan Chomicki, Xin He, Vijay Raghavan, and Jeremy P
Reference 4
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-11T14:50:17.904379Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cb082e03-53d4-4a21-a893-1989de95a74f · outbound
This paper cites Armstrong.
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T14:50:18.966347Z
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 59fdd1f6-ed13-4eb6-8f2f-36f103b4b6f4 · outbound
This paper cites Kolaitis.
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.912803Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0df20203-f6e2-4b60-aba6-d2221e293caa · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T14:50:18.956243Z
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 f9a8c537-1324-4ad0-99b5-3e84bd6e97fe · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 8
- Resolution
- verified exact
- doi, observed 2026-08-11T14:50:18.199074Z
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 66f95296-6c3e-4f0d-8b1f-a2acf980fd99 · outbound
This paper cites Mix Barrington, Neil Immerman, and Howard Straubing.
Rewriting Consistent Answers on Annotated Data Mix Barrington, Neil Immerman, and Howard Straubing
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.924742Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4cbc8b8b-b80f-4b2d-b509-29540b573ee4 · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T14:50:18.945261Z
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 0407f9ea-8b13-4935-bffe-b117564f4de2 · outbound
This paper cites Dannert, Erich Grädel, Matthias Naaf, and Val Tannen.
Rewriting Consistent Answers on Annotated Data Dannert, Erich Grädel, Matthias Naaf, and Val Tannen
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.932507Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e3aad77c-1e0b-47bf-adb3-3523bd7bf455 · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.936508Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e4ed013c-3e09-4699-9002-2442d314a89e · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T14:50:18.933596Z
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 52eb8609-2c50-4d25-b6a7-7cf312f3d779 · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-11T14:50:18.168291Z
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 bccf7ffe-78bf-49c6-87db-c53696321618 · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 15
- Resolution
- verified exact
- doi, observed 2026-08-11T14:50:18.156398Z
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 d7967e04-66e5-4eb4-aa54-0771b0627112 · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.951324Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4be5e6fb-3ef8-4e19-9d98-2debd6adaad9 · outbound
This paper cites Semiring Provenance for First-Order Model Checking.
Rewriting Consistent Answers on Annotated Data Semiring Provenance for First-Order Model Checking
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.955076Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f248c6a5-1d4b-4c30-99ff-fa4506b9c4c1 · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.958981Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6bf3a7a4-6e87-4e81-a6f0-5d07c16471f4 · outbound
This paper cites Green, Gregory Karvounarakis, and Val Tannen.
Rewriting Consistent Answers on Annotated Data Green, Gregory Karvounarakis, and Val Tannen
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.962717Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4638195b-9203-4611-b8f8-f8a8515e2cba · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T14:50:18.914631Z
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 db8b4935-8c3b-4d05-9eff-4ed47a0156db · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T14:50:18.903110Z
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 faad2a23-4c6b-4896-9f4f-adeb8eb50bcc · outbound
This paper cites Ngo, Reinhard Pichler, Dan Suciu, and Yisu Remy Wang.
Rewriting Consistent Answers on Annotated Data Ngo, Reinhard Pichler, Dan Suciu, and Yisu Remy Wang
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.972698Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f36b4bcf-0500-4ca4-8194-130fbd1feb31 · outbound
This paper cites Kostylev, Juan L.
Rewriting Consistent Answers on Annotated Data Kostylev, Juan L
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.975939Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 84bc9754-8127-44d8-8799-dbb9fde9388e · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.979090Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6726743b-3c23-4a76-ac8a-b76a37c997aa · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 25
- Resolution
- verified exact
- doi, observed 2026-08-11T14:50:18.138112Z
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 a04e7a70-b6ef-4454-a21e-bdd679b26725 · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 26
- Resolution
- verified exact
- doi, observed 2026-08-11T14:50:18.126430Z
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 4a2fe002-ed5f-4c0a-922f-bf2bd043160d · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.988107Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 70b422bf-fb70-46a8-b5e8-8aa46219f908 · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.991472Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f5539961-40d9-4cfe-bcc8-00687c01bbdc · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-11T14:50:18.114829Z
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 51a8ec26-7010-4947-a29b-7a4295f793aa · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:17.997890Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d994d968-cf07-450e-8287-fbb8174f31de · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 31
- Resolution
- verified exact
- doi, observed 2026-08-11T14:50:18.095144Z
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 0de02af0-9e5d-4c19-9315-11df07b64023 · outbound
This paper cites Papadimitriou.
Rewriting Consistent Answers on Annotated Data Papadimitriou
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T14:50:18.891136Z
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 53de7257-034a-46f6-b801-c914775afcba · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 33
- Resolution
- verified exact
- doi, observed 2026-08-11T14:50:18.082089Z
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 a84394c0-d2c2-4eed-816c-14f8556ff68c · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T14:50:18.878984Z
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 1132d173-a06b-4b24-ad39-bf0d5b01fc02 · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 35
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-11T14:50:18.016596Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 86a978a6-77a3-4385-b4a6-dbf2ca07fb6a · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 36
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-11T14:50:18.365820Z
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 54d1b72c-414f-4d72-bd35-e5c0e89dd2a8 · outbound
This paper cites an unresolved cited work.
Rewriting Consistent Answers on Annotated Data Unresolved cited work
Reference 37
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-11T14:50:18.296070Z
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 82e13701-2680-4527-9e22-abf9a7db127a · outbound
This paper cites flattening.
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T14:50:18.028667Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 18dcbd8e-d829-462e-97df-426defb615b0 · outbound
This paper cites The former𝑅𝑛−1-fact contributes(2× 1)+( 2× 1) = 4, while the latter contributes 1× 8 = 8.
Rewriting Consistent Answers on Annotated Data The former𝑅𝑛−1-fact contributes(2× 1)+( 2× 1) = 4, while the latter contributes 1× 8 = 8
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T14:50:18.866114Z
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.
Pith citing papers
No inbound Pith citation observations are available.