{"as_of":"2026-08-08T10:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3c0db798cd846f7df77672cd00f1c6aad2b2193b7ef1272de8da27bae48aaa5e","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:58:31.286819Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"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/2506.01076/citation-record","integrity":"/paper/2506.01076/integrity","json":"/paper/2506.01076/citation-record.json","paper":"/paper/2506.01076"},"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-07T11:58:38.671974Z","title":"Abramsky","venue":null,"work_id":"42028bd4-5bb8-471f-adc8-c9aa39249cd8","year":1990},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:26.528979Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:e154ed309fa8d6e59466648cddacda3682e344afbfb8449f5ef032ba88d8d44d","observation_id":"78edf608-3c42-4dfc-90a9-0bd24bbf0bb8","resolution":{"observed_at":"2026-08-07T11:58:38.777935Z","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-07T11:58:38.409142Z","title":null,"venue":null,"work_id":"a37d7538-1395-437c-bf3b-aa99beb77fae","year":2017},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:26.610566Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:f878b82202c3a58288f8a5e80e54bcaa1e72b8759e26486d11fb27d3c7377de0","observation_id":"6437f7f9-990f-4d27-8198-342cc4e442a9","resolution":{"observed_at":"2026-08-07T11:58:38.537009Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:38.159738Z","title":null,"venue":null,"work_id":"0af2496b-7dec-45bc-8ea6-d108b670b057","year":2020},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:26.697179Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:ea41e93f719e9418b53b2a5417abf4f6dabe3db2ca197d11fb86820128c5998f","observation_id":"867d2b1f-601b-4e9a-9264-66077f877395","resolution":{"observed_at":"2026-08-07T11:58:38.270502Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:37.907776Z","title":null,"venue":null,"work_id":"5bea0eb5-d789-471b-b611-ba5ad5924b90","year":2010},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:26.795649Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:f957310345ce7858108d13386a0b244372caf01beac9af80c176afca38f4fa6e","observation_id":"b12d93c6-3374-4747-849f-1136383dc42a","resolution":{"observed_at":"2026-08-07T11:58:37.970373Z","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/978-3-642-54833-8_15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:33.463105Z","title":null,"venue":null,"work_id":"95eb8b7a-2369-4400-8ad1-3acccde0f55e","year":2014},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:26.877802Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:a45fc841e3f4f90aba0de2346f9850038f5ed551bc587d0f7fb2a3da37c17e74","observation_id":"d43df4ff-22c2-48cd-9e19-ab55b66dc97d","resolution":{"observed_at":"2026-08-07T11:58:33.586270Z","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":"1998.70565","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:34.917421Z","title":"Bernstein","venue":null,"work_id":"18f6a3dd-ec1e-44e4-9eb7-7a68d6c9c876","year":1998},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:27.008691Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:8fefd742215d8b9d735b2f7b2f801095bca87c3009a0a56568b7015b8e90acff","observation_id":"67ab1441-052c-498c-807f-b7c2c2875737","resolution":{"observed_at":"2026-08-07T11:58:35.043384Z","resolver_source":"raw_fallback","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":"10.1016/0304-3975(94)00152-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:33.181320Z","title":null,"venue":null,"work_id":"b14b37f6-d051-49ea-933c-f1ada5b89bff","year":1995},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:27.122934Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:79e687022e5b2d48f9495f5d56e63654587934c693fb09b811c3dae296fb9c23","observation_id":"f3e462d2-32e5-4cbc-a2ef-c3d65a8534fa","resolution":{"observed_at":"2026-08-07T11:58:33.301305Z","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-07T11:58:37.684104Z","title":null,"venue":null,"work_id":"8d2dffee-b937-453b-b570-a1b493450da7","year":2005},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:27.238495Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:a2532646ade46041205380249338fa8f2cb7d2b92e7fe236a61a0b7c842662c1","observation_id":"d8b57c86-2792-4220-a8bb-ba6d440933ea","resolution":{"observed_at":"2026-08-07T11:58:37.804201Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:37.493098Z","title":null,"venue":null,"work_id":"8c3215f1-d5eb-461a-8792-2c6606b61c62","year":2015},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:27.335707Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:7d2266d817edfb8561adafdb35360562b7063e24f2c8541826cb008bcec04f56","observation_id":"663e1da1-3ab5-4e0c-88fe-39f2c0758d16","resolution":{"observed_at":"2026-08-07T11:58:37.574066Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:37.215324Z","title":null,"venue":null,"work_id":"3dcac7e9-95c9-47c9-8955-323df802af61","year":2013},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:27.451889Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:a22697dc3655b9c0de079f0239cbe5e12f08cbb5f38f76d3a067c69efaa666c6","observation_id":"54177d4c-883c-45b8-8374-588bd1b29938","resolution":{"observed_at":"2026-08-07T11:58:37.350786Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:36.971316Z","title":null,"venue":null,"work_id":"9f3d95d3-37db-482f-91e4-77dcbf590a58","year":2013},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:27.565404Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:470874879e69525fa3c24a5a6ea5bc8ce99640f6c821aa45241cda194a9fc585","observation_id":"1ddd20dd-47d8-43fa-8879-e1bd840310ea","resolution":{"observed_at":"2026-08-07T11:58:37.082193Z","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":"stable/2370619","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:34.621866Z","title":null,"venue":null,"work_id":"4fa8e6d7-d8f3-4346-aba0-67727166c738","year":1930},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:27.674394Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:57b68d4ad250fda3327c4ae7d9fdf6491a3f079ab2427a0ab3da390007f0372b","observation_id":"07e23e4a-1de5-41af-8db0-d13206374c3e","resolution":{"observed_at":"2026-08-07T11:58:34.705488Z","resolver_source":"raw_fallback","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-07T11:58:27.803626Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:27.803626Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:dc972d4ec039b295ceaddf512deef5f1dd1b46ff5a0394978baa19d319f0dc4b","observation_id":"4dd1dd80-f7b2-4daf-b9e0-28f184944572","resolution":{"observed_at":"2026-08-07T11:58:27.803626Z","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":"1995.1145","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:34.197758Z","title":"Deliguoro and A","venue":null,"work_id":"6734b179-5724-43e5-9ab2-6bfc7fe8d6f7","year":1995},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:27.946925Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:60fff2a237d429da711c7951940f1675640e9178cd3db0e15bb5e42002932ab4","observation_id":"b81ceb14-bca6-48aa-8e2b-6ce9ea1f9a64","resolution":{"observed_at":"2026-08-07T11:58:34.313043Z","resolver_source":"raw_fallback","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-07T11:58:28.095746Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:28.095746Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:7027f20e0059a91e14a7e662353d745dfce8ff8c47b514a970c332a118170d5b","observation_id":"78c40c21-223f-4ecc-8f74-e4554a738d65","resolution":{"observed_at":"2026-08-07T11:58:28.095746Z","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.1109/lics.2008.38","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:32.933302Z","title":null,"venue":null,"work_id":"863f4702-cadb-49a0-af48-ea20b76546b0","year":2008},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:28.193934Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:5f18471fde554b53f83efd072e7484ba300a6b2e98cb83e67015c2e2610d3d1f","observation_id":"4585406a-4859-48e0-8e90-578c2b3a5b0a","resolution":{"observed_at":"2026-08-07T11:58:33.066309Z","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":"1999.78261","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:33.950212Z","title":"Fiore, Gordon D","venue":null,"work_id":"26318243-44ec-4110-850f-5da55c8ab4db","year":1999},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:28.303718Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:6b92aec4337b5f12cd6ac3918a1b34f883d6ff867e8e32bf364383393fac08cc","observation_id":"050c4881-8034-48be-83c0-0570bb416251","resolution":{"observed_at":"2026-08-07T11:58:34.011537Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-07T11:58:36.668509Z","title":"Gallagher, Manuel Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López García, and José Morales","venue":null,"work_id":"074814e4-9b30-4d96-a909-924a5c1bb3c1","year":null},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:28.470422Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:fec94924324f88a40c4cda44999a314babf422d59249c3d63e40707eeccc9d37","observation_id":"e1f0c10b-a720-42db-81e6-2798ac85740c","resolution":{"observed_at":"2026-08-07T11:58:36.825905Z","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-07T11:58:36.437905Z","title":null,"venue":null,"work_id":"1df4098a-068b-4483-94b7-d71e43b611ff","year":2021},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:28.759804Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:ada9169078f352c47e8d0b21c6bfeb1485f2a8d99e71c357c2402abfe219c344","observation_id":"1ba60b6f-b5f6-429e-8bdf-9faeb80fcfc2","resolution":{"observed_at":"2026-08-07T11:58:36.542607Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:28.854182Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:28.854182Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:7279ce592ce149942c0db24399a7826654fd494abdf57faff6eeeac46770fcdd","observation_id":"1ce35515-0811-4f8d-b56d-ebe69e93cd49","resolution":{"observed_at":"2026-08-07T11:58:28.854182Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:28.954233Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:28.954233Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:88c5fa098a7f53b2c10a763934b67ed87d1f8f2cd20ededbd19f8d38eb173f7f","observation_id":"fd40f006-7579-492e-80a7-328cae56ed91","resolution":{"observed_at":"2026-08-07T11:58:28.954233Z","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-07T11:58:36.229514Z","title":null,"venue":null,"work_id":"2c7caa14-6c91-47e9-9d35-3995e0e578da","year":2024},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:29.078368Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:6cd42fc6bc1c6937b3504b2fd2d7c91e556baeefee73b416b27374e35ae78a36","observation_id":"7a099ae5-8a88-4c14-ac5d-593666b41cc7","resolution":{"observed_at":"2026-08-07T11:58:36.333595Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:36.019541Z","title":null,"venue":null,"work_id":"47a5b3bc-7120-4bcb-95a1-97ffb99ea174","year":2018},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:29.167526Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:c35cdd43d5830a63c602510247acba03b6f7fe62d2a611edd96d411119dc9de8","observation_id":"83143538-44ae-4fc9-964c-d53c2797c9eb","resolution":{"observed_at":"2026-08-07T11:58:36.096052Z","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.1016/s0304-3975(98)00353-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:32.506970Z","title":null,"venue":null,"work_id":"d4dbac5c-2c01-4cf4-80e3-a3bba9d355f9","year":1999},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:29.267118Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:c7d1e35d621031ff40a11f9aaf6110d818c5fea6f470c2380cb9418cf20e806d","observation_id":"2bae28f3-1716-452e-b799-ce38c3aa2c66","resolution":{"observed_at":"2026-08-07T11:58:32.581677Z","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-07T11:58:29.366059Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:29.366059Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:0e87ce7d6ac32baab4a9059d75bb6b2b4cb9c8c5ed363452141c0f8c04a6d697","observation_id":"d83c8166-f585-46bf-ac1c-89be9798ba64","resolution":{"observed_at":"2026-08-07T11:58:29.366059Z","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-07T11:58:29.454339Z","title":"Roger Hindley and Jonathan P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:29.454339Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:7fc491db290a5641780bb52a1754246f476679e77d682ddd372dc5e677437dc5","observation_id":"436068d0-f225-4c99-b11a-9dd12983006f","resolution":{"observed_at":"2026-08-07T11:58:29.454339Z","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.1007/978-3-030-99253-8_20","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:32.244889Z","title":null,"venue":null,"work_id":"51655d99-dfb1-4afa-b64c-9553e9403ae5","year":2022},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:29.573417Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:d5d833ad68b929642c92d84b6f6bc342803136b3556e51506aded3a87ce2a61e","observation_id":"8087bcfd-2034-44a4-bcf5-1035c8996321","resolution":{"observed_at":"2026-08-07T11:58:32.355725Z","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-07T11:58:35.706474Z","title":null,"venue":null,"work_id":"74b16ee7-c2b8-43f8-8376-04c95122e3f4","year":1972},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:29.671719Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:2d6c419831382b5c1a667c3856801192b4570eada3f25835401a717ad4ae45cc","observation_id":"fbe6625f-9727-4a0c-9db0-81a54b4f9297","resolution":{"observed_at":"2026-08-07T11:58:35.898418Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:29.850069Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:29.850069Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:4ff794554c8ca246f2bd395b31f31be748c6bacaea0ee1806de26c20e43e8fe7","observation_id":"9027a69c-cb70-434e-a0c6-72689cb374c4","resolution":{"observed_at":"2026-08-07T11:58:29.850069Z","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.4230/lipics.fscd.2016.24","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:32.004599Z","title":null,"venue":null,"work_id":"7235dd09-3c53-4ac5-8032-0a1f89a32182","year":2016},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:29.939687Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:239d2cd83aec2cc704d358450d2696c88ecb9c283c57e4de13e5b01b7d39c6fc","observation_id":"060e12b0-2727-4e10-baf2-05665d354fcc","resolution":{"observed_at":"2026-08-07T11:58:32.115180Z","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-07T11:58:30.049438Z","title":"Mac Lane","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:30.049438Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:8df620ed1557f76be974945b9464b859cf705f115802358c94b024b0783d039b","observation_id":"a8442dd3-459f-45f7-becf-a5be4655735e","resolution":{"observed_at":"2026-08-07T11:58:30.049438Z","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/s0049-237x(09)70099-0","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:31.791533Z","title":null,"venue":null,"work_id":"9cd5dd5b-4f50-47e0-b825-b3b65acc1206","year":1959},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:30.208146Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:2ddd23c129ba7afa9fa104f9e52fea132589f5691766d28d72dca807a34dec9f","observation_id":"2a4e74ce-5f3f-483c-9236-aaddc8fb3de0","resolution":{"observed_at":"2026-08-07T11:58:31.882412Z","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-07T11:58:35.441755Z","title":"Mitchell","venue":null,"work_id":"5b6aeaba-8b9a-402f-a4fd-bda04192357d","year":1996},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:30.298117Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:ab91c7a7361570b85e6358b33ae7f15a4e79c6d62a282e56e1d5ed134f930941","observation_id":"f4ef382a-4ce2-4aa2-a9c1-bcfe1e1ed6d5","resolution":{"observed_at":"2026-08-07T11:58:35.569813Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:30.459372Z","title":null,"venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:30.459372Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:072132d47b0afcbdb0e6a70d06b9a24ecdf5d240f519b603e1e3c5b9e4faff8d","observation_id":"49bfc533-f1a9-4b36-97ff-8f5bcc219561","resolution":{"observed_at":"2026-08-07T11:58:30.459372Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:30.626414Z","title":"Myreen, Ramana Kumar, and Yong Kiam Tan","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:30.626414Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:2c2d2fc233661d723ffe4cf8526197d45c92585c76c8a09ad271315e21bb0bf4","observation_id":"39dcbd1d-047f-4689-8294-a66cc59ca713","resolution":{"observed_at":"2026-08-07T11:58:30.626414Z","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.4230/lipics.mfcs.2021.88","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:31.574044Z","title":null,"venue":null,"work_id":"6beb13b2-2a8f-4714-92b9-589969eb2981","year":2021},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:30.799001Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:3497fc6314215f655513f83346746cbd2be2847547c0cc706756755a77f94506","observation_id":"dd3fc4e6-0be0-49ff-a250-b2bcb580ccb6","resolution":{"observed_at":"2026-08-07T11:58:31.661210Z","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-07T11:58:30.958653Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:30.958653Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:642d8639f558ede5741e32d8c0eea0fa3fcdd92fc76d2c07755ef46a1faf2bf3","observation_id":"809709a6-a965-42bf-87de-2c8831528b65","resolution":{"observed_at":"2026-08-07T11:58:30.958653Z","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-07T11:58:31.077305Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:31.077305Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:607f2a9821781291546e1775084fc6b56f571373f1f003dbe7b92657f7ca6843","observation_id":"7a6c0301-1295-4c92-a1df-7b9d73883aca","resolution":{"observed_at":"2026-08-07T11:58:31.077305Z","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-07T11:58:35.204589Z","title":null,"venue":null,"work_id":"8116790d-d19d-4c66-a296-891b898d9674","year":2013},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:31.193538Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:93da296a93f47866b1950a6465c94082ab5d4941313565fdeb77b698694e0bed","observation_id":"42d93390-285a-4101-8661-18cae9e858b6","resolution":{"observed_at":"2026-08-07T11:58:35.296821Z","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.1016/j.tcs.2011.02.036","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:31.410550Z","title":"van Glabbeek","venue":null,"work_id":"03beceb4-64d0-4813-a483-5ecb10e29c03","year":2011},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:31.286819Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:6023adc12063b06f85dc940c3ee08ba578ed4c169ffe1800b0ef0eb427a316e0","observation_id":"d2c82f47-c0ff-4497-8783-3612488aa8d2","resolution":{"observed_at":"2026-08-07T11:58:31.481962Z","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.4204/eptcs.320.4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:32.726593Z","title":"In Electronic Proceedings in Theoretical Computer Science, EPTCS , Vol","venue":null,"work_id":"32eda02b-860e-4a7f-a373-92a03d8b7b68","year":null},"citing_paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:28.633847Z"},"links":{"citing_paper":"/paper/2506.01076"},"observation_digest":"sha256:694c9350df1a204991a817cf34191dff586cfcc208302e17bdff65959cc7d659","observation_id":"f226e158-1326-4dbe-841f-5eb52147dbf5","resolution":{"observed_at":"2026-08-07T11:58:32.820282Z","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"}}],"paper":{"arxiv_id":"2506.01076","last_updated":"2025-07-10T18:25:27Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T11:49:10.651293Z","submitted_at":"2025-06-01T16:26:01Z","title":"Big Steps in Higher-Order Mathematical Operational Semantics"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":4,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":21,"verified_exact":12,"verified_fuzzy":3},"total_outbound_references":41},"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 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2506.01076."}