Paper Citation Record · LEDGER

Weighted First-Order Model Counting over Ordered Domains

As of 18 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2608.10877.

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

pith.paper-citation-record.v1
2608.10877 v1

Coverage vector

measured 54 of 54 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:37:37.484810Z

measured 54 of 54 standing notices

One-hop event checks from named stored sources.

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

54 of 54 outbound references displayed

verified exact3
verified fuzzy32
unresolved18
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2b156d20-db6f-400d-90c9-9d615599d057 · outbound

This paper cites Computational Complexity - A Modern Approach.

Weighted First-Order Model Counting over Ordered Domains Computational Complexity - A Modern Approach

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:36.998065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99d72e90-08d0-45b0-a43e-0faef794a1ad · outbound

This paper cites Symmetric weighted first-order model counting.

Weighted First-Order Model Counting over Ordered Domains Symmetric weighted first-order model counting

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:37.010399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ae9450e-c3b2-45f5-9367-5a7a131bba2c · outbound

This paper cites an unresolved cited work.

Weighted First-Order Model Counting over Ordered Domains Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:37:39.200626Z

Source-reported events for the cited work

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

Observation b87159ef-7cfb-4b2a-b561-1a448e19e547 · outbound

This paper cites The theory of probabilistic databases.

Weighted First-Order Model Counting over Ordered Domains The theory of probabilistic databases

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:39.180710Z

Source-reported events for the cited work

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

Observation 1bea6ee3-d27e-473d-995a-675cdd03176a · outbound

This paper cites Two-variable logic with counting and a linear order.

Weighted First-Order Model Counting over Ordered Domains Two-variable logic with counting and a linear order

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:39.163722Z

Source-reported events for the cited work

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

Observation 73078165-4faa-4d50-b244-fbe5fec09780 · outbound

This paper cites On probabilistic inference by weighted model counting.

Weighted First-Order Model Counting over Ordered Domains On probabilistic inference by weighted model counting

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:37.055375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5dd9ea95-2254-4ae3-b710-02bb51a0059b · outbound

This paper cites Probabilistic (logic) programming concepts.

Weighted First-Order Model Counting over Ordered Domains Probabilistic (logic) programming concepts

Reference 7

Resolution: verified exact; doi, observed 2026-08-12T15:37:37.809203Z

Source-reported events for the cited work

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

Observation 6c0e251e-d14d-4c6b-8d73-d0296d012c01 · outbound

This paper cites Introduction to statistical relational learning, volume 1.

Weighted First-Order Model Counting over Ordered Domains Introduction to statistical relational learning, volume 1

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:39.136749Z

Source-reported events for the cited work

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

Observation b0e2f097-ce96-4c42-b4b6-ba9fdc062ee6 · outbound

This paper cites an unresolved cited work.

Weighted First-Order Model Counting over Ordered Domains Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:37:39.119666Z

Source-reported events for the cited work

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

Observation f294ad8e-4f8b-4a1a-a59b-36ce77a790cb · outbound

This paper cites Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2.

Weighted First-Order Model Counting over Ordered Domains Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-12T15:37:37.780642Z

Source-reported events for the cited work

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

Observation b9438e03-ccd8-45be-821a-ab46415e8ee7 · outbound

This paper cites Measuring Mathematical Problem Solving With the MATH Dataset.

Weighted First-Order Model Counting over Ordered Domains Measuring Mathematical Problem Solving With the MATH Dataset

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:37.109292Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6479504-51e9-4107-9f1f-d12fadbb486f · outbound

This paper cites Herbrand logic.

Weighted First-Order Model Counting over Ordered Domains Herbrand logic

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:39.103127Z

Source-reported events for the cited work

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

Observation 5918e988-dd3a-44a7-be56-f94ad206f4b2 · outbound

This paper cites Hopcroft, Rajeev Motwani, and Jeffrey D.

Weighted First-Order Model Counting over Ordered Domains Hopcroft, Rajeev Motwani, and Jeffrey D

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:39.087113Z

Source-reported events for the cited work

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

