{"as_of":"2026-08-08T06:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:98ea5ce824c85c5103d8f88722c378597e8da19cc181a1746ad05841f46b3378","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:32:37.235868Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2506.08233/citation-record","integrity":"/paper/2506.08233/integrity","json":"/paper/2506.08233/citation-record.json","paper":"/paper/2506.08233"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.096168Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.096168Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:eeaa2a0f65d00b550825c1467ee234b9825cb52d6eb90d9b797d1d5ed807cbe1","observation_id":"07812a86-3110-42c9-8a30-ff759673975f","resolution":{"observed_at":"2026-08-07T05:32:37.096168Z","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-07T05:32:37.100136Z","title":"Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.100136Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:9654b2632d6d4c3be8d6e44c923bc8f65a9ffe06087c3a775a169747f9a6f042","observation_id":"9f82e7b7-8959-47f1-bb0a-34d57375c7a0","resolution":{"observed_at":"2026-08-07T05:32:37.100136Z","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-07T05:32:37.103320Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.103320Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:39436f172beb244e0e3383595d961a2cdefaacee0632939886a100450acd874a","observation_id":"ec385b7f-e9ec-4bb9-88e3-04a30e7f6156","resolution":{"observed_at":"2026-08-07T05:32:37.103320Z","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-07T05:32:38.346129Z","title":null,"venue":null,"work_id":"d82f7b73-331c-4db9-b4c0-a4b1419d53f1","year":2017},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.106937Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:d073b407abe3c585727d187f1c4ed5d8cd02fb96c4baaf06bc7c74399c65bb5e","observation_id":"7cd710a3-4e06-4858-9fe9-0c7d4281023f","resolution":{"observed_at":"2026-08-07T05:32:38.349512Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.110188Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.110188Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:332284ccdf01d2b47a34c3dceb4079671056911a6228f43f80928989084d6fc6","observation_id":"bcaeb760-3116-4e9a-9fad-0caa6fe433bd","resolution":{"observed_at":"2026-08-07T05:32:37.110188Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.113507Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.113507Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:3ad68f89546444348ed9970b294fe6ef7898bd22de5ab890b7661d63279dff2e","observation_id":"745ba53e-6c15-4254-bd95-d2833d1fd07e","resolution":{"observed_at":"2026-08-07T05:32:37.113507Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-22993-0_30","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"7e294a62-8afc-42df-b300-3b8994a464b1","year":2011},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.117095Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:b6f030a41c6e63f476d4a2d9d1f43b9d527a22a6246912854d13f14adec493d3","observation_id":"0b4a8de6-1e03-40a2-a55d-4a58720874c6","resolution":{"observed_at":"2026-08-07T05:32:37.424035Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.119936Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.119936Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:39cb4d5b5336b38ae18a56b3466f7899cd5b2cbaa0ce9e64e9e0539446f9e8b7","observation_id":"9a83c6de-96ff-4555-b7b6-85e935d911e3","resolution":{"observed_at":"2026-08-07T05:32:37.119936Z","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-07T05:32:37.122933Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.122933Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:e26d65a8d5983599b18bb82b99b611c5ccb5d203c10e682309465ad6f61fd3d2","observation_id":"79b75aaa-3fe1-41a7-bf0c-d30250eead79","resolution":{"observed_at":"2026-08-07T05:32:37.122933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-10769-6_42","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"502142e2-92cc-4602-a636-9799cdcae3a6","year":2022},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.125928Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:0dbb6cb212be8cad839b89e2930b1f8fa6ffe5bb911ac1c515f9abfd4e90608d","observation_id":"75705a58-5e87-4a6a-9093-fe4d76e69382","resolution":{"observed_at":"2026-08-07T05:32:37.401201Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.132468Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.132468Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:e25a15c8790ba628b982fb8789cbf85269f25e4e5898e6dcd4ce06779f98606b","observation_id":"08b654ca-35e5-42c2-a9b2-9cac3190a7c1","resolution":{"observed_at":"2026-08-07T05:32:37.132468Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1404.7171","last_updated":"2014-04-28T21:19:58Z","snapshot_observed_at":"2026-08-07T14:23:34.033381Z","submitted_at":"2014-04-28T21:19:58Z","title":"Delta-Complete Analysis for Bounded Reachability of Hybrid Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1404.7171","snapshot_observed_at":"2026-08-07T05:32:37.135325Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.135325Z"},"links":{"cited_paper":"/paper/1404.7171","citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:de3a5178b505a20ac1ad80a0d6f4c12e276aaa6de37dbe7ad0c9036a46154add","observation_id":"0c03b974-5170-43b1-ab18-a96a7223d453","resolution":{"observed_at":"2026-08-07T05:32:37.135325Z","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-07T05:32:37.138723Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.138723Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:ff796b33b4472e38c28269d8022d4f308237e2d0ec31d98b0ff83842fa6fbe5f","observation_id":"ba9cdc1a-5041-467c-9a51-0a767f0ea034","resolution":{"observed_at":"2026-08-07T05:32:37.138723Z","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.1109/synasc","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.375842Z","title":null,"venue":null,"work_id":"5fc05a74-0185-43c0-b2fc-32e2d1937392","year":2014},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.141778Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:6ad1a8d848a4450f2f8e7b26da842db8e951f770a8548e4faa7adfe78a120410","observation_id":"58aa26d1-c608-4c51-b7c3-80f566d21c8f","resolution":{"observed_at":"2026-08-07T05:32:37.379192Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.144743Z","title":null,"venue":null,"work_id":null,"year":1931},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.144743Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:d7e2f96c7d1cd1a15a9fadb3df56a0dc1f6b94f8428d0eddcfe1be0466ff7181","observation_id":"e64511e3-6e32-4beb-ae99-95fd9a8760ee","resolution":{"observed_at":"2026-08-07T05:32:37.144743Z","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-07T05:32:37.147620Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.147620Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:b0704044c1d7a6b56d62f14abad354a67376f57922f2920a030c71235dafe9f1","observation_id":"3b5620c3-d755-40e2-9066-b6bde98b533f","resolution":{"observed_at":"2026-08-07T05:32:37.147620Z","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-07T05:32:38.336109Z","title":null,"venue":null,"work_id":"209cceb4-ff68-4e7b-a436-55387bf524dc","year":2024},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.150566Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:c2962387f0d393678bfa9ff87c6122ced98aeb9151384c9c9bf0249bf95b0216","observation_id":"f130d6cf-05e1-43a2-a46b-814a58f5483d","resolution":{"observed_at":"2026-08-07T05:32:38.339324Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1997.0119","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:38.061053Z","title":null,"venue":null,"work_id":"5ede0790-6a9e-4cef-a633-734e56b2633c","year":1997},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.153413Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:0bd7c832a9f7a209c38879d3f625f218fb4e3bd04c54abc392f1d2ca6a0b5301","observation_id":"cd812dc7-52fb-42a4-94a7-de4a474a6c43","resolution":{"observed_at":"2026-08-07T05:32:38.065828Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.156233Z","title":"Deshmukh, Sriram Sankaranarayanan, and Nikos Aréchiga","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.156233Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:654aec99a952fd8339332dc122cce805107185a9589a18746ecaf7eededfbc33","observation_id":"a8283494-d888-4b34-8806-888c8c6b90d6","resolution":{"observed_at":"2026-08-07T05:32:37.156233Z","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":"9778.21897","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.903867Z","title":null,"venue":null,"work_id":"9c3f0d4b-c61f-40bf-8a8b-63f1ca17048f","year":2012},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.159039Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:1275b88305b728c49ba2a57b4c1db7fcc5a61c6b8eb4bb59e8411c4126d42493","observation_id":"418697c7-0640-454f-9124-d0b393297856","resolution":{"observed_at":"2026-08-07T05:32:37.908646Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-96142-2_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"ddee6b17-85c6-4eea-98fb-a497fe1d129c","year":2018},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.162890Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:5499aa2ffab1ea8501601b786e9f570345595cccf111e9da66b8684cd4f47eee","observation_id":"ebd79119-6209-412d-ab43-a1e90a956482","resolution":{"observed_at":"2026-08-07T05:32:37.356749Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.166165Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.166165Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:2197afc5289f48cf6dac1c74331065c28ed0d90fbf72242de1334bc0fdfb2c15","observation_id":"cabdb670-037e-4923-95c4-b30905d207fb","resolution":{"observed_at":"2026-08-07T05:32:37.166165Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-024-09716-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.343803Z","title":null,"venue":null,"work_id":"35c34ff2-240e-47c1-b73f-6b20108b4102","year":2025},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.169427Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:c41257e92576e6fd3456c78d044e843578e7e3a7b0b4ea42087d8cf7c5c8c0ff","observation_id":"e8f023c1-a77c-424d-a07e-c3f054bf7464","resolution":{"observed_at":"2026-08-07T05:32:37.346916Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:38.325830Z","title":null,"venue":null,"work_id":"3fadefbe-d7a2-48d0-93a8-06ad9c505a4a","year":2005},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.172367Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:2e3e03198efcdc98365e34caf1133b0c2ba8d9e01e75d8d49c0fae476785b05d","observation_id":"b37b77f0-86de-4c2c-a1a3-04704821c544","resolution":{"observed_at":"2026-08-07T05:32:38.329043Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.175432Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.175432Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:a13ee3a14c2329d7ae02e9b6225712a2779f42cc1f0da19f4d3ee7ff3af68b0e","observation_id":"0a369e52-7593-4904-bd2a-eb61c7e948d5","resolution":{"observed_at":"2026-08-07T05:32:37.175432Z","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-07T05:32:37.181980Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.181980Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:a923381e7a7acb29d8e6a7ce70c755f65c3b090d6e2406d2db1300e801c72bb4","observation_id":"244e05ba-d546-47d9-ac4c-5cde760b07d1","resolution":{"observed_at":"2026-08-07T05:32:37.181980Z","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-07T05:32:38.316088Z","title":null,"venue":null,"work_id":"c39c54b4-cacb-46d3-b36d-5a1f69227dc9","year":2012},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.184764Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:c148b0b4a0a824b5c343619b996032971b5a2d7e3c1cb93a8f3e5bd04dd5faf3","observation_id":"cde0fdfe-55b3-43bc-ba4e-078b500477b4","resolution":{"observed_at":"2026-08-07T05:32:38.319192Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.187490Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.187490Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:89e79b839426a9c5aafd8d9a191a0d78234812598406caa26d31a8f129b3c6ae","observation_id":"735ab9b3-bd0b-42f5-b580-13db40daded5","resolution":{"observed_at":"2026-08-07T05:32:37.187490Z","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":"2410.13836","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.781166Z","title":null,"venue":null,"work_id":"1b26c2f5-9f9e-4d62-8dd9-4c76cef8ff3a","year":2024},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.190294Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:3ba60a730541e5535a02a2c2e9c216ba66adc2c2b6884bc0d3a2214bb250d5d4","observation_id":"e1e5d11f-1c8a-4738-bc4b-ec3215815f87","resolution":{"observed_at":"2026-08-07T05:32:37.786168Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.192990Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.192990Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:d390b2d1b8f61230d8f92c07cc471b55b54f2a8d8f7b719fdd940e77b76b7d66","observation_id":"5c521053-d5b2-49cf-b568-3655b452cf4e","resolution":{"observed_at":"2026-08-07T05:32:37.192990Z","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.23638/lmcs-16(1:28)2020","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.308506Z","title":null,"venue":null,"work_id":"d7cbc3b0-6860-4121-8529-c7861093b3d5","year":2020},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.196036Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:4812c141489ed2ff45b332e81365e22bafd829ff2dcd8205941fb537cf1a055b","observation_id":"b0781ff1-d482-4ef1-8856-66e2feb0df76","resolution":{"observed_at":"2026-08-07T05:32:37.311777Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/9781316717325","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.298040Z","title":"Pour-El and J","venue":null,"work_id":"99cc2bec-76a9-4cd0-a931-78927ceda7fb","year":2017},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.198889Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:b03b130190c1480a2c5d77f88ccdf2e53cc3f118aef21a1bf7c7444f15f8d9f2","observation_id":"edcbc0d2-748c-487f-9c37-fd42429a9a18","resolution":{"observed_at":"2026-08-07T05:32:37.301237Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.201816Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.201816Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:f2d53c0ecb226622eeced4e37ce341f5d1f746feed5957c6254077d470ce787a","observation_id":"c6edb736-f4ba-4ef7-8887-b61c3f950767","resolution":{"observed_at":"2026-08-07T05:32:37.201816Z","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-07T05:32:37.204640Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.204640Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:a7575a6c4cb89352808a29c17f58c7007e9cce5efada89e5a7f0f19120ad2676","observation_id":"10b33011-81c7-4648-a9e7-08b419f07bfa","resolution":{"observed_at":"2026-08-07T05:32:37.204640Z","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-07T05:32:37.208017Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.208017Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:bfb19f718609ebcc1430544d4d5854e3655ae073fca98b788b1943b1d1eb989d","observation_id":"aed93baa-aaec-42f7-8e0c-dea567529009","resolution":{"observed_at":"2026-08-07T05:32:37.208017Z","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-07T05:32:38.307038Z","title":"Tanner Slagel, Mariano M","venue":null,"work_id":"86bdd032-6e92-40ac-9b12-0db59e2b5f68","year":null},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.211055Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:ff1205ddc713acf1caceb598b3b02908b5694e642c0fb8653bccc3410a3cddc7","observation_id":"36e117ad-e4f7-4b53-af59-8e8af3a1cb73","resolution":{"observed_at":"2026-08-07T05:32:38.310023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.217821Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.217821Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:0e2ef05664b9ea640eb429e78807e143ea1d5fa2ee6fe56751027d596a4047c0","observation_id":"eb67775b-544f-493b-90e5-50bf0b2380b3","resolution":{"observed_at":"2026-08-07T05:32:37.217821Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.220652Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.220652Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:b26cf66bb7cdd53e271aa9e1fb285804c75bfc540ab0e24cd6bbcedcc0f65d33","observation_id":"28c4fb42-797c-41b3-91d0-4a30cdf78476","resolution":{"observed_at":"2026-08-07T05:32:37.220652Z","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-07T05:32:38.295803Z","title":"1948.A Decision Method for Elementary Algebra and Geometry","venue":null,"work_id":"bf5e3174-ff3d-4772-919a-65165bc8ff71","year":1948},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.223666Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:a8de36a48bd6a43bba9ad8822e895e73eadb24c1769b5c25be73d3b74b7d16f8","observation_id":"11c5746a-0afe-4749-8b3c-254e59698df3","resolution":{"observed_at":"2026-08-07T05:32:38.300320Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:38.285164Z","title":null,"venue":null,"work_id":"5ea35de6-cea9-4f88-8ce1-f8a8d987f67b","year":2019},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.226790Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:2d81798a1855d23ab244c68fe2edd377b9dcc5c23660b5f181674dfb1fafb932","observation_id":"d3fb2b4c-56c6-460d-ac79-5c5ead57c1b9","resolution":{"observed_at":"2026-08-07T05:32:38.288382Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1850.32185","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.510954Z","title":null,"venue":null,"work_id":"78d979a8-6967-422b-9d78-70e9d3b5d9ba","year":1974},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.233082Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:c1a48003a89b1aa67ade5c524cf06a213ec26c690a5c7fd6966aa1bcc31316aa","observation_id":"ff48747c-009c-4e42-b071-a97c22f8bbe4","resolution":{"observed_at":"2026-08-07T05:32:37.515741Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:32:37.235868Z","title":"2000.Computable Analysis: An Introduction","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.235868Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:a984da6ef65d05394c4fdb9dcf7a211bb093fbd5161fd0fceb2768e02fbda90d","observation_id":"b7d95d11-2317-4e75-91b3-5dfb846103d9","resolution":{"observed_at":"2026-08-07T05:32:37.235868Z","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":"2019.88858","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.587675Z","title":"https://doi.org/10.1109/ICSTCC.2019.8885848","venue":null,"work_id":"e289e526-b892-407c-a52f-3e60749c03d2","year":2019},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.229865Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:a48b53d1107851b998569ec09ac5c92dfce8ec624cf61767a1e0c89172203b9f","observation_id":"d5e12274-b3f6-4926-a365-af8c960cd4d9","resolution":{"observed_at":"2026-08-07T05:32:37.593994Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.402.7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:32:37.280518Z","title":null,"venue":null,"work_id":"448dbe15-d977-4419-94b0-abb58642e22f","year":2023},"citing_paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T05:32:37.214273Z"},"links":{"citing_paper":"/paper/2506.08233"},"observation_digest":"sha256:bfa23859120114aca61de3730b4c420a3ea1685ee8df68dfe5b799ced9b253b6","observation_id":"0af495bd-5997-427a-b6bc-dcde1204f600","resolution":{"observed_at":"2026-08-07T05:32:37.284626Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.08233","last_updated":"2025-06-09T21:03:38Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T05:14:40.461780Z","submitted_at":"2025-06-09T21:03:38Z","title":"Approximate Axiomatization for Differentially-Defined Functions"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":5,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":25,"verified_exact":9,"verified_fuzzy":2},"total_outbound_references":44},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2506.08233."}