{"as_of":"2026-08-16T20:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cdc9abfbf86012c69058c49040fe46dd830e536a12d9f4d8c95cfdafe346355c","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T12:40:03.665707Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/2501.16543/citation-record","integrity":"/paper/2501.16543/integrity","json":"/paper/2501.16543/citation-record.json","paper":"/paper/2501.16543"},"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-10T12:40:04.839035Z","title":"F oundations of Databases, volume 1","venue":null,"work_id":"72e0709b-2a59-44d8-9ea9-4382f992ee7c","year":1995},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.519733Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:0c298be5eced91f1e5f6af5aa9126a5e9fbbf1499d2f82154e861a07b524ebe3","observation_id":"ce588f29-a717-4403-bd6b-f1fce9f1fb69","resolution":{"observed_at":"2026-08-10T12:40:04.844122Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:03.525973Z","title":"Relational databases and Bell’s theor em","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.525973Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:f84704ce3e03237ebfa14710f3e155372ccc3a8d51e658669b8a8787c732c7f1","observation_id":"30cd35a3-3376-4108-8f38-04dddce7f03c","resolution":{"observed_at":"2026-08-10T12:40:03.525973Z","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-10T12:40:04.822291Z","title":null,"venue":null,"work_id":"dff2fa4e-42bf-419c-853e-2abf3c574eee","year":1984},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.531314Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:15d8f420381108eb55c7d77ef08b41376875b74fbeafd9815317024367bf0016","observation_id":"eb9be08e-ffb9-4f4c-80d2-9f14f7eedd43","resolution":{"observed_at":"2026-08-10T12:40:04.827120Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.804383Z","title":"On the l imitations of provenance for queries with difference","venue":null,"work_id":"56fc6cc1-cf48-41c4-b249-4b2285d6319f","year":2011},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.536373Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:c452f99a281f49ce4ab589fa658554b85c392f77ac642f8bae9fe09fb694bdde","observation_id":"71c8b2c1-0d72-40c5-b842-8fdb446f9a75","resolution":{"observed_at":"2026-08-10T12:40:04.809358Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.787885Z","title":"Kolaitis","venue":null,"work_id":"aa113b84-729c-4d12-960f-4c4404534f6f","year":null},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.541940Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:bbef9006d2131ccd9c4933a222bb27eb49009aa41863ae632866c3d67b923065","observation_id":"a6f8651f-926d-443b-9d46-44f717183372","resolution":{"observed_at":"2026-08-10T12:40:04.793073Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3651608","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T12:40:03.803095Z","title":"Kolaitis","venue":null,"work_id":"6e117e29-e0b1-4d9e-8df4-1b5e1c288cfb","year":2024},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.546999Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:04026cde4efd7835bb812eb7f71ed089f0b934f545c461e35e329a1ae43578f7","observation_id":"7e55c11d-f978-4809-9395-5791d93426d8","resolution":{"observed_at":"2026-08-10T12:40:03.808687Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T12:40:04.545620Z","title":null,"venue":null,"work_id":"ffa30c2d-0c5b-4ce5-a8c0-b8b088ab8b28","year":1970},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.552509Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:84b85aafda5a0352e1e9a190a82b2d22fe13d0afe9cb2aebe2340342eee8434c","observation_id":"3ca894a9-b7ad-449a-a371-42a7568051dc","resolution":{"observed_at":"2026-08-10T12:40:04.551202Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.770950Z","title":null,"venue":null,"work_id":"639dadbb-ca2c-4c7a-9e65-11d4dce0035b","year":1971},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.558299Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:6f92951525786cc2509723273b97d6e7fc96510d9065d1e3b7f65c3228fbe6dd","observation_id":"1fbd93dc-5aed-4773-83a5-2459c3525086","resolution":{"observed_at":"2026-08-10T12:40:04.776305Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:03.563404Z","title":"Dannert, Erich Gr¨ adel, Matthias Naaf, and V al Tannen","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.563404Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:accc2ff7f98d8a6f6d50b1b9e070c5397b59816eb293176ffe739071e9fd095b","observation_id":"31ecc2da-539b-47f5-9d14-5ff0d7cf0021","resolution":{"observed_at":"2026-08-10T12:40:03.563404Z","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-10T12:40:04.754791Z","title":"On database query la nguages for K-relations","venue":null,"work_id":"a2f8ad53-d489-4335-a068-cf89066f54b3","year":2010},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.568355Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:30b0afaaf32b455eff75443c11a489c29540b8ae04a90e0db4bb9f6ba3fca1f9","observation_id":"2e151670-1576-4677-87b4-d054a6df98e1","resolution":{"observed_at":"2026-08-10T12:40:04.759855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T12:40:04.380483Z","title":null,"venue":null,"work_id":"d2165fcd-8293-4385-9ed5-6ba3ee9b7c7f","year":1991},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.573151Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:7944a09b15cfb753423e31f583bceca34d6c6a012a7ec834c9f774159b422fe9","observation_id":"79953246-6e1c-4378-a4be-354271ba1d44","resolution":{"observed_at":"2026-08-10T12:40:04.385821Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.739108Z","title":null,"venue":null,"work_id":"db7eba87-4b23-489c-84bb-ac93a29555c5","year":null},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.578536Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:dd4be4eaaa214f1d7bd3d3f637dd0b0322bcbba674431706c20362ea00302811","observation_id":"4757e201-8dd9-499d-a052-9a70b2fdd1e8","resolution":{"observed_at":"2026-08-10T12:40:04.744159Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.722761Z","title":null,"venue":null,"work_id":"eb2b76b9-2f11-4e3b-8f10-9c114ecade64","year":2011},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.583493Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:3a001ccb874fe17148a0532cc2c6f83a33f8815f291d2874220a38bb0e066c53","observation_id":"ff538124-bbf0-4d9a-bd14-5f004ddec164","resolution":{"observed_at":"2026-08-10T12:40:04.727829Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.705827Z","title":"Green, Grigoris Karvounarakis, and V al Tannen","venue":null,"work_id":"227163fd-790b-455e-8bb6-f70eff3e79b8","year":2007},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.588708Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:e15b7cfdb3b8707bdd6ac279c6bd6ee4163c56fedd6aceb923cd62ac7ac0fb71","observation_id":"38f944d0-c4c6-440b-b6d7-944e0da0e7dd","resolution":{"observed_at":"2026-08-10T12:40:04.711720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1712.01980","last_updated":"2017-12-06T00:35:29Z","snapshot_observed_at":"2026-08-14T20:06:30.166628Z","submitted_at":"2017-12-06T00:35:29Z","title":"Semiring Provenance for First-Order Model Checking","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1712.01980","snapshot_observed_at":"2026-08-10T12:40:03.593813Z","title":"Semiring provenance for fi rst-order model checking","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.593813Z"},"links":{"cited_paper":"/paper/1712.01980","citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:07a12ede1f766063d041f6e2d750f5a98edd7896240659c5ccbcd5661922a1d0","observation_id":"278ce817-c0e5-4be8-a460-87be1ecbb2d7","resolution":{"observed_at":"2026-08-10T12:40:03.593813Z","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-10T12:40:04.688907Z","title":"Provenance analysis and s emiring semantics for first-order logic","venue":null,"work_id":"3ccb429e-a104-41df-a200-63f77c608e6a","year":2024},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.599112Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:5ab8a2ddf22dc7f62bd9d8c4df5bdfef7b01014091c9a43fc9215072d4995dfe","observation_id":"88a122c0-3dbf-4c0a-ad9d-8a18ed931618","resolution":{"observed_at":"2026-08-10T12:40:04.694470Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.673207Z","title":"Hajdinjak and A","venue":null,"work_id":"0b3690b0-152a-484a-8fae-ab4df662d4fd","year":2012},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.605895Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:109bd927e9de6913e540d0e9d37a8671106beb5e9c93bacaff496369de669028","observation_id":"4c197c89-5398-4668-873c-83edb0940868","resolution":{"observed_at":"2026-08-10T12:40:04.677946Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.656581Z","title":"Die formalen regeln der intuitionistis chen logik","venue":null,"work_id":"7042513c-e28b-431f-abd6-ab00b53b5f48","year":1930},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.610711Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:67dc1af21db9569e0957df7950b364927c258b88575646d6777b9bae513887fc","observation_id":"69176eed-dfb7-4b46-9d6c-e6ac1e06c106","resolution":{"observed_at":"2026-08-10T12:40:04.662532Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:03.615452Z","title":"Ngo, Reinhard Pichler, Dan S uciu, and Yisu Remy Wang","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.615452Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:1b17d5eb2afe951327fed486038772c5f06833774637f0572ce69eb99f850643","observation_id":"03ae71ae-32d7-4ab6-977f-e1632ba644a4","resolution":{"observed_at":"2026-08-10T12:40:03.615452Z","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.1145/2556524","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T12:40:03.758145Z","title":"Kostylev, Juan L","venue":null,"work_id":"a0c50f7e-7b85-49dc-b48e-8dd774607c39","year":2014},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.620155Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:954a7c70d5862c5ebf61553aec7450a85504e166cf2053937a2faec6231cc42a","observation_id":"6749b930-d612-4ffc-85d2-c1b27b07cb34","resolution":{"observed_at":"2026-08-10T12:40:03.763701Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.640534Z","title":"McKinsey","venue":null,"work_id":"8f68249d-0912-46f5-ada7-a4461bd3dbea","year":1939},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.626018Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:cb201523f3913bfdaddffd031798d37ea5ed3411cebab8e4c2697616bd09db66","observation_id":"014ac029-9527-4f20-8a7a-c3f974504a00","resolution":{"observed_at":"2026-08-10T12:40:04.645421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.623006Z","title":"McKinsey and Alfred Tarski","venue":null,"work_id":"b8979f7c-466f-4345-bd3c-dab90da9f897","year":1946},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.631388Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:1579f65945c087ed07ef572382070d3a165e2a800b91afad40762ea44603c115","observation_id":"97a0a36e-1be2-432c-800b-b941a21dc476","resolution":{"observed_at":"2026-08-10T12:40:04.628327Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"questions/1966858","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T12:40:04.127616Z","title":"Example of a naturally ordered semiring which is not an m-semiring","venue":null,"work_id":"1f36cd27-6606-4fd9-a670-9dcc81ff2b49","year":2016},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.636197Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:c3038409c8a242762ff3bd6c67d916e0546a27f60937480c38c32915004af842","observation_id":"bf886c3d-5d2a-4079-b947-b58b514e79cb","resolution":{"observed_at":"2026-08-10T12:40:04.137564Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.605570Z","title":"Semi-Boolean algebras and their appl ications to intuitionistic logic with dual operations","venue":null,"work_id":"23c373ec-d4ff-4ef0-8e1d-4c53bda31f72","year":1974},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.641035Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:267017c9cfd400461fc3299265532a46c9f6d182af7f8601b0091e754ca17ec8","observation_id":"cb48edc1-2644-4e8f-982a-bb4bb7957efe","resolution":{"observed_at":"2026-08-10T12:40:04.611294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2271931","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T12:40:03.740692Z","title":"The independence of connectives","venue":null,"work_id":"3b686787-1f22-412c-b562-be09e8e11f26","year":1975},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.645927Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:f0eb85438ec9034bb4484672cea71738b7dbf51eb80159365677ffbbcdc258d3","observation_id":"0b151d53-ba60-44a0-8027-d44c6ff7ff13","resolution":{"observed_at":"2026-08-10T12:40:03.745960Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/oasics.tannen.10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T12:40:03.723535Z","title":"Different differences in semirings","venue":null,"work_id":"0baca5bd-6eaf-42d3-a938-9190434a7b27","year":2024},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.650898Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:23a26b64d11c662f3c2f1c9c37e4ddc512841fb3e1174aa1ed02f7e0facdf6a8","observation_id":"b4eb400d-708d-44c7-b83e-47ec2614bf0e","resolution":{"observed_at":"2026-08-10T12:40:03.729483Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.585788Z","title":"A naturally ordered semiring that cannot be e xpanded to a semiring with monus, 2025","venue":null,"work_id":"06462365-3c95-4b6f-9855-70e2202d4bf5","year":2025},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.655678Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:9cad03d1536972edc429f508c66bf123f95189cc73fe955c6bfb94a5679396f9","observation_id":"5cb19f29-af69-4e3c-855b-93085b70ac80","resolution":{"observed_at":"2026-08-10T12:40:04.592014Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T12:40:04.565365Z","title":null,"venue":null,"work_id":"a2f465bb-3c46-4b2f-a469-9498e27d4e3a","year":1980},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.660810Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:93fc4675c094caa8c0ab52f3a1e8a163a44a886c22b7cac9f7bfe6968e7f1bff","observation_id":"1d31f1b5-09fc-4597-a2fe-47986a8e7686","resolution":{"observed_at":"2026-08-10T12:40:04.572001Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3651591","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T12:40:03.704025Z","title":"Evaluating datalog over semirings: A grounding-based approach","venue":null,"work_id":"2ae0825a-944d-461b-924b-3554a81d7971","year":2024},"citing_paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T12:40:03.665707Z"},"links":{"citing_paper":"/paper/2501.16543"},"observation_digest":"sha256:808aac08ebbe02e39c00bc2eb15350ed5ca44eacaa56f24ab9fa95a141cfe242","observation_id":"5d82f055-b546-4a5a-982b-4834454d5db6","resolution":{"observed_at":"2026-08-10T12:40:03.711498Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.16543","last_updated":"2025-04-15T06:15:39Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T18:56:47.193679Z","submitted_at":"2025-01-27T22:31:15Z","title":"Codd's Theorem for Databases over Semirings"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":8,"verified_fuzzy":12},"total_outbound_references":29},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2501.16543."}