{"as_of":"2026-08-22T21:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d2f544704e99a7dcec382a995c1b8d8b3f0bb7561e4dbd632b402d31606dcc75","coverage":[{"denominator":64,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":64,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T14:36:44.918483Z","state":"measured"},{"denominator":64,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":64,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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/2501.15325/citation-record","integrity":"/paper/2501.15325/integrity","json":"/paper/2501.15325/citation-record.json","paper":"/paper/2501.15325"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.959622Z","title":"London Mathematical Society Lecture Note Series, Cambridge University Press (1994)","venue":null,"work_id":"8b6d7bdb-3ff2-4029-8749-35cc2b73c228","year":1994},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.663193Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:693e7019977dc89b0337b45a73182e6fb6f4dd682fb025371c7c4447838b110f","observation_id":"7f226a8e-dc6a-4daa-9aea-ca54fd5a78af","resolution":{"observed_at":"2026-08-10T14:36:45.963753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.946917Z","title":"In: STACS","venue":null,"work_id":"50afecca-101c-4ab6-a715-f9ed1e35f9ec","year":1995},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.667817Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:12ff70bfe48958b51d47d1b722ef2e3f73195fa7535779214b0ef80c17b93e69","observation_id":"b9dfa262-5706-4ff3-a6c8-9133ad0ef360","resolution":{"observed_at":"2026-08-10T14:36:45.951167Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0039053","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"In: CONCUR","venue":"Lecture notes in computer science","work_id":"4492fa48-7624-4690-bb6b-366a462e532e","year":1990},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.671946Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:586a749b7579aa50da8601d077551b19ffceb483fad5264c237b7e0a18750309","observation_id":"7b918b58-8a86-4ad9-a3eb-f8c9dca837fb","resolution":{"observed_at":"2026-08-10T14:36:45.116745Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T14:36:44.676277Z","title":"In: CALCO","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.676277Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:4af4bd3c07227bdcf5ff62758d03abcb3d42189fcbb423ee9dab36fd11c891f1","observation_id":"99e4987d-a356-4d27-a108-1e1fb92a3df6","resolution":{"observed_at":"2026-08-10T14:36:44.676277Z","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-10T14:36:44.681143Z","title":"In: LICS","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.681143Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:2fc1dfc9a25810279664509bdf9c9f2db7a07adae43df575bc0df98d12bb8db1","observation_id":"fa0b54dd-3c20-436d-a534-a543434f20d6","resolution":{"observed_at":"2026-08-10T14:36:44.681143Z","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-10T14:36:44.685292Z","title":"In: LICS","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.685292Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:66ad065bd50486869fe1af56435448c9ccb8d6c08f9bc90b3375ecee3ee55fc8","observation_id":"0feb12c3-804b-412e-aaf0-9c5ad3173d02","resolution":{"observed_at":"2026-08-10T14:36:44.685292Z","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-10T14:36:44.689686Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.689686Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:304839e158cb25c5b295b50a69f00dad77ae5e7a965a7852b1d57c56f3b55654","observation_id":"64ee43f6-c934-441f-8c2c-9ae3912c66b3","resolution":{"observed_at":"2026-08-10T14:36:44.689686Z","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-10T14:36:44.693572Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.693572Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:a46e0a396cb2cc870027a30067e64ea6a330eaf8a644feea35d029fa1260ab77","observation_id":"9f7d927f-44d7-467d-bcaa-b8af8b5490d0","resolution":{"observed_at":"2026-08-10T14:36:44.693572Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.934105Z","title":"In: ESOP","venue":null,"work_id":"220f473c-ee21-4fa9-9abe-51d7deea515d","year":2023},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.697490Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:20aae0c91f4e2e1a838e895cb2fc0250eff0e4e14622c2babda2b3f0ee3d4f59","observation_id":"1b4f92b3-1253-4f11-83d7-b4805afab890","resolution":{"observed_at":"2026-08-10T14:36:45.938233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.23638/lmcs-13(1:","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.066629Z","title":null,"venue":null,"work_id":"df75c740-d6ca-4b2b-9970-a52e3a069fd9","year":2017},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.701573Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:5b30ac2a883d4fc3243c86402437b936a61ed96a2602a0952f0a0afee1cf248f","observation_id":"f458b322-7a44-45fd-856f-1dd411fb1898","resolution":{"observed_at":"2026-08-10T14:36:45.070801Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.921509Z","title":"Automata studies 34, 3–41 (1956)","venue":null,"work_id":"6fcb6080-06ba-4867-9b5b-5c8121138626","year":1956},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.705515Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:22a2ffcad87df5d6726e4f6ee385ef52ef5b0732d1c852e37d5a4c97ac98642f","observation_id":"aecb81d9-dfe1-4690-a545-9f41dab45640","resolution":{"observed_at":"2026-08-10T14:36:45.925691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T14:36:44.709690Z","title":"ACM Trans","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.709690Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:6d4c26f5261ff1bd5ae12380c1af300eb6bcae84e2b68782f7e12a51f7b315a5","observation_id":"40eee4eb-54be-4bae-a644-b823f2bf6a83","resolution":{"observed_at":"2026-08-10T14:36:44.709690Z","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-10T14:36:44.713539Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.713539Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:f2fb14876c7960905dc6a7a80dc5e2c9a66943ac206585395f28990779fca38b","observation_id":"0b997f58-f95e-41da-90d6-e38e254d28a4","resolution":{"observed_at":"2026-08-10T14:36:44.713539Z","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-10T14:36:44.717441Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.717441Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:9fdd234c567e4c94ee891550320d018172267793c87a3aeac68b24d7b3b68ac1","observation_id":"a654317b-4880-49a2-8b4c-90689b96d768","resolution":{"observed_at":"2026-08-10T14:36:44.717441Z","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-10T14:36:44.721319Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.721319Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:4a8cd1c4e4238a767affc45da914381e1851e8d226c1d17938f835fe67fa3f7d","observation_id":"1aa72efe-2d5b-4c0c-ad38-3646b3af454c","resolution":{"observed_at":"2026-08-10T14:36:44.721319Z","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.entcs.2004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.029044Z","title":"In: EXPRESS","venue":null,"work_id":"3649230a-0cf0-4832-b21f-797c1ec22203","year":2003},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.725287Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:68b15427bc49bf66377d1f82fdd6f5f75b7cf8e8a04a003be41d478ffee720e7","observation_id":"e3d3b089-1d36-4a27-a028-979ff3bca67a","resolution":{"observed_at":"2026-08-10T14:36:45.033260Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.908916Z","title":null,"venue":null,"work_id":"3ae0f7d8-9a2c-4660-ba22-4ed3569e1c2f","year":2017},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.729173Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:e6c6f3414939803c4ae4c4171cca0407661c4964940f859a5e1ab23886c2f820","observation_id":"4082052d-d558-4caf-a8da-387f4b0052f0","resolution":{"observed_at":"2026-08-10T14:36:45.912992Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1571-0661(04)80970-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.014367Z","title":"In: MFCS","venue":null,"work_id":"0e867ddd-6b88-404b-871b-e82d7ef7cbd2","year":2001},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.732902Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:dc5ee874c2238cfb2636a8a7d97b590e9d5bd03d110e77e0e5935c4a8c4de62d","observation_id":"2e03cbf3-c672-4333-b9f0-c12e43943129","resolution":{"observed_at":"2026-08-10T14:36:45.019685Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T14:36:44.736788Z","title":"In: FOSSACS","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.736788Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:4e8ed7bdcda82a5c0681d0e2c3b7a0e02a861c65ca6c7b34baeefedd71a60ad4","observation_id":"bfc8eab8-17f6-4b64-a7f9-9f23409157b3","resolution":{"observed_at":"2026-08-10T14:36:44.736788Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.895571Z","title":"Aurora Dover Modern Math Originals, Dover Publications, Inc., Mineola, NY (2016)","venue":null,"work_id":"cc259a32-bf6e-4027-ab23-aff1381e6285","year":2016},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.741028Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:9062a70b55925acc41289c486f376d560c174696fc5b68b111bdd3523b4aad80","observation_id":"dde3bc4b-62fb-462e-89ce-a8b7768e04c1","resolution":{"observed_at":"2026-08-10T14:36:45.900281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T14:36:44.744869Z","title":"In: ICALP","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.744869Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:6df75f8ba522efb2098765c095afc78a0d956bcf1174ed205c14177e3c02daab","observation_id":"4f212bca-7a0e-4f3d-b8e4-7d33e317acd5","resolution":{"observed_at":"2026-08-10T14:36:44.744869Z","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-10T14:36:44.749052Z","title":"In: LICS","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.749052Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:23656fa6d508038eb493fe390c2517027055a76473ad80207f19f0a5b0d85daa","observation_id":"2dde3677-d083-475a-8a13-0010ebb44867","resolution":{"observed_at":"2026-08-10T14:36:44.749052Z","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-10T14:36:44.752909Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.752909Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:addb51baa4455e8a04b4a5c4c477a86e4b195f3f0dc1ea9fc71e00f51fb51254","observation_id":"cad31025-c57c-456f-aa4d-c69d1b900124","resolution":{"observed_at":"2026-08-10T14:36:44.752909Z","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-10T14:36:44.757004Z","title":null,"venue":null,"work_id":null,"year":1966},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.757004Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:4c309a5432a008d65229dacb0ddd23c78e7e11e0461245b30b10310db353595d","observation_id":"b7c1148a-328e-4a89-98bd-141aad88c027","resolution":{"observed_at":"2026-08-10T14:36:44.757004Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.883416Z","title":null,"venue":null,"work_id":"fc422107-b2f5-48e1-8701-1554588041cf","year":2024},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.760912Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:fdde7ba654dd525a8e4f18ec0befed6bfa65dedd96b5b201252274862430b5f3","observation_id":"584cd39e-c3eb-4f59-ab99-2c8fec21ebe3","resolution":{"observed_at":"2026-08-10T14:36:45.887352Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T14:36:44.764895Z","title":"In: ICALP","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.764895Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:01830fb646a96b335f030193194f134404f8273ac5d1ec262190f4f6386a08c2","observation_id":"a2d3a83c-993b-4525-800c-e41677a31158","resolution":{"observed_at":"2026-08-10T14:36:44.764895Z","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-10T14:36:44.768726Z","title":"In: CALCO","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.768726Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:c626e61f0f525dd30ab68bbea7e8e07c0c7226e52afae423171ed37105e4cade","observation_id":"3dde2dbc-ecf8-45a1-871a-8e2bd36b657f","resolution":{"observed_at":"2026-08-10T14:36:44.768726Z","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-10T14:36:44.772939Z","title":"In: ICALP","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.772939Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:648d3e162e6d3787f36ab3112862336871908483ac5877010eba4e6f04121440","observation_id":"9e3bc965-8f4c-40de-963b-2e9fd06371a9","resolution":{"observed_at":"2026-08-10T14:36:44.772939Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.870600Z","title":null,"venue":null,"work_id":"773ba767-944c-4cdb-afb1-eb8a8dfc27a1","year":2020},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.777009Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:3ea3bc500570851442e821f8e9b2ce5ca14727b2ec06eff0e350629543391ddf","observation_id":"6be65620-f534-4fbc-bea6-46eecb5aaa15","resolution":{"observed_at":"2026-08-10T14:36:45.874868Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.858235Z","title":"Journal of Pure and Applied Algebra 219(8), 3110–3148 (2015)","venue":null,"work_id":"e9a41d27-d2c5-4001-89aa-1a85905e8fb1","year":2015},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.780829Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:ba3275b1d58fb3715eb3b58e19dbd374d7def3cc7f38513f733ba75bbc346554","observation_id":"5be9c7ec-5df8-4c3c-b7fc-139034621787","resolution":{"observed_at":"2026-08-10T14:36:45.862463Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.845893Z","title":"In: Proof, Language, and Interaction, Essays in Honour of Robin Milner","venue":null,"work_id":"30c514c1-ffb2-45ac-9936-5bb154cc1ea2","year":2000},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.784845Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:ff307d053e9a37a89049433e805ce76a0e80904b95f5ff3fc56e65954619f8ba","observation_id":"191ffb00-270a-4d15-aa81-e221680943c5","resolution":{"observed_at":"2026-08-10T14:36:45.850234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.833239Z","title":"Institute of Mathe- matics, Polish Academy of Sciences (1974)","venue":null,"work_id":"354109ce-2ca6-4e15-9f05-a6153324c49b","year":1974},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.789020Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:15909bcb27fb6cd25073d22bcd0dabdb25ece81d2d73e3087096552851ba5845","observation_id":"83957e1e-7261-4473-a452-cc3a71b95547","resolution":{"observed_at":"2026-08-10T14:36:45.837437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T14:36:44.793017Z","title":"In: LICS","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.793017Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:c2395b1d9e61e9aac306bf77c95383b2eb99aef6b529a668c681c533d6404573","observation_id":"437505a1-780e-41d9-89e7-a235dfaa3d5b","resolution":{"observed_at":"2026-08-10T14:36:44.793017Z","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-10T14:36:44.796945Z","title":"Mathe- matical Structures in Computer Science16(1), 87–113 (2006).https://doi.org/ 10.1017/S0960129505005074 22 T","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.796945Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:39d03cf4f8aad5d898668e20ac5f82ba6221e92c023a0b1864f1b4f079827fa8","observation_id":"d1130135-a072-4139-a97b-8211dc495868","resolution":{"observed_at":"2026-08-10T14:36:44.796945Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.821274Z","title":"– Let e = e(s) 1 e2","venue":null,"work_id":"e09b4a86-6e6b-478d-a471-3b66a408720e","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.800784Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:1ca04ef49ae663526d9b2dbe2bf90a3a5cf4d623d505bf98296c8183976f7d37","observation_id":"ab09d713-0a53-4dae-bee9-0e54a76f1c30","resolution":{"observed_at":"2026-08-10T14:36:45.825066Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.808316Z","title":", xn) ∈ S∗X, then suppX (tρ) ⊆ {x1,","venue":null,"work_id":"e6fcf900-0742-4e9e-a94a-6bf870acfefd","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.805998Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:233b9f35e4c0568499bbcb5664bce9cf21c5f3ba878c9e9316ce12b0f12928a3","observation_id":"9e4367b7-b8cc-43c9-9ca7-192856096e7e","resolution":{"observed_at":"2026-08-10T14:36:45.812398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.795644Z","title":"If x ∈ supp(tρ 1), then for any t2 such that T |= t1 = t2, x appears in t2 as a variable","venue":null,"work_id":"2de1d7f1-7d4e-4e40-ad8a-1b040661d37c","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.810206Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:fc8f0b984f992439fe6387843fa474c18db5c842dff8fced0587d9797d106d46","observation_id":"03703f58-cb99-4b21-a29b-31ac95e665a3","resolution":{"observed_at":"2026-08-10T14:36:45.800007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.783247Z","title":null,"venue":null,"work_id":"4105daec-a6ed-4bbb-be18-141d3e7f1417","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.814347Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:8266d87058395160ced00e33f854d0dea79a67b6107e4ffb0601c87427716006","observation_id":"96d1c791-3972-46b2-8ae7-bc1434a47e0d","resolution":{"observed_at":"2026-08-10T14:36:45.787129Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.770375Z","title":"A path of the formx1 → x2 → · · · →xn → x1 is called acycle","venue":null,"work_id":"7a8ea591-0e93-4cb1-b98e-a4ac4e731929","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.818416Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:e5781b69da735a3551e98927165fdc1a45c8b8c0b556938347495254f5d1f143","observation_id":"e0876a61-2567-4e2b-8ba3-af192ae79320","resolution":{"observed_at":"2026-08-10T14:36:45.774650Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.757356Z","title":"Without loss of generality, we can assume that we haveh′ 1 = (e(s) 1 e2)g1 · · ·gk, ki = fi(e(s) 1 e2)g1 · · ·gk for e1 → f1 → · · · →✓","venue":null,"work_id":"260a1dc6-ac0c-49b1-98cb-11f133716c71","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.822616Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:d8724cdb883ac2e06e8ae53430eca8b40bac05e539c0b60ee2233bc4b7500811","observation_id":"cc36b6ca-f3a4-4c3d-b5e1-5beeb7957223","resolution":{"observed_at":"2026-08-10T14:36:45.761721Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.742788Z","title":"In this case,e is contained in a simple cycle of the form(11) by taking k = 0, e1 = h1, s = r, and e2 = h2","venue":null,"work_id":"a8e28022-2a11-477a-a247-e7439ebab48a","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.826958Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:ae7490f9db27d69942321e349e03c73359c77ba139fee6f199a7497061e822b9","observation_id":"33319e1b-27ac-47ee-8cf8-5d6a6a63e3c0","resolution":{"observed_at":"2026-08-10T14:36:45.748484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.728706Z","title":"In this case, we must haveh′ 1 → k1 → · · · →km → h′","venue":null,"work_id":"af7ae26a-eb01-4f7c-a8a0-854059d6345f","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.831019Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:046ee03bceb8bfa698f85d30c90d32b08d65176d9553a382dff7a7336419e135","observation_id":"95963c3d-6941-43cf-a2cb-156c57944d2f","resolution":{"observed_at":"2026-08-10T14:36:45.733220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.715144Z","title":"gk and ki = fi(e(s) 1 e2)g1","venue":null,"work_id":"11cd06b8-2d6f-4ea7-8b05-b54a1f850d58","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.834995Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:5785e7bafea6aacb7869509c21f2a432252119747b8845c77eed53bc6440fdc1","observation_id":"d110d25a-8e9e-476a-94e3-7e132619f77f","resolution":{"observed_at":"2026-08-10T14:36:45.719562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.701883Z","title":null,"venue":null,"work_id":"69a4b17a-62ee-44c2-b66a-ddc4a2426d97","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.839310Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:e496e43074b40f8375b4c396da459dac7e8baf0e787a0fb7a56702131e456260","observation_id":"d1de0110-9b94-4521-b379-a24a35b0ac53","resolution":{"observed_at":"2026-08-10T14:36:45.706078Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.689084Z","title":null,"venue":null,"work_id":"dc81124b-3aa5-42e3-90cb-c43c0965c22c","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.843220Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:b1907661cd5fbb58fc2bee9f1483099e88bb01a49058c67a9886c4c73658bcd6","observation_id":"30862133-239e-4862-ba30-e5e230bd6d9e","resolution":{"observed_at":"2026-08-10T14:36:45.693228Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.676476Z","title":null,"venue":null,"work_id":"3c03e7ce-d953-4334-9528-04316d4d59a4","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.847171Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:629dcd003af1e1ef14ec8de4ca48551e4abee953ea171e714f3951bb13e6b31b","observation_id":"ca58c7aa-66b1-4c56-9d67-e1ef8df52a2a","resolution":{"observed_at":"2026-08-10T14:36:45.680493Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.662680Z","title":null,"venue":null,"work_id":"5334211e-e5ad-4f09-a5ee-a5b0bb34b18d","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.850953Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:7e09ee51f0da7242fc88a94f2c5c4dbb3ecd728be3516b29085e4d340dc10c51","observation_id":"fb1c769b-63dc-48be-bf74-2261879f927e","resolution":{"observed_at":"2026-08-10T14:36:45.666806Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.649975Z","title":null,"venue":null,"work_id":"10c96e8b-bcc2-4efa-98bf-9b65a8bccd64","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.854912Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:fd84b89c9249b5267abed9ccd519c9fb2f4640b8867a32e9a34ef1514501f3de","observation_id":"cfdc4855-55f4-49ab-8660-1616cd0eed15","resolution":{"observed_at":"2026-08-10T14:36:45.653917Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.636754Z","title":null,"venue":null,"work_id":"17013718-e563-431d-99ef-13f5ddfa5d33","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.858880Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:67622fcfb4e273c6896586436838fb7c944afd804d9140d270a071ad7cddebb5","observation_id":"785a52e6-0f2f-4386-bdd7-c0bd160ddc9f","resolution":{"observed_at":"2026-08-10T14:36:45.641164Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.623719Z","title":"Define suppX (θ) = {x ∈ X | θ(x) > 0}","venue":null,"work_id":"ed59e967-07e5-4d1c-8e77-bd5c9e073a89","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.862827Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:0fb503807e5e508c7ece63c211c7f7ebfe645591538445196842c0585bdd595f","observation_id":"58ce78c3-c390-4b5f-a8d5-4fb5d3327ab3","resolution":{"observed_at":"2026-08-10T14:36:45.628045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.610815Z","title":"Define suppX (χ) = S α∈At{x ∈ X | χ(α)(x) > 0}","venue":null,"work_id":"448eaadc-07b8-483f-af5a-becf656148bb","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.866593Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:ef84d381b5f8d6f3b6cc75c2f934a7027066a036e7b816489a2bfb5d3dbb51fa","observation_id":"8bbc18ff-6418-4b5a-9068-30f28801db28","resolution":{"observed_at":"2026-08-10T14:36:45.615129Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.597401Z","title":null,"venue":null,"work_id":"a7ae3224-642a-4462-a5f7-d0afe5177edf","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.870665Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:77db034d02294a48b5d18d61199d4e6882cc2c5338ec3b8d0b50032ac65aaec7","observation_id":"36a463d3-d9e7-452e-a802-6cf8e1d72d01","resolution":{"observed_at":"2026-08-10T14:36:45.601640Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.584442Z","title":"Define suppX (U ) = S θ∈U {x ∈ X | θ(x) > 0}","venue":null,"work_id":"86e67487-d8e5-4788-874f-5bc3b36d5bb7","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.874532Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:b34d884c22ec432eb4c163bb1c4ff57f8f94aebb7a6d4dc1a6cf1e7ea2616d26","observation_id":"1c2803ca-69a4-41a3-9c01-7ba970d2a134","resolution":{"observed_at":"2026-08-10T14:36:45.588444Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.572046Z","title":null,"venue":null,"work_id":"9d61bb06-f048-4327-a3cd-6058ce82deea","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.878479Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:ae18104e61ac6daf8c06518e9cebb76ab6a63e1662b693579b83a3fdadb5add1","observation_id":"ce080418-5bdf-4337-80e7-58710b43e106","resolution":{"observed_at":"2026-08-10T14:36:45.576011Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.558589Z","title":null,"venue":null,"work_id":"dd8a049c-2b1d-469c-b9ef-276bdbfecf0e","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.882452Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:7122512460f56d572cf943d665ec93423ecba22e967c09462d8349e196287c92","observation_id":"f1274e75-784b-418c-b6e5-16e7100b574e","resolution":{"observed_at":"2026-08-10T14:36:45.562749Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.545678Z","title":null,"venue":null,"work_id":"e35b7bed-c7a3-49f9-b724-732cd1f375cf","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.886570Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:33b2d4ab17b2968b3999889ef3d565c6f07a01460fc06ad80961e3229dcf264f","observation_id":"147442a1-8f44-4757-a0bb-11c2e9b495e6","resolution":{"observed_at":"2026-08-10T14:36:45.549849Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.532596Z","title":", xi+1, xi,","venue":null,"work_id":"816d40a9-04de-45ac-a670-4dc571d4d8ff","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.890530Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:8f08a481f8da39ff87dc79a25d90c191f3e376bf0149eb12906e1ab24acaebf3","observation_id":"1a96f357-1b3c-4f7f-8da9-75e60ea918a8","resolution":{"observed_at":"2026-08-10T14:36:45.536948Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.519500Z","title":null,"venue":null,"work_id":"8441641c-8807-4681-a8f4-61ce9e387880","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.894580Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:dacfc6add49d9b14d453ae1748e3b02071caaf9ac522aa563145ea302a090766","observation_id":"dc4ba21c-609c-4f7a-88ca-8eef8aded1a9","resolution":{"observed_at":"2026-08-10T14:36:45.523647Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.504864Z","title":", xn), T ⊢ t = t′, and the index ofσ′ in t′ is i + 1; and 40 T","venue":null,"work_id":"0b822a27-2418-4609-996b-e4d1c948770a","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.898606Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:7db914151f44549fd4876aa8ae4d382609f988462acd1436ccc9432100f14d78","observation_id":"e17d8fb6-820c-43a5-955a-ab51ae31e8a9","resolution":{"observed_at":"2026-08-10T14:36:45.509787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.490492Z","title":null,"venue":null,"work_id":"33833665-f0b0-4940-a27e-cd01eb075b3a","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.902777Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:b2d5bcc91b62ea3491bc714d698791eb818be87e3ffc3bec70a023a61cce57ab","observation_id":"5723a452-cb89-4589-ad51-9d46f0b32848","resolution":{"observed_at":"2026-08-10T14:36:45.494643Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.476383Z","title":", xn), T ⊢ t = t′, and the index ofσ′ in t′ is i − 1","venue":null,"work_id":"acfeb026-c2a7-481a-8e38-e0bf1a3c7506","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.906706Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:24a00d624ba74235a908312bcf303328af3878e99eb802eae69850e9e9d57a10","observation_id":"fe82f3c1-2485-4f8c-9cfd-9c8b37d68f1d","resolution":{"observed_at":"2026-08-10T14:36:45.481513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.463262Z","title":"Then we can manipulate terms T ⊢ t = σ(t1, τ(t2, t3)) = σ(t1, τ′(xi+1, t′ 3)) = σ′(τ ′′(t1, xi+1), t′","venue":null,"work_id":"4f97880d-d3ea-4002-b177-86f0102fdcb3","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.910605Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:b3986e110befcfd776e03784e54ab5b8db50fda43c8325ff6bf910350a8dfd64","observation_id":"1853fb49-1492-4da7-808b-eaa2a42808b9","resolution":{"observed_at":"2026-08-10T14:36:45.467353Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.449864Z","title":null,"venue":null,"work_id":"274c8225-c982-4122-bb99-3dcfe7974ef2","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.914578Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:d590a89292c32e907ed0754e32c8695ec7d2dbebdccee23c338020774d252db5","observation_id":"a6ac9003-90a8-4f0d-a40c-5a626628a62b","resolution":{"observed_at":"2026-08-10T14:36:45.454162Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:36:45.435252Z","title":"– If the index ofσ in t is 1 < i, then there existt1, t2, t3 and τ ∈ S such that t = σ(τ (t1, t2), t3)","venue":null,"work_id":"494d3463-2bb5-4b25-8043-acdec7477c38","year":null},"citing_paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-10T14:36:44.918483Z"},"links":{"citing_paper":"/paper/2501.15325"},"observation_digest":"sha256:7e89cb50ca40e7fcb88c903710f61f413a692d32f783a1c9bb5a0da359f12787","observation_id":"ed16e4a3-ff42-4844-81ed-8c22e8f07779","resolution":{"observed_at":"2026-08-10T14:36:45.440642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.15325","last_updated":"2025-01-25T20:57:21Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-17T05:57:47.499648Z","submitted_at":"2025-01-25T20:57:21Z","title":"A General Completeness Theorem for Skip-free Star Algebras"},"reference_resolution":{"displayed":64,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":34,"verified_exact":4,"verified_fuzzy":23},"total_outbound_references":64},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2501.15325."}