{"as_of":"2026-08-12T16:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bc6db3cad5b994c3208df3f1960fa4eff7674326d333bc1c6f2799bd1896af3a","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-12T06:34:41.77262+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-06T23:13:48.764748Z","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-10T03:28:25.365234Z","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:2a323f79d4bfbe260a7a727e555f047bf473734127540d32e0042d0a0faa8d01","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-06T23:13:48.764748Z","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:78d3a442627c9d9c7145e3c4eb36483b7af359a8a0d422f3004a0f8e4dc551fb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:71da82f158b6ef340dcd24aa614da30f3a41ee8cf3e5121e61e64df3ff6ae824","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:34ef18da3288da89c9fe34d97d2f0cb7aa9144c1ca9eba0ac81ce8573cc3e6da","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:5d78e1b65a4fc61211be2199c9f00e51ef74682f34d9094e1106c4a903f9d1c2","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-06T23:13:48.764748Z","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:98a46b9cfb3bd6ef1fa9095b911f189affedff177585ec75e67869ebf42a75d3","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:77dce81111d4ecba0f20ecb5a8fe5b490724b612ba602440848b6615f5303418","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-06T23:13:48.764748Z","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:635a1fd0b7575fde7087f62c12f2a3f72957710e3e6f95777589e59e5a60e13f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:30a70dca8e9168243e9e70bde62614e48fa0385f7ca77cac907cb7a8dc606db2","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:d4f42c1ec84f504937b8013ae6fd09da211a6fb3fd68453fd34c6ff54e64eb07","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-06T23:13:48.764748Z","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:a03f0f84afe41a284c48fe34f17a2a49cb0142878c13cb205f58f4760adee5d2","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-06T23:13:48.764748Z","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:49452cb8dfb3c8e5606027065836e8474ffa58d6d6e22dfc6fd08f16b90fd421","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-06T23:13:48.764748Z","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:8b2b0e3cec72d85cd9f200b9277e7b4f3f117ed034afbd23dcccc5d99582763e","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-06T23:13:48.764748Z","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:63119228637683a9cbfb78444add73fb4fcc7f7e2dec128f13686e87b96c8211","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:418684b6faafc42b71a2e866d2543260f18a33c41977223f1443fde75ac4fbfb","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-06T23:13:48.764748Z","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:085b6c9a6db02156a8bc9a0fe6a1a49964bff15405b2a588eae8add385678d34","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-06T23:13:48.764748Z","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:ea46f5e733003400fbd434c6c9ff2e1b8bbfc4032a708b381caf926a6aeb198a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:827f6df42219ce639ac0db8d677c38301ea79b61adca6abb1401ac9e9ff28816","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-06T23:13:48.764748Z","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:54d6010f53e28f461345597e4f63abcde36302d43af5f5a8fc3f507a8bbc9253","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:dc826d2b3e12235e638bcf865ad34a03b5d5d595b10d23702ffa1771018b27c9","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-06T23:13:48.764748Z","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:7bed3e30c89712206c2e05bba6a0add98523240e91034e90fe83d350b3e8f8b5","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-06T23:13:48.764748Z","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:0a132d9e5001361cba35270d999d2dc54c146dae5f982e2090b1063e99fc5ac8","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-06T23:13:48.764748Z","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:328ea65d598c92f272e64b6df398fa1a7f23c1e7a50f0c1585a40ca4a8ca573f","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-06T23:13:48.764748Z","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:75954ce5ba0fbf63972349dad3ab70b02bd536eee6980651078a7d6db74d90c8","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-06T23:13:48.764748Z","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:1c17e7821479b922c0b3f19192103b098a31e9db897383700904e71b3f29eb70","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:9c565170ae189d0069fe669c9f486b2e8ac6cf8db876560ec5f08ebbfbfd0267","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-06T23:13:48.764748Z","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:bb2a29ed40e2bd47c00fa77b499e02f8f64a0ac47386504279e40c8582d84a78","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:ae405b2ef5b4c6569d27b11eec8304bfa62102e36cc294b12615c4e82fbac4f1","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-06T23:13:48.764748Z","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:ddcc22cda4d3056cd3321968435f6c15bf12a64c997a1dfb49559b81ca94371f","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-06T23:13:48.764748Z","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:c85e266c9d5929e4c282d6d3dd3baf74b17ca9109b5d1023f313df77997565d2","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-06T23:13:48.764748Z","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:26dca835235d3abcee4dbbf30c695ca2ecba9f9b0babc5ff42f8b9765e5f09c8","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:687d8369122ed012b5c81ec59c2325e4ff7723249d3f344d2eff6b6c12b50852","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:5f3650d230850429eb6152eddbc60d2f5580d713008a1b452d16f208f6ca115d","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-12T14:05:17.846023Z","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-06T23:13:48.764748Z","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:3eb5c8730f5a4976b07e1cd05b20c8bf006012a8fad7a37ddcb54173658cdb62","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-06T23:13:48.764748Z","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:3c601f0b4019eb607a6e13dd71ff391962af7215486691a42eb35a664643de43","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-06T23:13:48.764748Z","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:83f55baac659e8c15a808a1d93230c08b8895c4260129072fe48f5602f1dea13","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-06T23:13:48.764748Z","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:c51f7ba177e538f8eb49ec34528199e57f12a1e7dff2e8294a75e3ed10301068","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:a9717aa35e389ffb981365d743be1bbc193e9eb2f7d2fde78b87199e1eedecc9","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-06T23:13:48.764748Z","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:25ef268fcef8e393ee3f62cd677915492211173fab08526ee1ae529f5ad2127d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T23:13:48.764748Z","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:c010980cdcd12874266951c837bb80bedc7befae239ce5bec0b77ce464b5d007","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-06T23:13:48.764748Z","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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 1 inbound Pith citation observation for arXiv:2607.02958."}