{"as_of":"2026-08-06T02:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:55b7ed6b80431815df6828deec26db4e5e51425ee0fd2561dd15cb94e76c6dd7","coverage":[{"denominator":78,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":78,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-19T03:27:38.759910Z","state":"measured"},{"denominator":78,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":78,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+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/2507.19886/citation-record","integrity":"/paper/2507.19886/integrity","json":"/paper/2507.19886/citation-record.json","paper":"/paper/2507.19886"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1998.2755","doi":"10.1006/inco.1998.2755","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Boreale, R","venue":"Information and Computation","work_id":"8cd4f037-9011-44ac-8c00-c8bf4807db96","year":1999},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:55b07ecfc2adb66dcebf1b713307001135fa7329c966c921ae113e62253c2f38","observation_id":"221fef73-5697-452a-bb3e-dfbd12d33d87","resolution":{"observed_at":"2026-05-19T03:32:01.193830Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(84)90113-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"De Nicola, M","venue":"Theoretical Computer Science","work_id":"efba62cd-9b3b-4476-b1b4-b3ad90a3fe0c","year":1984},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:b12ef3b2f398f6db8d02489d1808cf1099414b45343f6d2bb1c920790799b3f9","observation_id":"aa3d27c0-0549-4df7-bffc-8e283ff432d6","resolution":{"observed_at":"2026-05-19T03:32:01.184642Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-60218-6_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Brinksma, A","venue":"Lecture notes in computer science","work_id":"dd8947fb-b4a6-4eff-8087-d6661d877ce6","year":1995},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:48fe87b8519c10cce9e1623db31dc99672b206027d2684c1219d2ca96363c7e3","observation_id":"c08330e2-6d25-484f-a081-becf37e59d29","resolution":{"observed_at":"2026-05-19T03:32:01.166900Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-60084-1_112","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Natarajan, R","venue":"Lecture notes in computer science","work_id":"bc2cac30-c39c-4dd9-b9dd-968a72e35644","year":1995},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:4d43df161ee9f9d32791d16fa3ee049f22d3679ca1db133c7b46e19c4470f2f8","observation_id":"2c0b3e51-dc5e-4a75-8f11-117bf118b682","resolution":{"observed_at":"2026-05-19T03:32:01.197312Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Baier, J.-P","venue":null,"work_id":"b1b5b462-8a93-449f-bbef-f669a8d82e82","year":2008},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:3e2eb56147be6d885856192c11edb1c02265ee63b1b3b06ff60921659d465e7c","observation_id":"682d7d6d-2049-4a90-9246-09ca3a014b53","resolution":{"observed_at":"2026-05-19T03:32:57.779111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Araujo, M","venue":null,"work_id":"2eb2334f-8088-482e-afc1-48f498f6c143","year":2023},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:70aecf684eb97ee47c9a5a95916b7ac13d222d166f8e67d7899e19e8e9c543d4","observation_id":"ad2f5ae5-3d6c-4e8c-9d06-b5fc12b9e28f","resolution":{"observed_at":"2026-05-19T03:32:57.949694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4690.131469","doi":"10.1145/1314690.1314693","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cheung, M","venue":"Journal of the ACM","work_id":"845c84d3-1e99-4c20-807d-105b39525688","year":2007},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:9fb74e005a31a4bb53414d38e336fd3c10c7d55114bb31eb178f119e8782a7e9","observation_id":"a2ef36c4-b601-4d9c-a98d-3fa084614496","resolution":{"observed_at":"2026-05-19T03:32:01.179688Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"804b30fa-f69d-453c-b9c4-e9b36367e4c3","year":2010},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:70e84c656a90c62d4148d6db8396658ee9f681d2f8ce06ae6e69fcf42a3bebdf","observation_id":"7278b29c-700d-43f4-924b-d548aca417e9","resolution":{"observed_at":"2026-05-19T03:32:57.843142Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00165-017-0440-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gerhold, M","venue":"Formal Aspects of Computing","work_id":"2bbffdc9-e29b-4265-b784-0772901c6a61","year":2018},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:6bba22716f0e45f1a50b12a5b1251b47a721a80b55d8aad62cad6c82842f2182","observation_id":"02e78f06-3b37-4cb4-a8c1-4a46f89ef797","resolution":{"observed_at":"2026-05-19T03:32:01.173842Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Crafa, F","venue":null,"work_id":"1186e1d6-0048-4f42-a768-384ac42f4bd4","year":2011},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:823a9add2ca32d0d54c9a47997db7e0bf6d2ac171c6151a1261663102c76195e","observation_id":"71f60b79-87dd-49fd-b5d6-49990cd2c659","resolution":{"observed_at":"2026-05-19T03:32:57.851554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2699431","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Etessami, M","venue":"Journal of the ACM","work_id":"774a5220-0916-4919-9d7f-c0f1a7390c90","year":2015},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:8ea24fc321ea12b20e4f5fb25a1119417c982836cc37770bf5c0faa805f5928d","observation_id":"033efd55-8bcc-4e4d-9bf2-d44162243407","resolution":{"observed_at":"2026-05-19T03:32:01.204820Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2021.04.001","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fu, Model independent approach to probabilistic models, Theoretical Computer Science 869 (2021) 181–194","venue":"Theoretical Computer Science","work_id":"da307cc3-9103-4785-a2a4-6c3027524f61","year":2021},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:e48a92eaffc87f78109384dc88b381e213eb4a1b12a3f2e7bbcfb2adc66bf5cf","observation_id":"75c0762d-d7fb-4b3c-a7b8-e5509babf0eb","resolution":{"observed_at":"2026-05-19T03:32:01.117197Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.106399","doi":"10.1016/j.ipl.2023.106399","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Information Processing Letters","work_id":"15075d33-4964-46ba-a888-fdcf0653c804","year":2023},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:6707fa632f3523fea212c9ca8f7919646ca44b2a8826c40316aa168ea72723bf","observation_id":"4bf895f0-81d1-4e30-bd0c-dbced86ab87c","resolution":{"observed_at":"2026-05-19T03:32:01.157109Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-34175-6_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Zhang, H","venue":"Lecture notes in computer science","work_id":"5c121f27-70d7-4c8f-82aa-1461c3335ced","year":2019},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:9e70203ed0b387e2d327e482f49cd2706486d55f4ddfec031e3d232e9b841997","observation_id":"6fe7017f-4678-4bbf-9658-ce7da1b1bafa","resolution":{"observed_at":"2026-05-19T03:32:01.138650Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-45694-5_25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cattani, R","venue":"Lecture notes in computer science","work_id":"a7bdf3d8-e08d-408a-9096-89979de07e48","year":2002},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:6934a18c8fad3d2feea19cf5a0a3615fc3b3c11d2dc02d34c633209ac91d4437","observation_id":"48325f79-0c9d-4490-9ba5-5c0475806c61","resolution":{"observed_at":"2026-05-19T03:32:01.141765Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Segala, Modeling and Verification of Randomized Distributed Real-Time Systems, Thesis, Massachusetts Institute of Technology (1995)","venue":null,"work_id":"fc688bea-3dad-4779-8790-3aedc366570f","year":1995},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:a23aea2243b471adc8b33305317850da1e4670a95f200860946bb15789e74321","observation_id":"de5a6d2e-d890-43bf-a0ae-6faaf30888b2","resolution":{"observed_at":"2026-05-19T03:32:57.847101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2015.07.004","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Turrini, H","venue":"Information and Computation","work_id":"a2c21c0a-3dba-415a-b040-b23ef7d8ff23","year":2015},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:df4fbb1662d462c1b549fa411c96a8cd4dacc1ce8a166266736a4aea2932e7de","observation_id":"6627a369-f540-494d-b496-2c82e6051e22","resolution":{"observed_at":"2026-05-19T03:32:01.120897Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Deng, Semantics of Probabilistic Processes, Springer Berlin Heidelberg, Berlin, Heidelberg","venue":null,"work_id":"3b43c8d3-841b-47f1-82b3-16597cb0dafe","year":2014},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:d2b2fc2b7bf5e21ace486a5795a1982f232dd2b098b355321a719f356cac84d9","observation_id":"e8e29e40-a932-49bd-adbb-948d7a117ed0","resolution":{"observed_at":"2026-05-19T03:32:57.865984Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2015.07.043","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fu, Theory of interaction, Theoretical Computer Science 611 (2016) 1–49","venue":"Theoretical Computer Science","work_id":"66ab0e00-de63-4a21-9076-eaba7193f251","year":2016},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:42d9dc65aa1e3eb3bdbe210593563e2830df52b1fd66c246f62c2dff13660e1d","observation_id":"023ee06a-68ff-4a42-ad7a-dc0bf50d224e","resolution":{"observed_at":"2026-05-19T03:32:01.188179Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1508.00093","last_updated":"2015-08-01T07:35:41Z","snapshot_observed_at":"2026-07-06T04:25:34.135012Z","submitted_at":"2015-08-01T07:35:41Z","title":"The Name-Passing Calculus","version":1},"cited_work":{"arxiv_id":"1508.00093","doi":"10.48550/arxiv.1508.00093","metadata_source":"pith","pith_arxiv_id":"1508.00093","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"The Name-Passing Calculus","venue":"cs.LO","work_id":"f8c08c9c-b868-4471-beb9-2b8616ef3556","year":2015},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"cited_paper":"/paper/1508.00093","citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:d8a845dd37a5a9031137fa0b9e5b511a0da0a7db8ef55bffd54e52591e325175","observation_id":"5fef5bd7-9948-451e-a4ed-26e4eb6bad4e","resolution":{"observed_at":"2026-05-19T03:32:01.125882Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Milner, Communication and Concurrency, Prentice-Hall, Inc","venue":null,"work_id":"e4f38d74-d1a2-41f8-9ea6-64d04054980b","year":1989},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:f44161cba711275e25cd91f9830f8ee2a1404337271007f97dd731e9cf697f10","observation_id":"97398e00-35f1-4b82-af76-b329ea3965f1","resolution":{"observed_at":"2026-05-19T03:32:57.855200Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3551.233556","doi":"10.1145/233551.233556","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of the ACM","work_id":"fe9270aa-0aae-4b6a-b761-b5a71aae715b","year":1996},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:0802e132095af77745f5da010213041e0a231cc0d2767bebc999bd32b28dc6e7","observation_id":"cd8e15a3-cc30-41e1-9cc6-8c4e53fdfc77","resolution":{"observed_at":"2026-05-19T03:32:01.163334Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-57208-2_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"The linear time - branching time spectrum II,","venue":"Lecture notes in computer science","work_id":"816c9122-8c2c-4b25-b219-fa757ef8d2e0","year":1993},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:483148d5df2ed6434aa1e6e73978ef4aa49ffb605ab31bbd4cbcb9806aeb3fd8","observation_id":"08f4012a-d218-471c-ba2b-332b72e977d4","resolution":{"observed_at":"2026-05-19T03:32:01.129858Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1999.2808","doi":"10.1006/inco.1999.2808","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cleaveland, Z","venue":"Information and Computation","work_id":"19882a6e-4855-415d-bf69-b53050a1911a","year":1999},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:4df357451c1863d3281c257efee273fe0f189d625a4fa38dcc6398aec8694a49","observation_id":"2c60aa9f-7fec-4182-8316-0274d4ccfec2","resolution":{"observed_at":"2026-05-19T03:32:01.147325Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.00491","last_updated":"2024-12-28T10:42:45Z","snapshot_observed_at":"2026-07-06T17:38:04.972649Z","submitted_at":"2024-03-01T12:17:34Z","title":"Analyzing Divergence for Nondeterministic Probabilistic Models","version":2},"cited_work":{"arxiv_id":"2403.00491","doi":"10.48550/arxiv.2403.00491","metadata_source":"arxiv_reference","pith_arxiv_id":"2403.00491","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"arXiv (Cornell University)","work_id":"05ec41c3-feb6-4d17-8018-e76c9c9d9566","year":2024},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"cited_paper":"/paper/2403.00491","citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:8b94463970e038bbff6c897b7b1cbc8318bbcab634a8664046d4dfbee9f1c276","observation_id":"b8708200-d561-46f2-bd6b-56a8a52c7e9c","resolution":{"observed_at":"2026-05-19T03:32:01.135148Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/b978-0-444-89874-6.50010-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Elsevier eBooks","work_id":"fdb7f14d-21e0-44b2-a503-cb8a8c9c7599","year":1992},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:779afbe04cf0806d47ba18aa74d1b78b17c8003aa1bd4203d8a8b3cfbe1c377e","observation_id":"81bf99d7-42d8-4b3b-a959-201a8e41c1e9","resolution":{"observed_at":"2026-05-19T03:32:01.170624Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2017.09.014","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Information and Computation","work_id":"998e8e71-35ec-4ab5-a2fa-91bccd24d22e","year":2017},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:3d1cdcef57daee06da887e89969874254acc994ea2f9d829f01c048886f1dc49","observation_id":"0b192417-5e56-436e-a936-7cba4bba77e3","resolution":{"observed_at":"2026-05-19T03:32:01.200672Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Arora, B","venue":null,"work_id":"1a892d87-a506-45d3-ad5e-471a17f8dfe2","year":2006},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:643e3276ced01cb7a27dbba871aa51fb2e5dd2eb65d105e9dbd226a8031ae3f6","observation_id":"016a21fe-842a-49ba-a841-50d7a58bcb2e","resolution":{"observed_at":"2026-05-19T03:32:57.847587Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f149959b-1f98-407c-ac4d-bc0494954882","year":2022},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:c77be67530a60ce8d851d137bcbf5d92ed5a960c5d16a3be38a75ab6cca7887c","observation_id":"4d8feafd-f6c9-4bee-89dd-85b27bba6cbe","resolution":{"observed_at":"2026-05-19T03:32:57.828625Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Dal Lago, M","venue":null,"work_id":"d638e324-cf4d-4353-b96d-9d57d65fbc28","year":2023},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:3e9dd6b778313763e7e95c10b083cf96f6751ec7f06c18f4f1497288f6b9bcc3","observation_id":"cbed8cdc-bdea-4ff8-a8e9-aad366e1098d","resolution":{"observed_at":"2026-05-19T03:32:57.872911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.concur.2024.37","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Spork, C","venue":"RWTH Publications (RWTH Aachen)","work_id":"94fdd7f6-2e67-4a26-885d-077f10da8317","year":2024},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:96d21c618cfffb21a962111d9b90c759d04b39eb59c1cc28cffe1164787af4d3","observation_id":"1513cc33-3ff3-483d-b1e5-de33fc3e54e9","resolution":{"observed_at":"2026-05-19T03:32:01.151111Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Bernardo, R","venue":null,"work_id":"f52e383f-6e56-451c-bb2f-c56c883beada","year":2014},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:e6767d6955908207c0bb5b430431da62f7e34eef61a00f78005119cc4d531f5d","observation_id":"9a02153b-ccec-45a1-9b3d-50084a2e27b7","resolution":{"observed_at":"2026-05-19T03:32:57.938854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Bernardo, et al., Probabilistic trace and testing semantics: The importance of being coherent, Foundations and Trends® in Programming Languages 7 (4) (2022) 244–332","venue":null,"work_id":"f696c12d-065a-4439-8d22-f81ae14a5e5d","year":2022},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:585635e812a37fb9c7538cd9c47d929bb40fbe3ea8d2afd1335ca3d9669c9a4b","observation_id":"55ecebf8-4cc2-495d-b9ab-5551231e4225","resolution":{"observed_at":"2026-05-19T03:32:57.876020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"The base case is trivial","venue":null,"work_id":"91c1bccb-91a7-4d9e-ae22-389a684cd57d","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:abc4b98bc46f94840ae305fa4e75e1b7fb8a2c45a1b5cc24c89fdf0aee4949d1","observation_id":"55d94132-73d1-4231-9f67-fd4a6f0f4a81","resolution":{"observed_at":"2026-05-19T03:32:57.851036Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Note that pν′ 1(P ) + (1 − p)ν2(P ) ̸= 0 for p ∈ (0, 1)","venue":null,"work_id":"419ff4b6-aa62-4b60-a2e4-b407a8926ac1","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:8fbf1a623b4b778385d3aa2508a90a2e24aafab96fa042e82110cea0a56b6c54","observation_id":"52824b8e-0df8-41a2-ac36-b54d80954909","resolution":{"observed_at":"2026-05-19T03:32:57.931714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"In the base case where |π| = 0, set ν1 = µ, ν2 = µ, and the result follows","venue":null,"work_id":"54d944f1-509f-4f13-b296-16cc57d7c908","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:340899ac3d2f799e97b2935a6145a9c547c9650d703d6d8eb6083ee0ac43dd28","observation_id":"5d400b2c-2fa3-4c99-8c55-4b9113520ec7","resolution":{"observed_at":"2026-05-19T03:32:57.869283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Assume, without loss of generality, that ν′ 1(φ) ≤ ν(φ) ≤ ν′ 2(φ)","venue":null,"work_id":"82636f3e-9cfb-4801-bdaa-bf2d8aa5574b","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:3376a237d6d2dd6e13c4c59789637b65abc37209a3978cfef7be5c0e1df62649","observation_id":"b621cf98-864a-43e1-bfae-4ec2b6853f63","resolution":{"observed_at":"2026-05-19T03:32:57.859373Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"778184f0-6e9a-4cb5-a2fc-647bd7573db2","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:157252e5cdd83c18f07fd017c508a705b278f7b8a11d7315e9c16ff1b1b2b0a2","observation_id":"321ddff0-5dc8-4e3f-a807-4bd9b3ba9038","resolution":{"observed_at":"2026-05-19T03:32:57.870004Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"There exists an external action li ∈ L ∪ L and a distribution ρi such that Ai li − − →ρi","venue":null,"work_id":"77db1cb4-af46-4e68-92ea-9e0dd0e59a53","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:7c72253a4ce219c20d2c0ba1203cffc5f493108d0d3324c54b6d97c14f72727c","observation_id":"19fde83d-9f31-43b6-8164-9bd5e5389b23","resolution":{"observed_at":"2026-05-19T03:32:57.874090Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"If no such division exists, break from this procedure","venue":null,"work_id":"df6fe891-8dee-4c7b-b31a-af34b709c90e","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:1f0b9583920b535d517ab9900d2c47e90dfc7f33f9793ae1c15d21ee995dee41","observation_id":"91bcbe7f-e423-447e-b5b1-9ff460e04e45","resolution":{"observed_at":"2026-05-19T03:32:57.835848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"By Corollary 3 (2), there exists µ1, µ2 such that µ′−µ′(P L)δP L 1−µ′(P L) ⇝ µ1, ρ ⇝ µ2, and νj = (1 − µ′(P L))µ1 + µ′(P L)µ2","venue":null,"work_id":"2f262083-a701-41b3-85f0-d55b2b70bdc0","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:a5b29c0cf42adc024c75db35c0cd2b513d58562ba33116732825e8afa372f038","observation_id":"ccaa2492-1e5a-4844-8bb1-07b24975c9f3","resolution":{"observed_at":"2026-05-19T03:32:57.801898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Besides, by µ′′(X1) = νj(X1) and monotonicity, we have µ1(X1) = µ′ − µ′(P L)δP L 1 − µ′(P L) (X1) = µ′(X1) − µ′(P L) 1 − µ′(P L)","venue":null,"work_id":"7e1ef2cf-cde5-4a64-b3db-5f1adc0f7940","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:433e5d97263a1d3bcf1d585c4e10e2fa0f1cbb8335a4aa2738baf7676236ad1c","observation_id":"e17aa4b6-c309-4539-b346-16599eaf0e08","resolution":{"observed_at":"2026-05-19T03:32:57.928706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8aecc921-4362-4fe5-b8da-ac25f1412a24","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:6075e4fd4dad0d891b5a8d7354611752809c78d3089ebf58f016998133e5ee69","observation_id":"1bbbe927-e441-4185-ba7e-7570f44ff912","resolution":{"observed_at":"2026-05-19T03:32:57.814056Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0dc9f47d-ee60-44df-af8d-492ae1d1cc5e","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:78889741e6b6c29ee0bdc314491c5d33c605a4295e25889e05056d20ccf4a76d","observation_id":"8e6e6cd3-7928-419c-b3e9-bd1326b030f8","resolution":{"observed_at":"2026-05-19T03:32:57.805462Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9b424f7b-5b7c-4180-9b15-76cfadf9f6ed","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:a7b6dc3f536cfc2be62009494cd297535f2e36a6a6bc5e331cae6297ab4f617d","observation_id":"5747c3a7-c081-49d7-9425-898ff9ec4469","resolution":{"observed_at":"2026-05-19T03:32:57.832576Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"99d04a49-fa03-4087-97c4-8e43bcdf4a58","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:b40553621e75bf2bdf7a6a2519a968db4a3ae60734f0e794b4b953b958d6d714","observation_id":"10e0f08b-c96b-4482-bc84-966da7aa10bf","resolution":{"observed_at":"2026-05-19T03:32:57.838964Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"731b051a-0a21-4979-89c2-baeb67e905ee","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:c1c252f4488ebdeca3bdbb1a7a38d263e55e3a3a4a0d1798d3683feb117161e0","observation_id":"37a462a3-05fd-43a5-8ac9-b204c8684ae3","resolution":{"observed_at":"2026-05-19T03:32:57.945500Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Therefore, ( µ1 | ν) = D may (µ2 | ν) and ( L)µ1 =D may (L)µ2, which implies that the equivalence = D may is D- extensional","venue":null,"work_id":"7491ee62-726c-4c48-a9d2-6af6e8364ef1","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:31ee219ae2d926ad1f92a0c5ca3edd96a7334db4ef5f82eb584808c0048cb9a6","observation_id":"da855818-b914-4239-a522-4879c891fb3f","resolution":{"observed_at":"2026-05-19T03:32:57.934690Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Thus, δP |OL τ − − →ρP | δω and (ρP | δω)(ψω) = 1","venue":null,"work_id":"f73e9b4f-4009-4bc5-80eb-29cf862e1c8f","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:83b848a23ad259e79ded2aa0c0f48ec9de96fd4c0df55076f436a60a510ed442","observation_id":"c14f0887-7bdf-4ba3-8f71-ef849b413216","resolution":{"observed_at":"2026-05-19T03:32:57.809673Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Since ν | oL =P P ∈supp(ν) ν(P )δP |OL, by Corollary 3, we have µ | oL ⇝ ν | oL ⇝ ν′ := X P ∈ψL∩supp(ν) ν(P )(ρP | δω) + X P ∈ψL∩supp(ν) ν(P )δP |OL","venue":null,"work_id":"262519f6-e1fa-40de-a2a0-26140c95063f","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:f770017ac93a80702d9979f8b5abe2db19bba75612c9f9fcbd63ebb982b279a1","observation_id":"f8348804-a2b6-4d86-81bf-fabf26e667c7","resolution":{"observed_at":"2026-05-19T03:32:57.781858Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"777fbdc6-9e18-47e7-9215-2b94c3881a0e","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:1f0cd5cb76843fc698d49a5b38dc993abef654337928cdd05bcc492caaf37e6a","observation_id":"4f1511d8-2f52-44cd-ae5d-31e5ff76be94","resolution":{"observed_at":"2026-05-19T03:32:57.832005Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Therefore, sup OQ ω = 1 for any Q ∈ ψL","venue":null,"work_id":"8fc23de5-b65f-41a2-98af-8b56e5840ac4","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:3e239a6f9d7b1bf150510a0205a563325f5791ed565103359dcec5fefdfc2349","observation_id":"5c904724-fb1b-49a7-8a64-52b34c1d0df4","resolution":{"observed_at":"2026-05-19T03:32:57.814311Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Since L must be finite, by Lemma 14, we have χmay L (µ1) = χmay ω (µ1 | oL) = χmay ω (µ2 | oL) = χmay L (µ2)","venue":null,"work_id":"b89817c8-2bdd-4e03-aa5a-ab78dfa5240f","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:2db4036285a51f8b888231d99e93f90647556b201e75bd3cb778ca18094d1016","observation_id":"8b725129-7736-4fb6-b846-8b2a3705016f","resolution":{"observed_at":"2026-05-19T03:32:57.865370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"(A.18) Therefore, the equivalence = D fair is probabilistically strongly equipollent","venue":null,"work_id":"1707280b-75b4-4006-b959-3527eb765d69","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:22872f6d8cea49a52acf6b298cc6e2c5d369c03e4ae29aacc68376d55c3697ed","observation_id":"25e2f211-397f-48ff-96a1-2e07d2c91415","resolution":{"observed_at":"2026-05-19T03:32:02.778771Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"For any µ1, µ2 such that µ1 R◦ µ2, we assume that µ1 = ϑ P i∈I ai.P1,i and µ2 = ϑ P i∈I ai.P2,i , where ϑ is a 1-ary distribution containing only one occurrence of X","venue":null,"work_id":"72570235-5092-476c-980d-6f5f70b96c28","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:c41cd9ccbcc5f0b0a24fff4953aabd7dbefe838e706802d56244f014355e7823","observation_id":"9f14c710-7038-4f79-874c-961670bb9816","resolution":{"observed_at":"2026-05-19T03:32:57.761457Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Note that δL i∈I pi.Pi τ − − →P i∈I piδPi and we have proved that =p ♢ is preserved by convex combinations","venue":null,"work_id":"9e3fb81c-c55c-4054-9ab9-bc73ac97f660","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:11fe6e4bebcd71a41db2468751256e591379cd1d3885a80ff8f11486436529d1","observation_id":"ec13a270-50c2-491a-987c-792756ed48d6","resolution":{"observed_at":"2026-05-19T03:32:02.775879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ebd77c18-f183-40e5-a50f-22d31f32b98d","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:2571e8e3ea97c0ad42b6146ff19462bb255fe93a0fde0583b0d3e572227599da","observation_id":"b98fdc30-e2e8-4ab7-be61-c678343021f8","resolution":{"observed_at":"2026-05-19T03:32:57.772130Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Proof of claim","venue":null,"work_id":"7ba2bf45-3c1a-4b97-a1cd-725e80b8e3da","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:4c27cdf2c393b8af04ac2040d825113e04dd9a4e36eb2ce9291e5aa23afb3368","observation_id":"f76942e7-7a16-491a-a8de-e8e9df8760c2","resolution":{"observed_at":"2026-05-19T03:32:57.738991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Then ν1 = ϑ[µX.τ.S ]","venue":null,"work_id":"3d355213-ec9e-4db0-9c7e-5762014f2f5a","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:ad6f1b147fef34703d843e1727815276be5f96cba0bd39211d907547e780cb63","observation_id":"6540d4df-f587-4c7d-8762-35ac6c8dbbb5","resolution":{"observed_at":"2026-05-19T03:32:02.781498Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"By statement (1), we can w.l.o.g","venue":null,"work_id":"41d6eb32-57e0-4eb7-a11d-d116d1dca6de","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:df1a63ab67bb75f52d023f84bdda253a8fa80f08276fd029d70d5c7259010e38","observation_id":"2367c06d-c276-4901-834c-8725c7eae727","resolution":{"observed_at":"2026-05-19T03:32:02.764545Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"96c764ff-10b6-46a6-ae92-663f37e5a6f8","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:b6da2e2eeed7dc62b1944b5e499d5d7a475eed291b4912725cd3a3a7d283a81a","observation_id":"a5528cd6-5e48-4241-9c00-1cf0e15897ad","resolution":{"observed_at":"2026-05-19T03:32:57.757759Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2ceeca2f-8a8a-43ab-9de4-6d873bac2378","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:f978e50b8906a798e6e81ef8e63ca84b8307a8825e9626377dd3eb8105917d73","observation_id":"16965542-74c4-47b5-a96a-aef4b2e0a57e","resolution":{"observed_at":"2026-05-19T03:32:57.768589Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Therefore, for any transition sequence ϑ[µX.T ] τ k − − →ν1, we can prove by induction on k that ν1(ψL) ≤ χmay L (ϑ[µX.τ.T ])","venue":null,"work_id":"d540e695-069e-413c-bf3f-7506185f0a45","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:58b6a7f6326a14027648ba4a9979b8535cfed2e8cef319a9c27e623f8b2ce1c1","observation_id":"3b3e5cc8-5424-4bc5-a999-db73a567c3b5","resolution":{"observed_at":"2026-05-19T03:32:57.764882Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Now we see that δP ′(ψL) = 1 for some transition sequence δP ⇝ δP ′, and thus χmay L (P ) = 1","venue":null,"work_id":"c832cc43-91e8-4d84-84f2-bd26020c9c1a","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:e8e18f6efbcb4945e7781331d5e35430cba4fd7273347065436de352cbd0c44f","observation_id":"7504999c-8444-40fd-8404-9950815bef54","resolution":{"observed_at":"2026-05-19T03:32:02.787666Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Consider any transition sequence δP ⇝ ν with witness π, we can prove that supp(ν) ⊆ Reachτ(P ) by induction on the length of π","venue":null,"work_id":"ec7c9ce2-8b7a-43af-afcc-556e23358f83","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:fd873f9389c4ead7c376b4f22ad4e93ad8e9413f097e4b4f95e155e40ebee05f","observation_id":"7f285150-8d84-4803-a28f-1651b5642474","resolution":{"observed_at":"2026-05-19T03:32:02.773091Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"According to the above conclusion, χmay L (P ′) = 1 for all P ′ for all P ′ ∈ Reachτ(P )","venue":null,"work_id":"2ba69480-64bf-4867-9e4d-27f31415e6fe","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:ff3ad918cdcd3abcd440dbec99cc8bc6bca3e7f03012ce8acea23606e710986e","observation_id":"4b11cda8-64d1-44a5-9ae8-8d8e06f52655","resolution":{"observed_at":"2026-05-19T03:32:02.762006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"By our first equality, we have χmay L (P ′) = 0","venue":null,"work_id":"e1c6862e-f1fd-48a7-be3b-30e8b6a46509","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:ab9c7d077662416bf48fcb0ef3f97a87b31409569f908c06525a14b6655be777","observation_id":"111db647-18db-42b9-9532-2a7c86d0f67f","resolution":{"observed_at":"2026-05-19T03:32:02.759262Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1cd49ba0-f0a3-40dd-b5d9-59c3d1463b9a","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:a298b3fa1464fc6dd9bf328ab2d1ade6b3e9f9ece33ce591409e810283d8d40f","observation_id":"be7c9f86-16d4-4d57-b69c-da16a331a4ea","resolution":{"observed_at":"2026-05-19T03:32:57.735331Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"By Lemma 23, we can deduce that (=∆ ♢ )↾CCS is an extensional, equipollent relation onPCCS, which is contained in = ♢","venue":null,"work_id":"e914cb55-69f3-45a9-bf86-dd02c8266eca","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:32251afc56fd29e5e9bbbec74bfb88908dc026d3be83a2c63950e493737e6f64","observation_id":"c5427e2c-d62e-4320-a02b-b6679ba5d7ce","resolution":{"observed_at":"2026-05-19T03:32:57.743164Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"By the definition of = may and Lemma 25, we have χmay ω (δP | o) = χmay ω (P | O) = χmay ω (Q | O) = χmay ω (δQ | o)","venue":null,"work_id":"86def45c-9363-4eef-b134-8b78794af6de","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:92f5469c69537390773f09f86c43eb1251e6e9d0358bf7f12c40f9fb13c3984e","observation_id":"8051d312-68be-49a3-9a64-5aafe22a8b53","resolution":{"observed_at":"2026-05-19T03:32:57.750454Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"By Lemma 25, P =may Q and thus (=∆ may)↾CCS ⊆=may","venue":null,"work_id":"3d3d6f2e-ddff-4045-b877-fb3b1fb6e273","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:8f1946b930383fc9ce1d9eee14268862b8f6189be95ebd4362c4227ef0e0595d","observation_id":"f8d66d4d-73db-4114-bd8d-51d485557a69","resolution":{"observed_at":"2026-05-19T03:32:57.747034Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Since µ1 ≈p µ2 , µ1(C) = µ2(C) holds for all C ∈ P RCCS / ≈p (see Definition 3), which implies that |µ2 − µ1|≈p = 0","venue":null,"work_id":"11b16cf4-a153-4f6f-9544-3a1105145942","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:bbd6938597db9a0673e7ce6e1ac6e084e558f146b0666ed86d2ffd013412d392","observation_id":"f90a87b4-4be3-4c19-aa75-36e95dffabd6","resolution":{"observed_at":"2026-05-19T03:32:57.753933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"When |π1| = k + 1, we can divide the transition sequence into µ1 π′ 1 − − →ν′ 1 τ − − →ν1, where π1 = π′ 1 ◦ τ and π′ 1 is a degenerate witness","venue":null,"work_id":"67af4c19-4b45-4c45-ae1f-ef70f4eac785","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:64519ebbc5e8b0112b46ab6de7973213848258f24e503bce8160cab0b2dcb153","observation_id":"e0533f40-01e9-45b1-a972-a4b29cc5d936","resolution":{"observed_at":"2026-05-19T03:32:02.796381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Since |ν′ 2 − ν′ 1|≈p ≤ ϵ, we have |ν′ 2([P ]) − ν′ 1([P ])| ≤ ϵ","venue":null,"work_id":"6ddda15b-a2ab-43c9-8186-f8f5cac21a7e","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:539a1d473989b8a58517057cff203e4206b0c55a068f02919186347274953d1d","observation_id":"218aeb80-d441-4856-9729-7b52cbb9e27f","resolution":{"observed_at":"2026-05-19T03:32:02.793205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Now consider any process Q ∈ {Q1, · · · , Qm}","venue":null,"work_id":"021dea34-e909-401b-9608-eb3351b24ab3","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:6f685087e98ac0fbd7d05d459b2fc41d5e290b2a0f8dd35faa7fe29b94735787","observation_id":"2904c8d8-1024-409f-876d-287d8d6d03a6","resolution":{"observed_at":"2026-05-19T03:32:02.790483Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Then P2 | Q α =⇒c µ2 := δP2 | ρ","venue":null,"work_id":"2b0d68d2-9eca-4b23-8805-fd1171b7d339","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:ad214c99fbd9031fe9d2d5d28006349117f14cd2be287005809c9ca993efce01","observation_id":"da4f6a7a-f736-4a3e-8751-2e3b0da54de0","resolution":{"observed_at":"2026-05-19T03:32:02.784678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Since P1 ≈p P2, there exists ρ2 ∈ D(PRCCS) such that P2 α =⇒c ρ2 and ρ1 ≈p ρ2","venue":null,"work_id":"67678c57-760c-451d-83d9-db0f434800f6","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:3dee46b9e0bdbd2c5cd235bded64a35cc0de00503ee2a7b7484f9a614cf5f8d3","observation_id":"ceff5162-7d67-420d-a091-aea0fa0ac9bf","resolution":{"observed_at":"2026-05-19T03:32:02.770375Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Since P1 ≈p P2, there exists ρ2 ∈ D(PRCCS) such that P2 ℓ =⇒c ρ2 and ρ1 (≈p)† ρ2","venue":null,"work_id":"69108d6e-885a-4c7d-8433-756570f26f9a","year":null},"citing_paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-05-19T03:27:38.759910Z"},"links":{"citing_paper":"/paper/2507.19886"},"observation_digest":"sha256:a23431ed671562d4358d2cc592cbbcb6a9e698922b1774b9bf752751ba8d2d84","observation_id":"2de8790f-83a1-452d-802a-e14c0c57fd01","resolution":{"observed_at":"2026-05-19T03:32:02.767267Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.19886","last_updated":"2026-04-07T15:15:36Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-07-06T22:03:15.296567Z","submitted_at":"2025-07-26T09:35:40Z","title":"A Unifying Approach to Probabilistic Testing Equivalences"},"reference_resolution":{"displayed":78,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":21,"verified_fuzzy":43},"total_outbound_references":78},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 78 of 78 outbound references and 0 inbound Pith citation observations for arXiv:2507.19886."}