{"as_of":"2026-08-08T13:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dd3285d35976571d8036d56d1307175e6af566f7d7b1d4160d75bbccda376fd4","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:58:47.102270Z","state":"measured"},{"denominator":61,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":61,"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/2506.06716/citation-record","integrity":"/paper/2506.06716/integrity","json":"/paper/2506.06716/citation-record.json","paper":"/paper/2506.06716"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:57.873609Z","title":"Mix Barrington, and Huong L ˆeThanh","venue":null,"work_id":"f9505357-d22f-4182-a67b-e3cd5e50447c","year":1999},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:38.706754Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:b8c0cb61eff404d0d1ca6ab01d625b2d74f2ee4d97a3dbcf47880f1be7a53ad1","observation_id":"331a1bf0-5755-4874-9565-f1f9d7f925e0","resolution":{"observed_at":"2026-08-07T05:58:57.937635Z","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-07T05:58:57.708768Z","title":"A very hard log-space counting class.Theor","venue":null,"work_id":"25c15fd6-b8c1-4f80-ae13-ffb3b088b2a5","year":1993},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:38.778284Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:ca5a66f226930adb1e075f2e1801817df36730b0cc839f4ad33db1695e290a7c","observation_id":"5f427349-7eb6-40a7-a846-b489f0278f39","resolution":{"observed_at":"2026-08-07T05:58:57.805781Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-07T05:58:57.555090Z","title":"Completeness, approximability and exponential time results for counting problems with easy decision version.Theoretical Computer Science, 915:55–73, 2022","venue":null,"work_id":"420e3096-a65f-4aaf-80d2-78b5f797cf09","year":2022},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:38.932690Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:db0e747388ca5f7d1ee685522cb19fea8e168eb2cece5acc7535dd542f38106f","observation_id":"bf8797f0-4419-467c-8320-ca2db6c1016f","resolution":{"observed_at":"2026-08-07T05:58:57.606099Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:39.079640Z","title":"#NFA admits an FPRAS: efficient enumeration, counting, and uniform generation for logspace classes.J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:39.079640Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:1bf247625296bf78f67f94932dd54405840968c19f5e6059a9a2f033d9ba4d81","observation_id":"da28f84f-5494-4786-af38-dd5e43aa8b8d","resolution":{"observed_at":"2026-08-07T05:58:39.079640Z","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-07T05:58:57.414569Z","title":"Graph isomorphism is in spp.Information and Computation, 204(5):835–852, 2006","venue":null,"work_id":"8d55c986-ca02-4b7c-9176-09b76b17abb6","year":2006},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:39.203202Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:96beccee007dab64a8d07123e2315f1cc152491f4e3b06d0c7a6fb8a8d97df2e","observation_id":"d7c88139-516f-4bb9-a7b9-25c7e4c0e1c5","resolution":{"observed_at":"2026-08-07T05:58:57.479354Z","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-07T05:58:57.259914Z","title":"Guest column: A panorama of counting problems the decision version of which is in p3.ACM SIGACT News, 53(3):46–68, 2022","venue":null,"work_id":"aa872d99-12fb-4445-850a-02a6a003595f","year":2022},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:39.321615Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:3abd0c755c4cb252cf9deca707ad7fb3fd974ba7b91415ff9650be64ff78b5ab","observation_id":"cc5a09bf-dcbd-4549-aafd-92d34ea9ed3d","resolution":{"observed_at":"2026-08-07T05:58:57.347217Z","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-07T05:58:57.118640Z","title":"On the power of counting the total number of computation paths of nptms","venue":null,"work_id":"82d47579-4026-4272-af2b-d5fb67badcb8","year":2024},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:39.440896Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:7b753b8a260328a1d29b56a783cca6e4c631f0715aaf013bd2cfdda2a719ca1d","observation_id":"ba005760-958d-4252-bad1-18abf68bf564","resolution":{"observed_at":"2026-08-07T05:58:57.168054Z","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-07T05:58:56.962449Z","title":"Characterizations and approximability of hard counting classes below","venue":null,"work_id":"8105eedb-f46a-426c-91fa-bc6b95aa3f98","year":2020},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:39.540684Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:5a0892f98d7c3986594aa3f656fee158251b69ac5f9778e2b8f10170edb07919","observation_id":"18ce6e19-c668-4d69-837d-76384fed4fbc","resolution":{"observed_at":"2026-08-07T05:58:57.038116Z","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-07T05:58:56.717138Z","title":"Counting classes: Thresholds, parity, mods, and fewness","venue":null,"work_id":"c6556a7f-592d-4fd0-b0b2-5775513c3cc9","year":1990},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:39.653372Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:3eb5059a3d0cef3fc3c9a1b4c4ab462984fd8b9841891e5857e9043c6243f660","observation_id":"1ade1b93-7ab4-46c5-b727-650011e9aa2d","resolution":{"observed_at":"2026-08-07T05:58:56.847267Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:39.780252Z","title":"Spielman","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:39.780252Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:440288bbcf36d52367581d6dadcf8815fca5b4875dbb45b4dbf65ec49a6776c7","observation_id":"641425c3-4c95-4c38-8ca8-1d7856f2bd11","resolution":{"observed_at":"2026-08-07T05:58:39.780252Z","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-07T05:58:56.505057Z","title":"Handbook of Satisfiability, Second Edition","venue":null,"work_id":"ddbedf4b-b9f1-4ac3-bf99-4840a4804da9","year":2021},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:39.890326Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:5f7969d61a138159e12b3883935e02cf8b4caaf183ebdc8a81b4863b56f03885","observation_id":"ff3b5354-3413-4585-9120-7b220fd52062","resolution":{"observed_at":"2026-08-07T05:58:56.599241Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:40.006879Z","title":"Bodlaender, Paul S","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:40.006879Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:d31a00203fefdcdcdf4341ad546d1443ffca60a89f16de665fa450105356c276","observation_id":"4f6cc2f2-eee1-490d-8de5-10fbf5e147cc","resolution":{"observed_at":"2026-08-07T05:58:40.006879Z","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-07T05:58:56.322870Z","title":"Bodlaender and Ton Kloks","venue":null,"work_id":"1cbd0818-2c5d-44a7-984c-1994192a2cb6","year":1996},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:40.117738Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:6adafbda750bf1b3f2aefa7f17a5e473d7c867f1e0c9b5dac6bbd046eace4831","observation_id":"55a07285-d3b3-4df8-8dfc-ff5bcb4093e5","resolution":{"observed_at":"2026-08-07T05:58:56.378113Z","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-07T05:58:56.164514Z","title":"Bodlaender, Arie M","venue":null,"work_id":"d0665ba1-79bd-422d-b25f-b25dbb995047","year":2001},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:40.199292Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:7d094fb0e856a16cd245f670220e04c243164dfaa6019a996212e43a7853faa9","observation_id":"7a9fbd6b-57bb-4932-a21e-6fe4ffbcccaa","resolution":{"observed_at":"2026-08-07T05:58:56.227082Z","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":"10.1016/j.ic.2018.02.008","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:48.728951Z","title":"Block interpolation: A framework for tight exponential-time counting complexity.Inf","venue":null,"work_id":"99e1b5fc-dda5-4dca-ba90-f3df8f392872","year":2018},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:40.316452Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:220ac4bc3b04c73713f8e282320581e9bf9f946a4898bc14bdefc8dc0ad177ed","observation_id":"902eb0e5-37c9-4c3a-8e54-f787898cd640","resolution":{"observed_at":"2026-08-07T05:58:48.854938Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:40.437396Z","title":"Counting mod- els for 2SAT and 3SAT formulae.Theor","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:40.437396Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:61ea0200c513dd4c1fca7a246925c2ba2b88d028922988599378179bb99edf04","observation_id":"4a61bc67-9a7c-494d-a272-7aade4faea27","resolution":{"observed_at":"2026-08-07T05:58:40.437396Z","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-07T05:58:40.535369Z","title":"Exponential Time Complexity of the Permanent and the Tutte Polynomial.ACM Trans","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:40.535369Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:052e0eb68f514809efe08fb7e623109853b4d801968866a87eaca3cee1a9cf57","observation_id":"66c9564f-85ac-4fde-94d6-ff528fcb7900","resolution":{"observed_at":"2026-08-07T05:58:40.535369Z","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-07T05:58:56.020157Z","title":"Subtractive reductions and complete problems for counting complexity classes","venue":null,"work_id":"00cf4ac1-86c3-453d-ba4d-20ce9efe7ced","year":2005},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:40.601385Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:098a9b2e153879bae052adf8279daa7e7f5a012e002aa02011d6457582f98089","observation_id":"052c0c31-f1c9-4a4a-8835-971122702d80","resolution":{"observed_at":"2026-08-07T05:58:56.082521Z","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":"10.1007/s00453-003-1073-y","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:48.376104Z","title":"Dyer, Leslie Ann Goldberg, Catherine S","venue":null,"work_id":"55256162-3649-4688-9187-bb79857636c5","year":2004},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:40.723391Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:a3b3364a0f3c7ca6f00111b30d14fa8885c8d95d9d6de4fdee744c0a8650f25e","observation_id":"09c4e352-7901-480e-8c90-c080f9bbc544","resolution":{"observed_at":"2026-08-07T05:58:48.537033Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:40.859225Z","title":"Fenner, Lance Fortnow, and Stuart A","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:40.859225Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:e30deb99f802f906d220f7117f262bafbe2b9b280d35c7516ab1c36fda55cadd","observation_id":"e3a4db97-3ba0-4466-925f-df115e9fcd47","resolution":{"observed_at":"2026-08-07T05:58:40.859225Z","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.1145/3459080","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:48.084400Z","title":"The model counting competition 2020.ACM J","venue":null,"work_id":"0d28ba72-5707-495d-9a36-2c7314293c81","year":2020},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:41.012866Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:a9f2b644dd83dca2e887ebef0f136060d07b9e6946d9d27ada03903aaf944fa8","observation_id":"a3f3939b-7c2f-457c-8764-f19a56e24674","resolution":{"observed_at":"2026-08-07T05:58:48.237317Z","resolver_source":"doi","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-07T05:58:55.862319Z","title":"Counting List Homomorphisms from Graphs of Bounded Treewidth: Tight Complexity Bounds.ACM Trans","venue":null,"work_id":"73db2968-3fe3-4999-828c-c126df11808b","year":2024},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:41.175627Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:080134da780fae7837d70a5a8849dea8d7d79c19e60bdcc25d25d6c4d1b9e0ff","observation_id":"7ccaa7e8-3536-4a97-a90a-fb887e000007","resolution":{"observed_at":"2026-08-07T05:58:55.934500Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:41.365071Z","title":"PP is closed under truth-table reductions.Inf","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:41.365071Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:7c8fe2cc6d5d49282d5a1a194307dac8f0aa89904d07a4a794bd22d38135968d","observation_id":"4fdeb848-e27f-4f78-918a-63555bf71c97","resolution":{"observed_at":"2026-08-07T05:58:41.365071Z","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-07T05:58:41.515682Z","title":"Synthesis Lectures on Artificial Intelligence and Machine Learning","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:41.515682Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:2487c0c066390f0c692cab9dcb3e2414616f4f812a654c111c7396c7518fd0bf","observation_id":"0a4b2fd8-0b20-4d41-961c-b24971142073","resolution":{"observed_at":"2026-08-07T05:58:41.515682Z","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-07T05:58:41.683818Z","title":"Almost optimal lower bounds for small depth circuits","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:41.683818Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:ce1643c345deda7950d7fadb55a28f9ed0ab7d542dabc6df1ab9cc30a6b21efa","observation_id":"76f4ff12-4b9e-45b4-803b-1f936be5de16","resolution":{"observed_at":"2026-08-07T05:58:41.683818Z","resolver_source":null,"status":"malformed_identifier"},"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-07T05:58:55.739044Z","title":"Relations among mod-classes.Theoretical Computer Science, 74(3):325–328, 1990","venue":null,"work_id":"64d30be1-930f-4ce5-8204-a32b78459011","year":1990},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:41.859841Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:d98d137be11280e28494010df104d811a2e0fb996e98eb963b5b585c6ac509a6","observation_id":"e776f00a-4fec-40c3-91c1-d0fca5f4ebba","resolution":{"observed_at":"2026-08-07T05:58:55.798823Z","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-07T05:58:55.590732Z","title":"Mix Barrington","venue":null,"work_id":"b7f8d63c-99b1-47c5-9139-01e587a797f8","year":2002},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:42.014233Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:596884506114ad0d067d7f0b831244ea5d2d3f904f9fea6b09aa3038ba515008","observation_id":"27412ccc-4624-4095-8f1c-47e821c3de6b","resolution":{"observed_at":"2026-08-07T05:58:55.658141Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":"10.1109/ccc.2005.28","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:47.757100Z","title":"The complexity of the inertia and some closure properties of gapl","venue":null,"work_id":"46a3a5b4-de0d-461f-ac2b-6b09a9027214","year":2005},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:42.218448Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:1070d88b404256706104e8366a26dd4b9b6578a272b1b7ce4a14ff1468eea7e4","observation_id":"5ad9b98c-10ac-4aff-89ab-d989516420b8","resolution":{"observed_at":"2026-08-07T05:58:47.912035Z","resolver_source":"doi","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-07T05:58:55.456046Z","title":"Nondeterministic space is closed under complemen- tation.SIAM J","venue":null,"work_id":"e9dbf027-c5b7-4f0e-9758-fae60f9623e6","year":1988},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:42.393515Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:835fce758e391f047ed2c7e97f26a9b36aa3b76e34571415c9b6fa8f330f8fc0","observation_id":"1b401f31-08b0-4125-8d52-29fc837c0c06","resolution":{"observed_at":"2026-08-07T05:58:55.524207Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-07T05:58:55.307081Z","title":"On the complexity of k- SAT.Journal of Computer and System Sciences, 62(2):367–375, 2001","venue":null,"work_id":"335abca3-a782-4510-a4c7-b62ffb70f3e1","year":2001},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:42.599974Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:aaaeaf5fd226f195a42c07c08faac78fe31e42df683bf108c4690f2b45680fca","observation_id":"1c279249-f8e1-4533-ab84-8ef2a6e298a0","resolution":{"observed_at":"2026-08-07T05:58:55.392730Z","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":"10.3166/jancl.16.35-86","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:47.529952Z","title":"Some (in)translatability results for normal logic pro- grams and propositional theories.J","venue":null,"work_id":"c13b63e7-c3b8-4d27-baa6-51aae0c62f2c","year":2006},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:42.757463Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:abcdd0fed160ffbc9484d866aa18b44b41012df54cd4be95b067360372a1db39","observation_id":"383d4887-aa71-47af-838c-0551235e5259","resolution":{"observed_at":"2026-08-07T05:58:47.637698Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:42.959138Z","title":"Picturing counting reductions with the ZH-calculus","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:42.959138Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:a33187e701561232af5c4b74f0c4616c3ae2e1ca9d0c6beab19f6fb27e554422","observation_id":"7cc11030-a73f-45c4-bd9e-62db51eb02d5","resolution":{"observed_at":"2026-08-07T05:58:42.959138Z","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-07T05:58:55.180061Z","title":"A faster fpras for# nfa.Proceedings of the ACM on Management of Data, 2(2):1–22, 2024","venue":null,"work_id":"10dfb8bd-5c5d-4594-ac01-a240aaeb4353","year":2024},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:43.102628Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:3f4f9607a8792e77c9de57731f7fe100319ec32130e51c1b3ea7dc2e8a6d4d56","observation_id":"63bbe88e-2beb-4b68-8d60-9194a4f5cc99","resolution":{"observed_at":"2026-08-07T05:58:55.244165Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:43.255141Z","title":"On closure properties of #P in the context of PF◦#P.J","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:43.255141Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:967a11728c370fa4075cbd3a16547c651c1d23907949aeb0596f4a1af5bc0d53","observation_id":"5420c153-4e68-49ef-bb3c-2838607162a5","resolution":{"observed_at":"2026-08-07T05:58:43.255141Z","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.1016/0022-0000(93)90006-i","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:47.306579Z","title":"Hemachandra","venue":null,"work_id":"620744bd-2946-4d23-a86c-cc5ce074cade","year":1993},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:43.361750Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:d15791d8281c186ef8712f6b5facede76ea8606d8d4466d4162bd8a038891e4f","observation_id":"fc61abb6-3e63-4193-99b0-571c9781c0b1","resolution":{"observed_at":"2026-08-07T05:58:47.400477Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:43.498255Z","title":"The complexity of counting functions with easy decision version","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:43.498255Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:67b70c027e425221959fd3e8add4d3caba6c1cc78f4eb8cf4571828d6eae4b9f","observation_id":"6a016b29-e4f4-40f8-b042-4544c6c4a0b9","resolution":{"observed_at":"2026-08-07T05:58:43.498255Z","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-07T05:58:54.916534Z","title":"Two remarks on the power of counting","venue":null,"work_id":"cefab30c-9554-47c1-bdfb-d3f17e5b2adb","year":1983},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:43.650467Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:bcad0b9a12f88535250268c83cecc0ef4836e1dc5808b96b9404af54812fef9e","observation_id":"8852c54e-e552-4fa0-a060-edf3792770ab","resolution":{"observed_at":"2026-08-07T05:58:55.083698Z","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-07T05:58:54.687111Z","title":"Algorithms for propositional model counting.J","venue":null,"work_id":"55bd930c-857d-4c97-a0cb-d0302ee7b1d4","year":2010},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:43.796361Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:b144f16746de64e14bd9a434306ad6499107fee242e0feee066d3ae89486f471","observation_id":"d1f866cd-6647-43c7-ac10-df3079234f22","resolution":{"observed_at":"2026-08-07T05:58:54.790060Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-07T05:58:54.531994Z","title":"A faster algorithm for propo- sitional model counting parameterized by incidence treewidth","venue":null,"work_id":"bf8a2959-c0ba-418c-844b-94906039f3e1","year":2020},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:43.909171Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:c7867631b02d8de2031cd7b1aa5b96809df6e035254e86ddd99a82cfb8886523","observation_id":"78d2f667-e9a6-4ad3-ba9a-b84fc0f18f2d","resolution":{"observed_at":"2026-08-07T05:58:54.587137Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-07T05:58:54.335364Z","title":"Computational transition at the uniqueness threshold","venue":null,"work_id":"be0f84d1-0587-488c-aa93-3daea4d45e5e","year":2010},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:44.039186Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:ea63cba659211cf97e43355f5310de11b7d149603a9508a5809dafc452c14a53","observation_id":"d15f5e14-efbd-4cf7-892b-0abbdd09e224","resolution":{"observed_at":"2026-08-07T05:58:54.415391Z","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-07T05:58:54.140519Z","title":"On closure properties of GapP.Comput","venue":null,"work_id":"625994ae-ddfe-41e6-a763-c1f57ee6c02c","year":1994},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:44.212530Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:d799f2c5980034dc0e1277e232e8d7ef30b464923dcb5b6155ba2dfcaf210ca9","observation_id":"196a81bf-e564-4ff5-8110-46be7c3be6e0","resolution":{"observed_at":"2026-08-07T05:58:54.247477Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:44.358005Z","title":"PP is as hard as the polynomial-time hierarchy.SIAM J","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:44.358005Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:3219009586a2f59515709444dcef4e95df711a18b62779a04a19537615d5136e","observation_id":"db3dd02f-5802-483f-be73-88afad5d06d3","resolution":{"observed_at":"2026-08-07T05:58:44.358005Z","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-07T05:58:53.967126Z","title":null,"venue":null,"work_id":"fa3087ac-5347-4f6d-aeb6-f221a7f21f15","year":1984},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:44.456589Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:5667b2dbaaf55d939369249a4798b4b6308c7e8740c6e65e7f22fd0cd42b3088","observation_id":"5c07af07-e898-4fff-bcb7-8190c5a163e2","resolution":{"observed_at":"2026-08-07T05:58:54.058358Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:58:44.612539Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:44.612539Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:e2e8dd69c336922977b542e5cd5b7da74ded2967ba2906ff0196169152c671b4","observation_id":"7142b327-95e8-4f9c-b7fd-c97b5a96ea09","resolution":{"observed_at":"2026-08-07T05:58:44.612539Z","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-07T05:58:53.767665Z","title":null,"venue":null,"work_id":"27f04cf8-1ebf-4177-bf98-58fe5fe2ecd5","year":1979},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:44.779318Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:4bc3e8b01b00a08edb3bb9104716535ff9e89e98fca506b8c54b45e33406464b","observation_id":"8d64886f-70e0-4d54-8017-d00dbaf66cfd","resolution":{"observed_at":"2026-08-07T05:58:53.890382Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-07T05:58:53.489909Z","title":"Valiant and Vijay V","venue":null,"work_id":"2b1ce118-eebd-4646-a85b-533b0992f967","year":1986},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:44.906476Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:f69023a63a6881b15c0880a5d4b9147f5cfcde2af1fa2a8bb7c595e397157f22","observation_id":"8b636736-45de-4376-a319-872270e53279","resolution":{"observed_at":"2026-08-07T05:58:53.611759Z","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-07T05:58:53.232707Z","title":"The symmetric rogue modelM ′ ofMis a satisfying assignment ofψ 2","venue":null,"work_id":"29c543b8-d8ab-4245-ad80-0223145acd54","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:45.102213Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:07d8056f071c96c84002621474e56e3b169ac8b984983cc5d95b6c628e51307e","observation_id":"975ccdfd-0570-46f3-8224-811ff019b10c","resolution":{"observed_at":"2026-08-07T05:58:53.365614Z","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-07T05:58:52.977469Z","title":"Definition 36(Symmetric Rogue Model for Monotony)","venue":null,"work_id":"b5cd7987-ebf5-46d9-9d9c-b081d3a474a3","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:45.250915Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:52ad5c66ffb362844ffddd847f849bd705d381b3f6a44b7781dc67e59efaea9d","observation_id":"bccfe671-c821-4fe1-bfcf-0a4eac6301dd","resolution":{"observed_at":"2026-08-07T05:58:53.100811Z","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-07T05:58:52.634156Z","title":null,"venue":null,"work_id":"db875f2b-85af-46f4-9e1c-6d1713cd0129","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:45.387122Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:5fd8afefc986fbc80e4c6a34aa6cc7e90cb158a3b435428a4e11b998e370d806","observation_id":"62c0ba63-8993-4528-a934-3b0ba0bc1144","resolution":{"observed_at":"2026-08-07T05:58:52.805533Z","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-07T05:58:52.319537Z","title":"Lemma 38.Letφbe aCNF,Tbe a fully labeled tree decomposition of it, andMbe a satisfying assignment ofψ ′ 1 that is rogue","venue":null,"work_id":"fe81ae74-0bf0-485b-af1a-b113a2347fca","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:45.559473Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:97ace9cd32bb670f0c69b328dd27dca0944a1dccdaa11a3ea3876644ef1cd108","observation_id":"520aca3b-76ba-4fa3-8272-98ae2b9e839e","resolution":{"observed_at":"2026-08-07T05:58:52.488101Z","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-07T05:58:52.047171Z","title":"In order to show that(I)M ′ =f(M)is also rogue att ′, lett ⋆ be the node ofTsuch thatMis rogue att ⋆ withM not being rogue at an ancestor oft ⋆","venue":null,"work_id":"f25a75ea-2fab-44ed-be49-fa31d3343480","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:45.670492Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:955b2c4f6daf91c1049107bceed665f590bc668baf9290e7672a01959ee7fb16","observation_id":"31a10da0-463b-44c5-87c5-63b1c0dc791d","resolution":{"observed_at":"2026-08-07T05:58:52.164000Z","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-07T05:58:51.761008Z","title":"gapP⊆[#2SAT−#2SAT] log","venue":null,"work_id":"663b8886-63a8-4b9f-9652-390affbc3af7","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:45.848802Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:3e9a16f12e3e67dfd449112d188239a87fc3cbd8e34fca2444c2be11690daa8f","observation_id":"aa94e3e6-ab94-4113-865e-021714bdda2d","resolution":{"observed_at":"2026-08-07T05:58:51.904283Z","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-07T05:58:51.476022Z","title":"·” to “+","venue":null,"work_id":"b25a9303-1fd8-4c4c-bf82-d2d1bb8fbfbe","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:45.981333Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:85c62e168646e2cbf39e3c297a696eab8be381c0f41d4cf8af8ac790fa498d4c","observation_id":"eb5413aa-9f9c-48d3-a59c-5ac70cc89d8a","resolution":{"observed_at":"2026-08-07T05:58:51.582815Z","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-07T05:58:51.139866Z","title":"[#0,1-2DNF−#0,1-2DNF] log ⊆[#2DNF− #2DNF] log","venue":null,"work_id":"c4e09f60-0141-421e-91a5-0070396e67a7","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:46.118591Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:8fa2467ed42472b5bac5d21d59171516a8986d84d903e5348475f8edf8db6fcb","observation_id":"3413dc1e-427c-4a01-9c44-a4067a3032ef","resolution":{"observed_at":"2026-08-07T05:58:51.304653Z","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-07T05:58:50.859382Z","title":"Now, it remains to construct formulasα, α ′ such that#(α)− #(α′) =c= (#(ψ 1) + #(ψ′ 2))−(#(ψ 2) + #(ψ′ 1))","venue":null,"work_id":"688c3c1d-a92d-4984-9746-18653ca48ce7","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:46.261771Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:bcc5c1ad87233baafd2a124f3b50839553b87f06d3300b43b87b294ad3d129fa","observation_id":"efb81016-9902-48fd-ad7a-9c48bd07a47a","resolution":{"observed_at":"2026-08-07T05:58:51.009694Z","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-07T05:58:50.557829Z","title":null,"venue":null,"work_id":"7b03a58f-25f9-439b-a199-e6955a846e05","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:46.372443Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:79e6ab02a8845bfd51a435f0071cf1452981240bb6b8ae2fa312a8dc639a75bb","observation_id":"deda8645-d4ec-4a36-ab28-0663598c01e6","resolution":{"observed_at":"2026-08-07T05:58:50.699252Z","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-07T05:58:50.290595Z","title":"[#MON2SAT−#MON2SAT] log ⊆[#MON2DNF− #MON2DNF] log","venue":null,"work_id":"d2785612-b465-437e-b9a4-19152c659eb7","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:46.519501Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:c2470f5a14176fb5b2cbddb95054cd3712b5621c2ffbed366542b10da92d731c","observation_id":"c49e881e-f173-4179-904c-066aaffec31d","resolution":{"observed_at":"2026-08-07T05:58:50.418046Z","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-07T05:58:50.012189Z","title":null,"venue":null,"work_id":"a69ecde0-1026-4742-9c64-7d02ebd194d9","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:46.693483Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:9618bd0729907385063a99b1b2f967c6310bdf84beb18a9f7557882c54486aca","observation_id":"c99e3e17-6dab-4032-994a-fab1064bbbdd","resolution":{"observed_at":"2026-08-07T05:58:50.121603Z","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-07T05:58:49.698205Z","title":"degree3and bipartiteness","venue":null,"work_id":"f38f1a93-a5d8-40f2-86cb-d1cb321c7faf","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:46.828025Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:b235d40cd6e2d5d0a89665004a8ce9ea0f58961068f3203e86abe43eea948439","observation_id":"afc9e1e7-5693-4516-84be-347572e7f089","resolution":{"observed_at":"2026-08-07T05:58:49.853160Z","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-07T05:58:49.447292Z","title":"gapP⊆[#IMPL2SAT] log AC0","venue":null,"work_id":"3244804b-8962-4a8b-91f1-c751dde49a7b","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:46.949013Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:0f12952983ee79d276b63c1486882fe0d52e8ecc2f06ba28262e71581303ce05","observation_id":"1d29fccd-b54b-4d01-afaf-81e850865382","resolution":{"observed_at":"2026-08-07T05:58:49.576288Z","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-07T05:58:49.227876Z","title":"[#IMPL2SAT] log AC0 = [#0,1-2DNF] log AC0","venue":null,"work_id":"50da2cf3-4dfb-48d9-a0ee-f57883a2e0e4","year":null},"citing_paper":{"arxiv_id":"2506.06716","last_updated":"2025-06-07T08:53:38Z","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T05:58:47.102270Z"},"links":{"citing_paper":"/paper/2506.06716"},"observation_digest":"sha256:ac2fdab7ea381efaad86366576b6278f5e2b3f01a32d899f8bb75046225fc93a","observation_id":"e0baac91-c4d0-467c-a00b-a6b0be0e7b0e","resolution":{"observed_at":"2026-08-07T05:58:49.293707Z","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":"2506.06716","last_updated":"2025-06-07T08:53:38Z","latest_version":1,"primary_category":"cs.CC","snapshot_observed_at":"2026-08-07T05:49:01.194394Z","submitted_at":"2025-06-07T08:53:38Z","title":"#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":9,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":6,"verified_fuzzy":30},"total_outbound_references":61},"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 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2506.06716."}