{"as_of":"2026-08-16T17:15:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:11ebbd7fb52153f0a38a07f3ecf5d6d147d8a8e4277a69291e8e583c16b7c6a7","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-11T18:29:33.409991Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T23:01:39.067515Z","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-07-02T16:07:08.838602Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"cited_work":{"arxiv_id":"2412.07986","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2412.07986","snapshot_observed_at":"2026-07-02T16:07:08.838602Z","title":null,"venue":null,"work_id":"1d2e7832-5f69-43df-aecb-40bf23fc6530","year":2024},"citing_paper":{"arxiv_id":"2606.06240","last_updated":"2026-06-04T14:46:52Z","snapshot_observed_at":"2026-08-12T20:27:52.443612Z","submitted_at":"2026-06-04T14:46:52Z","title":"TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-27T23:01:39.067515Z"},"links":{"cited_paper":"/paper/2412.07986","citing_paper":"/paper/2606.06240"},"observation_digest":"sha256:92b33a76c8c45a6f1c14d944089ccffaabe6a504339983d2ead6a4196e7f3b10","observation_id":"f0f77b35-690f-4ad6-b7b8-4222c03f5c1e","resolution":{"observed_at":"2026-07-02T16:07:08.839838Z","resolver_source":"arxiv_id","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"}}],"links":{"evidence":"/evidence","html":"/paper/2412.07986/citation-record","integrity":"/paper/2412.07986/integrity","json":"/paper/2412.07986/citation-record.json","paper":"/paper/2412.07986"},"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-11T18:29:34.776583Z","title":null,"venue":null,"work_id":"e10dd7ce-6b17-40d6-91cc-412ed07cf2e2","year":1984},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.147708Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:64314370b8c754da7651f11ae4ad351543873c3985f91291aa3d3edbfe86effe","observation_id":"f89ea4e3-6766-48e5-b2c0-8f23e2d4fb80","resolution":{"observed_at":"2026-08-11T18:29:34.781782Z","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-11T18:29:34.759094Z","title":"Amsterdamer, S","venue":null,"work_id":"ff2c6291-90bb-4947-94f4-01bdb39ff4ef","year":2011},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.154172Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:1ebf5ffb27fde0737912abc04b747d63a178be1931fd191426aae0b7931add74","observation_id":"9668ef65-6d52-4df5-a46d-734a120ecb1c","resolution":{"observed_at":"2026-08-11T18:29:34.764251Z","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":"1105.2255","last_updated":"2011-05-11T17:22:32Z","snapshot_observed_at":"2026-08-15T04:47:05.393040Z","submitted_at":"2011-05-11T17:22:32Z","title":"On the Limitations of Provenance for Queries With Difference","version":1},"cited_work":{"arxiv_id":"1105.2255","doi":null,"metadata_source":"pith","pith_arxiv_id":"1105.2255","snapshot_observed_at":"2026-08-11T18:29:34.547945Z","title":"On the Limitations of Provenance for Queries With Difference","venue":"cs.DB","work_id":"795fca83-8d1a-4abd-ae53-0f66d3ee76f5","year":2011},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.160351Z"},"links":{"cited_paper":"/paper/1105.2255","citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:2b4b761856b6e970049b907df0b95d6eafc6038470cd49259eca53322d185a19","observation_id":"502915bf-d431-49eb-b77f-06abe4bdc20c","resolution":{"observed_at":"2026-08-11T18:29:34.553342Z","resolver_source":"local_arxiv","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":{"arxiv_id":"1101.1110","last_updated":"2011-01-05T22:20:29Z","snapshot_observed_at":"2026-08-16T04:33:40.478076Z","submitted_at":"2011-01-05T22:20:29Z","title":"Provenance for Aggregate Queries","version":1},"cited_work":{"arxiv_id":"1101.1110","doi":null,"metadata_source":"pith","pith_arxiv_id":"1101.1110","snapshot_observed_at":"2026-08-11T18:29:34.524075Z","title":"Provenance for Aggregate Queries","venue":"cs.DB","work_id":"f5015462-8fa4-407f-a8ef-7f4e368368ca","year":2011},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.166101Z"},"links":{"cited_paper":"/paper/1101.1110","citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:a938cead99a02c1c2533b4fcc12d9121213e045054d1270a5d2a5e5d8bcfc5b6","observation_id":"3494e961-a12e-48b6-9bb6-5da508f587e7","resolution":{"observed_at":"2026-08-11T18:29:34.529742Z","resolver_source":"local_arxiv","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T18:29:33.171330Z","title":"Bertossi","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.171330Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:94975041c89a8b03992728697a63d9e39137f7af769b4507c7a94429901d682e","observation_id":"ff0a3d78-c314-4de4-8dcd-037fc8dd3c8d","resolution":{"observed_at":"2026-08-11T18:29:33.171330Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.12627","last_updated":"2024-10-02T17:27:32Z","snapshot_observed_at":"2026-08-16T17:05:52.245843Z","submitted_at":"2023-03-22T15:09:12Z","title":"Locality Theorems in Semiring Semantics","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.12627","snapshot_observed_at":"2026-08-11T18:29:33.177355Z","title":"Bizi `ere, E","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.177355Z"},"links":{"cited_paper":"/paper/2303.12627","citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:7c4e8a6830613e87c48266486d0c18d473e2d838cf579f1c0023589d22db0b8b","observation_id":"92d61aaf-cb4e-4851-b50c-f73dd196418c","resolution":{"observed_at":"2026-08-11T18:29:33.177355Z","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/3651596","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T18:29:33.734391Z","title":"Bogaerts, M","venue":null,"work_id":"b7b21c85-e539-4319-9280-b5e4630b74a6","year":2024},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.184095Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:7d2d6bc6a8590a81b61696d1761eabd3f609a3575eaf8cf236bb67ee75d8d3fc","observation_id":"d2c17125-fed5-47fe-b36a-2387cf7bf3d2","resolution":{"observed_at":"2026-08-11T18:29:33.740414Z","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-11T18:29:34.740084Z","title":null,"venue":null,"work_id":"b36d1b59-74a9-4eb3-901c-75c2b5ef34a5","year":1965},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.190293Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:de6ee8901051d7727025e052b3cb00824d80abbcb37b19eddb9458ec87085b21","observation_id":"b213c15a-9239-4514-93ce-f008abad7269","resolution":{"observed_at":"2026-08-11T18:29:34.745874Z","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-11T18:29:33.196783Z","title":"Bourgaux, A","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.196783Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:2cc42d5ab27a2faeba08b284716149bd7d3420eb83217b4f7add4f8becc5059a","observation_id":"44ade1c0-89d5-4ebd-8eeb-6ea246b1accc","resolution":{"observed_at":"2026-08-11T18:29:33.196783Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.04910","last_updated":"2023-08-09T12:18:01Z","snapshot_observed_at":"2026-08-16T15:09:40.811451Z","submitted_at":"2023-08-09T12:18:01Z","title":"Ehrenfeucht-Fra\\\"iss\\'e Games in Semiring Semantics","version":1},"cited_work":{"arxiv_id":"2308.04910","doi":null,"metadata_source":"pith","pith_arxiv_id":"2308.04910","snapshot_observed_at":"2026-08-11T18:29:34.398972Z","title":"Ehrenfeucht-Fra\\\"iss\\'e Games in Semiring Semantics","venue":"cs.LO","work_id":"a84e8c71-3564-48f4-8aa9-992e71ab0aac","year":2023},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.202288Z"},"links":{"cited_paper":"/paper/2308.04910","citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:9ef20e6bf7c82427f5698e5a14c0c1aef4a99fde0977bf7f6cadb3e746c1b97a","observation_id":"09aeb958-1fba-4ebe-b460-de6ac53d5ef5","resolution":{"observed_at":"2026-08-11T18:29:34.404391Z","resolver_source":"local_arxiv","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-11T18:29:34.723628Z","title":"Brinke, E","venue":null,"work_id":"e8d0d4ad-6867-45cc-92ba-0a14659ef5fd","year":2024},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.208725Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:63501e3368459a1e0cc7c11d4725666b4fa647bfa094e27c6e6a2d0b02a86297","observation_id":"0bc0be77-8a7a-4413-9aec-b42d99bc69ed","resolution":{"observed_at":"2026-08-11T18:29:34.728741Z","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-11T18:29:33.214218Z","title":"Buneman and E","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.214218Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:2631b067f44dc2b9da5540adc61bfe921053f2593c3b40c1fed68ef58a5d8c73","observation_id":"41354d3e-8629-49d4-911e-7377da968ff5","resolution":{"observed_at":"2026-08-11T18:29:33.214218Z","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-11T18:29:33.219848Z","title":"Dannert and E","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.219848Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:acbd5bf08f3e791d6fa804dc1d3615f02bd21e8f6a726a36fe506fd41d7197d1","observation_id":"82c4e2ae-18e3-46f4-b5cd-7e5518824900","resolution":{"observed_at":"2026-08-11T18:29:33.219848Z","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-11T18:29:33.226561Z","title":"Dannert and E","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.226561Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:f1f56c1bac25eaff23b676f14a4b7e3691ff8d2fd82d3af141f5f3552e05d7cf","observation_id":"093e1cd7-147d-48c0-bfc5-35872baca53a","resolution":{"observed_at":"2026-08-11T18:29:33.226561Z","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-11T18:29:33.232022Z","title":"Dannert, E","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.232022Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:7d6168551b50003db1ea0332e5f57c97cd6edf910f2581db428ded11436c414f","observation_id":"1f8345ed-8057-4ebe-8576-81e35d47d1cd","resolution":{"observed_at":"2026-08-11T18:29:33.232022Z","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-11T18:29:33.237937Z","title":"Deutch, T","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.237937Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:9322d2d6affc2a97dc66b1ee8dcbbf8502d3b40c6776eacf0dd318590596ce59","observation_id":"2fcf34da-3702-489b-a6ab-e949ac65908a","resolution":{"observed_at":"2026-08-11T18:29:33.237937Z","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-11T18:29:34.706326Z","title":"Deutch, Y","venue":null,"work_id":"f62363f6-d386-4155-abf7-58e24474a469","year":2015},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.244883Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:d2b203361db89eb86c8ddee4de1948bd1548861a9ad792b0ea4c5e4216449e1a","observation_id":"b2eacb68-c983-4880-955c-4bcb558a3d84","resolution":{"observed_at":"2026-08-11T18:29:34.711563Z","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-11T18:29:33.250368Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.250368Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:2bb0efdefe8ad5bc83d8175d90f3f12fab681e5f9254d8e61747539f7b3b3b45","observation_id":"1ce8468d-99dc-46d1-850c-5197d26f3401","resolution":{"observed_at":"2026-08-11T18:29:33.250368Z","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-11T18:29:33.255616Z","title":"Foster, T","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.255616Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:8f437911c3329410fa829491785c96562b0ea43d78bf7fc2338621b645747631","observation_id":"ad3aec8a-3a5c-41c9-857e-a9614950d23c","resolution":{"observed_at":"2026-08-11T18:29:33.255616Z","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-11T18:29:33.260856Z","title":"Geerts and A","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.260856Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:3a4ef1184c7b101b3c0b61e22403c7608e00360f5bfb75e95d401f27b3eee013","observation_id":"06f82b16-9276-4e02-8fc4-c57e797762b6","resolution":{"observed_at":"2026-08-11T18:29:33.260856Z","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-11T18:29:33.267095Z","title":"Geerts, T","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.267095Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:d6024a46cc37ea733433fc122b3a30d6ef5e345906c30a063470c6ed2374529b","observation_id":"94dbaff7-3bcb-4e82-96da-7d242b1bfa9e","resolution":{"observed_at":"2026-08-11T18:29:33.267095Z","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-11T18:29:33.273184Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.273184Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:a23fc17a41eaa5c7000260ae9c39139759ea0c2fea785f4e8cc0b41e0c04d8ff","observation_id":"03de960e-ac69-492e-b33c-cd3fd26a6e2a","resolution":{"observed_at":"2026-08-11T18:29:33.273184Z","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-11T18:29:33.278972Z","title":"Glebskii, D","venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.278972Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:f2255d44b29094ca0976d41856e919a8e890d52500fcb3865120616a8901e717","observation_id":"dde4579d-9b3d-4d92-93b2-f57845153040","resolution":{"observed_at":"2026-08-11T18:29:33.278972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.03425","last_updated":"2022-03-07T14:18:44Z","snapshot_observed_at":"2026-08-16T16:13:02.377900Z","submitted_at":"2022-03-07T14:18:44Z","title":"Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics","version":1},"cited_work":{"arxiv_id":"2203.03425","doi":null,"metadata_source":"pith","pith_arxiv_id":"2203.03425","snapshot_observed_at":"2026-08-11T18:29:34.186384Z","title":"Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics","venue":"cs.LO","work_id":"b230cb84-445a-441e-8847-70913c97521b","year":2022},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.284789Z"},"links":{"cited_paper":"/paper/2203.03425","citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:51655b4d90a252f751c5ed7cace08f5be8eb9f1cc1659755e96fa11302a455ad","observation_id":"7203a17f-2624-4737-aaac-67fc7c686f5d","resolution":{"observed_at":"2026-08-11T18:29:34.192437Z","resolver_source":"local_arxiv","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T18:29:33.290109Z","title":"Gr ¨adel, P","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.290109Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:e493b0246705ac531a1745ce93b5f8824c4e2ea6ee86eb9c4e194f6f3f3dfb96","observation_id":"a49b1f4f-902e-419d-836b-c992b155075e","resolution":{"observed_at":"2026-08-11T18:29:33.290109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2106.12892","last_updated":"2024-03-07T13:08:03Z","snapshot_observed_at":"2026-08-16T15:09:00.636180Z","submitted_at":"2021-06-24T10:48:04Z","title":"Semiring Provenance for B\\\"uchi Games: Strategy Analysis with Absorptive Polynomials","version":5},"cited_work":{"arxiv_id":"2106.12892","doi":null,"metadata_source":"pith","pith_arxiv_id":"2106.12892","snapshot_observed_at":"2026-08-11T18:29:34.160389Z","title":"Semiring Provenance for B\\\"uchi Games: Strategy Analysis with Absorptive Polynomials","venue":"cs.LO","work_id":"538a6c57-0996-451b-b35d-5529405ba5c9","year":2021},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.295268Z"},"links":{"cited_paper":"/paper/2106.12892","citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:ad9d53f3e168cfee0a2a5bb502e9431cc9d7363932e9e2f17b236697143c3517","observation_id":"1d46feb4-d759-4ecc-87b7-b75d4f51b9c5","resolution":{"observed_at":"2026-08-11T18:29:34.167217Z","resolver_source":"local_arxiv","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T18:29:33.300406Z","title":"Gr ¨adel and L","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.300406Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:8ceadfa2f3a17452670abc08193b65bbdb48837ab04689df95c461316716131d","observation_id":"2ba205cc-14dd-448d-82af-3b75890eaf45","resolution":{"observed_at":"2026-08-11T18:29:33.300406Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-11T18:29:33.306219Z","title":"Gr ¨adel and V","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.306219Z"},"links":{"cited_paper":"/paper/1712.01980","citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:6e47edd18840edb2e32815a2d557d55e374828c82af02a488881864cd83c7978","observation_id":"600a040d-1ef7-48fb-a617-619a107fef47","resolution":{"observed_at":"2026-08-11T18:29:33.306219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1907.08470","last_updated":"2020-02-26T12:06:00Z","snapshot_observed_at":"2026-08-14T16:04:23.366024Z","submitted_at":"2019-07-19T11:43:41Z","title":"Provenance Analysis for Logic and Games","version":2},"cited_work":{"arxiv_id":"1907.08470","doi":null,"metadata_source":"pith","pith_arxiv_id":"1907.08470","snapshot_observed_at":"2026-08-11T18:29:34.116143Z","title":"Provenance Analysis for Logic and Games","venue":"cs.LO","work_id":"1d6cb662-b416-4c5a-a062-eaddf619eded","year":2019},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.311998Z"},"links":{"cited_paper":"/paper/1907.08470","citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:5829084c1d79d1bdf73de0a0e8b0590a5ec8f861bede65228632b4450b72295a","observation_id":"22389ee9-8f79-4489-8462-1d1cd06d113e","resolution":{"observed_at":"2026-08-11T18:29:34.121409Z","resolver_source":"local_arxiv","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T18:29:33.318108Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.318108Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:628ccde84a321ca039448bcb7ac58f30cb24155e2c3dc8fe1c1f8fe5801c429c","observation_id":"7cf314aa-634c-405b-9c9b-9d73b1675ebd","resolution":{"observed_at":"2026-08-11T18:29:33.318108Z","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-11T18:29:33.324132Z","title":"Green, Z","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.324132Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:d07699d8ce27045fb9014ee0c8ae35b311d3637872978d09d47603b5d99218e7","observation_id":"c14361e1-a63b-4b86-8c2a-9c5dd137ef8a","resolution":{"observed_at":"2026-08-11T18:29:33.324132Z","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-11T18:29:34.687616Z","title":"Green, G","venue":null,"work_id":"a7e254c0-bd84-4ad9-9c42-7cab950742dd","year":2007},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.330497Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:c50e926551958c16bf1e2754d57389cc7f775276836eb1c844ba72c23691345f","observation_id":"244b907b-62c5-43bc-91b3-f50978bdaa65","resolution":{"observed_at":"2026-08-11T18:29:34.693392Z","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-11T18:29:34.669275Z","title":"Green, G","venue":null,"work_id":"9427787b-3339-4198-bea0-baef48e5377e","year":null},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.336917Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:af25e6ab8c1818f616e4b10cccdee3a1d92192432d3c20cd26311278772c7923","observation_id":"d4a162d9-4f57-4aee-b142-2b3df4e3f37a","resolution":{"observed_at":"2026-08-11T18:29:34.674438Z","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-11T18:29:33.350184Z","title":"Herschel and M","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.350184Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:9cc8286c95fd41af789cf62d00901d917aa398d76d1a9c17daa745be7e94c856","observation_id":"bf8e9e34-48c7-463b-ab33-ea84a675bb8c","resolution":{"observed_at":"2026-08-11T18:29:33.350184Z","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-11T18:29:34.652034Z","title":"Herschel, M","venue":null,"work_id":"7d51db96-319e-4373-9825-012b9ad28a43","year":null},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.356621Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:cfe60397ec4e59027fa2aaf2a01ac969311da53e563345fa728cf07c58dd5732","observation_id":"9a526fbc-5dd6-4a8d-b877-c9b8cc7615ec","resolution":{"observed_at":"2026-08-11T18:29:34.657709Z","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-11T18:29:34.633735Z","title":null,"venue":null,"work_id":"4b509340-6403-4f5c-829f-aef3e701824b","year":2008},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.371051Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:a22563d0adca830a81c45c87c8e96f856273b37821d933f74d716e759409b6c8","observation_id":"b3d70b2f-a7a3-41ab-bade-f8e4bb83ab69","resolution":{"observed_at":"2026-08-11T18:29:34.639343Z","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-11T18:29:34.615572Z","title":"Karvounarakis, Z","venue":null,"work_id":"81e54415-4c02-4ff5-803c-0736ff6b22f0","year":2010},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.376817Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:dcf273bbac2d68ee4f90901d9674068a58994bd0373f9d6da2aad11469f99349","observation_id":"04ecd43d-c875-465e-8279-35662fa9039f","resolution":{"observed_at":"2026-08-11T18:29:34.621307Z","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-11T18:29:34.597705Z","title":"Meliou, W","venue":null,"work_id":"e9c401ce-3fc9-414f-a218-cb83659f63ff","year":2010},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.383845Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:6ee9e87706fa4a5cb21e9c5afcd5da07e3746b82b878c133f39a8ea05021d3aa","observation_id":"448db6a3-67c6-478e-8ed1-5efd14d8898b","resolution":{"observed_at":"2026-08-11T18:29:34.603932Z","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-11T18:29:34.581189Z","title":"Moschovakis","venue":null,"work_id":"f4008382-2316-4f8b-a022-128cbad8763b","year":1974},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.389524Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:c97edd348c5c526b486fe05445a61aaecb22b0a3ef1265472a3fe0e29d63167d","observation_id":"1817e2cb-b5c3-4842-b3f8-e3713643aae6","resolution":{"observed_at":"2026-08-11T18:29:34.586391Z","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":"2106.00399","last_updated":"2021-08-15T13:12:16Z","snapshot_observed_at":"2026-08-16T15:08:49.637166Z","submitted_at":"2021-06-01T11:18:18Z","title":"Computing Least and Greatest Fixed Points in Absorptive Semirings","version":3},"cited_work":{"arxiv_id":"2106.00399","doi":null,"metadata_source":"pith","pith_arxiv_id":"2106.00399","snapshot_observed_at":"2026-08-11T18:29:33.759577Z","title":"Computing Least and Greatest Fixed Points in Absorptive Semirings","venue":"cs.LO","work_id":"253a70ef-9365-4ac7-a24b-7cfcc7ae789d","year":2021},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.395105Z"},"links":{"cited_paper":"/paper/2106.00399","citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:b60ec81999893e9c377f77f26bbb639dd202f0275d01cf32b23feef6701086f7","observation_id":"6dd82a64-e532-47ae-acd2-6a4e866a71bd","resolution":{"observed_at":"2026-08-11T18:29:33.765817Z","resolver_source":"local_arxiv","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T18:29:33.401822Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.401822Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:76497c202fdeafcd705eeace1dd0a6f636cca13a35aed5d4ddeacf5336a1c827","observation_id":"f5b1439d-ad37-4e39-93c7-e73cf589f7f8","resolution":{"observed_at":"2026-08-11T18:29:33.401822Z","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-11T18:29:34.564728Z","title":null,"venue":null,"work_id":"931f8ccf-2cb3-4576-96b3-a9a888a56496","year":2018},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.409991Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:3c55df85a172f39ef72475662b3547a4e390a78d89d9d325dd50d921bf292160","observation_id":"7bac7e50-61ec-439f-9073-2ddc9ee62c6f","resolution":{"observed_at":"2026-08-11T18:29:34.569524Z","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-11T18:29:33.343071Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.343071Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:08bbc4df545ec4e15c93cc09c38b82eb734673a51d8d5355e13cc22604c2c4b8","observation_id":"83cad906-da6b-4dc2-9b06-0564a4ae6a54","resolution":{"observed_at":"2026-08-11T18:29:33.343071Z","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-11T18:29:33.364589Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-11T18:29:33.364589Z"},"links":{"citing_paper":"/paper/2412.07986"},"observation_digest":"sha256:388804659d53b3753780f7a9dede9592f7d2daa1ff20e36c8fc625ad21cb8bd6","observation_id":"0392cf85-06c2-4220-9202-4aea4191337e","resolution":{"observed_at":"2026-08-11T18:29:33.364589Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2412.07986","last_updated":"2024-12-10T23:59:12Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-15T14:23:20.454353Z","submitted_at":"2024-12-10T23:59:12Z","title":"Provenance Analysis and Semiring Semantics for First-Order Logic"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":27,"verified_exact":8,"verified_fuzzy":9},"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-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 44 of 44 outbound references and 1 inbound Pith citation observation for arXiv:2412.07986."}