{"as_of":"2026-08-22T23:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:883521bd90a6dff7e54d4161bc0802f805d3025b73616a0872db6c54adb1128d","coverage":[{"denominator":54,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":54,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T21:50:52.406580Z","state":"measured"},{"denominator":55,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":55,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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-08-15T14:19:54.237670Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-15T14:19:54.346464Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"cited_work":{"arxiv_id":"2608.09190","doi":null,"metadata_source":"pith","pith_arxiv_id":"2608.09190","snapshot_observed_at":"2026-08-15T14:19:54.346464Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","venue":"cs.AI","work_id":"fb608eee-72f0-492e-ab58-62de384eb1d2","year":2026},"citing_paper":{"arxiv_id":"2608.11275","last_updated":"2026-08-11T08:11:20Z","snapshot_observed_at":"2026-08-21T20:46:20.675581Z","submitted_at":"2026-08-11T08:11:20Z","title":"Every pooling rule has its world: matching probability combination rules to situations and stakes","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-15T14:19:54.237670Z"},"links":{"cited_paper":"/paper/2608.09190","citing_paper":"/paper/2608.11275"},"observation_digest":"sha256:44d98460f43101299730648d220fb47aaae842464a97d91cc1ec6a2173282800","observation_id":"f9d5bd44-3789-468d-9b4e-0c29a55312ba","resolution":{"observed_at":"2026-08-15T14:19:54.351469Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2608.09190/citation-record","integrity":"/paper/2608.09190/integrity","json":"/paper/2608.09190/citation-record.json","paper":"/paper/2608.09190"},"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-11T21:50:53.204073Z","title":"Alviano, F","venue":null,"work_id":"f15498c7-aeca-4f5a-814a-9fdd53a999ba","year":2017},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.171032Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:87200b9edade04cbc6a1f1db97cddc92f67e9213b3ecdb65d2c580c2e95070db","observation_id":"9c14408f-f3e6-4416-a56e-efcd6ee9af4a","resolution":{"observed_at":"2026-08-11T21:50:53.207810Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.fss.2007.12.013","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.781532Z","title":"Alsinet, C","venue":null,"work_id":"aceb833e-e79d-4f36-85fa-6357dd610ae3","year":2008},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.176007Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:5cdc8beb49b9c07f44d6c9b35f17b23a774d9bb20cbbd263fbae19d79fa31787","observation_id":"85bbeeba-28ea-42cc-9135-06f6eaad4996","resolution":{"observed_at":"2026-08-11T21:50:52.786809Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.182179Z","title":"Arias, M","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.182179Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:e90e88609058362f414d0f59346fc168b285c9fbcd10737e9b17ec1aa770c0f6","observation_id":"201fba02-a217-4566-a56f-27105132e7e6","resolution":{"observed_at":"2026-08-11T21:50:52.182179Z","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.4204/eptcs.385.34","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.760730Z","title":"Azzolini","venue":null,"work_id":"e285691f-b622-47f0-b144-e000093a5094","year":2023},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.186645Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:bc4fae3850ae21636427a3d3f228cc05aeb37d67810ab42d5d5a5340265dd5b6","observation_id":"35956ae5-3ce1-472b-819e-efae0f8e1bcc","resolution":{"observed_at":"2026-08-11T21:50:52.764959Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:53.190558Z","title":null,"venue":null,"work_id":"1363dead-98b8-4097-856e-03d763d989ab","year":2017},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.191236Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:8488968e6d088bb18f225a3496311c33f7d7892f24f36fac2fafbacc5d0b4bbe","observation_id":"2d20c5f7-9f9f-4d20-9c5c-c246098b826a","resolution":{"observed_at":"2026-08-11T21:50:53.194997Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.195647Z","title":"Baral, M","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.195647Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:8769f7c9c2ce58c07ae50a639033e2ab00601be6f08f10dfb3328cc95bce9212","observation_id":"1a67d6b4-5fc8-4bd0-889f-8c7ae50ad329","resolution":{"observed_at":"2026-08-11T21:50:52.195647Z","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-11T21:50:53.177761Z","title":null,"venue":null,"work_id":"e449d0b2-b47b-48e6-87b3-1711ad5f90c3","year":1977},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.200823Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:6e2194f2c710ae2743e189fe70e2ddd3651ee4a15b51532f020acdf806537e9d","observation_id":"b4c7ff18-c279-4ced-b986-34162450da8e","resolution":{"observed_at":"2026-08-11T21:50:53.181956Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:53.164668Z","title":"Bílková, S","venue":null,"work_id":"5ff2cdc9-2628-43fd-830e-365cbd69564a","year":2023},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.204997Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:c1c3881e6371c10032b02ccdf35a5e2b67422b6de14e14681e110b0dc42d10d7","observation_id":"4a8a4241-2f11-4b74-90ae-987e61712251","resolution":{"observed_at":"2026-08-11T21:50:53.168976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v29i1.9411","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.740012Z","title":"Bochman and V","venue":null,"work_id":"965af359-ee8b-4dfa-b42a-6f5c525a9458","year":2015},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.209014Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:fd42f756747a33367b374213cd28ac8acaf17b704a5eb774d52c351391fc722a","observation_id":"0d30c7f6-cd5c-4c90-8afa-5a801d76bb0e","resolution":{"observed_at":"2026-08-11T21:50:52.744722Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:53.153457Z","title":null,"venue":null,"work_id":"e2a6d2c0-cbac-423f-b446-bf8d8fd93762","year":1994},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.213122Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:189ef40b850c1ebd09bc69224425633b0cf0cd9dfc9b45486ed0ff95a9c61198","observation_id":"599738c8-4a7e-47ac-b80a-7cf36e8de300","resolution":{"observed_at":"2026-08-11T21:50:53.157549Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:53.141536Z","title":null,"venue":null,"work_id":"090c1244-bbad-45c1-ade6-48a3f0801cd6","year":1984},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.217151Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:2cd175efba160a53f23f501238d0ee334733f3d532efd4c085a292145c0b8817","observation_id":"972923e7-639d-43ff-87cc-55df904a0734","resolution":{"observed_at":"2026-08-11T21:50:53.145599Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/ia-170104","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.727255Z","title":"Calimeri, D","venue":null,"work_id":"93f40e3d-8c16-43bd-bb56-178ad6134a17","year":2017},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.221473Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:ec4c543dc45e6ab73cb3ff52103f7cc3059714f6f31cba52daa496b66ababf67","observation_id":"642cd008-a370-4c3f-ab19-b09e806e6402","resolution":{"observed_at":"2026-08-11T21:50:52.731288Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ijar.2020.07.004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.712940Z","title":null,"venue":null,"work_id":"ff3ddc3e-ca59-4940-a456-6075327650a0","year":2020},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.226520Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:127625edff65ff50c83c68b1d0d5ee6c59557d3bc3a73901562b17b0cdd7651f","observation_id":"13f9a5ab-9bf3-48d6-a22a-f916ca75ef27","resolution":{"observed_at":"2026-08-11T21:50:52.717831Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10472-012-9311-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-19T11:03:45.297681Z","title":"Confalonieri, J","venue":"Annals of Mathematics and Artificial Intelligence","work_id":"27995743-3304-4218-927e-c580b38a75c6","year":2012},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.231678Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:7232c0d0ab0e0652d3426d9c4cefcb83468af0ee06e096bb325f7711883e130b","observation_id":"21b0c362-054b-4932-b2fc-ccfd87757054","resolution":{"observed_at":"2026-08-11T21:50:52.701794Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.236373Z","title":null,"venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.236373Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:cb3de15ac497fd43d4ca14a5182b941b59c9ad41d6737da304f184eca6f7d7ba","observation_id":"ac9e7672-9281-404e-8e41-d6af33ab6855","resolution":{"observed_at":"2026-08-11T21:50:52.236373Z","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.1016/j.artint.2007.05.008","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-21T11:03:19.436173Z","title":null,"venue":"Artificial Intelligence","work_id":"dfca940c-4b5f-428f-9920-9612aa276d56","year":2008},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.240227Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:8decad259c8fd14a0a7e3fcf0b9fb8ece1f34841b2515b7822637628e007175e","observation_id":"9ab2c1c2-3112-42bc-8c0e-027f788a6b0e","resolution":{"observed_at":"2026-08-11T21:50:52.684455Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:53.124699Z","title":"De Raedt, A","venue":null,"work_id":"83be9715-0c50-4184-80b0-fdae779e4a56","year":2007},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.244251Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:4407209570b5ed711c8541693ac51cbd937faa8e821079d9142b294c9f4c48d7","observation_id":"241c1359-af27-4c30-869d-e243351e50f3","resolution":{"observed_at":"2026-08-11T21:50:53.130902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:53.111934Z","title":"Dietrich and C","venue":null,"work_id":"01f6fa4f-02d7-462a-b049-4e0ee25ff4e9","year":2016},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.248590Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:b25165e79e5575d6b3658ee2c0a1a3870d0e29ec125e67c3de3e4ad82de8f778","observation_id":"1151c9c3-0556-4c3b-a918-e84525da1ea3","resolution":{"observed_at":"2026-08-11T21:50:53.115925Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:53.099012Z","title":"Dubois and H","venue":null,"work_id":"8e6d5050-c51b-488e-978c-57b87595b49b","year":1988},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.253401Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:288ee381007053cf818b399cac0e33b76991a9b7b50adb5162f8a781eb5019a9","observation_id":"081dda0d-c676-40eb-aa51-6ca1b8830b10","resolution":{"observed_at":"2026-08-11T21:50:53.102906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ijar.2007.08.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.664290Z","title":"Dupin de Saint-Cyr and H","venue":null,"work_id":"79c448ec-4641-44ea-b004-7af5e4fb963f","year":2008},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.258331Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:3dcf612a7d3a8a507c6c699adf0827cd5900b7536e0283b6354ff90135f6d22c","observation_id":"2c7ae248-6520-4e9c-9822-62b5c286ec66","resolution":{"observed_at":"2026-08-11T21:50:52.668911Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.263161Z","title":"Fierens, G","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.263161Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:bce20e45cd62753d2f9ec04082c67e5671a6f9cf09829edc3daaa36ac5f9fcc8","observation_id":"b14f6cec-3658-4630-96e0-7a51882ac768","resolution":{"observed_at":"2026-08-11T21:50:52.263161Z","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-11T21:50:53.086872Z","title":null,"venue":null,"work_id":"981ecd4c-a151-4a5f-b16c-0c49655d8ed0","year":1991},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.268321Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:f5162de257c2c0e8cb749d485d2ec2bd71f0908c8dc1fe609af68d90388f8252","observation_id":"4f7e177e-604d-4987-ba36-1f47dc95506c","resolution":{"observed_at":"2026-08-11T21:50:53.090845Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.273176Z","title":"Gebser, R","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.273176Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:9b0192d66d98aa2b406f8c0e57f7e6c6752850718dc5c0c5100a3c28c5692559","observation_id":"81fffbb7-72bc-45f6-bb84-9cf4554f7df7","resolution":{"observed_at":"2026-08-11T21:50:52.273176Z","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-11T21:50:53.071521Z","title":"Gogate and P","venue":null,"work_id":"3f7b7294-4419-4343-b635-21176265870c","year":2011},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.277275Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:27b2e06380a33cde88bcec4f3233a4557776b5bcaea6be47ae86b1dfac10fefa","observation_id":"b3e5e1d2-3664-406b-a433-eabf5353d239","resolution":{"observed_at":"2026-08-11T21:50:53.076872Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:53.057769Z","title":"Genest and J","venue":null,"work_id":"c468d120-7dc0-480c-9325-a6a8cd06eb5c","year":1986},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.281768Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:f29ce53e9fce9aca085360852e33451df6126c056e888310656ea17c237940cd","observation_id":"b5cf8ae0-dab8-49fc-aafa-a7c8995e0fb2","resolution":{"observed_at":"2026-08-11T21:50:53.062580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.285976Z","title":"Governatori, M","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.285976Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:da6d3f128e8f1380c5446682017d8d7ee070b20843ad85ef5730f2b3aca7ece1","observation_id":"500c6cf6-8d3f-4828-a5c9-7156a0934598","resolution":{"observed_at":"2026-08-11T21:50:52.285976Z","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.1016/j.ins.2012.11.025","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.624257Z","title":null,"venue":null,"work_id":"deed42d6-321b-4024-b2a5-8e3c4ec9d025","year":2013},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.289895Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:a01e18e52b35df7326296817b249a4772c11b972b71956e669b32f38c5d0905f","observation_id":"9b7457b8-1d67-4186-bce7-5fff20dfd33f","resolution":{"observed_at":"2026-08-11T21:50:52.629641Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:53.044001Z","title":null,"venue":null,"work_id":"18df8206-0fcd-44d3-a446-02b5462b64da","year":2017},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.294106Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:46ad6ad6c688361c1c9507628aad0f8c8bd176284f3c5b2bee8b5c13c95d9279","observation_id":"57344890-d542-4f88-969b-65ad680554fa","resolution":{"observed_at":"2026-08-11T21:50:53.048789Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.298275Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.298275Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:7887f8d7002576cf7dfc5b148f5446b6d788ad02afe4bfd035ddf78340e48469","observation_id":"c25416d1-926d-4359-98c0-d59cd3984efb","resolution":{"observed_at":"2026-08-11T21:50:52.298275Z","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-11T21:50:53.027336Z","title":"Heckerman","venue":null,"work_id":"ca21768d-ca2b-4366-8ea9-063c0abc71b1","year":1986},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.302774Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:b14924d2f5f6395930e78db3f9feb824c189a9355ea92626e411aa39e13f663f","observation_id":"4ecfb5f8-41c9-4688-871b-83e62b230379","resolution":{"observed_at":"2026-08-11T21:50:53.033432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ijar.2022.04.003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.603908Z","title":null,"venue":null,"work_id":"a314f422-cf12-46de-a41e-9531892622a9","year":2022},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.307187Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:a1dc5eb8cf7ba0506704e012be97946395d090c4e4376c9380cb209c05ecaf3c","observation_id":"10212ede-eb1f-4282-a7cf-901134f05d19","resolution":{"observed_at":"2026-08-11T21:50:52.607931Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:53.012740Z","title":"Jøsang.Subjective Logic: A Formalism for Reasoning Under Uncertainty","venue":null,"work_id":"9624295b-ac67-4269-aa1c-79df57554817","year":2016},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.312113Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:458344410424b3bc8b1d4958e4b877e2367026a6def91d860c7e877a37a75e8f","observation_id":"15051962-0c36-4b31-9f97-f5c75d4f864d","resolution":{"observed_at":"2026-08-11T21:50:53.017763Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.317469Z","title":"Kimmig, G","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.317469Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:2ab7df39634e0f1866eadf81a3a2b3556b393d03f44ff0672bd699779b8faa33","observation_id":"7b9c0fb7-ce1c-4587-84b5-346da2bc251f","resolution":{"observed_at":"2026-08-11T21:50:52.317469Z","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-11T21:50:53.000672Z","title":null,"venue":null,"work_id":"885aae30-6126-4aab-b349-02b8a5b3e4db","year":2000},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.322172Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:12b74310cd8f49c2777e34e4a20971500058b2efffedac8949a595739282d552","observation_id":"7d091f0e-8523-4b7b-8e66-63c38bc70f0e","resolution":{"observed_at":"2026-08-11T21:50:53.004824Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.326625Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.326625Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:1d6c8b11dfbef411875a652faaf5eb7f6bd919c6211da0a8c1ff72880df4b688","observation_id":"1abc8ddf-c761-4374-9843-1e58f7c815e0","resolution":{"observed_at":"2026-08-11T21:50:52.326625Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/kr.2020/69","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.575509Z","title":null,"venue":null,"work_id":"b6b76020-c5a0-48f9-aefe-c5dd51a864a3","year":2020},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.330893Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:180322f63cb278ca91aa14598085357991cca50ae7572e1f0f68b5a837abce7d","observation_id":"facc3826-cd3b-4a86-822e-c9b7229890c5","resolution":{"observed_at":"2026-08-11T21:50:52.579668Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1207/s15516709cog1104_4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.563266Z","title":null,"venue":null,"work_id":"16c92207-bbff-49d9-8b8d-46f5ed935e1c","year":1987},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.335846Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:5515a34a919edde5edf9b0b3fecac8f412abfe695c32fb5ce3b43b736fdc6526","observation_id":"2540c7ae-84e6-4a7a-a6ff-3bbfec8b0e80","resolution":{"observed_at":"2026-08-11T21:50:52.567314Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.987635Z","title":null,"venue":null,"work_id":"1dc60ec9-2181-47d8-a543-5d6de3828cd9","year":2018},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.340242Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:60e37096ed16717428a206ea8a32364d4eb587b9707083420b70e10275c21cba","observation_id":"c338ebe1-a59e-40dd-92f7-0acdc907ed78","resolution":{"observed_at":"2026-08-11T21:50:52.991966Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.344955Z","title":null,"venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.344955Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:2e5b12109e039651208091aff439b7096ddcaa2e16ced0fc34307e8899dde11d","observation_id":"940e6af2-34d4-47d9-9475-55d393b313c7","resolution":{"observed_at":"2026-08-11T21:50:52.344955Z","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-11T21:50:52.971289Z","title":null,"venue":null,"work_id":"7f8448eb-8aaf-40cc-a8cf-c0f93afb10a2","year":2016},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.348917Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:6fae68b347fd90c82d287ebc3a7e73eea6ff1f211058b2668f270c2653e27dae","observation_id":"0612481f-46fd-43ea-8400-ee9e3193d00e","resolution":{"observed_at":"2026-08-11T21:50:52.977415Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.352860Z","title":"Richardson and P","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.352860Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:abc37ed37ea9d003888b4802dd38136b08d0c38f334833565add704f25459d89","observation_id":"10719ab3-d930-4c07-ba1e-6c49a9c6d6f3","resolution":{"observed_at":"2026-08-11T21:50:52.352860Z","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-11T21:50:52.356737Z","title":"Shafer.A Mathematical Theory of Evidence","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.356737Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:df5a12ad59008aa8762d513bfad3e7699941d046efdefbb46079b43473605b45","observation_id":"fe694141-f37d-4413-8404-c37a04faccf7","resolution":{"observed_at":"2026-08-11T21:50:52.356737Z","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-11T21:50:52.942331Z","title":null,"venue":null,"work_id":"e4189a87-e424-46b0-b2b9-951c30889303","year":1995},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.360581Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:aa075ca25c43c8e4864e5f347e24341d7c86aad3d5c6b32ba3f6d690960e61e9","observation_id":"68fc7bf8-8411-4226-b07d-6e15c3e029c8","resolution":{"observed_at":"2026-08-11T21:50:52.946940Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0025-5564(75)90047-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-20T11:03:42.707129Z","title":null,"venue":"Mathematical Biosciences","work_id":"64878d75-a490-4dd1-a27d-c38905b3abb6","year":1975},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.364640Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:b9257d7a596b01c011fe582e38001efba16278c23c64090da54308061178477a","observation_id":"0692c0bd-18a3-4ee0-92bc-1335f29557a4","resolution":{"observed_at":"2026-08-11T21:50:52.537732Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s1471068413000483","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.518305Z","title":"Sneyers, D","venue":null,"work_id":"7ca2f4f1-cbff-4518-9e9f-7e1d3e148fd3","year":2013},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.369004Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:168e7e4de31a7c25dda3a07981f7f07b0ff831f7ae5e3fe9b0149a11ddf43207","observation_id":"c3d18818-3e0d-4c10-a9ef-3b754c674e72","resolution":{"observed_at":"2026-08-11T21:50:52.523524Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.929540Z","title":"Sutcliffe","venue":null,"work_id":"acfc97da-0b71-45f7-b2fd-2ca6ff96459d","year":2017},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.373231Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:ab557ab9c384f156181461b8b7b45cef35f0b38d9e95c309a170ebb5c331a731","observation_id":"42c61039-0743-4ab0-bbff-1068a4ec7e94","resolution":{"observed_at":"2026-08-11T21:50:52.933847Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-29436-6_32","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":null,"venue":"Lecture notes in computer science","work_id":"4a8373ae-859f-422a-84c1-5d930eb99fc7","year":2019},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.377294Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:89833660c8b18d5f2636f7f792d38608bbfe3c3726595d91c7787d18ad9174cf","observation_id":"2dfa16a8-a26d-4d4f-92d2-d6442c26ab33","resolution":{"observed_at":"2026-08-11T21:50:52.508784Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-79876-5_29","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Tammet, D","venue":"Lecture notes in computer science","work_id":"a65570e6-c241-4839-81cd-2355075e3a4a","year":2021},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.381630Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:44f163e26835c244f8b5c70291e78141eed580266475d22d25a64ff28a4e98cc","observation_id":"86885391-a9ad-4e31-ae6c-6f3e8bbf6c6e","resolution":{"observed_at":"2026-08-11T21:50:52.494676Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-10769-6_18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Tammet, D","venue":"Lecture notes in computer science","work_id":"0a8a6477-71d7-4ee1-97d4-2aa711033718","year":2022},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.385900Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:e855cc20a456d749d7dae3f91b20c565231384589e23b5488be7e47c672c80a7","observation_id":"6a2ea615-1187-4d2e-9ee7-587a07720ce2","resolution":{"observed_at":"2026-08-11T21:50:52.482598Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.916831Z","title":"Tammet, D","venue":null,"work_id":"2d425092-fb6b-4107-974e-9a01547d046c","year":2022},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.389986Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:e57e54f801d93c6401694f6a0b4c7be9a105456320e91f74aac5342904837026","observation_id":"ea5917ea-deea-4bb6-b504-7303d926dcd0","resolution":{"observed_at":"2026-08-11T21:50:52.920940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s13218-016-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.465459Z","title":null,"venue":null,"work_id":"16ff1494-128e-4bf3-9e8c-618395883d8a","year":2017},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.394015Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:1cccc71b58c2fbd22fb492d7691117cbf106a342a6476aebd90d67702be45806","observation_id":"1ca6aa82-bb80-48bf-ba2e-d8bfc1523327","resolution":{"observed_at":"2026-08-11T21:50:52.469761Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-11T21:50:52.900750Z","title":"Totis, L","venue":null,"work_id":"efe4b9f8-28f8-420e-b158-192ea36d5442","year":null},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.398064Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:35917fa2564b859a28ce31ed1ac6f8fdaf1ec434854cf07a7386344ae66d1053","observation_id":"0d83edf9-35ab-45b1-a8b7-0c3fa0006929","resolution":{"observed_at":"2026-08-11T21:50:52.905269Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v40i23.39019","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.437367Z","title":"Wang and Y","venue":null,"work_id":"18d8bd9b-e074-4178-90cf-2a4682ad9967","year":2026},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.406580Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:c96a22b0327bf2bbff33f89db621a1e93fd26947ebaee01984090962549a69cf","observation_id":"64444701-028b-4046-8ca0-129f9a4f7814","resolution":{"observed_at":"2026-08-11T21:50:52.442332Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s147106842300008x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T21:50:52.452218Z","title":null,"venue":null,"work_id":"53826c20-79a6-4373-ac3d-24208ada8d87","year":null},"citing_paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-11T21:50:52.402501Z"},"links":{"citing_paper":"/paper/2608.09190"},"observation_digest":"sha256:f191f90940ab53e5f5a3bfa6ff591ce7f639746c81b74ea8109d8668594cec1b","observation_id":"166bc1da-e11b-41f7-8f58-da73b3b9499f","resolution":{"observed_at":"2026-08-11T21:50:52.456728Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.09190","last_updated":"2026-08-10T07:00:55Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-13T23:41:53.288330Z","submitted_at":"2026-08-10T07:00:55Z","title":"Structure-Preserving Uncertainty Propagation in First-Order Proof Search"},"reference_resolution":{"displayed":54,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":21,"verified_exact":19,"verified_fuzzy":12},"total_outbound_references":54},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 1 inbound Pith citation observation for arXiv:2608.09190."}