{"as_of":"2026-08-08T11:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:81a8933dd1363a2c9af99e0cf0256675a8d0bc97f66e9cc06efe3be42cafaceb","coverage":[{"denominator":66,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":66,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:19:20.987111Z","state":"measured"},{"denominator":66,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":66,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2507.11655/citation-record","integrity":"/paper/2507.11655/integrity","json":"/paper/2507.11655/citation-record.json","paper":"/paper/2507.11655"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:19:15.165392Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:15.165392Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:eb74708cabf9d0f11eec9666dd62286e905937bcee350a9caca8abae4a95dd63","observation_id":"b269b98a-1aca-424d-ae59-ffd9c9b00850","resolution":{"observed_at":"2026-08-06T17:19:15.165392Z","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-06T17:19:27.801048Z","title":", Amendola, G","venue":null,"work_id":"062aebc5-0c71-4c45-923f-d89544e8db70","year":2019},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:15.286357Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:8f96dffdf9d7e5c05e5c9e121a4ea9da2843bb8c451402c5e592a667b8a8c5bd","observation_id":"e81a6f19-2221-437e-9ab5-927b4a2d883a","resolution":{"observed_at":"2026-08-06T17:19:27.888360Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:27.629144Z","title":", Dodaro, C","venue":null,"work_id":"261af2db-7bef-4678-8e38-d2f33758f851","year":2015},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:15.404098Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:8588e6f4e04a1985bad5f93942c827036d92fcda0c5cda28f02ffc3bbae1217c","observation_id":"db3ece5f-4256-4ee5-843b-d964c90da9c3","resolution":{"observed_at":"2026-08-06T17:19:27.705714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:27.434699Z","title":", Ricca, F","venue":null,"work_id":"1e3a2ec9-500b-4410-8fa7-f29b7db9697b","year":2017},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:15.513651Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:3dbb7e078a594d8ec294f6f2627098b1e6839a7710c659c2e9fb44b967ecef79","observation_id":"0f860e37-846a-4761-87ba-468708d64cf2","resolution":{"observed_at":"2026-08-06T17:19:27.521865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:27.267599Z","title":null,"venue":null,"work_id":"eea03f27-cc40-46fa-a17b-6b8a3e585f59","year":null},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:15.610350Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:9d9091a60c8b47d3f7dd486d0492fd63ca53fa8d9e1ae424f30ddd7b7d7e1d39","observation_id":"9fd8ecbc-1371-478c-a759-a0f4f3f18027","resolution":{"observed_at":"2026-08-06T17:19:27.346938Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:27.070328Z","title":null,"venue":null,"work_id":"b4a57383-4fb8-4508-8ecc-59906cf0f9db","year":null},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:15.674093Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:648f5f71c2fbee80482b1a550f2af81f3806dd6049d960de87cc98a335af55d1","observation_id":"320c5214-e7bb-41e0-8480-6e75d53ea10e","resolution":{"observed_at":"2026-08-06T17:19:27.155962Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:26.887145Z","title":", Heule, M","venue":null,"work_id":"83a1b88d-ba00-446c-86e0-dc154472981b","year":2017},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:15.809494Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:7dc9590da576253675fd1779e06aa0b2cf4e31169b6d3e0ec5f4f9b22cc64f98","observation_id":"42bd5a0e-11e2-4117-a527-2862468e8cf7","resolution":{"observed_at":"2026-08-06T17:19:26.950624Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:26.728072Z","title":"and Dechter, R","venue":null,"work_id":"e1f99f5f-4f50-4595-adf4-7ffb7db4fda3","year":1994},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:15.925104Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:91391fa0fdfdd5dbf8a6c9aa03ecaa89037e58651b608810c6a4517c09627dd8","observation_id":"a6261203-3535-40c6-ba09-7624ef667229","resolution":{"observed_at":"2026-08-06T17:19:26.802454Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:26.512315Z","title":", Angiulli, F","venue":null,"work_id":"e868241e-5368-44cf-a75c-f50cd4fa6c04","year":2017},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:16.019247Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:be406b8062dab1e194383f764435b9cab0934ac01a33e3202bed55d7b5619b24","observation_id":"7cbe964e-165b-415b-b5ce-e2f22a5cce47","resolution":{"observed_at":"2026-08-06T17:19:26.601113Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:26.375811Z","title":"and Meel, K","venue":null,"work_id":"4bcf8df5-8676-42d0-8c04-c1f479c51e1d","year":2021},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:16.095103Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:19b0d4238e14e0a319f836d03dbf281229c9751cc04fcc958f6885d0a749d6c2","observation_id":"82a8baad-1d0f-4d2d-a87d-ac8fa05f42e6","resolution":{"observed_at":"2026-08-06T17:19:26.435521Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:26.214173Z","title":", Lagniez, J.-M","venue":null,"work_id":"0f972f31-2b0f-480d-ad94-400b586b44aa","year":2024},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:16.194674Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:50121051d2494fed87fc51b38d3047c4d0a6e8e00cc134eee2eed6caface3b62","observation_id":"550df899-c21b-4772-a3ac-736422902530","resolution":{"observed_at":"2026-08-06T17:19:26.267989Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:26.031210Z","title":null,"venue":null,"work_id":"9c4a00ec-2e71-40e4-9796-ae11ba26ea56","year":1978},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:16.275251Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:8e3e093e3361d24811ca238e35ce18959e40ec885f757424b90a5e3498eeb7d8","observation_id":"a051430f-7392-42e4-a23f-ef43c445b0ab","resolution":{"observed_at":"2026-08-06T17:19:26.114619Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.950273Z","title":", Hermann, M","venue":null,"work_id":"94e9d2b3-e2d3-4994-90d7-1258c14323ed","year":2005},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:16.411966Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:e056a622f42f025795993ed87efb466dec78590c9c20277bc5b423609c0cafc4","observation_id":"3de30391-b12d-4ff7-bb41-08172ef8d291","resolution":{"observed_at":"2026-08-06T17:19:25.963933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.907811Z","title":", Eiter, T","venue":null,"work_id":"e372dff1-9a10-4752-8b2d-32b207405f98","year":2000},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:16.506888Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:338c4c000c052e5c9dc4830370a5d3068501ee97182a96851460bd7e32ceb55d","observation_id":"d62e76da-42b5-4c84-8d6f-ae6f83ac1227","resolution":{"observed_at":"2026-08-06T17:19:25.929857Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.873398Z","title":", Fink, M","venue":null,"work_id":"57a793b5-7be9-4fe7-ad46-288255dd5600","year":2004},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:16.624975Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:7774e896572be833f9431ebc139aa32cb0bc0de46eb254655bd53b79d3ec27f8","observation_id":"55868c05-a4cb-48b4-9b8d-e075d5294820","resolution":{"observed_at":"2026-08-06T17:19:25.886593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.849208Z","title":"and Gottlob, G","venue":null,"work_id":"ce32037a-ed40-48eb-88ce-035c693044e4","year":1995},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:16.720709Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:e671b96c7b7a9b2c7c734993113f4d9f93e6b04fe74cd9b973a39b0c4f8c149e","observation_id":"90d7a177-638a-4252-9f43-0e7834eec703","resolution":{"observed_at":"2026-08-06T17:19:25.857835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.804809Z","title":", Hecher, M","venue":null,"work_id":"54f95cfa-217a-4f06-8f15-c3d1e41716c7","year":2021},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:16.846708Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:cc8bcb256492be818501b3906d48e2d1d28d5e951095acc3321cdc2ac44c66e8","observation_id":"5ca8237d-5d0b-4d34-bd67-159346eb1b6f","resolution":{"observed_at":"2026-08-06T17:19:25.815215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.778006Z","title":", Hecher, M","venue":null,"work_id":"a6787ae2-fc66-47d5-9842-d08b8a565111","year":2024},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:16.955914Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:810825a8b43ee7c6adc83fd60d225835a36cf3da163cbb60982c6a8c39ff9be0","observation_id":"45510c34-c18f-40f4-9972-77acf96541e2","resolution":{"observed_at":"2026-08-06T17:19:25.784601Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.756212Z","title":"Consistency of C lark's completion and existence of stable models","venue":null,"work_id":"542b9dde-b011-4748-b96d-1d522bd7b04c","year":1994},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.056417Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:89061f6df6969fa3ca223dde0cf6cf50e9b944e17dca794946224a053633dc77","observation_id":"98219686-c239-4bc8-b03d-5ac66afd6d49","resolution":{"observed_at":"2026-08-06T17:19:25.763928Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.729532Z","title":"and Schulz, C","venue":null,"work_id":"5ebdfbb9-3730-491e-a33f-156767fba1c6","year":2019},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.174462Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:b230765291b297db0f2f166bc977a1c97f2d1edf168b1e3d7b5d6dfcffb1d1b6","observation_id":"c09d2b86-150f-4e86-829b-8cdb24337432","resolution":{"observed_at":"2026-08-06T17:19:25.740579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.707831Z","title":null,"venue":null,"work_id":"e2fabe83-1ec6-491f-b954-6817ba8a0444","year":2024},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.258256Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:925dc9b6f84bbc36da5fcd0ee51df2fd2ba71eaa85c688dc5c87c975475042f3","observation_id":"496885d9-f583-4cf7-948c-12471194e1c9","resolution":{"observed_at":"2026-08-06T17:19:25.715096Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.678389Z","title":null,"venue":null,"work_id":"9663c6bb-4703-43a1-ab93-202933a9bf09","year":2022},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.344874Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:4b646c56c35bc258b2214cde79c8883127e0f490e9bc6bd3d43ea6c9a9914c05","observation_id":"116f850a-2407-4c3c-bcf7-89a3cfdf082f","resolution":{"observed_at":"2026-08-06T17:19:25.688356Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.644631Z","title":null,"venue":null,"work_id":"7a82f716-0e2c-4801-9781-22372d53f3f3","year":2019},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.428774Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:c3a6ea24b8af85924b6636196989a3efaf342904c06902bd3eaa9e3026b3156c","observation_id":"4fe06415-5a77-46b3-a5ac-cad732e6e241","resolution":{"observed_at":"2026-08-06T17:19:25.652912Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.610942Z","title":null,"venue":null,"work_id":"afab671e-d531-4788-b3f1-2cc9c86eaaf9","year":2017},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.499632Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:781d018bdba322fc3901979700a203e5e9fbe4d5516d529c772fe323f3f83bfd","observation_id":"d2439252-628a-4698-b470-884992ac68f6","resolution":{"observed_at":"2026-08-06T17:19:25.618600Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.588835Z","title":null,"venue":null,"work_id":"df81d1ca-3f0b-4864-b66f-0d4d5f389c14","year":2015},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.594261Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:01bb8de81354a300f76b1906bab627f7e6e467e3339b9b7cb817aa4c6ddcf899","observation_id":"a146ef4c-2e0c-4e69-a07d-9dd7e94ef577","resolution":{"observed_at":"2026-08-06T17:19:25.594813Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.563592Z","title":null,"venue":null,"work_id":"c2dd7a1f-a85d-4672-9d70-b2d74b816785","year":2015},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.652694Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:cc0f99a78e8c336f38d6e9047d77e6621d8a017551f5426c8a8c0030da84995e","observation_id":"ef01573d-1cbf-4ccd-a5df-db052a857344","resolution":{"observed_at":"2026-08-06T17:19:25.572662Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.533725Z","title":", Kaufmann, B","venue":null,"work_id":"8e1baf09-0458-47f9-bf41-4b0c32b76534","year":2012},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.745923Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:7b75164e52e3068814488a336cd0db5472092c0e3bf2be7d8c484fab8d55b27e","observation_id":"411b0bce-98f5-48df-8f4e-28a7a4c2a8f8","resolution":{"observed_at":"2026-08-06T17:19:25.544619Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.507881Z","title":", Maratea, M","venue":null,"work_id":"72a4f75c-15be-4892-bc0f-ddebabcf6404","year":2020},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.803342Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:16f18adc87a1414516a5b3453bd28cff4af7264cad7be52d57e8453f84ae6948","observation_id":"08ed3986-f101-4042-8d70-0ede6410ae98","resolution":{"observed_at":"2026-08-06T17:19:25.514512Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.479942Z","title":", Schaub, T","venue":null,"work_id":"b795d98b-ed3c-45b3-bef2-90e55f7f8d0d","year":2008},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:17.921210Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:8c81eb35132dbc84960399c1d753c198ec730c9ba30a0ef8d44ea9e803fda6d1","observation_id":"31767dd2-ac8d-4ab6-9411-fb4a02105f96","resolution":{"observed_at":"2026-08-06T17:19:25.486520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.456403Z","title":"and Lifschitz, V","venue":null,"work_id":"9fcc768a-af8e-4baa-8e7b-9aa7818c6be0","year":1988},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.030008Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:074662044dd8bebdaef819f5cacc79d514573bc5af1cfbd7436bc8e60a984640","observation_id":"4dd02bca-5431-442d-ae7a-4f4af0e455d1","resolution":{"observed_at":"2026-08-06T17:19:25.462307Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.433900Z","title":"and Lifschitz, V","venue":null,"work_id":"ee143adc-dfe7-47bf-8a50-3e8f43946093","year":1991},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.115871Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:e8e982bf4c06e543e95e642af5c42b8ed3e4b358740e3bce2f9ede735e315293","observation_id":"c3ce558e-27a3-482b-835d-ab78ca8c39ef","resolution":{"observed_at":"2026-08-06T17:19:25.441013Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.413075Z","title":"Treewidth-aware reductions of normal ASP to SAT --is normal ASP harder than SAT after all? Artificial Intelligence , 304:103651 2022","venue":null,"work_id":"172f2c13-a9c0-4c1e-9f89-2f5dbf68f85e","year":2022},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.240404Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:4b317021d6521398ac98b9db384708d2ad222cfa1d30b256480502e4b940db41","observation_id":"30fc18c2-790c-410e-a8a3-7c31f25e4841","resolution":{"observed_at":"2026-08-06T17:19:25.418909Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.387464Z","title":"and Kiesel, R","venue":null,"work_id":"0e8faf14-a987-4587-b530-72a658f5f237","year":2023},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.344891Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:0c1bbd456aa5e84f8c9a6107025c055aa6f062cc1f888698b1e1ba2d07ea5159","observation_id":"4aba7c50-100a-4fd3-8609-0afdb74d62a0","resolution":{"observed_at":"2026-08-06T17:19:25.395460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.364735Z","title":null,"venue":null,"work_id":"20f4f1af-582d-44ca-a604-e962ec08b06c","year":1995},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.456157Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:407111236a7d746c835ca19fc755de5c04c18b2dd3533d8fda363c7078caba5d","observation_id":"17e89b2d-60c8-4602-b007-b71f5e852f31","resolution":{"observed_at":"2026-08-06T17:19:25.370745Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.339815Z","title":"Some (in) translatability results for normal logic programs and propositional theories","venue":null,"work_id":"f51b712e-0a44-4ff0-816b-106424a5afe3","year":2006},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.537868Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:04189fb8526c3aef2643876f3fd242abbe9b083920c860dc593870c3db859a9a","observation_id":"b6a41d01-bb17-4f61-98a2-84695f666b8b","resolution":{"observed_at":"2026-08-06T17:19:25.346989Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.315622Z","title":"and Niemel \\\"a , I","venue":null,"work_id":"c6362b31-d4d2-4741-8cb8-fa7a06068b50","year":2011},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.600462Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:fe114e2c4516a8444e282df2609db842d12c4cf7f2a49d6178521b218d6d519a","observation_id":"117eae61-e143-4650-92c7-38e161b68c6a","resolution":{"observed_at":"2026-08-06T17:19:25.321974Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.293547Z","title":", Niemel \\\"a , I","venue":null,"work_id":"b16a65b7-f20d-4b4b-9718-1be783bda404","year":2006},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.689702Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:75aab5d7613b731bca41b6d35df94d761c75dc006019a03e5c173dbdb69ce425","observation_id":"d32bdbc1-a8db-44a5-a1f2-67a0b2b376ee","resolution":{"observed_at":"2026-08-06T17:19:25.300529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.268971Z","title":", Wan, H","venue":null,"work_id":"d9514184-330e-4429-a594-9449ea3e85a5","year":2016},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.782683Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:e85bcffe109793ae4af02161a122d0f5b4b17e6bc2d375deb2c3718e4766e58f","observation_id":"7cd8b9bd-1187-4ce4-988b-ba9754fc2bf7","resolution":{"observed_at":"2026-08-06T17:19:25.277049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.10170","last_updated":"2024-09-16T11:02:47Z","snapshot_observed_at":"2026-07-06T19:15:56.947205Z","submitted_at":"2024-09-16T11:02:47Z","title":"Minimal Model Counting via Knowledge Compilation","version":1},"cited_work":{"arxiv_id":"2409.10170","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.10170","snapshot_observed_at":"2026-08-06T17:19:21.466440Z","title":"Minimal Model Counting via Knowledge Compilation","venue":"cs.LO","work_id":"7be87d0f-7261-42b5-b583-94e48e3aac5c","year":2024},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.882598Z"},"links":{"cited_paper":"/paper/2409.10170","citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:8d28d8afdbd6d39b275ee73ba4ccf4551c8ac9529edb4ea93e3d60e2e476a412","observation_id":"4fd7bf35-ed5a-4f70-9852-8f09562c7c4a","resolution":{"observed_at":"2026-08-06T17:19:21.565729Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.244156Z","title":", Chakraborty, S","venue":null,"work_id":"157dca38-80d0-44ee-83f8-1961e8eae67d","year":2024},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:18.963675Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:1b8e0c75744e11849862fccac823c45fcdf1166a058db15f298f964071df79c2","observation_id":"913a802d-717d-4729-b4c2-205a9851b002","resolution":{"observed_at":"2026-08-06T17:19:25.250343Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.219843Z","title":", Everardo, F","venue":null,"work_id":"ade664c8-d253-4606-a885-f5b5f91d39d7","year":2022},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:19.049425Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:c2acf4f9c2597dc01f5c6f054ad35bf981790dc7ec2ac2b997a2a2851c9c4ff1","observation_id":"6e31c9ee-d69b-442d-b6af-961c21c18101","resolution":{"observed_at":"2026-08-06T17:19:25.229346Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.197404Z","title":"and Meel, K","venue":null,"work_id":"974b13a7-6e81-485f-bb8a-b8fceb2919f1","year":2023},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:19.134129Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:54bd1c36be2577c68d0be98ffc4de0e23313d0a39724ea1b7ff2242dfc383cb9","observation_id":"78fc6c23-d474-4d4d-8ee0-7aa4c4a5fb4b","resolution":{"observed_at":"2026-08-06T17:19:25.204998Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.170695Z","title":"and Meel, K","venue":null,"work_id":"98c1f4a4-38bb-4acd-9273-6492c3bf3a8c","year":2024},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:19.217629Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:a29ebde50c6bd0bf98a1846cfe52a2998c79499a7090705311407df773280e51","observation_id":"d6d0e961-7d32-4e41-9ff6-aac0f2eb694e","resolution":{"observed_at":"2026-08-06T17:19:25.178793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2507.03929","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:19:21.303540Z","title":"and Meel, K","venue":null,"work_id":"b3bd49ec-c0e4-474c-aef6-f2614297e252","year":2025},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:19.327515Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:d58086e0c00b9a50e2a868ff6a7edd869b2c3c0e44b2ecc59aee9a2e1dd75939","observation_id":"54e0c737-6d51-45a1-aab1-4e7cbfbd2f35","resolution":{"observed_at":"2026-08-06T17:19:21.377139Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.06013","last_updated":"2025-06-18T03:18:49Z","snapshot_observed_at":"2026-08-07T05:59:43.638261Z","submitted_at":"2025-06-06T12:00:39Z","title":"Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks","version":2},"cited_work":{"arxiv_id":"2506.06013","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.06013","snapshot_observed_at":"2026-08-06T17:19:21.112313Z","title":"Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks","venue":"cs.LO","work_id":"d8fb9676-e5ca-4de6-92a5-06a39b384cd7","year":2025},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:19.416311Z"},"links":{"cited_paper":"/paper/2506.06013","citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:091f62c0bee20f44657371bc926eeb2828bc531f55c51aa147ac646a0e16a676","observation_id":"b28f7a84-2743-44e0-943b-1441627ef947","resolution":{"observed_at":"2026-08-06T17:19:21.174529Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.142985Z","title":"and Stuckey, P","venue":null,"work_id":"ea503ff2-83bd-4f73-aa56-3e723f2d8423","year":1992},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:19.524014Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:6699681a8980bfc3ea251ca28817a23e9d03a2c7306b9c4542c9e40d9f2b4a76","observation_id":"b4186bed-1807-4675-9c27-7aba9758d105","resolution":{"observed_at":"2026-08-06T17:19:25.150554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.110899Z","title":"and Marquis, P","venue":null,"work_id":"d698b37b-628e-435f-9ddc-2a6b140f8173","year":2017},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:19.639574Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:f81be72812ae7463bd06841805ceca95691521c4165d7264e86832f774d06c2a","observation_id":"6cbc26b4-379d-4830-a05b-82105332a685","resolution":{"observed_at":"2026-08-06T17:19:25.122007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.081230Z","title":"and Marquis, P","venue":null,"work_id":"25858747-d6b1-4f3a-ac4b-54a41378c14f","year":2019},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:19.757296Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:f2ba316eead2ff9f28916b57ce3ebbe2385ba5628d43e6cc768fcbd9427754a9","observation_id":"1cfeebf7-2ec3-45b3-83d5-c136dfd526d1","resolution":{"observed_at":"2026-08-06T17:19:25.093355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.039864Z","title":"and Lifschitz, V","venue":null,"work_id":"a50ffb7d-29cd-4cd8-ad0a-3aabc99ca60f","year":2003},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:19.875772Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:fa2b7f83531440978115194030a8cfade31cc3bccf936a800dd69cb170768f5d","observation_id":"7093d7ad-6bee-4d37-81b2-93e18011fe7c","resolution":{"observed_at":"2026-08-06T17:19:25.049774Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:25.003158Z","title":", Talsania, S","venue":null,"work_id":"ac2c0a01-f2d6-48d3-a897-aaea7287cd0d","year":2017},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:19.959988Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:f420486e91a7bef00788f96e177e1e066aa0ef345a4bee901a4a17c7fb1da127","observation_id":"b568c406-7aa1-4d86-a2b5-920ad2d9d489","resolution":{"observed_at":"2026-08-06T17:19:25.015057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:24.973826Z","title":"and Ricca, F","venue":null,"work_id":"2b16194c-b85e-4f0b-873d-aa854d77a19d","year":2015},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.021041Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:6f5aad7d0ca81ec7259f9d4be584efe86d39fef01837d18e9b79ee7c1b9f6c20","observation_id":"08ea392a-bf82-48a4-86d5-f0ccb4bd2eb1","resolution":{"observed_at":"2026-08-06T17:19:24.985617Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:24.941021Z","title":"Cmodels -- SAT -based disjunctive answer set solver","venue":null,"work_id":"0de032d8-0020-49ae-a8da-9ded1d6db170","year":2005},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.086404Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:f7c26f8d4f726bd2dafd2f47211051952e162cb1d90590427be52f2b35276019","observation_id":"97aa584a-3451-4428-8907-b19bc8f69270","resolution":{"observed_at":"2026-08-06T17:19:24.950258Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:24.905714Z","title":"Thirteen definitions of a stable model","venue":null,"work_id":"3b014b24-e52c-4346-9a03-69a41caac828","year":2010},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.126219Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:221203fd9a9c162a90846ab70812ef1646d301470f8d7d01faab35861d833042","observation_id":"b286cb7f-2387-4f83-8ef4-74931e7c5945","resolution":{"observed_at":"2026-08-06T17:19:24.918068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:24.772914Z","title":"and Razborov, A","venue":null,"work_id":"ff7ea519-4dd7-4d73-a78a-993c350195a8","year":2006},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.197408Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:571cde67c8761b34ace44883758a477fe49f2b8d93c26b07a3d33d539e8e2cde","observation_id":"c20255cf-6119-4f45-b630-3779480a9ed5","resolution":{"observed_at":"2026-08-06T17:19:24.877010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:24.606318Z","title":null,"venue":null,"work_id":"2d09d388-ff31-41f5-beef-58e025ed8c75","year":1999},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.274307Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:f617d0ae5813aaf5cc18abd50f2391b3dbe6bf68fe2b1ebd9b6b47bce091c80a","observation_id":"2064a5d6-5998-4159-9ced-1643fe02dc1b","resolution":{"observed_at":"2026-08-06T17:19:24.682374Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:24.338175Z","title":"and Truszczy \\'n ski, M","venue":null,"work_id":"b5b7d4e4-392e-4534-8737-2bb99ca36cb5","year":1991},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.319924Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:7fec5c0de58f4727662ef76553952d4421b6ab4e699e8748b611215fcd859cf7","observation_id":"ceb50132-5278-4eb4-9db1-cf5c7f080fa4","resolution":{"observed_at":"2026-08-06T17:19:24.449608Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:24.061231Z","title":", Balduccini, M","venue":null,"work_id":"84d5ea5e-636f-4960-a8c9-577a01dd7371","year":2001},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.384775Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:d31cc3b33715aa6ecef67f9d3df6da11b6c68186ae1788882e6c33f3bc2a7c29","observation_id":"010384f6-5b66-420f-95a9-2be9e1222275","resolution":{"observed_at":"2026-08-06T17:19:24.172092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:23.783680Z","title":", Son, T","venue":null,"work_id":"07152568-d877-4cbc-82a7-e39da885a4c8","year":2009},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.445681Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:1e75de84497cdc682c108a2e2ee78e58d541838eec7bfaa034b942a1c0b6da77","observation_id":"629ba614-7268-4514-9a3e-ddd90fc23451","resolution":{"observed_at":"2026-08-06T17:19:23.944672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:23.527185Z","title":", Hecher, M","venue":null,"work_id":"18b586a6-4932-420c-941d-77009abc2483","year":2024},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.534050Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:169218ea55330927d4826d451878766b15f76e48c763c680cbd9b9621bbadbd5","observation_id":"22edcaf7-3d3c-46c2-b91a-d0decab9a85c","resolution":{"observed_at":"2026-08-06T17:19:23.620164Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:23.306308Z","title":", Roy, S","venue":null,"work_id":"441ea925-9120-439c-9687-c02bec2763da","year":2019},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.586419Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:1fcadee1c26d2497bf56e3c9c49489cf35b15828594c474905cc82054e40ac78","observation_id":"8dcb9bd4-730d-4719-a910-053912966d7d","resolution":{"observed_at":"2026-08-06T17:19:23.410350Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:23.050731Z","title":", M \\\"o hle, S","venue":null,"work_id":"44c060bf-0089-433c-a2ef-cb0cc36c8ab2","year":2022},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.670575Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:6a6b72aa0eca75887d4a5cbc7560d41fd1301c5eb758cd4547de569efdffbac3","observation_id":"4efe3b00-1fd9-4a09-a4ca-4cac66c20e2b","resolution":{"observed_at":"2026-08-06T17:19:23.158206Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:22.758132Z","title":", Hashimoto, K","venue":null,"work_id":"b2f517e1-71ad-4aed-9775-6eb62945fe7b","year":2017},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.715618Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:0f711acbca9b9ccaaed406959648ab2c2e00a6c75133bfa7d983b71c640ec9b2","observation_id":"a77141cd-331a-40de-b855-318db4d45639","resolution":{"observed_at":"2026-08-06T17:19:22.872402Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:22.531947Z","title":", Benhamou, B","venue":null,"work_id":"635c5969-14c8-4121-879a-646dd99b9ead","year":2024},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.805835Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:d4bb3d314272754db6a2c5613ab57f4b4ba45aea0255d3da10c857174279b198","observation_id":"2aec85f6-e6d3-4504-975d-ae0f8a76bef4","resolution":{"observed_at":"2026-08-06T17:19:22.622822Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:22.257554Z","title":null,"venue":null,"work_id":"acda408b-47e4-4964-8fd8-cbe212330543","year":1979},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.868951Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:a881b27ce7d086c1d093eb94f992621007691109281b0a07947746549c5c14d9","observation_id":"e8015e78-5d57-4c49-b3e4-3c2af2a74f53","resolution":{"observed_at":"2026-08-06T17:19:22.418867Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:22.015337Z","title":"From disjunctive to normal logic programs via unfolding and shifting","venue":null,"work_id":"442b7e67-e487-4364-a976-63917bccafb5","year":2014},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.929397Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:1522d666ecf51f0eef01bfe6e0f59866976263faab79fcc113d33ce1d874bebe","observation_id":"5edef516-9714-4696-92a6-af138a85cd32","resolution":{"observed_at":"2026-08-06T17:19:22.116121Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T17:19:21.720162Z","title":"write newline","venue":null,"work_id":"3997c9d6-a712-4dfc-b1f5-4828108cbe05","year":null},"citing_paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-06T17:19:20.987111Z"},"links":{"citing_paper":"/paper/2507.11655"},"observation_digest":"sha256:c08d21045f156da53658c12142e3d7c8707daccc3f81dd378a94f4c2fc9e7cf9","observation_id":"ec22567c-45c6-4d68-ac52-d31b79e7144c","resolution":{"observed_at":"2026-08-06T17:19:21.865886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.11655","last_updated":"2025-07-15T18:41:19Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T15:44:32.904780Z","submitted_at":"2025-07-15T18:41:19Z","title":"Counting Answer Sets of Disjunctive Answer Set Programs"},"reference_resolution":{"displayed":66,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":3,"verified_fuzzy":50},"total_outbound_references":66},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 66 of 66 outbound references and 0 inbound Pith citation observations for arXiv:2507.11655."}