Paper Citation Record · LEDGER

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)

As of 8 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2506.00163.

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

pith.paper-citation-record.v1
2506.00163 v1

Coverage vector

measured 48 of 48 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:27:01.069314Z

measured 48 of 48 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

48 of 48 outbound references displayed

verified exact13
verified fuzzy17
unresolved16
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0f27cf4d-672d-42e8-9408-742a579c9a72 · outbound

This paper cites Mathematische Annalen110(1), 390–413 (1935).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Mathematische Annalen110(1), 390–413 (1935)

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T12:27:03.335070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bdc82776-0e06-4bc0-9efb-75271914eb56 · outbound

This paper cites In: Fernández-Duque, D., Palmigiano, A., Pinchinat, S.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Fernández-Duque, D., Palmigiano, A., Pinchinat, S

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:07.863830Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 52ea5e45-aae4-44c6-b1b3-47a77f2e9dc6 · outbound

This paper cites Applicable Algebra in Engineering, Communication and Computing5, 193–212 (1994).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Applicable Algebra in Engineering, Communication and Computing5, 193–212 (1994)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:56.881874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a6b9c08-d123-490c-8127-0dcd3099d613 · outbound

This paper cites In: Lutz, C., Sattler, U., Tinelli, C., Turhan, A., Wolter, F.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Lutz, C., Sattler, U., Tinelli, C., Turhan, A., Wolter, F

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T12:27:03.171163Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation be6a5e44-1f47-4c75-bac6-fee067c835dc · outbound

This paper cites Archiv für mathematische Logik und Grundlagenforschung1(1), 17–29 (1950).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Archiv für mathematische Logik und Grundlagenforschung1(1), 17–29 (1950)

Reference 5

Resolution: verified exact; doi, observed 2026-08-07T12:27:03.027291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 30a3f7f0-e49b-442b-ba82-3dd1b12e2c89 · outbound

This paper cites Archiv für mathematische Logik und Grundlagenforschung1(2), 33–51 (1951).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Archiv für mathematische Logik und Grundlagenforschung1(2), 33–51 (1951)

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T12:27:02.825132Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4bc48973-94d8-47ab-8cfb-0a26009ee44f · outbound

This paper cites In: Beklemishev, L.D., Blass, A., Dershowitz, N., Finkbeiner, B., Schulte, W.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Beklemishev, L.D., Blass, A., Dershowitz, N., Finkbeiner, B., Schulte, W

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:57.272463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d750744f-7095-4984-8d99-9acf23b9fb49 · outbound

This paper cites Computers and Mathematics with Applications29(2), 73–90 (1995).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Computers and Mathematics with Applications29(2), 73–90 (1995)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:07.646202Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7042ca51-b860-43a1-a1d5-3900975b257a · outbound

This paper cites In: Kejriwal, M., Szekely, P.A., Troncy, R.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Kejriwal, M., Szekely, P.A., Troncy, R

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:57.496462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3545256f-91f7-444b-80e8-f6da3e7be7e3 · outbound

This paper cites The core algorithm sqema.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) The core algorithm sqema

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:07.430678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation dbe418f7-5fea-44e9-8420-5bb77d99fd28 · outbound

This paper cites In: Baltag, A., Smets, S.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Baltag, A., Smets, S

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T12:27:02.689295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1aa82c9e-d22d-449a-854e-b2ae8898a2cd · outbound

This paper cites an unresolved cited work.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:57.741587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e08fe77-045b-4b1c-bdea-bbfa5dc0ed1e · outbound

This paper cites Journal of Automated Reasoning18(3), 297–336 (1997).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Journal of Automated Reasoning18(3), 297–336 (1997)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:57.863898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4e8a868-b4fb-48a1-947f-a31adb74d598 · outbound

This paper cites Fundamenta Informaticae36(1), 23–55 (1998).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Fundamenta Informaticae36(1), 23–55 (1998)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:57.963133Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca69faf5-593c-4075-bde4-13044ad4c246 · outbound