Observation e6cc6e39-c78b-49e3-aba1-ccd68a34885f · outbound

This paper cites New liftable classes for first-order probabilistic inference.

Weighted First-Order Model Counting over Ordered Domains New liftable classes for first-order probabilistic inference

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:39.070880Z

Source-reported events for the cited work

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

Observation ceec5e4d-bf95-4261-83bc-60a8c03f6495 · outbound

This paper cites Kidambi, Guramrit Singh, Paulius Dilkas, and Kuldeep S.

Weighted First-Order Model Counting over Ordered Domains Kidambi, Guramrit Singh, Paulius Dilkas, and Kuldeep S

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:37.162875Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b775564d-00a0-4e2e-a833-a6d65bac427b · outbound

This paper cites Decidability issues for two-variable logics with several linear orders.

Weighted First-Order Model Counting over Ordered Domains Decidability issues for two-variable logics with several linear orders

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:39.051336Z

Source-reported events for the cited work

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

Observation 0bde337c-d737-4c14-aaf4-33231bec9fb1 · outbound

This paper cites Small substructures and decidability issues for first-order logic with two variables.

Weighted First-Order Model Counting over Ordered Domains Small substructures and decidability issues for first-order logic with two variables

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:39.032579Z

Source-reported events for the cited work

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

Observation 242060ca-7490-410f-a5ef-c2496ebf269b · outbound

This paper cites Two-variable first-order logic with equivalence closure.

Weighted First-Order Model Counting over Ordered Domains Two-variable first-order logic with equivalence closure

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:39.005468Z

Source-reported events for the cited work

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

Observation ceda966c-d5e3-411d-9561-1ab606e5cee0 · outbound

This paper cites Koller and N.

Weighted First-Order Model Counting over Ordered Domains Koller and N

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.977886Z

Source-reported events for the cited work

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

Observation eefe35e7-5fc6-42b4-ac69-5491c1068fef · outbound

This paper cites Bridging weighted first order model counting and graph polynomials.

Weighted First-Order Model Counting over Ordered Domains Bridging weighted first order model counting and graph polynomials

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.950620Z

Source-reported events for the cited work

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

Observation e51d1041-49ef-4e06-84f5-ed8721be382d · outbound

This paper cites Weighted model counting beyond two-variable logic.

Weighted First-Order Model Counting over Ordered Domains Weighted model counting beyond two-variable logic

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.923093Z

Source-reported events for the cited work

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

Observation ad12fd96-8346-4a6a-baa4-be586ae4504e · outbound

This paper cites Weighted first-order model counting in the two-variable fragment with counting quantifiers.

Weighted First-Order Model Counting over Ordered Domains Weighted first-order model counting in the two-variable fragment with counting quantifiers

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.897092Z

Source-reported events for the cited work

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

Observation 03a26768-5070-46a6-95a8-42a4b3fd4711 · outbound

This paper cites Tractable weighted first-order model counting with bounded treewidth binary evidence.

Weighted First-Order Model Counting over Ordered Domains Tractable weighted first-order model counting with bounded treewidth binary evidence

Reference 23

Resolution: verified exact; doi, observed 2026-08-12T15:37:37.688020Z

Source-reported events for the cited work

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

Observation 06f7d19e-fabe-48ac-8eb6-86ee43d25313 · outbound

This paper cites An improved decision-dnnf compiler.

Weighted First-Order Model Counting over Ordered Domains An improved decision-dnnf compiler

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:37.236510Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abbb7fe8-5f4a-44a2-b510-c60bb566a726 · outbound

This paper cites Probabilistic time series forecasting with shape and temporal diversity.

Weighted First-Order Model Counting over Ordered Domains Probabilistic time series forecasting with shape and temporal diversity

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.870293Z

Source-reported events for the cited work

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

Observation 854fee80-f0cf-474c-af44-bbfd405c4257 · outbound

This paper cites Lewis and Christos H.

Weighted First-Order Model Counting over Ordered Domains Lewis and Christos H

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.836636Z

