{"as_of":"2026-08-18T13:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:24c3b2f88c1a125f7ad65fa85003c8db4a815a1ff3be15b7835204721cf00588","coverage":[{"denominator":87,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":87,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:35:39.504455Z","state":"measured"},{"denominator":87,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":87,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2505.14998/citation-record","integrity":"/paper/2505.14998/integrity","json":"/paper/2505.14998/citation-record.json","paper":"/paper/2505.14998"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:33.384599Z","title":"Abbott and A","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:33.384599Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:3149f99ed338bad57a05c5cd6ee19b86f3ad0e78a3ca73d142d263c70ad1b8f8","observation_id":"187c4fc5-e6ae-43d1-922b-b1f6875eeb43","resolution":{"observed_at":"2026-08-07T15:35:33.384599Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:33.505189Z","title":"Ábrahám, J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:33.505189Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:d02860b6ab25cd7494fb085a315c87780f2c1aef999d5abd78da87802d19858b","observation_id":"ca75dc2e-f324-4fb9-8f69-a68934abce88","resolution":{"observed_at":"2026-08-07T15:35:33.505189Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:33.642294Z","title":"Barbosa, C","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:33.642294Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:d3db0ed6aa6a3599fdbda646b5c30971e875d068eca38222670e9d00e612895a","observation_id":"03dc9cca-fc17-4f00-aed7-64e732d8bafe","resolution":{"observed_at":"2026-08-07T15:35:33.642294Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:33.758758Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:33.758758Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:0c6b287974bf1d8a6705b00a253033c8f0b670f46a0a840052364055f1dcb131","observation_id":"5d730388-8d2b-47de-a7b5-1209831da8cc","resolution":{"observed_at":"2026-08-07T15:35:33.758758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:33.867932Z","title":"Barrett, P","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:33.867932Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:8b25aa02f1e0b106f9b7a3576e1f8a420de9b3a99a32831c80207e2199582d88","observation_id":"be38c805-5527-4b20-97c9-f038e6695e71","resolution":{"observed_at":"2026-08-07T15:35:33.867932Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:33.950162Z","title":"Barrett and C","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:33.950162Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:790976c7250e84fb242d239007a41c0d025081576f7d4d2353c2849b12df3127","observation_id":"77595312-f035-4257-8e69-8370417cc9b3","resolution":{"observed_at":"2026-08-07T15:35:33.950162Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:34.032014Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.032014Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:e843e1d84d6e19871c9721e3e25a9ca6bd89df088564b8476d14ff3e9796d347","observation_id":"2e995b7c-feca-4c45-ba86-2c77384da364","resolution":{"observed_at":"2026-08-07T15:35:34.032014Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:41.000773Z","title":"Bjørner and L","venue":null,"work_id":"8b89fc4f-84fa-4488-90d5-0db6143a1cb9","year":2024},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.104241Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:26309a8c12c24ea8fd55c6aaffc0556bb28ec7bf760e8be2e450ad0ae55f836b","observation_id":"f7e23472-ef58-4e9b-bd12-257478d5476b","resolution":{"observed_at":"2026-08-07T15:35:41.003543Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.992786Z","title":"Bosma, J","venue":null,"work_id":"06692ecf-45d9-425a-a539-541a662588d8","year":1997},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.216919Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:59a8105baff61eacbc45afd024bf341e2ec565343eaa62309b50a614c4b43ba9","observation_id":"90e49aa3-d571-45a3-82cc-58ea5b5c5989","resolution":{"observed_at":"2026-08-07T15:35:40.995315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.984470Z","title":null,"venue":null,"work_id":"8afa165c-44a2-4e23-9ab2-bb5055ff7c35","year":2017},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.287611Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:b1ff4c695b97f5a73e1478ae25037b3d3ac85ac820c6fc26626ddb40accbcbcf","observation_id":"11e29de7-c5df-4c21-8d3d-0acf294f5801","resolution":{"observed_at":"2026-08-07T15:35:40.987289Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.975923Z","title":"Brummayer and A","venue":null,"work_id":"cf5ea33c-633a-41ef-8505-7eefae92d966","year":2009},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.358781Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:01c4a3bda9c6ba13775c8098a6e565ada13d9a69046d434de1e7c109eb4ff037","observation_id":"998e2ac7-aeef-4ac8-823f-a338f1b7a58b","resolution":{"observed_at":"2026-08-07T15:35:40.978442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.968109Z","title":"Buchberger","venue":null,"work_id":"15a91e6a-091f-4764-a181-d37e7c78831f","year":1965},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.436624Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:ff6d11eef7e36b8dc174d47049711a968a45a2ce1102339922f2457347a39055","observation_id":"06103633-beb2-4d84-aeb3-fed4f1d9b58f","resolution":{"observed_at":"2026-08-07T15:35:40.970690Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.959917Z","title":"Buchberger","venue":null,"work_id":"2d2a61f9-8172-418c-a50e-b2adabfda776","year":1976},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.547198Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:a60bdbf6872d0a233236ea8dbd5c3ece277ee69712db6da0a377498a4f7b09f6","observation_id":"ed9daa42-3d60-4580-8a5e-8d518a19d639","resolution":{"observed_at":"2026-08-07T15:35:40.962743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.951732Z","title":null,"venue":null,"work_id":"6ffe4cdb-ceae-4add-a4d1-f5578ee3187f","year":2012},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.644040Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:3448f5045e6cd7c18486cd6d40316f06100321fd10bde8f9472fd49ded672d27","observation_id":"8e11c667-800f-4d3f-9553-eea91087d978","resolution":{"observed_at":"2026-08-07T15:35:40.954478Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.943481Z","title":"Chaliasos, J","venue":null,"work_id":"22191f7c-b9a6-49f7-8bd2-26e2ff54c567","year":2024},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.682300Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:8198b6e315f29d0bea68cb4e16e9b9383ce032c68066aa3eb528a2b49b3fa3b0","observation_id":"e9ec22c9-757c-46d2-8f7b-0d988a388773","resolution":{"observed_at":"2026-08-07T15:35:40.946234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.934721Z","title":null,"venue":null,"work_id":"eb0a5019-c7e6-4bab-b302-2dac082e459c","year":2021},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.824587Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:33db5e398c54757485c2550c68c606005c1757eec20e93e98526ffc99fd464c3","observation_id":"74e1c13f-0c41-4f3a-8622-f962c284864d","resolution":{"observed_at":"2026-08-07T15:35:40.937445Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.926565Z","title":"Cimatti, A","venue":null,"work_id":"0e523172-c013-4987-bac9-42472c329667","year":2018},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.900715Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:30aa203ef15da8679abc83a99e4fa7b821596d33f80389754e23c583e7549ea6","observation_id":"c6042bd3-8cf5-4f2e-95c8-4f9bef6597ec","resolution":{"observed_at":"2026-08-07T15:35:40.929174Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.918434Z","title":"Coglio, E","venue":null,"work_id":"257f91b7-265c-476e-a4a9-552aa87f244d","year":2023},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:34.952687Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:7d04475ff3c64e718764d99fb550a8c964248e6160746311fcf8dda43a523e09","observation_id":"c9b0fb18-465a-4151-ac8a-10a8570f2978","resolution":{"observed_at":"2026-08-07T15:35:40.921000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.910030Z","title":"Corzilius, G","venue":null,"work_id":"0c3affa2-7b74-423a-af9d-010c67c8f357","year":2015},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.001453Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:c9da6fa4c8eb51f92467e985d79f820ee88d69133970867206ac95f7f3219cf8","observation_id":"33ea34a6-3e92-4e84-b1ff-06b3e9c65348","resolution":{"observed_at":"2026-08-07T15:35:40.912675Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.901318Z","title":"Dahlgren","venue":null,"work_id":"a42a4c1a-341e-48ea-b52c-01e331a14e82","year":2022},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.068157Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:9da7d54c9d7c0f147f6cc900e96aec2a4742382d55d0fff965e68b2d495086e2","observation_id":"7f3b995c-e551-48bc-90ad-b16af4678c93","resolution":{"observed_at":"2026-08-07T15:35:40.904193Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.883817Z","title":"Davenport","venue":null,"work_id":"ec3e8442-36bb-40f0-9229-e01472ef4111","year":1992},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.218225Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:82d867560ea36e15c1d56f87d3838f813ae0be82d1bec07ab6a915f991a06416","observation_id":"48fcbcc6-06c8-403d-a549-c473a0885ddb","resolution":{"observed_at":"2026-08-07T15:35:40.886447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.875324Z","title":null,"venue":null,"work_id":"ec2f684e-0ce8-4988-b2cf-4f6a031c80e4","year":1991},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.273126Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:f871b955264e370b7d294fc438759c425b4bd27deff141182608b2178268c9c8","observation_id":"352d30c0-fea2-4afb-9d00-32be721126fa","resolution":{"observed_at":"2026-08-07T15:35:40.878013Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.866016Z","title":"Decker, G.-M","venue":null,"work_id":"0b51ff00-9b77-4a24-b143-1dbca4e019a9","year":2024},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.359246Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:8fa00f63e77b700e68d0678567006acac87d7dc24ccf462be55757a27ff6bc00","observation_id":"e6a581b3-9cef-421d-a9a6-04dddc7f444f","resolution":{"observed_at":"2026-08-07T15:35:40.869310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.857459Z","title":"Diffie and M","venue":null,"work_id":"a74565e0-f9ce-40c8-b780-ebae6677df64","year":1976},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.406653Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:df633b9030afdd964f5f093384b95fb7facb0461afbb3f385a1670387955fd11","observation_id":"660c2353-e034-4bff-9268-849cedf6c117","resolution":{"observed_at":"2026-08-07T15:35:40.860144Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:35.450801Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.450801Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:6bbf6313b8523dbe69f9d09d8b5b51ce75e30575923150141395482f30aeb029","observation_id":"bcaa5132-da6c-4f17-a0df-2b877a9c0113","resolution":{"observed_at":"2026-08-07T15:35:35.450801Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.843016Z","title":"Dutertre","venue":null,"work_id":"451daa46-5f8d-4fd4-af6c-7c2a747a4571","year":2014},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.515433Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:a66a7bb8094e34a74532268a4850323dc7a65e1fe0b2a5deaa1626730d32dfc2","observation_id":"bf6ba5bc-18ac-4a67-a8d3-d5648874ce6a","resolution":{"observed_at":"2026-08-07T15:35:40.845603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.834935Z","title":"Eder and T","venue":null,"work_id":"ac6b7af9-081e-4697-8cfb-6dca00b9810d","year":2021},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.607609Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:97f26469f3510bb88dc0cb3d2f3301567d8395c38e1efe7f6e89e89f0263f200","observation_id":"d6facc90-c941-4018-8893-8b051815f4b0","resolution":{"observed_at":"2026-08-07T15:35:40.837531Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.826440Z","title":"Eisenbud, D","venue":null,"work_id":"f5184f26-8b9a-42b1-8129-a9995c26b9fa","year":2001},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.650589Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:1245a44fc2d8df1997cdf97cb0f4ddb8997794b3ce11a6e1831d9e3f9b0b354b","observation_id":"96aff927-1c81-4108-8e8c-c36dc0511183","resolution":{"observed_at":"2026-08-07T15:35:40.829460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.818151Z","title":null,"venue":null,"work_id":"33140e10-d0c5-4642-8bd4-d56637a5d1fc","year":2001},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.722859Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:4b3a6c8a6cd8d0fa943610e00ce294a9798a6e80c668583e1bb28bac2f22d2e2","observation_id":"58a3a6cb-6d45-43d8-8ad4-b05ccb30b223","resolution":{"observed_at":"2026-08-07T15:35:40.820888Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.809745Z","title":"Erbsen, J","venue":null,"work_id":"7fda427b-b90e-48bb-8e77-33c7d60873aa","year":2018},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.778567Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:dc65956396698ed3e85f3c3edc945228879f56ebf70a09e0b76da0b8d50e791f","observation_id":"eab5652b-4f5d-4e9c-93cf-a0164e7eed27","resolution":{"observed_at":"2026-08-07T15:35:40.812661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.801390Z","title":"Erbsen, J","venue":null,"work_id":"654ddf18-ac13-4ae7-a649-b8fd259b8422","year":2020},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.813525Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:d7349d4cf4386af12a983c3a400b94e40b4beddeb0dec6e3fe97d85630f3afaf","observation_id":"7c0643fe-891a-4bfd-a426-bf02b8b06010","resolution":{"observed_at":"2026-08-07T15:35:40.803987Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.793359Z","title":null,"venue":null,"work_id":"ae8756aa-d865-4786-8a7c-8741204ca795","year":1999},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.930532Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:a149194082da3ef03d1b5a3093af8648d4209620d5c540f0630e313711723543","observation_id":"39560a51-222f-46ae-a138-7c76cdb889dd","resolution":{"observed_at":"2026-08-07T15:35:40.796052Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.785330Z","title":null,"venue":null,"work_id":"16a73eff-d8ae-46fd-a165-91648004bee2","year":2002},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.968535Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:be48ad3799e1edddc70a5cb3a1365e225ba608fae21705855090fe4d63e6a34e","observation_id":"dad1d7d7-5907-4b0b-8f3e-ea6632d907fe","resolution":{"observed_at":"2026-08-07T15:35:40.787912Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.776810Z","title":"Fournet, C","venue":null,"work_id":"fc47f042-36e6-49c3-9372-a8de7ffbc8d6","year":2016},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.006980Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:8ea00821a476ad42f43339533567a29bbbbb1210b2002f7113125ae139a8181e","observation_id":"c4a6078f-e1c1-49b7-9bc7-e95b74625a74","resolution":{"observed_at":"2026-08-07T15:35:40.779685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.768485Z","title":"Fränzle, C","venue":null,"work_id":"8ec7d24b-0761-442e-9820-250af6e53e4e","year":2006},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.097284Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:3e38fb8fc634b5b1407df100ff68606052d844f2142c6ccf206001ca982d9b56","observation_id":"b9308c59-7b66-4fd1-9e3d-060e34c541b4","resolution":{"observed_at":"2026-08-07T15:35:40.771020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.759208Z","title":"https://www.gap-system.org, this year","venue":null,"work_id":"7a1eef3c-9e1b-45ce-871d-b42066bdddff","year":null},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.164116Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:64a319edebc2318e89990abc0ae31136248b2938a95bb693fcb94e9854fef515","observation_id":"81f7ec5b-1c5c-49d5-be47-3c720d0a4a94","resolution":{"observed_at":"2026-08-07T15:35:40.762691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.751413Z","title":null,"venue":null,"work_id":"328731e2-51d5-4e04-95f1-09b7298dfb0c","year":2009},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.192721Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:9b87b411fbd2b785ec723a3cbaf27c5305a2c94835fc7c509a6add57f1fee3f0","observation_id":"610e0b55-fd54-4e32-af9d-ec98c0614c66","resolution":{"observed_at":"2026-08-07T15:35:40.753917Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.743365Z","title":"Goldwasser, S","venue":null,"work_id":"96b5f50c-b6f8-4d88-9bc9-9a416ebd1704","year":1989},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.316156Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:f869431ae10843d8fc214a84333e7d2c684662bccf54f0fa42326eed084ebc6a","observation_id":"cb86f3a6-4cbd-4c73-854c-92986af153c7","resolution":{"observed_at":"2026-08-07T15:35:40.746066Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.734524Z","title":"Graham-Lengrand, D","venue":null,"work_id":"913ae354-fbe0-4d30-8ce5-45748afa7feb","year":2020},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.373713Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:4fab84d050f88b014fcc2440aa7f0994d9118bf9aab25643a35be55cc5034826","observation_id":"6078fc74-218e-4ffd-99a6-b864723bfc53","resolution":{"observed_at":"2026-08-07T15:35:40.737549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.726105Z","title":null,"venue":null,"work_id":"dba51b6a-82b1-4a06-ae08-b88d5ee69fbe","year":2022},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.452674Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:e05980e34a8e94c16faebbf517ee343049537f3d93fcd670a1650b73f98fffcf","observation_id":"17eca1d5-87f1-4316-b963-decf96d545d7","resolution":{"observed_at":"2026-08-07T15:35:40.728912Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.717815Z","title":"Hader, D","venue":null,"work_id":"9640a5d1-cb2f-43da-933d-fbb7d5b18500","year":2023},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.570618Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:5e1c341e156312176f51ff83718d241be5df4a142f578c7431d602aeda76564b","observation_id":"5e7b3171-6624-49d5-a35b-70d012d4be91","resolution":{"observed_at":"2026-08-07T15:35:40.720661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.708764Z","title":"Hader and L","venue":null,"work_id":"52273ccd-f38b-425a-bf4f-8cab288f0f5e","year":null},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.608009Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:90ed02472c380dbe95ec6e7d7474d09ed4fd8694650d50139df68a6126e4711e","observation_id":"e3ec5105-f750-4766-8a66-44da6c94ccde","resolution":{"observed_at":"2026-08-07T15:35:40.711849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.691100Z","title":null,"venue":null,"work_id":"076cff2c-4995-416e-a083-dd9d081a4ced","year":2015},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.823664Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:6c0bc43c7e8a421e1f19ed59b8f53fd9c66b75533f768cb2a09f336852010295","observation_id":"09bc8c76-0f58-48b6-8d79-5b135372de6a","resolution":{"observed_at":"2026-08-07T15:35:40.694235Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.699839Z","title":null,"venue":null,"work_id":"c09adb77-482e-49b6-9518-23a5e9133643","year":null},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.670184Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:b6f1f245d5030bacbf946f31eb327e25eded42c828d86cb812bc2a1c2c70286f","observation_id":"073e12b5-adc1-45a1-8a2c-03ab4b359dbf","resolution":{"observed_at":"2026-08-07T15:35:40.703096Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.675147Z","title":"Hickey, Q","venue":null,"work_id":"8608d576-ccad-4e7b-84ce-1e153eaf0270","year":2001},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.912992Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:8eff8ddb7a92d19f1a6633da708ddb15036ff01f4c43f58219e7066dde522f61","observation_id":"098f0312-6f32-4500-8ea8-c3fcf084744d","resolution":{"observed_at":"2026-08-07T15:35:40.677781Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.682913Z","title":"Heck and W","venue":null,"work_id":"0cf7b708-6bc1-4d0f-887e-baf498d066e4","year":1993},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:36.876554Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:6eff69b84d8bab028dee8bca278f6d4d54d23c740ab75f37db8f770eb2595899","observation_id":"ebd1bef9-e1fa-4123-9663-d9cf71976fa0","resolution":{"observed_at":"2026-08-07T15:35:40.685636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.658587Z","title":"Jovanović and L","venue":null,"work_id":"f20b97c2-73e0-44eb-a31a-565b270cb1a4","year":2013},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.092466Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:369b51411512af283d2e7ea9996818caa95f2c6fb81dcb4086f19de461037b55","observation_id":"cbd7bed0-5dcc-4a1c-a842-aad1ddd35ccc","resolution":{"observed_at":"2026-08-07T15:35:40.661170Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.666510Z","title":"Jovanović","venue":null,"work_id":"fa6d5dad-7954-4d59-85eb-925af8fc82d7","year":2017},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.058248Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:5536287ab7e36388a36edebd723086f42e1c355c6010deaf6f12b9ab1973ad4e","observation_id":"2d2ac6c3-b8ee-4669-8373-882dd9f79956","resolution":{"observed_at":"2026-08-07T15:35:40.669114Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.642329Z","title":"Kosba, C","venue":null,"work_id":"dc3e7248-ce83-417c-bd1a-2f0e2eae792e","year":2018},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.239774Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:8fca7fcfaa2eb37f1bcffb612f2fcd1b25ff4e85b764ee4dc85ad290cda90393","observation_id":"edadc7a9-e26e-4deb-9221-8f284a0c56e3","resolution":{"observed_at":"2026-08-07T15:35:40.644980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.650478Z","title":"Jovanović and L","venue":null,"work_id":"686d0e6a-a200-457c-ae45-22cd8cc5d0d9","year":2011},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.139690Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:e0f2995175f390bfe488e31cd33518235359b68de1b90981b23f47fc961a36b7","observation_id":"95334bd3-ef5a-434f-8fcd-44b90d3de106","resolution":{"observed_at":"2026-08-07T15:35:40.653140Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.625549Z","title":null,"venue":null,"work_id":"c3eb1d87-af49-4e14-b075-c9e3cefcfa82","year":null},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.338601Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:4e6dc1b769dbf32ced2ba1007170d2b82cb33b50c6991d140247a64b49774f61","observation_id":"9d44a6c4-00a0-445c-8d42-0f9bdcc9fe79","resolution":{"observed_at":"2026-08-07T15:35:40.628579Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.634328Z","title":"Liang, A","venue":null,"work_id":"c8e1ecaf-c8f4-4c3a-b5b9-0babff0af8fc","year":null},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.301590Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:9dd204280cc8d4820d1404bf97e37edf4884c3e8070e5e41cff8bc5d33b726b8","observation_id":"dd682342-20c7-465c-a7d5-dce0fb71d64b","resolution":{"observed_at":"2026-08-07T15:35:40.637058Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.601121Z","title":"Maréchal, A","venue":null,"work_id":"6b4d8b86-6566-4f90-b463-aeaeec429536","year":2016},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.539350Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:9c04bcfadeb2915bce7c60754575cd3e0b36fff157a634ede00d522fee3ab3d9","observation_id":"f461bc49-5b9f-4e72-a5bc-cb46cbccd2ff","resolution":{"observed_at":"2026-08-07T15:35:40.603820Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.593371Z","title":null,"venue":null,"work_id":"f7eb920c-5354-4b9d-8df9-0482ae7302ee","year":1948},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.650901Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:eb2fdb08df7a9b4f4701c42ec427a2240b8688b7b0692334734fe35d413abad0","observation_id":"2d8bb7f2-3607-4baa-88a0-facfbada4fe7","resolution":{"observed_at":"2026-08-07T15:35:40.595874Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.609460Z","title":"Makhorin","venue":null,"work_id":"d114cb4e-98c7-4793-b6c0-0c7417a0ecd7","year":2024},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.486397Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:5a33e9342217b93fe6389435deb61cc8e7f67bdeb4e78f352cf5b2600c760af5","observation_id":"a1c3d397-a85c-48d7-ab99-21ca9fd72531","resolution":{"observed_at":"2026-08-07T15:35:40.612207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.575538Z","title":null,"venue":null,"work_id":"b8fd5046-6fe5-4b28-8bcc-5d5599408ddb","year":1985},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.725537Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:f49e0b373e9479c75c49b2d764dd850fc7bf55593ca5506c2dca56111f7190c1","observation_id":"5f2b588d-342e-4993-9cd5-72d7a1c4d2cd","resolution":{"observed_at":"2026-08-07T15:35:40.578158Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.567186Z","title":null,"venue":null,"work_id":"03f40f8e-c2dd-4e37-8c35-d48723e7b421","year":2008},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.813632Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:fc0ebb25844a82a41b63ce9272c51a30922d545fc9f4865132c96b9cdd1b31b4","observation_id":"1e655be3-51e4-40ed-9380-fd228dd10a75","resolution":{"observed_at":"2026-08-07T15:35:40.569910Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.584224Z","title":"Meurer, C","venue":null,"work_id":"d7d86267-c474-4cc7-ae73-fa8c15acfa0b","year":2017},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.687872Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:6345b9c2f54456e6db44bf149d2603d3f6ad2b8c21e6d8cf442845f58a32cd54","observation_id":"b72b4ddf-7909-4992-8c66-ca367dee5609","resolution":{"observed_at":"2026-08-07T15:35:40.587447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.548841Z","title":"Niemetz and M","venue":null,"work_id":"2a53afea-4ccf-42da-b673-e413507840f5","year":2020},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.910208Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:de9b73da44b6e66915ff489d87167403fe685a81fb96fa345749e5a338bc5786","observation_id":"f758a611-10ad-4434-9cad-8529c40d5352","resolution":{"observed_at":"2026-08-07T15:35:40.552051Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.540432Z","title":"Niemetz and M","venue":null,"work_id":"06aa473e-751f-421b-9f49-d9d56994ca60","year":2023},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.024552Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:2f2b87cff4ee357f1af6c46202fd8c67e38149fb242269b1a29ff959ddd13c97","observation_id":"5064a5ef-ff59-4694-a30f-c5f407ea9b7c","resolution":{"observed_at":"2026-08-07T15:35:40.543265Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.558379Z","title":null,"venue":null,"work_id":"bf666c6a-0296-4619-81cd-b6372363b8a9","year":2013},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.878157Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:d0294ec6634b5e49fe9ecabfb2a549ffccf49d002701e1fceab88e1fcd05b3ac","observation_id":"58659351-19d2-4aa2-9239-9316ba1f4a75","resolution":{"observed_at":"2026-08-07T15:35:40.561495Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.522520Z","title":"Niemetz, M","venue":null,"work_id":"ef0f2145-76ea-4be1-887c-dc72cb9f2ccc","year":2024},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.119937Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:45e3377a952ad5e731a6573abe48d6ecbab47ee14191ac61d7e4b08db002b59a","observation_id":"0f00c302-a8e4-4dac-a2d6-24639dcafa78","resolution":{"observed_at":"2026-08-07T15:35:40.525120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.513482Z","title":null,"venue":null,"work_id":"9bc9c03e-62c2-443e-a73c-579ea81d74a2","year":2001},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.187980Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:d940e1018f58ac43778df9deb077acbe9b70dad9817d033695f8c71521419398","observation_id":"679c2993-de2d-4592-b162-aae37fdcb1a7","resolution":{"observed_at":"2026-08-07T15:35:40.516569Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.530779Z","title":"Niemetz, M","venue":null,"work_id":"e2518094-5712-444e-985c-57bae088bb7d","year":2019},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.088733Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:bbc22290020ae144e1ed7336dce37c9b1704d427724a40ef158222e153e4cea4","observation_id":"1c0b11fd-b06a-49d5-9a6b-682eb54e0a2d","resolution":{"observed_at":"2026-08-07T15:35:40.534119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.469172Z","title":"Ozdemir, G","venue":null,"work_id":"0bc50297-c45b-4779-8874-e66bdd2b3efe","year":2023},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.329600Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:a56230d8a3197c8f4b5df2babe4545beffe50c0c77c31c13336f51327ca922db","observation_id":"a1073c23-cc07-4825-85bb-33bacb910264","resolution":{"observed_at":"2026-08-07T15:35:40.497462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.361091Z","title":"Ozdemir, S","venue":null,"work_id":"46ba5d58-c864-42c8-bd66-87c53141efae","year":2024},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.428587Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:fe1778742d8d12fd272c48ab83b961f691375d38f48ee75e17385ee4040728b8","observation_id":"ed78d73e-2522-4697-b5a8-a0b4f77869a1","resolution":{"observed_at":"2026-08-07T15:35:40.421050Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.503901Z","title":"Foreign field multiplication gate, 2024","venue":null,"work_id":"fc2e36bd-e041-4784-8586-d6eb1f18dbe1","year":2024},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.263978Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:e1dd61da7a0efb58ecd03a95653da1503fb2ee1ab2c18ff4f2d764595e4534a2","observation_id":"c44ec473-8be0-4a11-ac57-20e9a24ed7d8","resolution":{"observed_at":"2026-08-07T15:35:40.507039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.917682Z","title":"Pailoor, Y","venue":null,"work_id":"9fe9aeb9-c2d4-40a7-9c53-f5336e4a7c47","year":2023},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.534838Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:f9082c7a2f221b8e62d3fea815d5d7ddcee3bb0f529385ab3de36f616ede953e","observation_id":"63ee48ec-c987-4a65-997c-8d61de409adf","resolution":{"observed_at":"2026-08-07T15:35:40.045242Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.709607Z","title":"Philipoom","venue":null,"work_id":"bfb68723-f360-41e1-b3a3-494387a44691","year":2018},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.591334Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:04e9022f20339de9c61316256b4784a5d9e28ee8e1d772e449eac229e8e5e7c4","observation_id":"e0644971-308b-4aeb-88a2-94c958700cae","resolution":{"observed_at":"2026-08-07T15:35:39.792460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.108906Z","title":"Ozdemir, R","venue":null,"work_id":"35cb0400-0117-4f24-a555-07f11afe8922","year":2023},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.481311Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:29d5d944507c0d46cca2ae1836168abc547553ec21afa98691f1f81ccf1ba1db","observation_id":"05ea1cc3-0e7d-45b4-ad3c-366aff7c66aa","resolution":{"observed_at":"2026-08-07T15:35:40.208387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.670132Z","title":null,"venue":null,"work_id":"7156f7b8-5c72-4518-bcf0-189853fcec9f","year":1978},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.741049Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:c7c714207297e5da25e70edeaeddcb5966c8220f9f4ce43771dd7fe6880692c4","observation_id":"2ce004d1-c812-4751-a96b-313ad092cde9","resolution":{"observed_at":"2026-08-07T15:35:39.672905Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.659890Z","title":"Schwabe, B","venue":null,"work_id":"2ffbf251-1c5c-4ab1-ba2a-93978b326be2","year":2021},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.819137Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:b14c13d3ad9ca0b44616d81bbd8df8117ccfdfdb5268615fea2a8fdeb7ff44ed","observation_id":"4902f178-bc3d-4328-9959-7d72b79fa848","resolution":{"observed_at":"2026-08-07T15:35:39.663311Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.679474Z","title":null,"venue":null,"work_id":"b9cc0683-1a96-4641-93cd-ea6d51a82693","year":1991},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.662686Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:203a7334154bac983ffad56e5e6fffb251558a886d020faeaba6f5a3ed8731df","observation_id":"c888098c-d43a-40dd-9400-e4325fca548d","resolution":{"observed_at":"2026-08-07T15:35:39.688474Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.640548Z","title":"Gnark Plonky2 recursive verifier: The goldilocks field implementation, 2024","venue":null,"work_id":"da0f9f47-fc7b-4f65-9f04-fa1827105f46","year":2024},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.976610Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:98682163faebb27f77b5f252ebac38390a98170e67aef31c21e2e1f1a73314a9","observation_id":"79d53915-8c52-4cea-978b-5ab55ed8d047","resolution":{"observed_at":"2026-08-07T15:35:39.643934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.630721Z","title":null,"venue":null,"work_id":"10dfd701-7b04-4825-b3ac-9ca00d630a69","year":2021},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:39.061721Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:4e61c1b8911423807da98be164d4a2b2603a98e4b0f98b6af0a2ca05468bf55d","observation_id":"d52e472b-ad26-4696-9a7c-f8df1bd86186","resolution":{"observed_at":"2026-08-07T15:35:39.633825Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.650420Z","title":"Sheng, A","venue":null,"work_id":"340ca24b-51fa-4cae-8aca-7bc08c640435","year":2022},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:38.891065Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:633f5b6e915177422b9e0e8f26cff9085952dd2b618f1afadd0c5f71e162e207","observation_id":"3bdfc193-7c6d-4417-aa14-ba4744cfbe34","resolution":{"observed_at":"2026-08-07T15:35:39.653498Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.608654Z","title":"Walfish and A","venue":null,"work_id":"96702ce6-caed-4efe-8946-3c21fd768290","year":2015},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:39.193462Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:03d0076bf24c97d22d961fe939bcf0f2a5ff3f575ab036136fecc829fb3a7a19","observation_id":"80e2ebd9-f503-4c6f-be66-10b92182f0e6","resolution":{"observed_at":"2026-08-07T15:35:39.612393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.598136Z","title":null,"venue":null,"work_id":"cbf6b29a-c064-45b6-8257-1011a6ce9374","year":2022},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:39.243047Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:ecaa62941c0eae2990d0a30d5538b258d95847dc0048572f5275a1bfaf4beb83","observation_id":"b53acb3a-ff4c-41ae-8ee4-603e9b1b877a","resolution":{"observed_at":"2026-08-07T15:35:39.601589Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.620256Z","title":null,"venue":null,"work_id":"833d3916-1d15-4573-ab5c-3a0408252b33","year":2016},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:39.137218Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:2d3cc265708d1347a4361538abd328c71f34a0207a70bdb613c3b2d41530c9b2","observation_id":"fab9c2be-070e-4429-8e10-076ab5b51855","resolution":{"observed_at":"2026-08-07T15:35:39.623681Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.578648Z","title":null,"venue":null,"work_id":"4b112c45-918a-45d8-a7e6-fb4eead140a1","year":2023},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:39.358387Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:7067e485027d6966e43d4163a4ac5c4022efc52065f26c9b3a2f3619edcf61b5","observation_id":"406920f5-9aa9-43e7-b1df-5f5a2960fa49","resolution":{"observed_at":"2026-08-07T15:35:39.581557Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.567401Z","title":"Wolfram.Mathematica: a system for doing mathematics by computer","venue":null,"work_id":"ec8d0a3d-6e19-4fd9-bcd1-fef186dd34b0","year":1991},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:39.390384Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:79a37f36c204c3cfd76567c1c4bc1bc3e4dd97a8a4e8860f29b3754f1a1cdb74","observation_id":"602fcdb3-e3ca-4444-b556-88c3971652f0","resolution":{"observed_at":"2026-08-07T15:35:39.570500Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.588295Z","title":"Weispfenning","venue":null,"work_id":"4af579bf-1e40-4d80-86c9-c096e204c92f","year":1997},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:39.306363Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:9aecc937e0fb1ba448626952a170e455d4f623d7c9cfc8d12ced2e14c1dab202","observation_id":"020029cf-5fc4-4a71-9962-cc8f546e1464","resolution":{"observed_at":"2026-08-07T15:35:39.591271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.546512Z","title":"Zimmermann, A","venue":null,"work_id":"9673e122-eb0f-4a84-8a6f-9956f1adaa8c","year":2018},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:39.500358Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:2ff0eaffd635b7f0b450b7228fba883b0991e6465f185499e018da7cc7a5a7ce","observation_id":"a80b82d2-c6eb-4c26-899b-e538b62cb545","resolution":{"observed_at":"2026-08-07T15:35:39.549954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.557193Z","title":null,"venue":null,"work_id":"80b62a71-a1d0-4944-9d83-7b76b29a70d7","year":1982},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:39.431724Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:d1f7ea86028b6a1bfffd10b458c765008b377e05f0662b43fd8d041b9388f36a","observation_id":"96dc77a1-6593-42c1-8d07-d4bb60629cf2","resolution":{"observed_at":"2026-08-07T15:35:39.561054Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:39.532359Z","title":"⇐ Assume there exists a linear combination of the forme′ = Pl i=1 aiei, ai ∈ Z and ei ∈ R≈ n s.t e′ is liftable inC and e′ ̸= 0","venue":null,"work_id":"df08dac0-5090-40fa-9cf9-27c23f8964e2","year":null},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:39.504455Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:bd64e7aec6390182ab8c47243bf0faff467c69c3f236107bb76a2bd87054a24a","observation_id":"3540f7f4-7965-4dfd-af95-597da2438cdb","resolution":{"observed_at":"2026-08-07T15:35:39.538137Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.892167Z","title":null,"venue":null,"work_id":"0d542abc-5e83-43ea-a2cc-508843d32957","year":2023},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:35.102742Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:a76f67a1dac43345e5c2966287496e760489025cba52e17f1939972999ff2d1d","observation_id":"5c9463fd-358c-495b-b542-932c476133df","resolution":{"observed_at":"2026-08-07T15:35:40.895427Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:35:40.617870Z","title":null,"venue":null,"work_id":"2b6b80d3-267c-489b-8642-8b607c2cbe45","year":2023},"citing_paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T15:35:37.427923Z"},"links":{"citing_paper":"/paper/2505.14998"},"observation_digest":"sha256:ff6331d836ccdce925b640b8053bfcbeff697ba5752276c88751220945e08121","observation_id":"c2800bcd-6c24-4e1c-b378-4d08fd7ca20f","resolution":{"observed_at":"2026-08-07T15:35:40.620415Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.14998","last_updated":"2025-05-21T01:05:15Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-17T23:58:43.748455Z","submitted_at":"2025-05-21T01:05:15Z","title":"Integer Reasoning Modulo Different Constants in SMT"},"reference_resolution":{"displayed":87,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":33,"verified_exact":0,"verified_fuzzy":52},"total_outbound_references":87},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 87 of 87 outbound references and 0 inbound Pith citation observations for arXiv:2505.14998."}