{"as_of":"2026-08-13T22:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fa1f48cf73f25f64bf336dcc7f7d2a18d4d620767566007bf2815ee16aaa7ae3","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T08:15:51.164004Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2607.21199/citation-record","integrity":"/paper/2607.21199/integrity","json":"/paper/2607.21199/citation-record.json","paper":"/paper/2607.21199"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-98334-9_46","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gent, Christopher Jefferson, Ian Miguel & Peter Nightingale (2018): Metamorphic Testing of Constraint Solvers","venue":"Lecture notes in computer science","work_id":"ec14ab81-8276-49ee-a883-82344900d61b","year":2018},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:46.410568Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:72de038ca834d02beed554360ae1f2815d285fb7fecfce36823b9a16d507327e","observation_id":"86e52b8c-59ed-45ea-907b-e12625f9e378","resolution":{"observed_at":"2026-08-01T08:19:34.810241Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:09.948727+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:09.948727+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-01T08:15:46.467655Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:46.467655Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:649c6d400f3685465860a3ea1e22da7dba790d428509fb483c576cc144c64d50","observation_id":"156cbeaa-bf4a-4318-83bb-cf376df66fdd","resolution":{"observed_at":"2026-08-01T08:15:46.467655Z","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/s1471068419000255","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theory Pract","venue":"Theory and Practice of Logic Programming","work_id":"d55b81cb-9539-47aa-86d5-a2a0ddb9bf91","year":2019},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:46.538903Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:a802565c942b527527c3b36b836388e1539e6a9c39b6c4cebf3de1fa9a1cb83a","observation_id":"d64b523e-f6c4-456a-89ff-e4d91fa563d2","resolution":{"observed_at":"2026-08-01T08:19:34.733847Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:10.268369+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:10.268369+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-018-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:34.621857Z","title":null,"venue":null,"work_id":"45fd1ad4-16ca-469f-a31e-17315b8a759e","year":2020},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:46.612380Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:cfcaf748eeb0b844850637c94ff9110b36550477abfe895a3f99206320a414bc","observation_id":"6b274ea2-2894-4aaf-8dd1-7f7943f50988","resolution":{"observed_at":"2026-08-01T08:19:34.655079Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-01T08:15:46.670653Z","title":"Barrett (2022): Flexible Proof Production in an Industrial-Strength SMT Solver","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:46.670653Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:bc5acfe0852613d290c89013767869d197df617bff03406551e592750818b316","observation_id":"eee4b986-1689-4b1b-a243-331f4660d060","resolution":{"observed_at":"2026-08-01T08:15:46.670653Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-38499-8_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"85e25b85-23a1-432b-89a5-8d94d4ee2bed","year":2023},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:46.759520Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:87e6c8304a6fee931aff0ae10c13c80c13c5c16c6209fadf5617193a446ce733","observation_id":"8fe94fd7-d17f-48d0-9255-85394be4ec41","resolution":{"observed_at":"2026-08-01T08:19:34.606383Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:10.49342+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:10.49342+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v40i17.38432","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Koenig et al","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"4a859caa-2196-4462-8f09-e9358fdd7f76","year":2026},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:46.874275Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:8a26b68e3b7d3d59e63cf6cc3e22e45d47cf7c0aab5aaf73b4e10663b93aab0d","observation_id":"60aa9de8-b7ad-4b3a-8ad8-6c5f5ca7fb0b","resolution":{"observed_at":"2026-08-01T08:19:34.508412Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:10.775623+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:10.775623+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-01T08:15:46.956624Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:46.956624Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:bd44773f4f581c00ea885e7a971a490b1ec0bcea1b64230987307113088c3c36","observation_id":"9b3f1a43-3c8c-4de6-886a-51836fd7339f","resolution":{"observed_at":"2026-08-01T08:15:46.956624Z","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-01T08:15:47.033274Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.033274Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:0da431ef6dc207576a3cd59527364a71530a0b09847e54050ff3a582730b868c","observation_id":"a642ba2e-6dfb-4d0b-850f-37a920b9d467","resolution":{"observed_at":"2026-08-01T08:15:47.033274Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-14186-7_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Ofer Strichman & Stefan Szeider, editors:Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010","venue":"Lecture notes in computer science","work_id":"6d0684a0-88a6-4641-bacf-56d8c47cebe9","year":2010},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.151705Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:54d3627a8efaf7b7f773b3e9a54d2b1d139e888f52098b4a077f5414709f242d","observation_id":"1c31a79a-0306-44ec-95fa-363e3127001a","resolution":{"observed_at":"2026-08-01T08:19:34.427366Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:11.212852+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:11.212852+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.00343","last_updated":"2023-03-20T10:53:12Z","snapshot_observed_at":"2026-08-13T16:49:14.779452Z","submitted_at":"2022-02-01T11:31:04Z","title":"Interactive configurator with FO(.) and IDP-Z3","version":3},"cited_work":{"arxiv_id":"2202.00343","doi":"10.48550/arxiv.2202.00343","metadata_source":"pith","pith_arxiv_id":"2202.00343","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Interactive configurator with FO(.) and IDP-Z3","venue":"cs.LO","work_id":"49c24688-7e41-4e60-b617-365111c926a3","year":2022},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.225471Z"},"links":{"cited_paper":"/paper/2202.00343","citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:23f185162e701ca9756f34538111ff9bb36ce8a226115cb6ad11436e43b91d32","observation_id":"67392a3a-d018-4f04-8a75-8b399c5464dc","resolution":{"observed_at":"2026-08-01T08:19:34.319125Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:11.421176+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:11.421176+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s12532-013-0055-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cook, Thorsten Koch, Daniel E","venue":"Mathematical Programming Computation","work_id":"7bdad7c3-9936-4613-b3ab-67e8d64290da","year":2013},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.281587Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:0ee13dfd361e336d8abc4971ca03c09f1ac8eb8635e0783aac93c528c51576c8","observation_id":"2dd3acb2-bc00-47a4-a2fd-81a086216cc1","resolution":{"observed_at":"2026-08-01T08:19:34.199855Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:11.668078+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:11.668078+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-01T08:15:47.349975Z","title":"In Pascal Fontaine & Aaron Stump, editors: PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011 , pp","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.349975Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:f3f49743473f02b2933e327eb1419c850393455ee350b9bcdf0f7a71538edc8b","observation_id":"5a41ded4-2bb2-4627-9ffa-29f5a3ffaee0","resolution":{"observed_at":"2026-08-01T08:15:47.349975Z","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.1609/icaps.v27i1.13818","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Laura Barbulescu, Jeremy Frank, Mausam & Stephen F","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","work_id":"8e2109fd-8bfe-49bc-a968-4fd4cf7a021d","year":2017},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.440716Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:00eaf7594903c55eb883df30054078722ef5e1a2d8b95e81d7682ff9f35bfe19","observation_id":"fd1c85bd-b7ad-47f1-93bb-abfa7bd38175","resolution":{"observed_at":"2026-08-01T08:19:34.140327Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:11.855897+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:11.855897+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-01T08:15:47.532092Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.532092Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:eaf5ccaa86ae3d26ab242a0edb028361ef1d25155bbe03f0900962625024bb56","observation_id":"ef22a60c-326d-40ed-98db-727cf11970b6","resolution":{"observed_at":"2026-08-01T08:15:47.532092Z","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-01T08:15:47.596388Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.596388Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:0b0fefc51b7c76517782c9eb90091f6d5c1b9b75be9676c6aa46cdbab67688ed","observation_id":"93d1bd8d-97d8-4a9d-86c7-c3bc749be276","resolution":{"observed_at":"2026-08-01T08:15:47.596388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-72200-7_24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Chitta Baral, Gerhard Brewka & John S","venue":"Lecture notes in computer science","work_id":"0bd21af9-68e2-4786-a3ef-a6e8aac42e81","year":2007},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.724065Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:26f9cf8283766e17205eaf90c3aea16319ea3a6cb41f0d2227ff78eb8edbd82a","observation_id":"dabbd1ca-6530-428b-a97b-9ec346de23dc","resolution":{"observed_at":"2026-08-01T08:19:33.992567Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:12.282271+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:12.282271+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-30048-7_33","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"f27f5166-9b34-40e8-8cb6-9712c5f2da63","year":2019},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.783848Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:bffa9ae88d7ab9fead0238fa8776cf800fdb483f5e4c3abdc33fb569ef3943a2","observation_id":"4926d5d7-43d7-491e-a847-627403844091","resolution":{"observed_at":"2026-08-01T08:19:33.876900Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:12.53835+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:12.53835+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.sat.2022.16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Kuldeep S","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"071c2443-21c7-4c8c-9991-744c1252ddc3","year":2022},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:47.933091Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:98d7ae7ca46b95347c9d08284997f9693e85f1e4b33550aa29d738cdad810188","observation_id":"2e59d949-faf0-4bff-b668-e8f0bf3036ba","resolution":{"observed_at":"2026-08-01T08:19:33.773364Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:12.720423+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:12.720423+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-01T08:15:48.066616Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:48.066616Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:4d4fdddd2842318647794b812d160a93d82531c519ff6335286b9319c9aa7e76","observation_id":"e2544b98-4f48-4e32-9a31-0d4e40a07adb","resolution":{"observed_at":"2026-08-01T08:15:48.066616Z","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-01T08:15:48.208571Z","title":"Hunt, Jr","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:48.208571Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:42df30c8609ce5f588e634a2746d8d5ae41f39153eca672db2fd0c0fa8a43fb7","observation_id":"a727a764-6d88-4258-8197-67af235589f2","resolution":{"observed_at":"2026-08-01T08:15:48.208571Z","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-01T08:15:48.448700Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:48.448700Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:94481cf00633a81153d48277ca54f64871b6ae3ad23c7dc1accdcb94dd6a702e","observation_id":"dcff6aac-c7dc-4671-bf9c-a87418091683","resolution":{"observed_at":"2026-08-01T08:15:48.448700Z","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":"10.34727/2024/isbn.978-3-85448-065-5_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Hitarth, Cayden R","venue":"reposiTUm (TU Wien)","work_id":"d8d809c2-c475-4ecb-893a-1823a5a057b0","year":2024},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:48.583318Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:d783a0c809983da6f837e74f3352235fc17aa12512f9a29c371af4ec5f4b169d","observation_id":"cc29b9e4-4ac5-4c3d-80ae-2efbac7791d9","resolution":{"observed_at":"2026-08-01T08:19:33.696959Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:13.084312+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:13.084312+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-63498-7_24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Myreen & Jakob Nordström (2024): Certified MaxSAT Preprocessing","venue":"Lecture notes in computer science","work_id":"8affd222-b9c5-47a4-a065-9ad6439eda7d","year":2024},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:48.756884Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:7f12597cca4a060c877fdc1080b8f8612b5b83d2acaff4f7cbf2c005d4145f6a","observation_id":"25982356-18d7-4c1f-b32d-e0d93b2400e8","resolution":{"observed_at":"2026-08-01T08:19:33.591493Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:13.241422+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:13.241422+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v40i17.38439","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Koenig et al","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"d0a340b6-a0d0-4e81-b65a-af5455c5a022","year":2026},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:48.923832Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:5124d69809a15a39daa3bcf11edbd12e89379c111815b24d40f84594c050ff6a","observation_id":"e6ce3bb2-bf34-4a2a-ba42-ccd8425fd767","resolution":{"observed_at":"2026-08-01T08:19:33.490351Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:13.387878+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:13.387878+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-01T08:15:49.120088Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:49.120088Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:ff3b9df2edaf949d5d88239c8da3aa17aa770d5198ff27e19ca85fdc5becc726","observation_id":"117f6aac-f869-48e2-a1a7-8c3ce6420840","resolution":{"observed_at":"2026-08-01T08:15:49.120088Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-31365-3_28","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Bernhard Gramlich, Dale Miller & Uli Sattler, editors: Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manch- ester, UK, June 26-29, 2012","venue":"Lecture notes in computer science","work_id":"c660966c-5291-4ac7-93a5-a83fdc5bfb47","year":2012},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:49.288570Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:840e93b47d6ea8cc71c0410fbe92c5e8131e06becde49a68c3c8624180eb7e84","observation_id":"0fedc6d8-6ac3-41b4-8bb8-86102604a6de","resolution":{"observed_at":"2026-08-01T08:19:33.331647Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:13.593792+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:13.593792+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-01T08:15:49.429103Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:49.429103Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:1b08f5b9d56576499ccea65ddfb09bc27514496a620d95b36f1bd7f6d634dde2","observation_id":"6d9a0db6-bb51-4364-80a4-fbdfa7b267f9","resolution":{"observed_at":"2026-08-01T08:15:49.429103Z","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.4230/lipics.cp.2025.21","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan & Marc Vinyals (2025): Practically Feasible Proof Logging for Pseudo-Boolean Optimization","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"d84aa0cf-fb4b-4d17-b9a2-d82a2b699103","year":2025},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:49.629645Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:09e8d0f131f6b8a8e4729e5b68e9433e22b8d8a397a67c49785b4f3ad6de186e","observation_id":"9f217f05-8f0d-465c-b068-f3d8fdb4590d","resolution":{"observed_at":"2026-08-01T08:19:33.166191Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:13.828353+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:13.828353+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-04587-4_21","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"b6528e57-0466-4a95-8949-64bf5348639a","year":2025},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:49.788526Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:e2498a9accb764cbbb8150aef6db77440103d5752e90d9b05990fbd0985d74bf","observation_id":"82c75633-35c2-4047-b97c-07fd729b0cdc","resolution":{"observed_at":"2026-08-01T08:19:32.965293Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:14.057987+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:14.057987+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2670129","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Manlove & Gregg O’Malley (2014): Paired and Altruistic Kidney Donation in the UK: Algorithms and Experimentation","venue":"ACM Journal of Experimental Algorithmics","work_id":"3b632ffb-4d66-4bea-8a6f-a96c2df75b17","year":2014},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:49.852093Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:44dca6255bbd27c61f2572d366468ac469e9f23b33839840f72f34e1e04b8f9d","observation_id":"b0af1e25-0fdd-4eb2-bc97-3f9951becd60","resolution":{"observed_at":"2026-08-01T08:19:32.687684Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:14.273395+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:14.273395+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-01T08:15:49.971811Z","title":"McConnell, Kurt Mehlhorn, Stefan Näher & Pascal Schweitzer (2011): Certifying algorithms","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:49.971811Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:7ed9f407860aaf692d034dd2e100e35b4fdd8f828753a0a14984157747a435d5","observation_id":"97d6c560-26b5-4b84-a51c-98b08e4bf568","resolution":{"observed_at":"2026-08-01T08:15:49.971811Z","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-01T08:15:50.095019Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:50.095019Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:7f71594b19ab5e8fd51491072c91239fa0f3f4f47705e56bb24c916e5f8073aa","observation_id":"863b9727-ba59-493c-9d87-1ea92ecf4c93","resolution":{"observed_at":"2026-08-01T08:15:50.095019Z","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-01T08:15:50.241893Z","title":"Mitchell & Eugenia Ternovska (2005): A Framework for Representing and Solving NP Search Problems","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:50.241893Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:4c2648891ab11803aaf5c34a46caf2cc9eae524128e77346d4c16c9d0e20db24","observation_id":"e93c685f-c1f6-4eef-93e0-5179f2f6ae82","resolution":{"observed_at":"2026-08-01T08:15:50.241893Z","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-01T08:15:50.392815Z","title":"Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson & Matthew Barry (2001): An A-Prolog Decision Support System for the Space Shuttle","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:50.392815Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:15e8dab62baca7257e8fdf31ce21293cf491cfb6e494a491c89456ec2dd1423e","observation_id":"869d90cc-3f09-4af8-94a4-90070f336b69","resolution":{"observed_at":"2026-08-01T08:15:50.392815Z","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":"10.34727/2022/isbn.978-3-85448-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:19:32.227000Z","title":"Barrett & Cesare Tinelli (2022): Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language","venue":null,"work_id":"15bd366b-541e-4970-ac8f-6fad1c28348b","year":2022},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:50.574796Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:85b8424028a8093c53dbd0ffafb597e035c8bf74c81ab7c29384dcc993c15e85","observation_id":"8b8dfbf4-356e-4ace-aa00-07e5418302a3","resolution":{"observed_at":"2026-08-01T08:19:32.348103Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-01T08:15:50.728486Z","title":"Technical Report B18, Helsinki University of Technology, Finland","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:50.728486Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:13700a0000b8768947cc3d58b0e86a748fccfb731c89e4265374108249b607a0","observation_id":"facd5bd2-20aa-413f-8fc5-82a1fe4ea9c1","resolution":{"observed_at":"2026-08-01T08:15:50.728486Z","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.1609/aaai.v40i17.38449","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Koenig et al","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"c6407e9b-ebc5-448e-8cc0-c9b96b0e13da","year":2026},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:50.876229Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:b68536c9c5e323ebf4ce2197f3ef526c5249c239c86f494a9c34494be23f6f06","observation_id":"1e85aa06-1298-47f5-b998-6196a8ed2590","resolution":{"observed_at":"2026-08-01T08:19:32.111349Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:14.639326+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:14.639326+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-15707-3_33","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"4273e905-ef6d-42b8-807a-6218deaf7e9e","year":2022},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:51.010563Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:5a76df5c4726f01e6861b674cee9a8321f9d96f2c3eb8413309469a1cf8a1400","observation_id":"652f80a1-0831-4c6b-baa6-46d541ef2d49","resolution":{"observed_at":"2026-08-01T08:19:32.037906Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:14.821423+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:14.821423+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1613/jair.2980","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Artificial Intelligence Research","work_id":"8255b451-4856-4984-9819-628ae364793b","year":2010},"citing_paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:51.164004Z"},"links":{"citing_paper":"/paper/2607.21199"},"observation_digest":"sha256:145bea6f762fdc19b53ea8641c68f41a7f62c8ee621d10467df75ab4ffe7d99a","observation_id":"492656a3-9fa4-4009-9bbb-05fdaacc252c","resolution":{"observed_at":"2026-08-01T08:19:31.932088Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-02T12:38:15.070701+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T12:38:15.070701+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.21199","last_updated":"2026-07-23T11:19:24Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-03T06:14:59.892894Z","submitted_at":"2026-07-23T11:19:24Z","title":"Towards a Certifying Grounder"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":4,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":15,"verified_exact":20,"verified_fuzzy":0},"total_outbound_references":40},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2607.21199."}