{"as_of":"2026-08-08T16:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4bd115792e1c25b299326f56ba92c90c9e5935b7949f7acd6d497b88199a03df","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T22:15:21.160725Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2502.09232/citation-record","integrity":"/paper/2502.09232/integrity","json":"/paper/2502.09232/citation-record.json","paper":"/paper/2502.09232"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.004745Z","title":"Azzopardi, G.J","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.004745Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:8bc6c7f2a571f73110b74096cb235317f2b7d2c087eccc117ab464ba256a0fcf","observation_id":"b568bea8-72c8-4d58-9702-b615eabf247e","resolution":{"observed_at":"2026-08-07T22:15:21.004745Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.03764","last_updated":"2021-04-08T13:32:17Z","snapshot_observed_at":"2026-07-06T10:57:37.935354Z","submitted_at":"2021-04-08T13:32:17Z","title":"Languages for Smart and Computable Contracts","version":1},"cited_work":{"arxiv_id":"2104.03764","doi":null,"metadata_source":"pith","pith_arxiv_id":"2104.03764","snapshot_observed_at":"2026-08-07T22:15:23.158663Z","title":"Languages for Smart and Computable Contracts","venue":"cs.CL","work_id":"df33d9fd-cc00-4244-ad55-3e2767e38c97","year":2021},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.010095Z"},"links":{"cited_paper":"/paper/2104.03764","citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:e0e2042ccb87c3dd52a2171f380f3522224b635abf6dd90535e074cc7389c580","observation_id":"b10b0590-0e1c-4dbc-8e9d-3afd65bdb109","resolution":{"observed_at":"2026-08-07T22:15:23.165084Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:23.293687Z","title":null,"venue":null,"work_id":"c8e59fa1-ba3b-4769-a73b-81b6dcce0141","year":2019},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.015057Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:8f4055ddec749503304ee47d217f62c80f97d32f9d8275a85872c5005db564fc","observation_id":"dc2dc9c6-da20-42ff-9d1c-c4482c255347","resolution":{"observed_at":"2026-08-07T22:15:23.298194Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf02812435","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.414000Z","title":"Daskalopulu & M.J","venue":null,"work_id":"3225cbe9-ca84-46c2-b76a-af2f4748b948","year":1997},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.019378Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:e7f33f3fd26037c2d33396adbaa302af21c021694d816dd2e4e66c703750a298","observation_id":"77304d29-99f6-4047-a2ba-68cf328113d4","resolution":{"observed_at":"2026-08-07T22:15:21.418814Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:23.138200Z","title":"Dorri, S.S","venue":null,"work_id":"bb20cdf6-c5ff-4491-9df3-ccf1b53bf2f4","year":2017},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.023701Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:0063a8294b2d617477de8ae5eca375bc7f51353210e049cbc35905436418f459","observation_id":"3557cc36-fc09-4906-bda3-1d6e82f0f432","resolution":{"observed_at":"2026-08-07T22:15:23.142694Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:22.944850Z","title":"Elsden, A","venue":null,"work_id":"09f31224-27cb-4c8d-9da9-94b84648400b","year":2018},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.029922Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:0a92ca57b7115b7b160773f280d767c44978cca177e8d5d52dc405526a28fed5","observation_id":"fbf67fe4-6df6-4e70-b6a2-b82d06d16463","resolution":{"observed_at":"2026-08-07T22:15:22.949576Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/iat.2006.51","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.372614Z","title":"Giannikis & A","venue":null,"work_id":"bfdf666d-f8da-4125-8004-35fe54504043","year":2006},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.035974Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:c198994f2f8870aab6f873897c48442abbe712de4f575ed5508bb07ccb56d5cd","observation_id":"f3125a8c-b145-404e-a455-84343d15b512","resolution":{"observed_at":"2026-08-07T22:15:21.389357Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.041272Z","title":"Governatori, F","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.041272Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:e0793d6146c6a2f1a2d375513bb3756bce9372348ffe6d7ae37cdf888e52a776","observation_id":"39de08a1-4b33-4de4-b742-2df52ad98163","resolution":{"observed_at":"2026-08-07T22:15:21.041272Z","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:22.770598Z","title":"Han, R.K","venue":null,"work_id":"5a34dc9e-ea66-4d31-9dff-a23ce2ade776","year":2023},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.046199Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:e65c30862cc47c3017e67239ddf0a7bef4e97a62b93b3eaee0a8d3a46f3af63f","observation_id":"386e5d64-573a-409a-ae04-02aeda4bd554","resolution":{"observed_at":"2026-08-07T22:15:22.775552Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:23.277691Z","title":"Hofmann, T","venue":null,"work_id":"81721aa7-02a8-4860-a669-d7f628935ca7","year":2016},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.050289Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:e4b5f68fd991aed440a4765759451822f242c41ca63bd9419fdbff2eef57c919","observation_id":"a2bdb6ad-0959-46f4-a73a-8619967652cd","resolution":{"observed_at":"2026-08-07T22:15:23.283644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/mic.2008.77","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.348083Z","title":"Krishna & K","venue":null,"work_id":"bafbd7fc-78b7-4510-a803-946c83c76ad6","year":2008},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.054302Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:558384b6f6e8434cf864715125b8a9bb10a4a026459dec53858e23ea7825e0ab","observation_id":"bd46911a-c762-458b-b8ba-c56d755596c3","resolution":{"observed_at":"2026-08-07T22:15:21.352445Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:23.263109Z","title":"de Kruijff & H","venue":null,"work_id":"0c72fc3d-108e-43a6-9a7a-844efb5fd027","year":2019},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.058903Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:b6900cc81e25fa6299969ac37d904ff577576c1e2f5a39eb150ed2bdaa71dc32","observation_id":"ac69d54d-22ea-431d-88eb-a6c3d2a8ffc6","resolution":{"observed_at":"2026-08-07T22:15:23.267783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0743-1066(96)00121-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.332819Z","title":"Levesque, R","venue":null,"work_id":"0e3fcb4f-53f6-4ab4-83b5-4eb2b141cd60","year":1997},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.062783Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:10db2577f15a9459880c8f4a401e1cd2a8c2cd08ab2009ed250548862325379b","observation_id":"6304fca2-2e24-4436-a589-258daa67799e","resolution":{"observed_at":"2026-08-07T22:15:21.337612Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:23.248637Z","title":"McCarthy (1963): Situations, actions, and causal laws","venue":null,"work_id":"5b500d99-c07d-456d-95c4-dbbdaa2bf1e0","year":1963},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.066901Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:3a4bbc7c6baca05ee7eec88a5032303e63e6468fc8a833e31f37bc865bfc13e3","observation_id":"9848559d-12d6-4e0e-8921-a7c8e8b57270","resolution":{"observed_at":"2026-08-07T22:15:23.253403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:23.233637Z","title":"McIlraith & T.C","venue":null,"work_id":"512fe2db-fd94-4396-8144-2c187e79f177","year":2001},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.072129Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:621a9b585a14dbde01376ea47f4eb0a56fe02c1b90a3a6e087a9fdad9ddc825b","observation_id":"70b5ca76-f481-4a72-986d-5cb68a219dc1","resolution":{"observed_at":"2026-08-07T22:15:23.238367Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:22.547792Z","title":"Monrat, O","venue":null,"work_id":"54bd31a6-18f8-495e-b4ea-c1e172d9eaf4","year":2019},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.076848Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:eec6ac235993f43e12ad485826b467841d1ced16af227f202024cbac9ff66dcc","observation_id":"14a1b61f-a538-4e08-b0e2-fc07a25ace9b","resolution":{"observed_at":"2026-08-07T22:15:22.553290Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/app13031353","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.317993Z","title":"Mourtzis, J","venue":null,"work_id":"7f8a1a8a-a3ff-4941-b4fc-ae6bf4e0f3a0","year":2023},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.082168Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:f38654a1f8e2309824be9d9b96769d229897d58d1a3cee672a835d1522982d69","observation_id":"19133618-ad72-4ba9-ade2-f09fb435167a","resolution":{"observed_at":"2026-08-07T22:15:21.322601Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/s18082575","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.302439Z","title":"Panarello, N","venue":null,"work_id":"fb8e7daf-adaa-4f07-9c82-e02a852cea00","year":2018},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.087136Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:ed8926c6bb11d621151007e457b5ba1c8c942c635838b96b9fb7067398e94e5c","observation_id":"5c53c36a-97ed-434b-8013-36ba1e1fad9f","resolution":{"observed_at":"2026-08-07T22:15:21.307263Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:23.218715Z","title":"Parvizimosaed (2020): Towards the Specification and Verification of Legal Contracts","venue":null,"work_id":"f11e7a4b-9b59-4ade-b6e5-cac0a80edbaa","year":2020},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.092017Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:56f585e71c84778ed1b49025755f7a0d66bce2bacbdecda3b5bb57e677b68072","observation_id":"ad32b679-0c4f-491a-b346-f99dc0643534","resolution":{"observed_at":"2026-08-07T22:15:23.223818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-62522-1_20","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.286667Z","title":"Parvizimosaed, S","venue":null,"work_id":"6a4a4ffe-b703-4d60-8a17-c6a696f8c5dc","year":2020},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.097435Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:32975926c9e128331c4162b54d0054d482b7d8ae368b75067f332dbb8e8e4d61","observation_id":"ee73e087-7cd2-4f82-ae7d-47664a45c7d2","resolution":{"observed_at":"2026-08-07T22:15:21.291864Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:22.342058Z","title":"Pirri & R","venue":null,"work_id":"49e27458-e419-44b5-bfc7-b85a7c47148a","year":1999},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.102310Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:a8054cef00b79ce7251f74cbaf30fc779cf2c177bae160187058434927e00e1a","observation_id":"1bdf5260-9d59-44ca-86ef-45723551dfd0","resolution":{"observed_at":"2026-08-07T22:15:22.347498Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:22.149008Z","title":"Rahman, M.M","venue":null,"work_id":"0529f9f3-07ec-46f6-8ee9-5eb899c4fbcd","year":2019},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.107340Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:83fbd3471a5641cc52fe938435beb3e3e07d6a6b19bf7fe0b4d4e5f0bbbdce33","observation_id":"7eeb1432-074d-4db2-9ac2-8116e0d58a67","resolution":{"observed_at":"2026-08-07T22:15:22.154571Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:23.203785Z","title":"Ramamurthy (2020): Blockchain in action","venue":null,"work_id":"6343e62b-2e06-433f-bd01-5e3b6af6fb8a","year":2020},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.112290Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:17d1ed8d0a05509cbc83609c4903231ed99132ed23a30ad6fa0484ef8f268a45","observation_id":"865150d3-1cab-4bcc-adce-e7ce1f96c4d1","resolution":{"observed_at":"2026-08-07T22:15:23.209023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.7551/mitpress/4074.001.0001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.270136Z","title":"Reiter (2001): Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","venue":null,"work_id":"220e7328-fe73-47c5-b632-570d93f262de","year":2001},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.116885Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:2eb02179e0df3fe20cc89e8175cf42999d9a97414c971b3913683762c19906c0","observation_id":"2aa8b8aa-99fa-4f20-80ef-88a7af8df031","resolution":{"observed_at":"2026-08-07T22:15:21.275501Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/b978-0-12-450010-5.50026-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.253678Z","title":"Reiter (1991): The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression","venue":null,"work_id":"ac8fe371-3edf-4245-8a64-8dd18287b4be","year":1991},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.121575Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:dc18e921a2bde0ecab31f142b96ffd08e2b2e8fa527381bbbd15bcf8bf8e453c","observation_id":"ab526dfd-b900-4459-bc6e-9f7497439cbe","resolution":{"observed_at":"2026-08-07T22:15:21.258712Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0004-3702(93)90109-o","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.235945Z","title":"Reiter (1993): Proving properties of states in the situation calculus","venue":null,"work_id":"0862f3dc-5a62-40a6-9b00-dec00ea0d1de","year":1993},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.126155Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:4125a2e17c2ef2cb93ceaf570a480c446ac8ab40922d924597bf3f7fbb2c42d2","observation_id":"79e4f80e-ad28-4b00-8067-e995ce4da012","resolution":{"observed_at":"2026-08-07T22:15:21.242091Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0004-3702(02)00365-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.221113Z","title":"Scherl & H.J","venue":null,"work_id":"6b8607d0-eb2f-4860-9cd5-22e22ecd29e9","year":2003},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.130738Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:f369fcd0b0c549610f1e0c3464b07bcc0f5ec8e4c1c1164aa88ff2b86548426a","observation_id":"ed723f8f-ebfe-44a2-b49d-10905ae38f14","resolution":{"observed_at":"2026-08-07T22:15:21.225057Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.944841Z","title":"Sharifi, A","venue":null,"work_id":"dfabe3ed-6d0f-4e2c-a26e-45ac9c1ded46","year":2020},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.135345Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:16bd444532864d1a438fbbaa1c90f84109ee8e6a4127bbbc3428cc5adc5ce361","observation_id":"a654422b-f3f8-4b63-bc59-f7177ee807f3","resolution":{"observed_at":"2026-08-07T22:15:21.950920Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:23.189771Z","title":"Sharifi (2020): Smart Contracts : from Formal Specification to Blockchain Code","venue":null,"work_id":"e5a856ad-d368-4577-8c06-572c873c6e04","year":2020},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.139119Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:6775f19216786659c7b0f479e97869bb4dd39c20a39ee0c9b0240f5a41707233","observation_id":"db9c6615-8004-424c-aad3-79793f3c851e","resolution":{"observed_at":"2026-08-07T22:15:23.194446Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:23.175420Z","title":"Surden (2012): Computable contracts","venue":null,"work_id":"672078c1-a9c2-43ba-a940-80413616f632","year":2012},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.143191Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:46f7acaabccf93139251bd0ff48eab67115634f849e4bd944697df1966a708e0","observation_id":"1bdc52ea-0672-4d27-b915-b0dfe27753ef","resolution":{"observed_at":"2026-08-07T22:15:23.179882Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2008.02712","last_updated":"2021-04-19T05:38:59Z","snapshot_observed_at":"2026-07-06T09:45:07.332120Z","submitted_at":"2020-08-06T15:30:24Z","title":"A Survey of Smart Contract Formal Specification and Verification","version":3},"cited_work":{"arxiv_id":"2008.02712","doi":null,"metadata_source":"pith","pith_arxiv_id":"2008.02712","snapshot_observed_at":"2026-08-07T22:15:21.774307Z","title":"A Survey of Smart Contract Formal Specification and Verification","venue":"cs.SE","work_id":"2b8e132f-ae80-4903-a6aa-29b1abfaf903","year":2020},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.147044Z"},"links":{"cited_paper":"/paper/2008.02712","citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:686b6fd25166919a27b92119b457a94da9257de84d9d9709e40f108920757fae","observation_id":"9b736abf-2f6e-4d9f-8d12-a57ecf9d2cb2","resolution":{"observed_at":"2026-08-07T22:15:21.780679Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3477138","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.203812Z","title":null,"venue":null,"work_id":"63bef99a-7edb-4d0b-b7f5-2b3141f134e9","year":2023},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.151914Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:91b2d6ab33a4c941ee99887a4314cab546e4bfbed33ee5899199c976db6c6518","observation_id":"5ec8fcea-52a8-4d74-9617-d040f01de9b1","resolution":{"observed_at":"2026-08-07T22:15:21.210186Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.156550Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.156550Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:73fc4048ba265cd01c4aa0b2627535be8780853d6428dd92b3333283826dee7d","observation_id":"8d7ba6fa-3e90-451e-93cb-6c609d29f137","resolution":{"observed_at":"2026-08-07T22:15:21.156550Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:15:21.752792Z","title":"Zheng, S","venue":null,"work_id":"0851ad7e-d7c2-4198-87d1-aa1c45d90cf4","year":2018},"citing_paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T22:15:21.160725Z"},"links":{"citing_paper":"/paper/2502.09232"},"observation_digest":"sha256:9f2990dd8d84350f7a69ffa7db4c44daa84e538db1f2de29f99f0667b0349912","observation_id":"75064c87-3c45-419a-bc1c-495aea179256","resolution":{"observed_at":"2026-08-07T22:15:21.758332Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.09232","last_updated":"2025-02-13T11:53:10Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T22:10:34.529028Z","submitted_at":"2025-02-13T11:53:10Z","title":"Logical foundations of Smart Contracts"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":21,"verified_fuzzy":8},"total_outbound_references":34},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2502.09232."}