{"as_of":"2026-08-09T21:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:20d4db97390f51bea20775002dbabbeda290ac504b92033ecc1bebda852ae9e3","coverage":[{"denominator":67,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":67,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T02:16:17.935200Z","state":"measured"},{"denominator":67,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":67,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2607.14420/citation-record","integrity":"/paper/2607.14420/integrity","json":"/paper/2607.14420/citation-record.json","paper":"/paper/2607.14420"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:12.458509Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:12.458509Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:6ce6f0ae5f5741e5ba0db0d9c59e90a16750043668ba9a690cb284991c68c78d","observation_id":"46c10ba4-49fa-4e53-b22f-e90b8606ad6c","resolution":{"observed_at":"2026-08-02T02:16:12.458509Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:12.718592Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:12.718592Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:753b3c2f84d87317750f220ebd63151efd21a01b201a77835bea366380bafe24","observation_id":"1b623bb9-ec06-4fb1-bf71-60f66d3f4e42","resolution":{"observed_at":"2026-08-02T02:16:12.718592Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:12.992279Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:12.992279Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:d857479ae7c0452dcb86454c6ddcc71ff415fb0ce5832b10a3a32cbad4ed457d","observation_id":"2b5688bc-7abc-4526-b7b1-8f4445d07576","resolution":{"observed_at":"2026-08-02T02:16:12.992279Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:13.068104Z","title":"Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:13.068104Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:9fa4d936ac3129db6e3c0bb934b1d616cabf58c784cc20da7a1ff7f3247b9bbc","observation_id":"ddae0197-9be6-46de-a21c-a65b9d72bef1","resolution":{"observed_at":"2026-08-02T02:16:13.068104Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:13.143861Z","title":"Iris Bahar, Erica A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:13.143861Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:c9402f430af006e69efbe218fe6a5f1bdfc90d5060cc0d5a2ed2c7be49cb47dd","observation_id":"9ce96e19-fec1-4423-ad44-a9330c071e96","resolution":{"observed_at":"2026-08-02T02:16:13.143861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:13.274421Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:13.274421Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:17d45438a17095318031ddbf04facbcc4cd8fa02ce43041f50f265775665ac63","observation_id":"93b9e2b6-7c22-44b9-8d2f-bc5a8d5d9a17","resolution":{"observed_at":"2026-08-02T02:16:13.274421Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.15261","last_updated":"2026-05-21T04:26:09Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:37:04Z","title":"RNG: Flat Datacenter Networks at Scale","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.15261","snapshot_observed_at":"2026-08-02T02:16:13.360524Z","title":"Seshadhri, Enrico Carlesso, Chinchu Merine Joseph, Saurabh Kumar, Pavan Manikonda, Luiza Popa, Randy Ram, Steven Robinson, and Elizabeth Tennent","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:13.360524Z"},"links":{"cited_paper":"/paper/2604.15261","citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:67d01f4272a1dd7fb1d7e994fc199eb97f0a99108395781dc4cfcbd43c8eed6a","observation_id":"fa445f6e-5e49-4cd7-8d83-6086aaf687c7","resolution":{"observed_at":"2026-08-02T02:16:13.360524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-89982-2_73","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"014358f5-28f6-41d7-9b80-4643d20795d3","year":2008},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:13.479088Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:d2d1dfd5e1f237040964d6f47f243d29b4755115216156d6e460501ca2730d92","observation_id":"1e1ca49e-5e68-4a58-a512-86d993aac957","resolution":{"observed_at":"2026-08-02T02:18:34.502104Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:13.960001Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:13.960001Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:7043cf1eca0ce313a945a0a596307a70014a2a702903b84ad5bdc5534717e353","observation_id":"368c4b31-fd50-427a-9a80-ca694effacb8","resolution":{"observed_at":"2026-08-02T02:16:13.960001Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:14.161017Z","title":"Daggitt, Alexander J","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:14.161017Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:8e6c98c21050e14da27c09a95505ca6e13923aa44c2c7b7ff49965b4a8f621c9","observation_id":"386a9859-5962-4bb8-a39c-ba2f0c8ee5e1","resolution":{"observed_at":"2026-08-02T02:16:14.161017Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:14.368935Z","title":"Dannert, Erich Grädel, Matthias Naaf, and Val Tannen","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:14.368935Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:1443d096beb0221f8aef161099762332ef5684113f4e9a8aa82d9bb03bb6a770","observation_id":"825bebfc-ab51-40e8-9507-3bd791e0134c","resolution":{"observed_at":"2026-08-02T02:16:14.368935Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/net.22174","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Networks","work_id":"d1fdb070-ffe5-468a-a049-84b2a186460b","year":2023},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:14.515391Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:3e283cbd253c279e15e35acef399dc2a38f6797d8245635ba5f7dafaa008688d","observation_id":"a2752b63-3f74-4180-b41d-53cf5f241343","resolution":{"observed_at":"2026-08-02T02:18:34.226192Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:14.604035Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:14.604035Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:a7ddbf6bfb679961375f0aff472f98c4d92a6eda296114fc29b9adce2d543e68","observation_id":"1c33c023-9387-43d7-8a88-bdc61f29139d","resolution":{"observed_at":"2026-08-02T02:16:14.604035Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:14.634530Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:14.634530Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:7dd0ba3dc3e4c998aaca798d0a3ba7a5010ade87ec92e5d39f30fa59d0f8f66b","observation_id":"80dea7c2-2f39-4a22-b451-9163f5c6ff02","resolution":{"observed_at":"2026-08-02T02:16:14.634530Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:14.684442Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:14.684442Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:ae52388848f4d44518dbc7f03f20cdf0c97c7e8d7dc5faec02b3819451ed5139","observation_id":"7017eed1-5b2c-4e46-ab77-c28533020c06","resolution":{"observed_at":"2026-08-02T02:16:14.684442Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-85780-8_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"9b246769-859a-4db5-96f0-67fb8c65b179","year":2008},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:14.809302Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:74fa55766d5e046fd5adc3dd6b0989bb1cb75d534598080f2b00a110c1617645","observation_id":"24322e01-5b3c-419a-95bb-6fd67ed4a0d8","resolution":{"observed_at":"2026-08-02T02:18:33.901945Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:14.918592Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:14.918592Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:47196a2627ea4f5e47071e1e357747292f397de4841b187f6c6d5ef3495011bd","observation_id":"54c8d326-94d3-4954-9f5b-8a4a5f004e82","resolution":{"observed_at":"2026-08-02T02:16:14.918592Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:15.091764Z","title":"Kwiatkowska, Moshe Y","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:15.091764Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:c0cab4300e3a8de0af19111771d43b9b74407da8617d1632e8cf85fb4641159c","observation_id":"fe62e8f2-0ea5-4d4f-8ab8-479a85c53a54","resolution":{"observed_at":"2026-08-02T02:16:15.091764Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:15.201879Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:15.201879Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:e3623fed98fb11e2bbb509e3b0cccbe37b0e773db9492b5290fc26ed877720bd","observation_id":"8ecf3fc7-1b96-4493-a81f-0a0d23826add","resolution":{"observed_at":"2026-08-02T02:16:15.201879Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:15.380340Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:15.380340Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:d516c30e687a5ee7e10e3fea4486db9e855e575d5b6fded445e04eae0354b5db","observation_id":"a37c5cd0-8b8a-4a5b-af89-405eaa6e9453","resolution":{"observed_at":"2026-08-02T02:16:15.380340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:15.730669Z","title":"Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:15.730669Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:462a9b88ccb3a8d749edebf9a9f5d0b32d3aecf5624311614db19791f352019e","observation_id":"81a2ad47-046e-4f98-8a7e-305747462749","resolution":{"observed_at":"2026-08-02T02:16:15.730669Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:15.917543Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:15.917543Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:8833f85f3862c52671773d76e1ae71e0e9f14d55425d108565f1884ebea32692","observation_id":"f9d02424-6c2d-4032-a80e-2a72412306c9","resolution":{"observed_at":"2026-08-02T02:16:15.917543Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:16.104519Z","title":"McGeer, and Jerry Chih-Yuan Yang","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:16.104519Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:1bd18c5f9b6f7e1ba7cae2527776dc7451cb381b2bb57eb681a2377ecd60e679","observation_id":"4db3a974-1243-4aa7-8d58-c4b7f43bc89d","resolution":{"observed_at":"2026-08-02T02:16:16.104519Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:16.271062Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:16.271062Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:1798385f350e3377f0b7907ccb4251c2c02885e2a4782a1721f6b9cff62b0270","observation_id":"0162f556-0b04-4f8b-92e1-bbb3af4cc2bf","resolution":{"observed_at":"2026-08-02T02:16:16.271062Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:16.414349Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:16.414349Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:5f4b90ab921368746297581c39fa14d3af6b7ccc1ab60da1ecd1d3841dfb0d9b","observation_id":"7ae05bad-be4e-48f0-bca0-a8b6bf7cc77a","resolution":{"observed_at":"2026-08-02T02:16:16.414349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:16.571085Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:16.571085Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:a89f89a4071fff9ec78b2b6cab5680b032553c51c3bd6424ea9a2c38b7465a84","observation_id":"014efc98-108c-4f84-b8ff-eac9aef08da6","resolution":{"observed_at":"2026-08-02T02:16:16.571085Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-0-387-75450-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2008.Graphs, Dioids and Semirings: New Models and Algorithms","venue":null,"work_id":"462cd249-475b-41bf-9b11-08494e3b9014","year":2008},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:16.740994Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:d543a573a4598c6349a5a10ea4e882c3ddedf04dc935c96ad361ad4ed2963509","observation_id":"33e6d12d-744a-4dea-8ee7-06da5fc1ec92","resolution":{"observed_at":"2026-08-02T02:18:33.677645Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:16.853501Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:16.853501Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:bd894c82c515b308a350745e5c1d71fe9a7c3479d1acd77f2f55254a914e176c","observation_id":"5b9b4123-f3b2-4fd3-a3bd-e7f0b32aae09","resolution":{"observed_at":"2026-08-02T02:16:16.853501Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:16.956504Z","title":"Green, Grigoris Karvounarakis, and Val Tannen","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:16.956504Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:579a336c4fe32113a7088ab4067d8f56c30ca87f565cf74e2c7bb29b8c72c22f","observation_id":"6c8e87dd-5c99-465a-ae49-e577ece6ca75","resolution":{"observed_at":"2026-08-02T02:16:16.956504Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.117338Z","title":"Griffin and João L","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.117338Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:1c94d790f4b7b18dacc677346e48b65732a6f326cf5c7f7fae2e17257ca5f5ce","observation_id":"72a1057b-308b-46a0-aa71-cd6fde671eb8","resolution":{"observed_at":"2026-08-02T02:16:17.117338Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.07080","last_updated":"2020-10-06T19:43:24Z","snapshot_observed_at":"2026-08-04T20:59:46.406830Z","submitted_at":"2020-02-17T17:19:40Z","title":"The Probabilistic Model Checker Storm","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.07080","snapshot_observed_at":"2026-08-02T02:16:17.277629Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.277629Z"},"links":{"cited_paper":"/paper/2002.07080","citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:71d52d98a1e04d7002107e3e195298e235d3be04827b8510481794900a6a355c","observation_id":"f87756f8-fc7a-4c5e-b0d0-c9916f06394d","resolution":{"observed_at":"2026-08-02T02:16:17.277629Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.420504Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.420504Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:065e21dbc263344341af1b6633bb4dc74e8d1f43f5f63260e7cd2efae53fdebb","observation_id":"f4b21130-ac54-480f-b048-0adfd04e00b8","resolution":{"observed_at":"2026-08-02T02:16:17.420504Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.500191Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.500191Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:3893b734817f851bf6331b7b90301d9c0f5270c7eebceed6a8f0ede5e0dad865","observation_id":"d4e1d9f0-8620-4401-bf3c-3f64073c88fc","resolution":{"observed_at":"2026-08-02T02:16:17.500191Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.587683Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.587683Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:18f081c0a5231c63f60e6e52ac183c6c94a8edf031e4b269d424802e12b01ebe","observation_id":"ce6b9053-8b27-4e1c-9836-60bd6754e712","resolution":{"observed_at":"2026-08-02T02:16:17.587683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.596237Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.596237Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:9ffdd17755d00c8ed7f172d484301565ad694368c30d43c8d6f65aa2310fcbf6","observation_id":"a6f28b48-eff7-4af0-831e-b2d5262754dd","resolution":{"observed_at":"2026-08-02T02:16:17.596237Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.739884Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.739884Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:37eabb4bcc6025b71b28957d7d89308ca5bef800627196dc423775175c71f551","observation_id":"9671eaa1-5c69-4c8e-8639-b12e14f4fde5","resolution":{"observed_at":"2026-08-02T02:16:17.739884Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.841128Z","title":"Brighten Godfrey","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.841128Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:d92b4b087f00d449531221001a8647b004b39f026eecb80e131e21716ee8c6cb","observation_id":"c3f494a9-1b16-4bd7-9b83-2baba265f713","resolution":{"observed_at":"2026-08-02T02:16:17.841128Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2011.11100","last_updated":"2021-06-09T04:04:19Z","snapshot_observed_at":"2026-08-07T05:08:28.720719Z","submitted_at":"2020-11-22T20:39:55Z","title":"Coulomb Correlation and Information Entropies in Confined Helium-Like Atoms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2011.11100","snapshot_observed_at":"2026-08-02T02:16:17.862267Z","title":"Nguyen, Nickolas Falkner, Rhys Bowden, and Matthew Roughan","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.862267Z"},"links":{"cited_paper":"/paper/2011.11100","citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:f57773604a5f6fc794bba38adac19d0283a842b80c7213914d30a3d2187763e3","observation_id":"3831ad85-c4f2-4960-a9fb-40d04dfd989c","resolution":{"observed_at":"2026-08-02T02:16:17.862267Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.865109Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.865109Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:f9d7312290238d8ebda8e360a36df3ff9b17576ab3b078fb4ab546025bf0eeb8","observation_id":"6016bbc4-43d7-4f57-bedf-09ec7bd20543","resolution":{"observed_at":"2026-08-02T02:16:17.865109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(91)90147-t","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Theoretical Computer Science","work_id":"f3384450-b9ab-4059-bbee-ee41d3d6e57b","year":1991},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.867534Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:5a3613bd86e7aa0ba4b94a19c9dc9c104d8970592f013edb0259a9235c7c7742","observation_id":"dbfb18d3-a89f-4f15-8702-6bcc87027bd2","resolution":{"observed_at":"2026-08-02T02:18:33.476190Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.870885Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.870885Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:c89acdae4c05db6bba2c4f08ad984e9fd6e79116a2ba8b86590416b752a792a5","observation_id":"a3a1f723-23b6-4777-873b-622a18e5f05d","resolution":{"observed_at":"2026-08-02T02:16:17.870885Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.873357Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.873357Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:bddd95d45e7c22cc723687ffbe6cfa163912a4d8e4884d32619569df256a072c","observation_id":"65b5624e-aacb-4e6c-9765-319d794d99dc","resolution":{"observed_at":"2026-08-02T02:16:17.873357Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-17511-4_19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"e518ee7a-d6af-4ff3-8011-c5979cac2886","year":2010},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.875809Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:8f357036bf891da4764346ff131d29749b1db4c558b552e934b49c3bf389363a","observation_id":"19bbc681-126e-4503-8493-0a38c4d5257d","resolution":{"observed_at":"2026-08-02T02:18:33.339606Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-45318-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2001.Network Calculus: A Theory of Deterministic Queuing Systems for the Internet","venue":null,"work_id":"5b580194-e5cc-4228-a704-6a88837c5443","year":2001},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.878580Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:acf77d3ca44b8bcf257f28888a2a0baf94c675482bdac312244da091d9f16e1b","observation_id":"4a341e3f-db2f-4f66-8bc5-9329d42ca144","resolution":{"observed_at":"2026-08-02T02:18:33.071144Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.880963Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.880963Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:6c67e00927793050b78cbb88f654c2da3a75b4d1867f16d5e95286aad1d4a8c5","observation_id":"771da6f8-9b01-4e2b-98d1-d14a50484629","resolution":{"observed_at":"2026-08-02T02:16:17.880963Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3336/gm.55.1.12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Glasnik Matematicki","work_id":"8f615ac0-442e-437b-a391-24022bf5e9fd","year":2020},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.886490Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:f8022454fb0d0c46bf2060cb799124bee664fabf70e903012f59747db128f9aa","observation_id":"f7d6e153-6009-4ae3-a059-c41424dee22a","resolution":{"observed_at":"2026-08-02T02:18:32.715487Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.889308Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.889308Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:d1d8de04ccdadb964a207e7587e51d3669c7e9a76d48172b024b8473f25fbde4","observation_id":"15c7dcbc-0928-4b3c-85e7-55185f97cbca","resolution":{"observed_at":"2026-08-02T02:16:17.889308Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.892106Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.892106Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:78356b617e5c86b36c029c6872bd3c19f93a8d7168686b58804d148b745d72ae","observation_id":"06c88ddd-be87-4330-838e-77987270648b","resolution":{"observed_at":"2026-08-02T02:16:17.892106Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.894462Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.894462Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:f436c6b02dee6043e4c32fc1f3f2543184b537271f77ef833e04b1639ae14bf3","observation_id":"a7506425-5bb2-4143-beb9-d0f7adedbf35","resolution":{"observed_at":"2026-08-02T02:16:17.894462Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.899894Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.899894Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:0031e5ccf0303b6c1b9ee9e6b5f1ee3a40c7c7a74e7f201d13b3d9f71e0c34d9","observation_id":"5945a5b2-4d5f-4f7e-acdd-730e3747ad0f","resolution":{"observed_at":"2026-08-02T02:16:17.899894Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.902390Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.902390Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:57abc69207b70ba7d7d71b464477e03cc8dc36b54e990f8b0e0e07a474c79262","observation_id":"b6bbad2b-1fdd-49a5-81c7-f393f05e6444","resolution":{"observed_at":"2026-08-02T02:16:17.902390Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.904733Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.904733Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:39a1de0836254b1c8d8fbbe48ba8528ddc43fa2db532b0793e6be08180aa51bd","observation_id":"f529eca7-c447-486f-b74a-537df4a7ab64","resolution":{"observed_at":"2026-08-02T02:16:17.904733Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.907164Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.907164Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:de5fc85c04f5dfc4e7698b6e16aafa4b9731e3ecbb86cd92beca6492bfb6ea01","observation_id":"c0d3080f-2ae7-4faf-8e7b-b0c4a6773a97","resolution":{"observed_at":"2026-08-02T02:16:17.907164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.909982Z","title":"Brighten Godfrey","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.909982Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:052bcf3e8a27bf75f82b937688bbfd75150c4c1d720e178376b4395d6115fca1","observation_id":"dc8da4dd-1251-47d8-9500-8034d9318136","resolution":{"observed_at":"2026-08-02T02:16:17.909982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.912955Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.912955Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:fbeaef21a87aa57cb150ee81b8ae76bb94d9887f573db1a6614e39708054a3a5","observation_id":"807874c5-1f01-439a-90e2-ca04084d7aa9","resolution":{"observed_at":"2026-08-02T02:16:17.912955Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.915482Z","title":"Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.915482Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:9ce4797902a8ebfe6eb6b37de37c36572ec629057c2122ad651c7c5a3a2b6859","observation_id":"3c6a24ae-c87d-4a61-9a03-bfd125269513","resolution":{"observed_at":"2026-08-02T02:16:17.915482Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.laa.2011.02.055","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Somasundaram and John S","venue":"Linear Algebra and its Applications","work_id":"da7f3ea2-0ce8-49cc-bd9e-45c6b7d2204a","year":2011},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.917761Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:ebe4d9e0191cb87a062855ebf162b99867e2b3e3b0c09baf441020449bc6a909","observation_id":"7b49854a-4e4a-4e5b-9b83-82d64ce3e617","resolution":{"observed_at":"2026-08-02T02:18:32.423403Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.920218Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.920218Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:1f7c0ce96a0b74124ea821907547a718eb91d0ce598d8619eb4c11a8edaa5494","observation_id":"0cf5613a-3571-43da-bc25-b0e686ec4dce","resolution":{"observed_at":"2026-08-02T02:16:17.920218Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.922411Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.922411Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:a1b4b433afa85a2a5f0741b4745e224e5aa02f491dc2739102567f4bc5037525","observation_id":"ade39239-f344-4cfb-8114-04391f25a180","resolution":{"observed_at":"2026-08-02T02:16:17.922411Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.925355Z","title":"2023.Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.925355Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:edb20df655e5403ffc30ecc6d84c939605031acb1c2231b02b8eb87de312bfbd","observation_id":"025ea060-9f4f-48ce-ba00-abc407299326","resolution":{"observed_at":"2026-08-02T02:16:17.925355Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.927622Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.927622Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:93ae3d1fe79566db832634a4320009ae0d02db858d6f42a56536bb91128613e9","observation_id":"73427e29-55e3-41ea-a55f-2ff57e85ef49","resolution":{"observed_at":"2026-08-02T02:16:17.927622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.930241Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.930241Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:6f7a424b5d2b35d2d37852af68277b5c7a9d1035a81e4eedd791ece050486d1d","observation_id":"f563f1f2-77e2-4107-b4cc-f7c7cfa26a71","resolution":{"observed_at":"2026-08-02T02:16:17.930241Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.932554Z","title":null,"venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.932554Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:c201cb1b84de6e7c19b9373ee6095d9141416b0d08c96ef5ca39fbd72ea2206a","observation_id":"1ab47c03-a7a8-4db1-909b-220a11d73f6a","resolution":{"observed_at":"2026-08-02T02:16:17.932554Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.935200Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.935200Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:40004ca294a27acbedb0d6a488d935b7a1642d17cdb373d91b111b74076cfe0c","observation_id":"ac20c747-18dc-4ce8-b4b9-3e72e4a9b8d1","resolution":{"observed_at":"2026-08-02T02:16:17.935200Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:13.209490Z","title":"Des.10, 2/3 (1997), 171–206","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":1997,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:13.209490Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:84092e5c662ebccefa8a739bc772be92c84e38af45392c4f55e986ca55708e1e","observation_id":"f330cbc4-dfc3-47b1-984c-5bdadd1d961b","resolution":{"observed_at":"2026-08-02T02:16:13.209490Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:15.568620Z","title":"In12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:15.568620Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:4f7672476f0b3e7879566fabdf75df0740c1ab7cc221b769c24f246b06374911","observation_id":"4dfa92db-0746-470d-b182-b2b7136f9fd5","resolution":{"observed_at":"2026-08-02T02:16:15.568620Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:16:17.897060Z","title":"InProceedings of the ACM SIGCOMM 2024 Conference(Sydney, NSW, Australia)(ACM SIGCOMM ’24)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-02T02:16:17.897060Z"},"links":{"citing_paper":"/paper/2607.14420"},"observation_digest":"sha256:d14f4df6fd1c451392c004d1abf1b2b57641712a1e5012d067ce292eb7635827","observation_id":"d3265436-d033-4cb0-9ad9-aa84e4bb8c39","resolution":{"observed_at":"2026-08-02T02:16:17.897060Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.14420","last_updated":"2026-07-15T23:15:15Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-09T20:46:05.792781Z","submitted_at":"2026-07-15T23:15:15Z","title":"A Fast Quantitative Analyzer for NetKAT"},"reference_resolution":{"displayed":67,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":55,"verified_exact":9,"verified_fuzzy":0},"total_outbound_references":67},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 67 of 67 outbound references and 0 inbound Pith citation observations for arXiv:2607.14420."}