{"as_of":"2026-08-18T17:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:44ca0b2078ec93001d30692e754afe86e8efad9e1acef32c96244afd76a19a10","coverage":[{"denominator":54,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":54,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:37:37.484810Z","state":"measured"},{"denominator":54,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":54,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.10877/citation-record","integrity":"/paper/2608.10877/integrity","json":"/paper/2608.10877/citation-record.json","paper":"/paper/2608.10877"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:36.998065Z","title":"Computational Complexity - A Modern Approach","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:36.998065Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:c8cf9f18323f7169f8ecc555788a28b72cb71bee13767c06f64dd498831d2b60","observation_id":"2b156d20-db6f-400d-90c9-9d615599d057","resolution":{"observed_at":"2026-08-12T15:37:36.998065Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.010399Z","title":"Symmetric weighted first-order model counting","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.010399Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:92bdf1a55d159c3117bcdd752ebba3f6a69bc706144de5c36c3ce994af3fbcaf","observation_id":"99d72e90-08d0-45b0-a43e-0faef794a1ad","resolution":{"observed_at":"2026-08-12T15:37:37.010399Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:39.195591Z","title":null,"venue":null,"work_id":"9181f991-145d-4548-ae3b-5856f54eb8f5","year":1974},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.023168Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:1fafba00c19a39ed60e8a026ccebb252946ca86cd815ebcc82de2935b02a8303","observation_id":"3ae9450e-c3b2-45f5-9367-5a7a131bba2c","resolution":{"observed_at":"2026-08-12T15:37:39.200626Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:39.174933Z","title":"The theory of probabilistic databases","venue":null,"work_id":"97028d2d-311b-4c40-a2de-e74b8b75a451","year":1987},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.036121Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:48da9be9469c0faba49feccfd93e656c298905f9d29beb4d4805820091218d26","observation_id":"b87159ef-7cfb-4b2a-b561-1a448e19e547","resolution":{"observed_at":"2026-08-12T15:37:39.180710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:39.158523Z","title":"Two-variable logic with counting and a linear order","venue":null,"work_id":"892a3f01-1a49-4d00-b55e-607379a762ce","year":2015},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.044618Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:07985aa6bcae4cd4ef5255fafd68198da52f62d2c11709740f52c913c7e79ad9","observation_id":"1bea6ee3-d27e-473d-995a-675cdd03176a","resolution":{"observed_at":"2026-08-12T15:37:39.163722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.055375Z","title":"On probabilistic inference by weighted model counting","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.055375Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:9041532c64b38479f06300f8924fb39a278ee82e4df55ca4c503aa5ba9e8da05","observation_id":"73078165-4faa-4d50-b244-fbe5fec09780","resolution":{"observed_at":"2026-08-12T15:37:37.055375Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10994-015-5494-z","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.800478Z","title":"Probabilistic (logic) programming concepts","venue":null,"work_id":"fb52f928-d514-4851-bc9c-fe6b157c7aff","year":2015},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.071227Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:c2c4bb3d1930ef2d62420a1d47561387f79b0ce6ff8f37c03ebc70c83d6c76e0","observation_id":"5dd9ea95-2254-4ae3-b710-02bb51a0059b","resolution":{"observed_at":"2026-08-12T15:37:37.809203Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:39.131861Z","title":"Introduction to statistical relational learning, volume 1","venue":null,"work_id":"ecc7c777-27bb-4602-8b1b-41c28810d3a9","year":2007},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.081115Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:5551f02140526a07391e5c19adbc0cfad3c77bca46fe4c739013238077db096c","observation_id":"6c0e251e-d14d-4c6b-8d73-d0296d012c01","resolution":{"observed_at":"2026-08-12T15:37:39.136749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:39.114875Z","title":null,"venue":null,"work_id":"a23b8318-e121-48d1-9c5e-31a1c65bd2d4","year":1997},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.088547Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:cac396b58d3029d6e5253a51fe09f051d85b4a44c8afa990a8384ef94e4ff21a","observation_id":"b0e2f097-ce96-4c42-b4b6-ba9fdc062ee6","resolution":{"observed_at":"2026-08-12T15:37:39.119666Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.06091","last_updated":"2025-08-08T07:35:35Z","snapshot_observed_at":"2026-08-05T22:59:40.825824Z","submitted_at":"2025-08-08T07:35:35Z","title":"Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2","version":1},"cited_work":{"arxiv_id":"2508.06091","doi":"10.48550/arxiv.2508.06091","metadata_source":"pith","pith_arxiv_id":"2508.06091","snapshot_observed_at":"2026-08-12T18:16:22.223912Z","title":"Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2","venue":"cs.AI","work_id":"512fd093-bb37-408c-ba07-38b435cbaa80","year":2025},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.099647Z"},"links":{"cited_paper":"/paper/2508.06091","citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:0081965a8b33ca5e9f092a10404e9557d934fd7f9428216a6ec210da257b1c82","observation_id":"f294ad8e-4f8b-4a1a-a59b-36ce77a790cb","resolution":{"observed_at":"2026-08-12T15:37:37.780642Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03874","last_updated":"2021-11-08T21:30:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-03-05T18:59:39Z","title":"Measuring Mathematical Problem Solving With the MATH Dataset","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.03874","snapshot_observed_at":"2026-08-12T15:37:37.109292Z","title":"Measuring mathematical problem solving with the math dataset","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.109292Z"},"links":{"cited_paper":"/paper/2103.03874","citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:829790c5dc7ca616bfaf6321a123de0a2240b4f9ae2098d7f45023db08c99774","observation_id":"b9438e03-ccd8-45be-821a-ab46415e8ee7","resolution":{"observed_at":"2026-08-12T15:37:37.109292Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:39.098122Z","title":"Herbrand logic","venue":null,"work_id":"b3d25535-0387-455b-89f0-102666d7d9cb","year":2006},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.120100Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:a7b4a31573d273873ce589023137edaa0a2b72c08a48ab869bcff4721998916e","observation_id":"a6479504-51e9-4107-9f1f-d12fadbb486f","resolution":{"observed_at":"2026-08-12T15:37:39.103127Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:39.082168Z","title":"Hopcroft, Rajeev Motwani, and Jeffrey D","venue":null,"work_id":"0fa23400-1b4a-4efa-8b64-c5c15d5168ed","year":2006},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.132883Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:6da08ca07a87d51675b945aa81b724c1c71582810d14abf2b290585cd79c9112","observation_id":"5918e988-dd3a-44a7-be56-f94ad206f4b2","resolution":{"observed_at":"2026-08-12T15:37:39.087113Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:39.066007Z","title":"New liftable classes for first-order probabilistic inference","venue":null,"work_id":"9a4ee6bc-77fe-4aa3-9375-3011b6006ab8","year":2016},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.152767Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:0baa6e3609cf06a3de1c10d98a596dc811a1c3dafe7e5ab53be3b75a2449e67c","observation_id":"e6cc6e39-c78b-49e3-aba1-ccd68a34885f","resolution":{"observed_at":"2026-08-12T15:37:39.070880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.162875Z","title":"Kidambi, Guramrit Singh, Paulius Dilkas, and Kuldeep S","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.162875Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:475cd040d6198822444345f0b13e0a8552dbd7ac2bfb735c71106bd657a9d59f","observation_id":"ceec5e4d-bf95-4261-83bc-60a8c03f6495","resolution":{"observed_at":"2026-08-12T15:37:37.162875Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:39.045863Z","title":"Decidability issues for two-variable logics with several linear orders","venue":null,"work_id":"8fe87539-7e19-4308-811c-53502cfa0ac3","year":2011},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.171029Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:3e16f898a235cebd0f14693a43d1971c6c4dc795c65828ce39bfafa7bc9e35f6","observation_id":"b775564d-00a0-4e2e-a833-a6d65bac427b","resolution":{"observed_at":"2026-08-12T15:37:39.051336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:39.024847Z","title":"Small substructures and decidability issues for first-order logic with two variables","venue":null,"work_id":"74e75733-d0c7-4014-81e6-40a26f15f09f","year":2005},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.177664Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:ff365e5322d27687c275c9e78fe37efe79ba3582f49db0dd49c0d33275c4bd5b","observation_id":"0bde337c-d737-4c14-aaf4-33231bec9fb1","resolution":{"observed_at":"2026-08-12T15:37:39.032579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.996143Z","title":"Two-variable first-order logic with equivalence closure","venue":null,"work_id":"d413befd-a169-4000-b4bf-c99759f0e295","year":2012},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.184880Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:927966fd44e5a6b704392d88d605dfd37a5670ba12986ad69aaa6495f277c101","observation_id":"242060ca-7490-410f-a5ef-c2496ebf269b","resolution":{"observed_at":"2026-08-12T15:37:39.005468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.967348Z","title":"Koller and N","venue":null,"work_id":"c6dc8067-91f9-465c-9a12-dec361333871","year":2009},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.196098Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:1c61024e82cda510ed278c4d4de167a787cb9dcbf5700fa77d9ce064b89499f6","observation_id":"ceda966c-d5e3-411d-9561-1ab606e5cee0","resolution":{"observed_at":"2026-08-12T15:37:38.977886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.943691Z","title":"Bridging weighted first order model counting and graph polynomials","venue":null,"work_id":"3c947e62-142c-462f-9544-6df95564c60b","year":2026},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.204085Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:49478b4a584e3088732a0803668871613119cacdd7dacf0707205e45f1bdfd62","observation_id":"eefe35e7-5fc6-42b4-ac69-5491c1068fef","resolution":{"observed_at":"2026-08-12T15:37:38.950620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.916418Z","title":"Weighted model counting beyond two-variable logic","venue":null,"work_id":"743960d9-94b8-4301-a2c6-343ea4a521f3","year":2018},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.213462Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:59d960c0e11fcbf675eb6f2187ca708b3afbe7ae07ee464fea058e9197c3face","observation_id":"e51d1041-49ef-4e06-84f5-ed8721be382d","resolution":{"observed_at":"2026-08-12T15:37:38.923093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.888722Z","title":"Weighted first-order model counting in the two-variable fragment with counting quantifiers","venue":null,"work_id":"89aa9a0d-f0d7-4c75-9159-afd89db08d64","year":2021},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.220659Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:721e0a4e02fd7cb577ec26e259ff22c17597c04528bbafd22f6c0edf9c33ec7d","observation_id":"ad12fd96-8346-4a6a-baa4-be586ae4504e","resolution":{"observed_at":"2026-08-12T15:37:38.897092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v40i23.38994","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.678586Z","title":"Tractable weighted first-order model counting with bounded treewidth binary evidence","venue":null,"work_id":"4ef20b59-c6e3-45b3-a689-c0defc4e67ac","year":2026},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.226153Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:38eae4347f59959a9b8b8f3e3b473d7fae9cddbaaf9833ea2376d4c6f91637bd","observation_id":"03a26768-5070-46a6-95a8-42a4b3fd4711","resolution":{"observed_at":"2026-08-12T15:37:37.688020Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.236510Z","title":"An improved decision-dnnf compiler","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.236510Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:bb8fb88adf2e16eed4357b38a08de7c3d3f59d5b8452a7d07769ce72c3fb767d","observation_id":"06f7d19e-fabe-48ac-8eb6-86ee43d25313","resolution":{"observed_at":"2026-08-12T15:37:37.236510Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.856745Z","title":"Probabilistic time series forecasting with shape and temporal diversity","venue":null,"work_id":"77e8597e-3601-4333-928e-0ddd6890deef","year":2020},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.243350Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:8752d24432f0bbeb08911bcf8850c676304f7d58ed477ccbc4b3c0c110c5c413","observation_id":"abbb7fe8-5f4a-44a2-b510-c60bb566a726","resolution":{"observed_at":"2026-08-12T15:37:38.870293Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.829176Z","title":"Lewis and Christos H","venue":null,"work_id":"6041fc18-f7b4-4a32-b60a-b199dcab261f","year":1998},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.255091Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:efb326009b954e44a2afa94ad39fc28b9212886594cb63fa3e1aa7e12791782d","observation_id":"854fee80-f0cf-474c-af44-bbfd405c4257","resolution":{"observed_at":"2026-08-12T15:37:38.836636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.804556Z","title":"Elements of finite model theory, volume 41","venue":null,"work_id":"584741ba-6028-444b-bae2-f193c666b515","year":2004},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.263880Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:8cfd91f44ec5cb66278b6c2d5c231e1589cbe07284b9afa45b3740e39da0bf23","observation_id":"b53a604a-5466-4e50-9afc-fc1a9179584d","resolution":{"observed_at":"2026-08-12T15:37:38.812691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.776241Z","title":"Lifted inference beyond first-order logic","venue":null,"work_id":"962f038c-f6de-4a5a-9aad-56641d8ebcf0","year":2025},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.272439Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:3d05b9bf0f0b7041cc862bfb0e4a70ef842a55009748b08e686208c10dc26e53","observation_id":"d22296d8-361c-4dc3-b585-5f9805dca41e","resolution":{"observed_at":"2026-08-12T15:37:38.783146Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.751033Z","title":"Two variables and two successors","venue":null,"work_id":"6c65019b-c597-4220-8291-233d163ac77a","year":2010},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.280747Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:6f0f0a7856569887a5b71ec6d0671a739e13aab83595a5c50f5584e0434f5d6f","observation_id":"e9257892-c01a-41cb-b0c4-dfbbd9b03831","resolution":{"observed_at":"2026-08-12T15:37:38.756642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.291098Z","title":"A more practical algorithm for weighted first-order model counting with linear order axiom","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.291098Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:17f52536df84ec4d19e26067fdca0e6a7f62e159dfbef74fbb2ad6e2b98d4deb","observation_id":"5ee58ac6-7c27-4750-83a7-0168420a979b","resolution":{"observed_at":"2026-08-12T15:37:37.291098Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.728871Z","title":"Entscheidungsproblem reduced to the case","venue":null,"work_id":"7b2a0702-3b45-4e2d-bea5-400b485ddd72","year":1962},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.300279Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:d1d87ed47009cc6f948b012edaecb14e28baf3036fcf82731be329a0c5d4a41e","observation_id":"075976a1-9c40-4ead-80ef-35f63090d9f4","resolution":{"observed_at":"2026-08-12T15:37:38.736829Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.700284Z","title":"The on-line encyclopedia of integer sequences","venue":null,"work_id":"a3147288-f054-4c46-b934-4c10a07f46ed","year":2026},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.306116Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:4a56662b9131812a740cc1e59c00f82dc14f35a74b0b8b844c93e3a367bd5253","observation_id":"68ea692b-08e4-4e48-9ab3-bcb38ad11f71","resolution":{"observed_at":"2026-08-12T15:37:38.710424Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.670489Z","title":"Two variable first-order logic over ordered domains","venue":null,"work_id":"65d53903-d394-4875-9b2f-2b7d52028ee9","year":2001},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.315890Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:3bed41a8e7ab6efe75dc5879e1c20ed20d2179722359a571ad6dbb04edfed4fc","observation_id":"b9c5ded3-9b0b-493e-a082-d9044f9c4f95","resolution":{"observed_at":"2026-08-12T15:37:38.679341Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.638940Z","title":"First-order probabilistic inference","venue":null,"work_id":"5162a122-48d2-448b-a52a-1ba84b005b9a","year":2003},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.322956Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:d77f1cdf9bfe50ac04bb3120a4086a2d9502c6dee84e1a60c6bbfa4fd3900a24","observation_id":"7cf073e2-8782-4ba6-bdc5-85d5188b24d9","resolution":{"observed_at":"2026-08-12T15:37:38.645174Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.333029Z","title":"Markov logic networks","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.333029Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:6d0d5ee72ad92e9654144f7541bb49d9687fa583f1f9d69b9a27824b938fea50","observation_id":"cb6d6ddc-b239-4c5c-8781-70f0bca5169e","resolution":{"observed_at":"2026-08-12T15:37:37.333029Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.618577Z","title":"Two-variable logic with two order relations","venue":null,"work_id":"a8becc03-5a90-4497-8d1e-073637724012","year":2012},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.338640Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:da2429a8a3085ad996b55bbdc1e291923ae01cee29ec72eae095b053ac6fda66","observation_id":"7bb7a619-594f-4331-af3a-fb0b2f702a25","resolution":{"observed_at":"2026-08-12T15:37:38.625220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.590214Z","title":null,"venue":null,"work_id":"56aa8600-dc3e-4a52-b24a-6e5f6275c661","year":2019},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.344147Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:717713b36540c4b5e308076337ed1beb022e00aa20503bbc104593d37b1576f4","observation_id":"478adb71-db5c-488a-9bb0-2778a1363f0d","resolution":{"observed_at":"2026-08-12T15:37:38.598997Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.565801Z","title":null,"venue":null,"work_id":"69052af9-9d31-4dfc-9201-31b55a15da67","year":2025},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.350139Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:1394fda6afe1710da7353aae6253b0572c2bade5cf0f26d87cc55cbfc1a2f67e","observation_id":"6b9e0c5d-4a40-45df-8c3d-d766f0622060","resolution":{"observed_at":"2026-08-12T15:37:38.572643Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.536554Z","title":"On discovering interesting combinatorial integer sequences","venue":null,"work_id":"f2627503-0916-4d62-840b-5c7ecd9c5641","year":2023},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.356283Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:07d82e771253517cb078c013d18658b0c8e76b8642eaaa42e960781b67c578bd","observation_id":"c6dfe518-6ddc-4dd1-beb1-54c8ef552ec7","resolution":{"observed_at":"2026-08-12T15:37:38.545041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.362382Z","title":"Complexity of weighted first-order model counting in the two-variable fragment with counting quantifiers: A bound to beat","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.362382Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:c8f0a953cea28e414f567e6f8238e5701bb7f97fa5853c94f596161ee21ec343","observation_id":"1437f4b6-6d40-4a06-8703-f03ad6e39ad9","resolution":{"observed_at":"2026-08-12T15:37:37.362382Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.505063Z","title":"Lifted reasoning for combinatorial counting","venue":null,"work_id":"f3b2d87a-fd35-449d-be9f-c4fe2365160b","year":2023},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.370639Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:a9403a93f6f599928174cf37bf9599b814eb1ea75c75cd107b09cf92bccb6732","observation_id":"a5679179-7e53-496b-aa02-e299a1b049c0","resolution":{"observed_at":"2026-08-12T15:37:38.515123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.474735Z","title":null,"venue":null,"work_id":"290e8d2f-90f5-481a-aa0e-41c9a212f342","year":1936},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.379468Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:7d9d640fb77e8187867503164bc52cb566af2fd8a105ac0774b9360d70c514cb","observation_id":"e78d17fc-cd74-44a3-b292-0c3c490f8969","resolution":{"observed_at":"2026-08-12T15:37:38.483400Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.440592Z","title":null,"venue":null,"work_id":"d1381099-578f-4335-822f-b9f59548a859","year":1979},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.386021Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:9896c019db57f1d4969879016800b6244f166b1ab790ccc0b0b6868d65178c7d","observation_id":"41117088-a866-44cf-b36c-46d95b7deb48","resolution":{"observed_at":"2026-08-12T15:37:38.451554Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.413610Z","title":"Lifted inference with tree axioms","venue":null,"work_id":"05ee88b4-9348-4181-ad2f-744f2190214c","year":2023},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.393911Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:eca81872bc5cb4bf1a28d9f76f4e5597e660ea820946aa2da3d4a330806ef551","observation_id":"21d73010-8f45-413a-9acc-337f3392a140","resolution":{"observed_at":"2026-08-12T15:37:38.420752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.384928Z","title":"Faster lifting for two-variable logic using cell graphs","venue":null,"work_id":"cc00625c-559c-452f-95e7-b76314aeba4e","year":2021},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.404419Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:654439be885783f97bd2cdbf7d04e96d83c4d0c0c9cae6210fcfc0d9147a888d","observation_id":"d322786a-8ad2-41fe-b1a6-2a038686d205","resolution":{"observed_at":"2026-08-12T15:37:38.398101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.342108Z","title":"On the completeness of first-order knowledge compilation for lifted probabilistic inference","venue":null,"work_id":"2bdd69c0-2688-4333-bebe-e39ea1a797b4","year":2011},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.410793Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:f62e6dc97d7c4a1871796d1fdf26bfb583c09cc3c31d1ce655fb3b940591d1f8","observation_id":"577cb8eb-66d4-43be-a990-b5a0efb76ac5","resolution":{"observed_at":"2026-08-12T15:37:38.357423Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.316092Z","title":"Conditioning in first-order knowledge compilation and lifted probabilistic inference","venue":null,"work_id":"1a393fc6-9dfd-4fcc-8f5a-5b77a0e3c8b3","year":1961},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.416946Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:2fb3ca49090a39821e570b99a47309d14889e724c6e38f8307235f40103fc87d","observation_id":"5e63fe13-fec2-4f49-98e3-4e300557f244","resolution":{"observed_at":"2026-08-12T15:37:38.323657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.269440Z","title":"Skolemization for weighted first-order model counting","venue":null,"work_id":"e225255c-ee48-4260-be09-fa6effd85a31","year":2014},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.425891Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:01875eccf92a834efd0219369e597721ed98bcee5aca7f9eee8e04c266ea5988","observation_id":"f9c0818f-5e50-475a-9feb-17bcbe9dfbd9","resolution":{"observed_at":"2026-08-12T15:37:38.278848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.435877Z","title":"An introduction to lifted probabilistic inference","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.435877Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:bf1cf643bd1fbf0b938f75a4011d52779c675c4b4a776869b219971ebe9bb9a3","observation_id":"35b1a833-e3be-4d03-8258-855bffc47306","resolution":{"observed_at":"2026-08-12T15:37:37.435877Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.210828Z","title":null,"venue":null,"work_id":"ea8812ce-3f72-492a-bf54-09125640d9f4","year":1982},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.451896Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:639a522add7b3e797714b8d39fc50dcfc9cb4f60bba4ac725e8e9897129a187a","observation_id":"b5a110f1-b91e-43a2-a421-1ced746b2869","resolution":{"observed_at":"2026-08-12T15:37:38.218105Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.163634Z","title":"Efficient probabilistic inference for dynamic relational models","venue":null,"work_id":"cf68e551-bf46-419c-b9fc-aed26f58c14d","year":2014},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.459278Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:b8686a24b3a21ce0aa5a54176bb96031387cb9c48a63ebb45bb8e1417aa0443b","observation_id":"c0343e0b-23f4-4399-9ed9-54c69f4f4e89","resolution":{"observed_at":"2026-08-12T15:37:38.180909Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:38.128883Z","title":"Proving theorems by pattern recognition—ii","venue":null,"work_id":"6554d1f6-5d74-4f89-9623-2f848ac8f9b0","year":1961},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.467918Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:b2030e02d8b23cbfb1b4f05bf29ab27e3d619b1bbe32598d1be595f8a3d8da9f","observation_id":"4d09f726-9a3b-4a43-8929-702fa0e4987c","resolution":{"observed_at":"2026-08-12T15:37:38.135821Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.477640Z","title":"Lifted algorithms for symmetric weighted first-order model sampling","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.477640Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:2c188fd9a6f86a5a3f7987089ec2bcf963eadd4fbc37c376154b54355eb3c7cb","observation_id":"87b09884-fae3-41c1-9a4d-9ddec230135e","resolution":{"observed_at":"2026-08-12T15:37:37.477640Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:37:37.484810Z","title":"Watts and Steven H","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-12T15:37:37.484810Z"},"links":{"citing_paper":"/paper/2608.10877"},"observation_digest":"sha256:5b280d4cf516d68fd497c7d6b495b3c0181a2ce6e6c8ebb11a2261758c6a5ce5","observation_id":"5a89f6ce-e60b-425d-bd15-d86314ff46fd","resolution":{"observed_at":"2026-08-12T15:37:37.484810Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.10877","last_updated":"2026-08-11T12:54:21Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-17T19:18:33.452029Z","submitted_at":"2026-08-11T12:54:21Z","title":"Weighted First-Order Model Counting over Ordered Domains"},"reference_resolution":{"displayed":54,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":3,"verified_fuzzy":32},"total_outbound_references":54},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"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."}