{"as_of":"2026-08-21T02:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a5a110d76b7aa1b38275d570ab9a76d8602994b76f6a8819e373f9cff34a5bfe","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-12T05:50:11.701730Z","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-20T06:33:59.587034+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T16:34:52.960063Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.02958","snapshot_observed_at":"2026-08-01T16:34:52.960063Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:52.960063Z"},"links":{"cited_paper":"/paper/2607.02958","citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:0bd7e885974556cd380e1ac9e0e1a9ae28996a10bc7a4d99a69735fbf5418c7a","observation_id":"8b9080e5-ca9f-47e1-822e-befb9289fdae","resolution":{"observed_at":"2026-08-01T16:34:52.960063Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2607.02958/citation-record","integrity":"/paper/2607.02958/integrity","json":"/paper/2607.02958/citation-record.json","paper":"/paper/2607.02958"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5996.275663","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T05:58:32.942066Z","title":"In: Yokoyama, K., Linton, S., Robertz, D","venue":null,"work_id":"563062c3-dbc7-4d5b-bb84-6443cb665882","year":2015},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:971ff24ff8bd72650fd47266662931a2c95db3c4282a016b7ad232be17e7bb28","observation_id":"c7358cb8-15e2-4435-94d8-bfe8af84ec4c","resolution":{"observed_at":"2026-07-12T05:58:32.944442Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.comgeo.2017.02.002","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Computational Geometry","work_id":"61a7f405-2ad8-4f39-9b97-77fd5b8fe1c1","year":2017},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:1ef6a7ceb2db73bdb4d73fd7a85ca25601f3736a2f46670bf852fff1e595be47","observation_id":"9cb210cf-64e5-4971-bad1-9435c78df5ca","resolution":{"observed_at":"2026-07-12T05:58:32.948885Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/9dj5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Berre, D.L., Järvisalo, M","venue":"EPiC series in computing","work_id":"45d1c3cb-e2f9-423c-ae88-1c2addef2247","year":2015},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:ac783e084def482f7114fba808ad0c39df00addd16856af759114e3833d5bbca","observation_id":"2ca89e87-021e-4200-9ce5-d2f60b42ee16","resolution":{"observed_at":"2026-07-12T05:58:32.953463Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:535fde202a9206a722f09043cfac632f6de0d50185c5da9759bcc7d255342f34","observation_id":"fc3d173d-ec7b-4bc3-9bf2-5877a3f3a660","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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.1016/j.jsc.2019.07.024","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Symbolic Computation","work_id":"9d23110a-ab79-400c-a420-bd357c18be4d","year":2020},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:69f96130c8e3bf98af20abcf356b588d0f8ad5f026e3d66fc89f56929a4a0ef7","observation_id":"5489bff5-6e34-4535-9c3c-e38dc4dabda5","resolution":{"observed_at":"2026-07-12T05:58:32.953769Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":"In: Prac- tice and Experience in Advanced Research Computing 2021: Evolution Across All Dimensions","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:1828239d9eb701c924b4e83f2297108b36b993e0c86c7fff6ae6eeca4f821bf7","observation_id":"e6234d61-ac64-474a-b3cc-ac11456abb1b","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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/bf01840404","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Algorithmica5(4), 561–571 (1990), https://doi.org/10.1007/BF01840404","venue":"Algorithmica","work_id":"80b992f6-7801-4552-ba71-a0f691d13fcd","year":1990},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:5450005f82b4897cad13b3266dc529f07978638d531bf0eeccd355fcbc12ed6f","observation_id":"2efbf9b3-c85b-46f0-aa28-9d61a2538b42","resolution":{"observed_at":"2026-07-12T05:58:32.970514Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00454-017-9931-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Discrete Comput","venue":"Discrete & Computational Geometry","work_id":"60d44f60-892d-4a60-881e-78fab9598565","year":2018},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:077f224c16948090fa01bb04e599d7d9222789f111ee03106bc766029f533e93","observation_id":"338aa674-b5f4-4ae9-8acb-1d1053d6183c","resolution":{"observed_at":"2026-07-12T05:58:32.929253Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":"Compositio Math","venue":null,"work_id":null,"year":1935},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:e23733af7e4d522dcdedc1188cde5742747f83b46580088b999f9f26fdc49ca9","observation_id":"6ebee198-f626-4c5d-90a4-8a0612154f8d","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-07-12T05:50:11.701730Z","title":null,"venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:5e7084be4645cc7789805b82318318f86f77ff5a63f2356afcbee640b418a70c","observation_id":"5ba8115f-06b4-4828-820e-a27709945415","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-07-12T05:50:11.701730Z","title":"In: Relations betweencombinatoricsandotherpartsofmathematics(Proc.Sympos.PureMath., Ohio State Univ., Columbus, Ohio, 1978), Proc","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:61befe70f841d1a3e17ca5c6f5c64559bae50a38a5a6f22fe522f9042a87a6c9","observation_id":"f8352c82-3c4e-4b48-ace5-426ed5357ae3","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-07-12T05:50:11.701730Z","title":"European J","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:df4927916a0e283dfb04bcda8e8b3f56f3c6387b55dc8ed67dd0c29765e1ebae","observation_id":"d50181c1-459f-42fd-af56-283f5fb53b18","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0166-218x(00)00232-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Discrete Applied Mathematics","work_id":"a27df57a-45ae-4330-8b75-0cbbbae769c5","year":2001},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:3823d8c2d26058c9daa1836a2bf8c74ad746ea8b7f9b0821f2914df95bddcb19","observation_id":"bf3b6a1f-373f-4e78-b0bc-cf6cd274c0c7","resolution":{"observed_at":"2026-07-12T05:58:32.942076Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:776eebeae62c2363720ca38b8cc32128ee5b88dc1b0e89d4281044636ececf2c","observation_id":"5eaba7ef-43ed-4da7-8f74-65b27718e48f","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-07-12T05:50:11.701730Z","title":"In: Schölkopf, B., Platt, J.C., Hof- mann, T","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:7e08f6fd999504688194f51d9708d4453010d7b8f218e88f09eebbbecc80311a","observation_id":"2363dd48-aa5c-4e65-9cf4-8dc459e424ab","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0097-3165(80)90038-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Combinatorial Theory Series A","work_id":"920c4cd3-9a9a-4ec1-996c-996ff80272c5","year":1980},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:0cfa203ccd77aff1007a05e8a7c8eabccd75c6caa7f537e4beb927dc782f0027","observation_id":"fa71aef2-57eb-4032-9daa-59780902f8fb","resolution":{"observed_at":"2026-07-12T05:58:32.929501Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":"Discrete Comput","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:c3e0b12ed02617878469afb400d3d17d255b826bc345739cb1d0aa640ec5ed3e","observation_id":"c0a6d743-7400-4aed-a8b1-0e8df9d97c7e","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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.2307/1990931","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of the American Mathematical Society","work_id":"6546a3b7-0701-4f22-b07e-cd1fd848ee0d","year":1990},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:c5d3a42f3cd8b7a409079fb081025e149079fe6f25f92afbe4bd10b121ad33be","observation_id":"fd9a911d-4ee3-4eae-82e7-77e412c9431a","resolution":{"observed_at":"2026-07-12T05:58:32.937563Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:f0829c15450f7aeb18b7072bc94bc8c52c7e2ef764d1f28f232ae38d7cd7544b","observation_id":"eacb2959-4c6a-4115-b2f6-4217eef69d0c","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-07-12T05:50:11.701730Z","title":"In: McIlraith, S.A., Weinberger, K.Q","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:552a9c84c7de9beb186a177d69e154f892dbab4a16b606f247e8f7ea8000a4f4","observation_id":"af323529-1aeb-4c75-9743-dc36635b973c","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-07-12T05:50:11.701730Z","title":"In: Creignou, N., Berre, D.L","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:b9bbd309a7b5dead689dea757f59ae0dfed0d9dfdf16220b6ec156eb5da8d886","observation_id":"91320c16-669a-4649-8f37-5555536909f9","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-07-12T05:50:11.701730Z","title":"In: Finkbeiner, B., Kovács, L","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:95daf99cfb437b6ea279c81ca6bfa6327a4aa5b438ccacf3c5fe8e7c2711b0d2","observation_id":"7ffccd1d-11ba-45bd-8121-b4873af140a5","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-07-12T05:50:11.701730Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:84d3c10aaba510b691a82060d2d931d11d2acb9c1d9c4f128ba0ea3d64367ad6","observation_id":"509e4050-da17-4b38-be9c-0c6a752f5718","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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.24963/ijcai.2023/216","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China","venue":null,"work_id":"59f9a6c0-f2b1-48ff-b19f-6a775bbe6509","year":2023},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:87417e5122724534b0139abb7da9ff0cef9b1c7f994b2ab77e27b7e15e978976","observation_id":"fb77933f-e064-4245-b436-f9d2c1f3e38e","resolution":{"observed_at":"2026-07-12T05:58:32.915909Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":"ACM Trans","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:3b2c2645fc8eb45018b2339d1325db8a46adf5c31689fa9321af2ee60dcb95f2","observation_id":"6d7b4d2d-da0c-427e-b5d5-2972c98db94c","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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/3-540-55611-7","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":"c17d55a7-5899-4932-b8ef-2262762c94ad","year":1992},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:1cf7eb61f65660a526c88555c09fd4c9f2b2b55226b17286568823e06cddfb99","observation_id":"9591df8d-acdb-4540-9b56-4cb47b197c7e","resolution":{"observed_at":"2026-07-12T05:58:32.904817Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":"In: Sinz, C., Egly, U","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:c35e702c929abc8e431e12a7c83cac059acbf297fce5c4b6a07b78d46436c864","observation_id":"b00af2d9-d14e-47ab-b79a-aec4e2035067","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T05:50:11.701730Z","title":"In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, Au- gust 3-9, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:5ec60177a9279ffc085fb89b21f01a97360e8d0dd1811091e9f9b004ba4bcbe8","observation_id":"86c80da5-c088-462b-9a7b-9e7a7627b0d8","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-07-12T05:50:11.701730Z","title":"In: Topology and geometry—Rohlin Seminar, Lecture Notes in Math., vol","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:8398df1904d1335d60f6c307615766499324e77c6b3ff337c59934fa79b9dc3e","observation_id":"8a4f0735-fdb1-4842-b4b4-374a93d65475","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-21581-0_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Sakallah, K.A., Simon, L","venue":"Lecture notes in computer science","work_id":"043442cc-4e2f-4ba9-87a9-a0a767747f70","year":2011},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:664e1c47b70d237f4bce05b3554b58502ebde7bdd15807e94abdf6ab55bb067c","observation_id":"55151c1b-3e4d-4e9b-b256-e924e283f3b7","resolution":{"observed_at":"2026-07-12T05:58:32.900494Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00454-002-2829-x","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Discrete Com- put","venue":"Discrete & Computational Geometry","work_id":"27900130-41b6-4fb1-8246-6fde0e51a38a","year":2003},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:b29f1aa7dbd9f769e3a3e60585a4a4ee6c8fa06c9e988a8aa829e0087e4df852","observation_id":"2e319e74-d1c1-45de-a869-85eb85c60d40","resolution":{"observed_at":"2026-07-12T05:58:32.905460Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":"https://github.com/jreeves3/allsat-cadical (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:144b065acbac5284dc9555a6972089bafb0e91da64f237e44848436ffd651c2e","observation_id":"257fc03e-0325-4994-9a46-c01df01ebdc6","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.18006","last_updated":"2024-07-25T13:02:06Z","snapshot_observed_at":"2026-08-16T13:31:06.836113Z","submitted_at":"2024-07-25T13:02:06Z","title":"The Existential Theory of the Reals as a Complexity Class: A Compendium","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.18006","snapshot_observed_at":"2026-07-12T05:50:11.701730Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"cited_paper":"/paper/2407.18006","citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:1e45f8aee25cbcfb488e53efc14eaf82f9598b2be37f2a85b5371ec8bee89f17","observation_id":"97af865c-2eb0-4c02-9421-bafd6dfc2868","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-07-12T05:50:11.701730Z","title":"In: Applied geometry and discrete mathematics, DIMACS Ser","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:c00d4f59320908a3fdce8a87d21395d1760ec97c8471b09cf28a2f237bc761ec","observation_id":"e7cda75e-5581-4c57-a985-cc239b3d6dee","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T05:50:11.701730Z","title":"In: Sankaranarayanan, S., Sharygina, N","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:e637f80746d7f8579caed1dbbdcbea3f9d0804fe2bded2703f141a61fcdade4c","observation_id":"0db50b69-af58-447b-9cda-ead2fc405e96","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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-032-07021-0_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: de Paiva, V., Koepke, P","venue":"Lecture notes in computer science","work_id":"c6d9d652-ea1b-4f0c-9e45-77a325a04085","year":2025},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:adc4c794cb0e335aec1c155eb3788051439cddbd1425aa0a21eb1415b054f36c","observation_id":"97a457b5-ff8d-4c23-9c59-272d94d69d85","resolution":{"observed_at":"2026-07-12T05:58:32.895241Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":"ANZIAM J.48(2), 151–164 (2006), https://doi.org/10.1017/ S144618110000300X Toward Satisfiability Modulo Realizability 19","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:951a610677e51930958b34041e09cfbc5bf3891a2c64bb62b918546527e5a2a2","observation_id":"f25b0a24-efae-4ee6-8a76-ca4f4b8ca36a","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","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.1007/978-3-032-04590-4_","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T05:58:32.895380Z","title":"Lecture Notes in Computer Science, vol","venue":null,"work_id":"a93b25df-b504-407e-b987-85d7f38f1a4a","year":2025},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:d9ec8e0ee51d8fe39001ce967d74f943625773272ef936950b761cbb1a785ef8","observation_id":"47753fc6-4abf-4b0a-a759-bb4bf8ca64cf","resolution":{"observed_at":"2026-07-12T05:58:32.898176Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-07-12T05:50:11.701730Z","title":"In: Kambhampati, S","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-12T05:50:11.701730Z"},"links":{"citing_paper":"/paper/2607.02958"},"observation_digest":"sha256:edc8397fca8f31e80945f0bec704fd36b5079319c08ea6e27bd568833fd27e0e","observation_id":"4c08ad06-46d2-4b84-be5e-7717acaa0d21","resolution":{"observed_at":"2026-07-12T05:50:11.701730Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","latest_version":1,"primary_category":"cs.CG","snapshot_observed_at":"2026-08-12T21:59:36.230333Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":6,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":19,"verified_exact":14,"verified_fuzzy":0},"total_outbound_references":39},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 1 inbound Pith citation observation for arXiv:2607.02958."}