Source-reported events for the cited work

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

Observation b53a604a-5466-4e50-9afc-fc1a9179584d · outbound

This paper cites Elements of finite model theory, volume 41.

Weighted First-Order Model Counting over Ordered Domains Elements of finite model theory, volume 41

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.812691Z

Source-reported events for the cited work

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

Observation d22296d8-361c-4dc3-b585-5f9805dca41e · outbound

This paper cites Lifted inference beyond first-order logic.

Weighted First-Order Model Counting over Ordered Domains Lifted inference beyond first-order logic

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.783146Z

Source-reported events for the cited work

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

Observation e9257892-c01a-41cb-b0c4-dfbbd9b03831 · outbound

This paper cites Two variables and two successors.

Weighted First-Order Model Counting over Ordered Domains Two variables and two successors

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.756642Z

Source-reported events for the cited work

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

Observation 5ee58ac6-7c27-4750-83a7-0168420a979b · outbound

This paper cites A more practical algorithm for weighted first-order model counting with linear order axiom.

Weighted First-Order Model Counting over Ordered Domains A more practical algorithm for weighted first-order model counting with linear order axiom

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:37.291098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 075976a1-9c40-4ead-80ef-35f63090d9f4 · outbound

This paper cites Entscheidungsproblem reduced to the case.

Weighted First-Order Model Counting over Ordered Domains Entscheidungsproblem reduced to the case

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.736829Z

Source-reported events for the cited work

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

Observation 68ea692b-08e4-4e48-9ab3-bcb38ad11f71 · outbound

This paper cites The on-line encyclopedia of integer sequences.

Weighted First-Order Model Counting over Ordered Domains The on-line encyclopedia of integer sequences

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.710424Z

Source-reported events for the cited work

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

Observation b9c5ded3-9b0b-493e-a082-d9044f9c4f95 · outbound

This paper cites Two variable first-order logic over ordered domains.

Weighted First-Order Model Counting over Ordered Domains Two variable first-order logic over ordered domains

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.679341Z

Source-reported events for the cited work

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

Observation 7cf073e2-8782-4ba6-bdc5-85d5188b24d9 · outbound

This paper cites First-order probabilistic inference.

Weighted First-Order Model Counting over Ordered Domains First-order probabilistic inference

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.645174Z

Source-reported events for the cited work

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

Observation cb6d6ddc-b239-4c5c-8781-70f0bca5169e · outbound

This paper cites Markov logic networks.

Weighted First-Order Model Counting over Ordered Domains Markov logic networks

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:37.333029Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bb7a619-594f-4331-af3a-fb0b2f702a25 · outbound

This paper cites Two-variable logic with two order relations.

Weighted First-Order Model Counting over Ordered Domains Two-variable logic with two order relations

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.625220Z

Source-reported events for the cited work

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

Observation 478adb71-db5c-488a-9bb0-2778a1363f0d · outbound

This paper cites an unresolved cited work.

Weighted First-Order Model Counting over Ordered Domains Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:37:38.598997Z

Source-reported events for the cited work

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

Observation 6b9e0c5d-4a40-45df-8c3d-d766f0622060 · outbound

This paper cites an unresolved cited work.

Weighted First-Order Model Counting over Ordered Domains Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:37:38.572643Z

Source-reported events for the cited work

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

Observation c6dfe518-6ddc-4dd1-beb1-54c8ef552ec7 · outbound

This paper cites On discovering interesting combinatorial integer sequences.

Weighted First-Order Model Counting over Ordered Domains On discovering interesting combinatorial integer sequences

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.545041Z

Source-reported events for the cited work

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

Observation 1437f4b6-6d40-4a06-8703-f03ad6e39ad9 · outbound

This paper cites Complexity of weighted first-order model counting in the two-variable fragment with counting quantifiers: A bound to beat.

Weighted First-Order Model Counting over Ordered Domains Complexity of weighted first-order model counting in the two-variable fragment with counting quantifiers: A bound to beat

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:37.362382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5679179-7e53-496b-aa02-e299a1b049c0 · outbound

