Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T21:50:52.406580Z
Paper Citation Record · LEDGER
Structure-Preserving Uncertainty Propagation in First-Order Proof Search
As of 22 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 1 inbound Pith citation observation for arXiv:2608.09190.
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-22T06:32:14.747728+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-15T14:19:54.237670Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-15T14:19:54.346464Z
Reference resolution
54 of 54 outbound references displayed
- verified exact19
- verified fuzzy12
- unresolved21
- parse uncertain0
- malformed identifier2
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 9c14408f-f3e6-4416-a56e-efcd6ee9af4a · outbound
This paper cites Alviano, F.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Alviano, F
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:53.207810Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 85bbeeba-28ea-42cc-9135-06f6eaad4996 · outbound
This paper cites Alsinet, C.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Alsinet, C
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.786809Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 201fba02-a217-4566-a56f-27105132e7e6 · outbound
This paper cites Arias, M.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Arias, M
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.182179Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 35956ae5-3ce1-472b-819e-efae0f8e1bcc · outbound
This paper cites Azzolini.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Azzolini
Reference 4
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.764959Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 2d20c5f7-9f9f-4d20-9c5c-c246098b826a · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T21:50:53.194997Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1a67d6b4-5fc8-4bd0-889f-8c7ae50ad329 · outbound
This paper cites Baral, M.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Baral, M
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.195647Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b4c7ff18-c279-4ced-b986-34162450da8e · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T21:50:53.181956Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4a8a4241-2f11-4b74-90ae-987e61712251 · outbound
This paper cites Bílková, S.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Bílková, S
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:53.168976Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0d30c7f6-cd5c-4c90-8afa-5a801d76bb0e · outbound
This paper cites Bochman and V.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Bochman and V
Reference 9
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.744722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 599738c8-4a7e-47ac-b80a-7cf36e8de300 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T21:50:53.157549Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 972923e7-639d-43ff-87cc-55df904a0734 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T21:50:53.145599Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 642cd008-a370-4c3f-ab19-b09e806e6402 · outbound
This paper cites Calimeri, D.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Calimeri, D
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.731288Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 13f9a5ab-9bf3-48d6-a22a-f916ca75ef27 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 13
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.717831Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 21b0c362-054b-4932-b2fc-ccfd87757054 · outbound
This paper cites Confalonieri, J.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Confalonieri, J
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.701794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ac9e7672-9281-404e-8e41-d6af33ab6855 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.236373Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9ab2c1c2-3112-42bc-8c0e-027f788a6b0e · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.684455Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 241c1359-af27-4c30-869d-e243351e50f3 · outbound
This paper cites De Raedt, A.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search De Raedt, A
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:53.130902Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1151c9c3-0556-4c3b-a918-e84525da1ea3 · outbound
This paper cites Dietrich and C.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Dietrich and C
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:53.115925Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 081dda0d-c676-40eb-aa51-6ca1b8830b10 · outbound
This paper cites Dubois and H.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Dubois and H
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:53.102906Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 2c7ae248-6520-4e9c-9822-62b5c286ec66 · outbound
This paper cites Dupin de Saint-Cyr and H.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Dupin de Saint-Cyr and H
Reference 20
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.668911Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b14f6cec-3658-4630-96e0-7a51882ac768 · outbound
This paper cites Fierens, G.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Fierens, G
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.263161Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4f7e177e-604d-4987-ba36-1f47dc95506c · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T21:50:53.090845Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 81fffbb7-72bc-45f6-bb84-9cf4554f7df7 · outbound
This paper cites Gebser, R.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Gebser, R
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.273176Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b3e5e1d2-3664-406b-a433-eabf5353d239 · outbound
This paper cites Gogate and P.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Gogate and P
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:53.076872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b5cf8ae0-dab8-49fc-aafa-a7c8995e0fb2 · outbound
This paper cites Genest and J.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Genest and J
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:53.062580Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 500c6cf6-8d3f-4828-a5c9-7156a0934598 · outbound
This paper cites Governatori, M.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Governatori, M
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.285976Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9b7457b8-1d67-4186-bce7-5fff20dfd33f · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 27
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.629641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 57344890-d542-4f88-969b-65ad680554fa · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T21:50:53.048789Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation c25416d1-926d-4359-98c0-d59cd3984efb · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.298275Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4ecfb5f8-41c9-4688-871b-83e62b230379 · outbound
This paper cites Heckerman.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Heckerman
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:53.033432Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 10212ede-eb1f-4282-a7cf-901134f05d19 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 31
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.607931Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 15051962-0c36-4b31-9f97-f5c75d4f864d · outbound
This paper cites Jøsang.Subjective Logic: A Formalism for Reasoning Under Uncertainty.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Jøsang.Subjective Logic: A Formalism for Reasoning Under Uncertainty
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:53.017763Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7b9c0fb7-ce1c-4587-84b5-346da2bc251f · outbound
This paper cites Kimmig, G.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Kimmig, G
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.317469Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7d091f0e-8523-4b7b-8e66-63c38bc70f0e · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T21:50:53.004824Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1abc8ddf-c761-4374-9843-1e58f7c815e0 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 35
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-11T21:50:52.326625Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation facc3826-cd3b-4a86-822e-c9b7229890c5 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 36
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.579668Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 2540c7ae-84e6-4a7a-a6ff-3bbfec8b0e80 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 37
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.567314Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation c338ebe1-a59e-40dd-92f7-0acdc907ed78 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T21:50:52.991966Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 940e6af2-34d4-47d9-9475-55d393b313c7 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.344955Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0612481f-46fd-43ea-8400-ee9e3193d00e · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T21:50:52.977415Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 10719ab3-d930-4c07-ba1e-6c49a9c6d6f3 · outbound
This paper cites Richardson and P.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Richardson and P
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.352860Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fe694141-f37d-4413-8404-c37a04faccf7 · outbound
This paper cites Shafer.A Mathematical Theory of Evidence.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Shafer.A Mathematical Theory of Evidence
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T21:50:52.356737Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 68fc7bf8-8411-4226-b07d-6e15c3e029c8 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T21:50:52.946940Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0692c0bd-18a3-4ee0-92bc-1335f29557a4 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 44
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.537732Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation c3d18818-3e0d-4c10-a9ef-3b754c674e72 · outbound
This paper cites Sneyers, D.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Sneyers, D
Reference 45
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.523524Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 42c61039-0743-4ab0-bbff-1068a4ec7e94 · outbound
This paper cites Sutcliffe.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Sutcliffe
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:52.933847Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 2dfa16a8-a26d-4d4f-92d2-d6442c26ab33 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 47
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.508784Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 86885391-a9ad-4e31-ae6c-6f3e8bbf6c6e · outbound
This paper cites Tammet, D.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Tammet, D
Reference 48
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.494676Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6a2ea615-1187-4d2e-9ee7-587a07720ce2 · outbound
This paper cites Tammet, D.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Tammet, D
Reference 49
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.482598Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ea5917ea-deea-4bb6-b504-7303d926dcd0 · outbound
This paper cites Tammet, D.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Tammet, D
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:52.920940Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1ca6aa82-bb80-48bf-ba2e-d8bfc1523327 · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 51
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-11T21:50:52.469761Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0d83edf9-35ab-45b1-a8b7-0c3fa0006929 · outbound
This paper cites Totis, L.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Totis, L
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T21:50:52.905269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 64444701-028b-4046-8ca0-129f9a4f7814 · outbound
This paper cites Wang and Y.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Wang and Y
Reference 53
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.442332Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 166bc1da-e11b-41f7-8f58-da73b3b9499f · outbound
This paper cites an unresolved cited work.
Structure-Preserving Uncertainty Propagation in First-Order Proof Search Unresolved cited work
Reference 2023
- Resolution
- verified exact
- doi, observed 2026-08-11T21:50:52.456728Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Pith citing papers
Observation f9d5bd44-3789-468d-9b4e-0c29a55312ba · inbound
Every pooling rule has its world: matching probability combination rules to situations and stakes cites this paper.
Every pooling rule has its world: matching probability combination rules to situations and stakes Structure-Preserving Uncertainty Propagation in First-Order Proof Search
Reference 67
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T14:19:54.351469Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.