{"as_of":"2026-08-19T00:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bb0a195c2c50cd8db0581e96bd7f36e1dd9f02043a4f845d90902eb70781910b","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-18T06:34:40.430872+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-17T03:35:08.578288Z","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:6cb20596ba80f27269c88abea17d2a29c15a811b0dfa9e2585df48c877fd5947","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-08-16T18:33:00.115157Z","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-17T03:35:08.578288Z","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:b635885ef4f1c9060792b527cfe4456c0437dbdfa26eea141bdaff153ef4b00e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:d9ec2e42ace3ed5e762e12304465f991ae9976faa13cc04ab3dc9f2b5836e82d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf02812435","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"Daskalopulu & M.J","venue":"AI & Society","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-17T03:35:08.578288Z","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:13c3519a622b8675d06c3f65c20e7c9c49f06b6bfa141168954d642698ce70f1","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:445670c7a5676baf99fb07135f4a173649bf385769d9d6e63e8b64e7d4319327","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:e7dca5f6eef967748574fc1657355cd9d60e5b52c765b124d5dd564786b2b9cc","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/iat.2006.51","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","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-17T03:35:08.578288Z","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:ca950947a4a40248c2e001dd5670df3e74fa3704cd6d8ecf7b84e780fa50941b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:9833ed20606586d72be359c69a9b1813aef47769e017c8a334e087c36ba01453","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-17T03:35:08.578288Z","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:e16a783d7ea9d5ea6a4658554ee1ab3192a9f939375071bfda81547bf1a661c1","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:c24399e456660179db537293afea9978542ff2b899f4d31da1e1871c33fcab44","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/mic.2008.77","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Krishna & K","venue":"IEEE Internet Computing","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-17T03:35:08.578288Z","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:540719f483f52fa33e7aa922a04f10495f016b2d40b2186236a01f5ea03a6eef","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:0b29cf90e39e146f16330782b18a69ac67e8f0d90e53a3b032e694bf4d11c11b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:262323db089c02955a489cad1802d2e8c9861bf389d536777e8a57fec1d063d9","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:debbaaabffc8ce83f7bf3a17bd32c0d3b6b536c4e53704552e437656f9dcfd37","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:6e88a49cf3ef6347b852b845d5671e5e577d79c3068fc7f5a6a22ecc050bfa55","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:d5eb6d8a4105034e7a0dfbb84687869b18ad7967cb73e879d2c0a1e22a0ba290","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/app13031353","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Mourtzis, J","venue":"Applied Sciences","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-17T03:35:08.578288Z","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:fd52bc7daefc08711aabf6e5f33f93b5874b8b8e2c4bc6f32e234bbe3c88307d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/s18082575","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Panarello, N","venue":"Sensors","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-17T03:35:08.578288Z","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:14d6e57bf447e3f962b221b21de015788974053ec25ce18f00477fbac30b2456","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:3d74fc01216f6362a018999fbfb9b9d24cb35b13a49cdc89cfcb0c4bef12ce6b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Parvizimosaed, S","venue":"Lecture notes in computer science","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-17T03:35:08.578288Z","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:0fc773f7b8bed1c3de1d4aef9165d96984f53dad0069341de84aff23c952d2dd","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:fd26481986583a4d7575dc84a2108bf3b7dc01e31adb866eb832459dd7b1c7fb","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:439597d479cbfa33026bed986d48d2e8bf873d7527bd8f4a0b37a2926a4793dc","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:f044df797dec10eabde1677ed3509e3212f01388ff59bbd504ed1d7bded9c982","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Reiter (2001): Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","venue":"The MIT Press eBooks","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-17T03:35:08.578288Z","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:1cb34244bdd79129fd5e51555fde0c6dfe029eb52475392e251770a10e991167","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Reiter (1991): The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression","venue":"Elsevier eBooks","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-17T03:35:08.578288Z","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:5c25dac728b1ec03ec020c7f48eeb434e7f2b27776cae201b5d3c203a78d932e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Reiter (1993): Proving properties of states in the situation calculus","venue":"Artificial Intelligence","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-17T03:35:08.578288Z","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:02c029ab5f62a8eafe1a47af70e5cd99d8f9f2bd1abb34022019918cbfaebbbf","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Scherl & H.J","venue":"Artificial Intelligence","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-17T03:35:08.578288Z","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:fc4e1c6fd17c65aedd7619f391fc16afd9c0e8356aa1dfa5c6a69f0629f0fa1d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:9f6c3fb59443f1a0f55d2f7b18e42c0b975876fdd42fb6fae1a18a7d15b03947","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:e51936481b27caadaa1c035c76108acd2f712c696e65cc6ec43c7356765a5b08","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:784b2d00bdf6125b6c195325aa9a882db289413052a2f3b0636f6358bab8439b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:73a5647876260d0cb75884cae12ee903c825b707bf28f9c42943b94c67ecd956","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3477138","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"ACM Computing Surveys","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-17T03:35:08.578288Z","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:3193283febc996388c0cc26e12de68dcde2cb8832b55c4b7489bd7f69e364a0f","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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:cb43d942914fcb24e50bce166774a4bc604873966e72e9479004fb7eadbb27ee","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-17T03:35:08.578288Z","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:8c60f230bab3524ed9b95a6aaa403bf762f5ddcee436d47d4f4af791965d61e2","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-17T03:35:08.578288Z","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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2502.09232."}