This paper cites Lifted reasoning for combinatorial counting.

Weighted First-Order Model Counting over Ordered Domains Lifted reasoning for combinatorial counting

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.515123Z

Source-reported events for the cited work

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

Observation e78d17fc-cd74-44a3-b292-0c3c490f8969 · outbound

This paper cites an unresolved cited work.

Weighted First-Order Model Counting over Ordered Domains Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:37:38.483400Z

Source-reported events for the cited work

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

Observation 41117088-a866-44cf-b36c-46d95b7deb48 · outbound

This paper cites an unresolved cited work.

Weighted First-Order Model Counting over Ordered Domains Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:37:38.451554Z

Source-reported events for the cited work

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

Observation 21d73010-8f45-413a-9acc-337f3392a140 · outbound

This paper cites Lifted inference with tree axioms.

Weighted First-Order Model Counting over Ordered Domains Lifted inference with tree axioms

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.420752Z

Source-reported events for the cited work

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

Observation d322786a-8ad2-41fe-b1a6-2a038686d205 · outbound

This paper cites Faster lifting for two-variable logic using cell graphs.

Weighted First-Order Model Counting over Ordered Domains Faster lifting for two-variable logic using cell graphs

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.398101Z

Source-reported events for the cited work

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

Observation 577cb8eb-66d4-43be-a990-b5a0efb76ac5 · outbound

This paper cites On the completeness of first-order knowledge compilation for lifted probabilistic inference.

Weighted First-Order Model Counting over Ordered Domains On the completeness of first-order knowledge compilation for lifted probabilistic inference

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.357423Z

Source-reported events for the cited work

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

Observation 5e63fe13-fec2-4f49-98e3-4e300557f244 · outbound

This paper cites Conditioning in first-order knowledge compilation and lifted probabilistic inference.

Weighted First-Order Model Counting over Ordered Domains Conditioning in first-order knowledge compilation and lifted probabilistic inference

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.323657Z

Source-reported events for the cited work

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

Observation f9c0818f-5e50-475a-9feb-17bcbe9dfbd9 · outbound

This paper cites Skolemization for weighted first-order model counting.

Weighted First-Order Model Counting over Ordered Domains Skolemization for weighted first-order model counting

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.278848Z

Source-reported events for the cited work

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

Observation 35b1a833-e3be-4d03-8258-855bffc47306 · outbound

This paper cites An introduction to lifted probabilistic inference.

Weighted First-Order Model Counting over Ordered Domains An introduction to lifted probabilistic inference

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:37.435877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5a110f1-b91e-43a2-a421-1ced746b2869 · outbound

This paper cites an unresolved cited work.

Weighted First-Order Model Counting over Ordered Domains Unresolved cited work

Reference 50

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:37:38.218105Z

Source-reported events for the cited work

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

Observation c0343e0b-23f4-4399-9ed9-54c69f4f4e89 · outbound

This paper cites Efficient probabilistic inference for dynamic relational models.

Weighted First-Order Model Counting over Ordered Domains Efficient probabilistic inference for dynamic relational models

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.180909Z

Source-reported events for the cited work

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

Observation 4d09f726-9a3b-4a43-8929-702fa0e4987c · outbound

This paper cites Proving theorems by pattern recognition—ii.

Weighted First-Order Model Counting over Ordered Domains Proving theorems by pattern recognition—ii

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:37:38.135821Z

Source-reported events for the cited work

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

Observation 87b09884-fae3-41c1-9a4d-9ddec230135e · outbound

This paper cites Lifted algorithms for symmetric weighted first-order model sampling.

Weighted First-Order Model Counting over Ordered Domains Lifted algorithms for symmetric weighted first-order model sampling

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-12T15:37:37.477640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a89f6ce-e60b-425d-bd15-d86314ff46fd · outbound

This paper cites Watts and Steven H.

Weighted First-Order Model Counting over Ordered Domains Watts and Steven H

Reference 54

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:37:37.484810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.