{"as_of":"2026-08-09T22:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:495f9434534844e748f9a47e6bb6f757defa24f82beeaf0c4ed7ad3cc2d18006","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T20:06:18.757665Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.04645/citation-record","integrity":"/paper/2608.04645/integrity","json":"/paper/2608.04645/citation-record.json","paper":"/paper/2608.04645"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:06:16.014274Z","title":"Kadowaki, H","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:16.014274Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:df482374b5cbccecfa16222a78efcd718844a371095f42f30f60f0e110ec9ed1","observation_id":"509b55ce-3c6b-429b-ac9b-889db234ba16","resolution":{"observed_at":"2026-08-06T20:06:16.014274Z","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-06T20:06:16.154961Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:16.154961Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:180b7330eecd80065facb290145216928954b26db27a863a0eda53d7e8375526","observation_id":"eebdeb5e-bc8a-4ac5-a1a7-e744c7d50c1e","resolution":{"observed_at":"2026-08-06T20:06:16.154961Z","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":"4286.10578","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:06:19.410799Z","title":"Colmerauer, P","venue":null,"work_id":"e198aeed-5295-40e3-9b6d-3cdd28cb8d65","year":1996},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:16.247777Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:903c3959ed1a4949413808829e874bd7111689dff483d06129fb442a6159594f","observation_id":"72ab824b-eecb-422a-9ada-9cd16dd5f799","resolution":{"observed_at":"2026-08-06T20:06:19.416653Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:16.338767Z","title":"Ising, Beitrag zur theorie des ferromagnetismus, Zeitschrift für Physik 31 (1925) 253–258","venue":null,"work_id":null,"year":1925},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:16.338767Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:a851415e9f81aa5ea39878ef833197a9c291241162aa81d378e53483bc6e9476","observation_id":"a9266e48-d194-41d4-9515-09849e30846c","resolution":{"observed_at":"2026-08-06T20:06:16.338767Z","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.1017/s1471068418000066","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:06:18.871395Z","title":"Pakin, Performing fully parallel constraint logic programming on a quantum annealer, Theory and Practice of Logic Programming 18 (2018) 928–949","venue":null,"work_id":"d0ac35cb-563d-4b0a-8649-e0eeec7cd1e5","year":2018},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:16.424616Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:b6127bfa91ce5dccdc83628972a81c3efede2af7a6c21168da15ce7020d599cc","observation_id":"2dc3a9d4-3133-44e2-bfa5-43c09c08e63c","resolution":{"observed_at":"2026-08-06T20:06:18.875539Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:16.523236Z","title":null,"venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:16.523236Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:0d25036aed1d89002fac6907f9cdfab67ec341db1dc37c206160e45c279abf7c","observation_id":"6f111fa6-5520-4887-bca6-8624a0e938bc","resolution":{"observed_at":"2026-08-06T20:06:16.523236Z","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":"1978.32199","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:06:19.323125Z","title":null,"venue":null,"work_id":"98f566ff-8eed-4c2a-976b-801fe5c5ddb6","year":1976},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:16.697148Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:2d8d916ab0b078f8ef067b20e08bf68b8d8a70094c09a13c3667b8b233f04bef","observation_id":"a38885cc-b864-42f8-ba5d-7187c10e86a2","resolution":{"observed_at":"2026-08-06T20:06:19.327357Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:16.822797Z","title":"de Moura, S","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:16.822797Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:778f2380228faca0cfea9c5a29449bcd33e5c345ba1f75f03e6fb7f1ab1d8c02","observation_id":"05f78ad8-e308-4c0f-9385-7129090a11db","resolution":{"observed_at":"2026-08-06T20:06:16.822797Z","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-06T20:06:19.509786Z","title":"Pinkas, Symmetric neural networks and propositional logic satisfiability, Neural Computation 3 (1991) 282–291","venue":null,"work_id":"55a528f9-bb9d-4dda-8a23-0f119cd59fe2","year":1991},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:16.958728Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:12947eace4fa29b8d7f99994212fab34f16f3331470099da75319119473c86fd","observation_id":"f99f2271-4e7f-4a22-af6e-7cab80a6c654","resolution":{"observed_at":"2026-08-06T20:06:19.514109Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/int.4550070604","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"International Journal of Intelligent Systems","work_id":"00df493c-4b96-452a-895d-aaa41cece9cc","year":1992},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:17.103310Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:36660d7e153c96f33a82a7eceae8ed957008121bc80160cca3f3d32a9b8cc950","observation_id":"f97b4dd5-f95e-4861-8998-e952b86596fe","resolution":{"observed_at":"2026-08-06T20:06:18.853708Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:17.242846Z","title":"Lucas, Ising formulations of many NP problems, Frontiers in Physics 2 (2014) 5","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:17.242846Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:ad52e21328ad25deb1e45b4490ebb23b87ba90548cd4cb673ec7c931d17574d3","observation_id":"a633f705-0697-4d14-a6fc-5ee4479c196d","resolution":{"observed_at":"2026-08-06T20:06:17.242846Z","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-06T20:06:17.376063Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:17.376063Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:62810eff64355be6a5e9975e97a1d57298168c582ea9a006199bcacefba928df","observation_id":"2ca381c1-8aa1-4052-b83d-8a5606df4208","resolution":{"observed_at":"2026-08-06T20:06:17.376063Z","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-06T20:06:19.498095Z","title":"Gelfond, V","venue":null,"work_id":"b86a0551-06ca-45c6-99b9-8f21262dbc33","year":1988},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:17.500606Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:8ad32a8d224314a66bba08c65e0a4a1776bb31757bbcf958ab6c6221de95999b","observation_id":"f607838a-9497-4695-90c9-03ff96be32ce","resolution":{"observed_at":"2026-08-06T20:06:19.501589Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:17.608024Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:17.608024Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:9a9333003ca4d652f1b64a2593ac2c78dd11b7319e04ba0bf8b0f435c835ff3d","observation_id":"8a34be21-d6bf-47c7-8756-3d2210bd155e","resolution":{"observed_at":"2026-08-06T20:06:17.608024Z","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/3660318","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:06:18.835620Z","title":"Romanello, D","venue":null,"work_id":"74e403a1-b627-4027-96b1-b70a1ccc18c4","year":2024},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:17.735634Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:cb12163cc573efe4296f7478778b3ba72ac834d33a14fcf5790aa77be70c1ccc","observation_id":"da20bc28-6b07-4d90-8626-08b850bd33a7","resolution":{"observed_at":"2026-08-06T20:06:18.838864Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf02136172","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"Ben-Eliyahu, R","venue":"Annals of Mathematics and Artificial Intelligence","work_id":"cf53a9f3-ffaa-4401-91ef-fe2155b7ea80","year":1996},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:17.875407Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:64cbf8a10ffa50e4013eaa5cd62ad12ce397d66d5fb1a552b643810e77eb3bf2","observation_id":"1c417d15-27ef-418b-98e8-28e7dc9232c9","resolution":{"observed_at":"2026-08-06T20:06:18.829664Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:19.487449Z","title":"Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics 5 (1955) 285–309","venue":null,"work_id":"03326081-f308-417f-8a06-65d83bedf714","year":1955},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:17.971460Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:308208ef1e08dd745e88d31ad0927544574b57078d788012993d823a840611da","observation_id":"599edd02-bab5-4f26-a3c1-281a61665379","resolution":{"observed_at":"2026-08-06T20:06:19.491138Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:19.476756Z","title":"Abiteboul, R","venue":null,"work_id":"3258e68d-f4dc-4162-bc4a-f20bbf579ba2","year":1995},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.069253Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:4666b2a7a986351a52dfe28f23109f4f227b49827c99c74662457625751cd7b0","observation_id":"ec45875f-c0f3-4099-92f6-d9f7f10cff9c","resolution":{"observed_at":"2026-08-06T20:06:19.480290Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2003.00133","last_updated":"2020-02-29T00:20:30Z","snapshot_observed_at":"2026-08-04T06:48:47.174236Z","submitted_at":"2020-02-29T00:20:30Z","title":"Next-Generation Topology of D-Wave Quantum Processors","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.00133","snapshot_observed_at":"2026-08-06T20:06:18.204076Z","title":"Boothby, P","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.204076Z"},"links":{"cited_paper":"/paper/2003.00133","citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:7783d786c39b860afdc4fb9f526fcbd6eaaca48625f886cbe1c36301379f2478","observation_id":"0b7fef01-2610-4758-abee-c33e345b973c","resolution":{"observed_at":"2026-08-06T20:06:18.204076Z","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-06T20:06:19.465290Z","title":"Boothby, A","venue":null,"work_id":"8d3bcc9c-8297-4cc7-88a5-575a6d8e3c94","year":2021},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.326323Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:447567f78bcc38df135eb163e925da72b0fd0aa578b32bd3c89308481f0e2fc4","observation_id":"ff0faebf-9054-4bcd-b0c1-f5caf9be4f71","resolution":{"observed_at":"2026-08-06T20:06:19.468963Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:18.487001Z","title":"Choi, Minor-embedding in adiabatic quantum computation: I","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.487001Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:fb358ab750b83a163580cf7b4056dcdd763b4dc4aa2326a6db64c3ed3981cd3b","observation_id":"27f0c633-469f-44e6-a0e3-5bb665c06b1a","resolution":{"observed_at":"2026-08-06T20:06:18.487001Z","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-06T20:06:18.652982Z","title":null,"venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.652982Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:38c44054f1a20fb9a8890380d901c2dcca0e77c164c6cd1dfcb3dfb73dbfe8a3","observation_id":"2cf691cf-78d4-485f-87b2-52af0e1ea503","resolution":{"observed_at":"2026-08-06T20:06:18.652982Z","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":"6012.15399","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:06:19.031535Z","title":"Bancilhon, D","venue":null,"work_id":"a0f67e39-9e69-4e32-94f4-abb9429128e3","year":1986},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.730674Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:fe7f26ada13f7964a3c5b602a422fea436859357f465044be673f91de56213ba","observation_id":"e772bc58-377d-44c0-a40a-c18ff5ba8370","resolution":{"observed_at":"2026-08-06T20:06:19.036118Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/s0097539799349948","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:06:18.809046Z","title":"Khanna, M","venue":null,"work_id":"a8eb0e21-72e6-4088-9966-b44075fc8c9c","year":2001},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.733609Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:b4f5bf160436f3e214ba16a0d6955ddbdae3c60b6275116a056256fc8ca2bcf3","observation_id":"772bb51a-9af5-460e-a680-645f4204abbf","resolution":{"observed_at":"2026-08-06T20:06:18.813247Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:18.737217Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.737217Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:2092a8d56db1b704f9d5512cb6a6912be448cbe0340af64ddb79844a2191f864","observation_id":"39b8305c-a635-42e8-95b5-ea3a7e5a0ec8","resolution":{"observed_at":"2026-08-06T20:06:18.737217Z","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-06T20:06:19.453450Z","title":null,"venue":null,"work_id":"1cb88246-5f09-4cb8-9598-64780b3c7c41","year":1975},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.740305Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:599371cb5f1d6f67152a3b491997890a6bc4b9f2544382f9ad58333e0a1158ff","observation_id":"66f1dab9-0e84-4a95-895f-0bc4229f61f5","resolution":{"observed_at":"2026-08-06T20:06:19.457146Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:18.743069Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.743069Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:4a78229ad3cae2b1c9c8ee5a2cf8e683e3a6bde78f5255dd1a8704a6e9f89e80","observation_id":"38e56b5c-83b4-42b5-a1ef-8183af65c8e4","resolution":{"observed_at":"2026-08-06T20:06:18.743069Z","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-06T20:06:18.746413Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.746413Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:09f77245e6eb49e594c8689a62e8366a16442ed8fcd79d3b6479fd29537916a9","observation_id":"46e01043-d355-4a20-9b05-4be0b97db520","resolution":{"observed_at":"2026-08-06T20:06:18.746413Z","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-06T20:06:18.749205Z","title":"Van Gelder, K","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.749205Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:41e543eda8b4654eef53e4b7a6aef807f6a78d494f41d0fae4e9b0518afc5bdd","observation_id":"ab433204-a34b-45a8-84f3-91f2a4902ea3","resolution":{"observed_at":"2026-08-06T20:06:18.749205Z","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-06T20:06:18.752044Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.752044Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:106652eec832ad3e9151dafd47f1253cb1510ba7b213d63d0bfffcafa376d31b","observation_id":"af5c2eb9-f616-4c01-90eb-ae29294a2c9d","resolution":{"observed_at":"2026-08-06T20:06:18.752044Z","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-06T20:06:19.438320Z","title":null,"venue":null,"work_id":"fec34222-3708-4967-80ce-0cc756245ad6","year":2024},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.755006Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:0b3bcfacaf42e5fb6b4786754cdaa9f2dcc053986e12c29aec367014b3d6e35e","observation_id":"f8ffc2ae-8d9e-49f2-96d3-fda4169fa614","resolution":{"observed_at":"2026-08-06T20:06:19.443947Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T20:06:19.424935Z","title":null,"venue":null,"work_id":"ef32dd6e-65a6-46f7-af30-1c5389c43faf","year":2026},"citing_paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T20:06:18.757665Z"},"links":{"citing_paper":"/paper/2608.04645"},"observation_digest":"sha256:123dee8b5b1ee82d44e43ea9f1afebb26d893d1e90f05a582b3286d4f28c0c55","observation_id":"8c5bc2f3-50c2-466d-8f6f-4fcce01b9dae","resolution":{"observed_at":"2026-08-06T20:06:19.429298Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.04645","last_updated":"2026-08-05T10:05:38Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-08T23:12:03.560775Z","submitted_at":"2026-08-05T10:05:38Z","title":"Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":1,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":18,"verified_exact":6,"verified_fuzzy":5},"total_outbound_references":32},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2608.04645."}