This paper cites In: Nebel, B.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Nebel, B

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:07.256565Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f6230ace-f016-46ac-b457-296a85a9b680 · outbound

This paper cites In: Tsumoto, S., Slowinski, R., Komorowski, H.J., Grzymala-Busse, J.W.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Tsumoto, S., Slowinski, R., Komorowski, H.J., Grzymala-Busse, J.W

Reference 16

Resolution: verified exact; doi, observed 2026-08-07T12:27:02.531810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0ad3012e-263f-40ea-b63e-04dc1630981c · outbound

This paper cites Journal of Logic and Computation27(1), 109–128 (2017).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Journal of Logic and Computation27(1), 109–128 (2017)

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T12:27:02.369905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7fd87323-1c6c-4721-b024-e50f0a2af71b · outbound

This paper cites In: Olivetti, N., Tiwari, A.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Olivetti, N., Tiwari, A

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:06.972039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 012b1228-b9bf-45cb-8d60-fc0a226f0a13 · outbound

This paper cites Künstliche Intell.33(1), 9–33 (2019).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Künstliche Intell.33(1), 9–33 (2019)

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:58.365041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e430ff56-0a69-44e3-969f-ea3a1382331b · outbound

This paper cites Diplomarbeit, Fachbereich Informatik, Univ.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Diplomarbeit, Fachbereich Informatik, Univ

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:06.730544Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8b9db429-d3b5-47b9-bcd8-1736b2c46f1d · outbound

This paper cites In: Benzmüller, C., Heule, M.J.H., Schmidt, R.A.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Benzmüller, C., Heule, M.J.H., Schmidt, R.A

Reference 21

Resolution: malformed identifier; no resolver link, observed 2026-08-07T12:26:58.546285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1f40ccb-adc3-474d-84b7-3fbb136e8fa6 · outbound

This paper cites South African Computer Journal7, 35–43 (1992).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) South African Computer Journal7, 35–43 (1992)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:06.522895Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 599e5a71-d971-4e9b-8c27-fb034a25cedd · outbound

This paper cites College Publications (2008).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) College Publications (2008)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:06.341882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5f66ee27-6bd3-4150-b189-f318d7fa0bcd · outbound

This paper cites Theory Pract.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Theory Pract

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:58.828906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa90b72a-be8f-4c64-b8eb-391721cd1337 · outbound

This paper cites In: Berghammer, R., Möller, B., Struth, G.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Berghammer, R., Möller, B., Struth, G

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:58.918206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1697e683-f6a0-4611-bbac-1f307a96e3eb · outbound

This paper cites In: Hojjat, H., Kafle, B.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Hojjat, H., Kafle, B

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:59.042024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3e2ef06-19a5-4d38-a129-35302e6f5d5c · outbound

This paper cites In: Schmidt, R.A., Wernhard, C., Zhao, Y.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Schmidt, R.A., Wernhard, C., Zhao, Y

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:06.134474Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5466c852-2ba0-411f-8909-74ee0239f220 · outbound

This paper cites In: Giesl, J., Hähnle, R.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Giesl, J., Hähnle, R

Reference 28

Resolution: verified exact; doi, observed 2026-08-07T12:27:02.217541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 38d99de4-677d-4bf4-a006-831b90a557e4 · outbound

This paper cites Cambridge University Press (1997).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Cambridge University Press (1997)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:05.850156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bdb72ccf-96be-4726-9c16-51b48998f9f7 · outbound

This paper cites In: Creignou, N., Berre, D.L.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Creignou, N., Berre, D.L

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:59.504060Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a31d3785-f51d-4f79-ac7a-7630f009b62c · outbound

This paper cites In: Boutilier, C.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Boutilier, C

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:05.649310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cbd011cc-e72b-4a36-bb35-b44f3d2d0d50 · outbound

This paper cites In: McMillan, K., Middeldorp, A., Voronkov, A.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: McMillan, K., Middeldorp, A., Voronkov, A

