{"as_of":"2026-08-21T09:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cbffb8e8c7b6d25e8f3b9f6017fce6a254cf27a77788d2bdc03a974a488edd3e","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T11:56:06.821237Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-25T05:59:39.785230Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-25T06:00:23.247028Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"cited_work":{"arxiv_id":"2504.14340","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.14340","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0386fef7-5e0a-487e-9033-13056f88a9f1","year":2025},"citing_paper":{"arxiv_id":"2511.20782","last_updated":"2026-04-16T05:47:05Z","snapshot_observed_at":"2026-08-03T09:58:43.399286Z","submitted_at":"2025-11-25T19:19:31Z","title":"Optimism in Equality Saturation","version":4},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-17T04:31:39.927726Z"},"links":{"cited_paper":"/paper/2504.14340","citing_paper":"/paper/2511.20782"},"observation_digest":"sha256:f194137c14a7ba3a3649ad988d6b6bffc3cac419f7a5bb2e56f119f7f24dfb0d","observation_id":"dd1b34db-8a01-49f3-af4f-8601b52b9fd2","resolution":{"observed_at":"2026-05-17T04:34:02.152117Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"cited_work":{"arxiv_id":"2504.14340","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.14340","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0386fef7-5e0a-487e-9033-13056f88a9f1","year":2025},"citing_paper":{"arxiv_id":"2605.19005","last_updated":"2026-05-22T01:08:52Z","snapshot_observed_at":"2026-07-06T23:29:47.081347Z","submitted_at":"2026-05-18T18:27:33Z","title":"Rewrite System Showdown: Stochastic Search vs. EqSat","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-20T08:21:37.465059Z"},"links":{"cited_paper":"/paper/2504.14340","citing_paper":"/paper/2605.19005"},"observation_digest":"sha256:a1372fb400d167d68203ea3ff7da1ddd479cc4c9b7fa20ab88fb03a95e653140","observation_id":"3bcf05af-c0c9-4cd4-a8c0-00609b7cd93f","resolution":{"observed_at":"2026-05-20T08:23:08.682986Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"cited_work":{"arxiv_id":"2504.14340","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.14340","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0386fef7-5e0a-487e-9033-13056f88a9f1","year":2025},"citing_paper":{"arxiv_id":"2605.19005","last_updated":"2026-05-22T01:08:52Z","snapshot_observed_at":"2026-07-06T23:29:47.081347Z","submitted_at":"2026-05-18T18:27:33Z","title":"Rewrite System Showdown: Stochastic Search vs. EqSat","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-25T05:59:39.785230Z"},"links":{"cited_paper":"/paper/2504.14340","citing_paper":"/paper/2605.19005"},"observation_digest":"sha256:44449ca5883aab58c2d6cbf8658ff1cfe59b7a950c7d94c32159e7b9f42622b2","observation_id":"744c47f8-567c-4058-a3b8-e82fafc99f90","resolution":{"observed_at":"2026-05-25T06:00:23.249210Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2504.14340/citation-record","integrity":"/paper/2504.14340/integrity","json":"/paper/2504.14340/citation-record.json","paper":"/paper/2504.14340"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:56:07.605035Z","title":null,"venue":null,"work_id":"3a51c7d1-ff9d-4a12-b393-deb195ea5bb3","year":1998},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.646761Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:9e4e1b0ae7ffc72b58332c6f626d8ab89e2e1dbd40f1dce09b0b47b47b273849","observation_id":"b099515d-db11-4323-a1bd-d05b60cb1fe6","resolution":{"observed_at":"2026-08-16T11:56:07.609878Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:06.652843Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.652843Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:35dddffdbf09a5fc90bfd35ff377f5a1d0a3123ff94104c8c53fa3fe65d039a8","observation_id":"8ef4f255-0b36-4c37-8c25-30e5a426bff3","resolution":{"observed_at":"2026-08-16T11:56:06.652843Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2168/lmcs-8(3:16)2012","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:56:06.885868Z","title":null,"venue":null,"work_id":"a47d5459-50bc-4c30-8cb9-a45e9fd02320","year":2012},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.657883Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:a75870e23e9a311ed84aaed7a3fbe2b4b24518363f8f5675e55bad50c4bc02b4","observation_id":"a131a3a5-bb2f-4a92-aabb-ff0f5704db86","resolution":{"observed_at":"2026-08-16T11:56:06.891743Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:06.663226Z","title":"Cox, John Little, and Donal O’Shea","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.663226Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:3dfd49ceddee8f9a233c46706cc61289c4bee0abc75130cea7e05939b268fd0c","observation_id":"19bfe619-d0a4-48e4-ba97-ef855f3d17d0","resolution":{"observed_at":"2026-08-16T11:56:06.663226Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:56:07.589123Z","title":null,"venue":null,"work_id":"9e981b9f-9bd8-4c6c-997f-e9a3a74228bb","year":2007},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.668428Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:50e581274ebc26f0d2ad2adfd002a943414bdf79226a828c259877ca67bc6310","observation_id":"4ff076df-c696-4d18-9e47-7a433a3992a8","resolution":{"observed_at":"2026-08-16T11:56:07.594140Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.574481Z","title":null,"venue":null,"work_id":"260af9be-73b2-4e36-a001-2bfb949cab93","year":2003},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.673342Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:bc81a7469f6d8d13d364a2f908c92f338f1c9ee67a5ec3f1b6c04e308c2757eb","observation_id":"97684eec-0e7f-4d08-a79c-497c9e413e3d","resolution":{"observed_at":"2026-08-16T11:56:07.579122Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:06.679527Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.679527Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:f784213c3f491c55db982ad44d754be6cbaeedd8249427a64f8ee28bca01dfbe","observation_id":"d08a2a4d-9721-460a-a344-440c6f3dc2c0","resolution":{"observed_at":"2026-08-16T11:56:06.679527Z","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-16T11:56:06.684042Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.684042Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:3fdc2184b6c3353a41f70658e12a9a1ad61d715f0cfef1e99b102cfbc8e6e45b","observation_id":"0da70db8-8ca9-4b3e-a78e-127f73e26675","resolution":{"observed_at":"2026-08-16T11:56:06.684042Z","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-16T11:56:07.558525Z","title":null,"venue":null,"work_id":"2437e25f-603c-44ec-a550-753bf05ba0d9","year":2009},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.688584Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:5773097d7049e719cd2c2ef2117d13fb72405e6bf9ea4c907690b4976258b542","observation_id":"569807fa-8d9d-4b6a-bc8e-f2c39b9903f1","resolution":{"observed_at":"2026-08-16T11:56:07.563964Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.543322Z","title":null,"venue":null,"work_id":"d5ac9ac9-a315-4b37-b52e-724c9099d514","year":2002},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.693265Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:2649399935edef54b44305ea1e2fdf29bb284365c95d749526f61bf48675ff07","observation_id":"d6ded904-21ce-4750-9b5b-2185dae2bbb8","resolution":{"observed_at":"2026-08-16T11:56:07.547993Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.528038Z","title":null,"venue":null,"work_id":"23d2bfa4-862b-4850-b746-6c067da2a007","year":2009},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.697966Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:b9dfc52b71dbd4d86c7a2bf9c3261722caa7488e27ec46f7b2b913f44b6c7d4f","observation_id":"a2fe4215-2fe6-418d-a555-5a0644c01446","resolution":{"observed_at":"2026-08-16T11:56:07.532820Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:06.703753Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.703753Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:9ea6882127e22a08da753d2e23b30041c0a11aac152100275c8a7e5e255d6026","observation_id":"21a53f65-4515-463c-938f-9530b734398b","resolution":{"observed_at":"2026-08-16T11:56:06.703753Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2111.13040","last_updated":"2022-06-03T13:22:41Z","snapshot_observed_at":"2026-08-16T17:39:22.875266Z","submitted_at":"2021-11-25T11:57:26Z","title":"Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2111.13040","snapshot_observed_at":"2026-08-16T11:56:06.708589Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.708589Z"},"links":{"cited_paper":"/paper/2111.13040","citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:b6052ae16b21d3a36d23dcc3f4ad70b5f1977adae64f30f30fbb6696947db9ff","observation_id":"576b7690-dfa7-4621-b5d7-7bc03966085d","resolution":{"observed_at":"2026-08-16T11:56:06.708589Z","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-16T11:56:07.512369Z","title":null,"venue":null,"work_id":"baf7918f-9180-4f43-9d5e-eafc41eb3853","year":2013},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.713495Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:a1228a2f894ed893fdce38250ebceff71321e805d7f352fa0c41095c331b3963","observation_id":"260b2429-b614-45f5-a4f3-75d4ac8f77ca","resolution":{"observed_at":"2026-08-16T11:56:07.517348Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.496265Z","title":null,"venue":null,"work_id":"595edf8d-2214-4287-af20-7d5348779e92","year":2013},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.718285Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:6335436bb02fd920db46941d6e0d2ae2e2e06bcb0bdc397a1fb8393d14aacc40","observation_id":"ee80e081-f05c-47e6-a7cf-e101a619b50b","resolution":{"observed_at":"2026-08-16T11:56:07.501282Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.480978Z","title":null,"venue":null,"work_id":"49d0437a-ce3a-46e4-941b-802a22d9664d","year":2024},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.723061Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:a2dfe054a18ce4c458c1b22ff7da198c9733dcf208a485ba64f9cd11b781173e","observation_id":"5c8ba5b9-ed27-466f-9ae4-9b4772c7a828","resolution":{"observed_at":"2026-08-16T11:56:07.485647Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.465572Z","title":null,"venue":null,"work_id":"07028f0f-3fe7-4b7f-9190-39f0534c07dd","year":1996},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.727610Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:222705efb7d5320fab6ebefb5d75d5838585dbce3278d95485214b4bccdb4fc4","observation_id":"0f6548f3-a928-4f34-b232-da6ace884879","resolution":{"observed_at":"2026-08-16T11:56:07.470268Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.450352Z","title":null,"venue":null,"work_id":"aa954d92-bfc8-4bc9-b9b2-d5064e023cd9","year":null},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.736304Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:9dd18e9bda90541738d045c3757f8e3119f648ea7185251b41510db9fbfb5462","observation_id":"2b26a6c9-9702-45b5-9c21-4a66f06eecd4","resolution":{"observed_at":"2026-08-16T11:56:07.455234Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.435298Z","title":null,"venue":null,"work_id":"9c970729-d2ce-4054-b2ca-28d27514ec1b","year":2025},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.740986Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:a06aa997bdbe56fe5ad12d075bffd25b8f78db8bb39759a92015baec8852ac47","observation_id":"6207fbe1-eda7-45bf-8d80-83a5c5ba367c","resolution":{"observed_at":"2026-08-16T11:56:07.440321Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.419729Z","title":null,"venue":null,"work_id":"bed5af44-fd12-429e-b7dd-5a2d2bdc94cc","year":null},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.745295Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:c8fde9593a7466e741e11fdde5923d952c1cc025d8b6eb49a709a75158815d65","observation_id":"6c721938-c637-48cc-8c69-5e9823abb747","resolution":{"observed_at":"2026-08-16T11:56:07.424583Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.19203","last_updated":"2023-05-30T16:49:10Z","snapshot_observed_at":"2026-08-18T14:01:51.388699Z","submitted_at":"2023-05-30T16:49:10Z","title":"Colored E-Graph: Equality Reasoning with Conditions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.19203","snapshot_observed_at":"2026-08-16T11:56:06.751001Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.751001Z"},"links":{"cited_paper":"/paper/2305.19203","citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:365816ef148b4f66658ad7f9723de44b2000819f1c549af8bef080a76e48673f","observation_id":"b4ae8502-e861-4ee0-ba3b-44c31dbee59a","resolution":{"observed_at":"2026-08-16T11:56:06.751001Z","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-16T11:56:07.404431Z","title":"Sturmfels","venue":null,"work_id":"31e18a3d-5611-4843-b352-3d36a9d97d65","year":1996},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.755949Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:4586466a0dba5d6d3bd81e9a380e4f93c6eaa47ec2b20ce2a259d88fbcdbafc7","observation_id":"67f23d68-7fd7-42d9-bb94-e86ded14a290","resolution":{"observed_at":"2026-08-16T11:56:07.409447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.388246Z","title":null,"venue":null,"work_id":"93a89dcb-9453-427d-a77b-2617376ccc23","year":2025},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.760326Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:67a7ba3df383250b099f2e65206f35ee604041d1fc02a3f40ac66cb6ea90d865","observation_id":"dc9e3534-e9b0-412c-b125-2f3ed533cd7e","resolution":{"observed_at":"2026-08-16T11:56:07.393343Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.10841","last_updated":"2023-01-27T21:38:25Z","snapshot_observed_at":"2026-08-16T16:00:07.633308Z","submitted_at":"2023-01-25T21:39:13Z","title":"Free Join: Unifying Worst-Case Optimal and Traditional Joins","version":2},"cited_work":{"arxiv_id":"2301.10841","doi":null,"metadata_source":"pith","pith_arxiv_id":"2301.10841","snapshot_observed_at":"2026-08-16T11:56:06.935948Z","title":"Free Join: Unifying Worst-Case Optimal and Traditional Joins","venue":"cs.DB","work_id":"89912c9a-5711-4604-ba4a-fc5095b5182f","year":2023},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.765228Z"},"links":{"cited_paper":"/paper/2301.10841","citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:982bd2ecdc61958813f49d91a64b9a708be69b1fbf71e15bf660d81b35edbc82","observation_id":"7c5a2259-e487-4e68-b3cc-44ce9a9cce20","resolution":{"observed_at":"2026-08-16T11:56:06.941892Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:06.770212Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.770212Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:0f3db795904cf27a97ceec283acd52500481119cc1dc74aed121b9aa057b52e4","observation_id":"9fb3db67-2df4-426b-a24c-ae8cb180324f","resolution":{"observed_at":"2026-08-16T11:56:06.770212Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.02290","last_updated":"2022-01-05T21:21:44Z","snapshot_observed_at":"2026-08-20T12:57:29.381430Z","submitted_at":"2021-08-04T21:23:28Z","title":"Relational E-Matching","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.02290","snapshot_observed_at":"2026-08-16T11:56:06.775171Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.775171Z"},"links":{"cited_paper":"/paper/2108.02290","citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:7c611fe1ed923ba5b72d948f9c950ad1eede939f98bb28a63ee8565249d0279f","observation_id":"32ef5bea-d822-49e9-8679-b1c012bb7625","resolution":{"observed_at":"2026-08-16T11:56:06.775171Z","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-16T11:56:07.372460Z","title":null,"venue":null,"work_id":"d0cf2d48-b717-49ab-b238-e9188160a5cc","year":2022},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.780124Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:0fada83eec4a1d6f78cde905cd8470117a15125d569f8bd190028701dc30aaa0","observation_id":"17cf847c-f192-4e3b-9a13-56e81d84ea43","resolution":{"observed_at":"2026-08-16T11:56:07.377295Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.357149Z","title":null,"venue":null,"work_id":"14ef656c-6758-4c2c-a6a0-b4ee102b3fb2","year":2023},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.784575Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:f8665c8d9905d889121c4fb6548101d2386e4dd2e36d4fac749472c0991166c2","observation_id":"0d60d40b-5da7-445e-be70-76b931e2996c","resolution":{"observed_at":"2026-08-16T11:56:07.362114Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.340859Z","title":null,"venue":null,"work_id":"0bd9cd68-3444-45ab-bff1-71df028fbce3","year":2024},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.789084Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:a82479921c1da0c7be23592d5d797bb00f4d852b983f91999512ff92c0da52b1","observation_id":"89cf01bb-4b1f-4af3-947e-1bbfa92c5cfb","resolution":{"observed_at":"2026-08-16T11:56:07.345907Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.324345Z","title":null,"venue":null,"work_id":"87068bb8-2b59-4ec8-9551-35c17d6a1395","year":2024},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.793673Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:ea4af63e3645541354b2705c8657e70510a02278e5bb13d4882c933450223abe","observation_id":"56c6a9a0-c375-4117-a69d-697b46099340","resolution":{"observed_at":"2026-08-16T11:56:07.329317Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.307200Z","title":null,"venue":null,"work_id":"4aac14e9-e8a2-4c02-882a-475deed230b7","year":2024},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.798274Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:5e9f8969426fe9750ec688dbadace96826fcbca8c7f5bab0210b3c3c7a6cb147","observation_id":"679a268b-1cae-463f-a583-1e9186886848","resolution":{"observed_at":"2026-08-16T11:56:07.313013Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.289988Z","title":null,"venue":null,"work_id":"f6869019-63b4-4b48-a49f-a33242d8eb20","year":2024},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.803017Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:ec1938de6114d1ad5d4ea2595410cd42fda5d3338dc4c496d7fe4776d83003ca","observation_id":"c4b959b1-2c44-4875-95e1-f90855b4b0dd","resolution":{"observed_at":"2026-08-16T11:56:07.294808Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.272965Z","title":null,"venue":null,"work_id":"36a5e756-acc5-4291-9b1b-9964005f1059","year":2024},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.807470Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:057b9a0619e9905e2307eb625314234c1d14bf6a3b14e7b02f803f849f21bc97","observation_id":"50374f98-e904-4fee-892d-cd4158a2cf84","resolution":{"observed_at":"2026-08-16T11:56:07.278599Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.255437Z","title":null,"venue":null,"work_id":"8fbe2639-7af6-40fb-8b68-05744b65506c","year":2024},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.811988Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:a1bae0cd5c12b25941d6aa49638504792774dee505cde3ed468ece862cf519bb","observation_id":"aa76525e-6dc5-4e98-bf05-63ec6b972152","resolution":{"observed_at":"2026-08-16T11:56:07.260584Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.238926Z","title":null,"venue":null,"work_id":"fa9697e5-693f-4acc-8871-a21ca72eae29","year":2024},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.816710Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:d238fd2aa75caeb13d152d0b9922425a48bbda13093973d19f0a6a3af54a430f","observation_id":"db00e748-46a4-42a9-8003-c9b0f3276aa6","resolution":{"observed_at":"2026-08-16T11:56:07.243814Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:07.220850Z","title":null,"venue":null,"work_id":"280b6755-3aeb-4a00-adfc-d6936cd84688","year":2024},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.821237Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:2e575d7a6e176feaf2f1c0ded313cdd3331fc83c2e453a8209a9048f84bf08a3","observation_id":"02ccee77-abf8-4c8e-8f6c-2782d81f38a8","resolution":{"observed_at":"2026-08-16T11:56:07.226681Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T11:56:06.732040Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching","version":1},"reference_index":288,"source":"pdf_text","source_observed_at":"2026-08-16T11:56:06.732040Z"},"links":{"citing_paper":"/paper/2504.14340"},"observation_digest":"sha256:62fe816591cfe0a5d23db6cd21e4ba96571ccf514f5cc436ef26bcc34775c17f","observation_id":"46d8e013-e8e2-42e4-ac65-63ad4adb11b6","resolution":{"observed_at":"2026-08-16T11:56:06.732040Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2504.14340","last_updated":"2025-04-19T16:15:11Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-19T15:11:02.905788Z","submitted_at":"2025-04-19T16:15:11Z","title":"Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":33,"verified_exact":2,"verified_fuzzy":1},"total_outbound_references":37},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 3 inbound Pith citation observations for arXiv:2504.14340."}