Reference 32

Resolution: verified exact; doi, observed 2026-08-07T12:27:02.071361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 688c5ecd-5d9d-47a6-95a2-4ab5db0b93e4 · outbound

This paper cites In: Fontaine, P., Ringeissen, C., Schmidt, R.A.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Fontaine, P., Ringeissen, C., Schmidt, R.A

Reference 33

Resolution: verified exact; doi, observed 2026-08-07T12:27:01.909731Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e80b1664-cba7-4974-8ce8-3d4983bd9868 · outbound

This paper cites In: Bonet, B., Koenig, S.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Bonet, B., Koenig, S

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:05.384138Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c0e0e581-333b-4690-8f75-c3282265605a · outbound

This paper cites In: Calvanese, D., Erdem, E., Thielscher, M.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Calvanese, D., Erdem, E., Thielscher, M

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T12:26:59.910148Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f51ac8d2-b723-4d3b-b1cc-ebf40f8bfdd4 · outbound

This paper cites an unresolved cited work.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:27:05.167183Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 55297732-7fe7-4c99-83d2-1ccd74fdd2f4 · outbound

This paper cites In: Demartini, G., Zuccon, G., Culpepper, J.S., Huang, Z., Tong, H.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Demartini, G., Zuccon, G., Culpepper, J.S., Huang, Z., Tong, H

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:04.990040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 12d061e4-8fb2-413d-8cc4-a0857ba3eb66 · outbound

This paper cites In: Baral, C., De Giacomo, G., Eiter, T.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Baral, C., De Giacomo, G., Eiter, T

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:04.712062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d4163537-583a-465b-b319-9a64dbeba9b5 · outbound

This paper cites Journal of Symbolic Computation7(3-4), 275–293 (1989).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Journal of Symbolic Computation7(3-4), 275–293 (1989)

Reference 39

Resolution: malformed identifier; no resolver link, observed 2026-08-07T12:27:00.304815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48d0816d-0a67-4765-9ca8-a9df973d1ceb · outbound

This paper cites In: Orłowska, E.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Orłowska, E

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:04.482827Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6321eeed-eb92-4b6e-8e73-66dde5c12795 · outbound

This paper cites an unresolved cited work.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:27:04.240332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2da56398-765e-4b31-9216-7304e1d7c04c · outbound

This paper cites In: McRobbie, M.A., Slaney, J.K.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: McRobbie, M.A., Slaney, J.K

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:04.020468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7a3fdedd-beed-44a5-aaf6-a6674ec4b58a · outbound

This paper cites In: Konev, B., Reger, G.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Konev, B., Reger, G

Reference 43

Resolution: verified exact; doi, observed 2026-08-07T12:27:01.737949Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 660658cd-2848-4313-92ed-9decb72f2534 · outbound

This paper cites North-Holland (1974).

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) North-Holland (1974)

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:27:03.820812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6112a987-e465-4490-ac14-b638545df55a · outbound

This paper cites an unresolved cited work.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:27:03.625991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8640ab00-0814-42aa-a6b7-06cd9827529b · outbound

This paper cites In: Alechina, N., Baldoni, M., Logan, B.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Alechina, N., Baldoni, M., Logan, B

Reference 46

Resolution: verified exact; doi, observed 2026-08-07T12:27:01.520678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e11ab33d-9a74-44af-8afa-2c7d31c9642f · outbound

This paper cites In: Dixon, C., Finger, M.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) In: Dixon, C., Finger, M

Reference 47

Resolution: verified exact; doi, observed 2026-08-07T12:27:01.284393Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9bd16548-13ea-4158-ad87-3a19f37cb7be · outbound

This paper cites https://doi.org/10.1145/3459637.3482307.

Computing Witnesses Using the SCAN Algorithm (Extended Preprint) https://doi.org/10.1145/3459637.3482307

Reference 1139

Resolution: unresolved; no resolver link, observed 2026-08-07T12:27:00.144920Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.