Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T14:36:44.918483Z
Paper Citation Record · LEDGER
A General Completeness Theorem for Skip-free Star Algebras
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
64 of 64 outbound references displayed
- verified exact4
- verified fuzzy23
- unresolved34
- parse uncertain0
- malformed identifier3
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 7f226a8e-dc6a-4daa-9aea-ca54fd5a78af · outbound
This paper cites London Mathematical Society Lecture Note Series, Cambridge University Press (1994).
A General Completeness Theorem for Skip-free Star Algebras London Mathematical Society Lecture Note Series, Cambridge University Press (1994)
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.963753Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b9dfa262-5706-4ff3-a6c8-9133ad0ef360 · outbound
This paper cites In: STACS.
A General Completeness Theorem for Skip-free Star Algebras In: STACS
Reference 2
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-10T14:36:45.951167Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7b918b58-8a86-4ad9-a3eb-f8c9dca837fb · outbound
This paper cites In: CONCUR.
A General Completeness Theorem for Skip-free Star Algebras In: CONCUR
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-10T14:36:45.116745Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 99e4987d-a356-4d27-a108-1e1fb92a3df6 · outbound
This paper cites In: CALCO.
A General Completeness Theorem for Skip-free Star Algebras In: CALCO
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.676277Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fa0b54dd-3c20-436d-a534-a543434f20d6 · outbound
This paper cites In: LICS.
A General Completeness Theorem for Skip-free Star Algebras In: LICS
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.681143Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0feb12c3-804b-412e-aaf0-9c5ad3173d02 · outbound
This paper cites In: LICS.
A General Completeness Theorem for Skip-free Star Algebras In: LICS
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.685292Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 64ee43f6-c934-441f-8c2c-9ae3912c66b3 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.689686Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f7d927f-44d7-467d-bcaa-b8af8b5490d0 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.693572Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b4f92b3-1253-4f11-83d7-b4805afab890 · outbound
This paper cites In: ESOP.
A General Completeness Theorem for Skip-free Star Algebras In: ESOP
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.938233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f458b322-7a44-45fd-856f-1dd411fb1898 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 10
- Resolution
- verified exact
- doi, observed 2026-08-10T14:36:45.070801Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation aecb81d9-dfe1-4690-a545-9f41dab45640 · outbound
This paper cites Automata studies 34, 3–41 (1956).
A General Completeness Theorem for Skip-free Star Algebras Automata studies 34, 3–41 (1956)
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.925691Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 40eee4eb-54be-4bae-a644-b823f2bf6a83 · outbound
This paper cites ACM Trans.
A General Completeness Theorem for Skip-free Star Algebras ACM Trans
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.709690Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0b997f58-f95e-41da-90d6-e38e254d28a4 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.713539Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a654317b-4880-49a2-8b4c-90689b96d768 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.717441Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1aa72efe-2d5b-4c0c-ad38-3646b3af454c · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.721319Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e3d3b089-1d36-4a27-a028-979ff3bca67a · outbound
This paper cites In: EXPRESS.
A General Completeness Theorem for Skip-free Star Algebras In: EXPRESS
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-10T14:36:45.033260Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4082052d-d558-4caf-a8da-387f4b0052f0 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 17
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-10T14:36:45.912992Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 2e03cbf3-c672-4333-b9f0-c12e43943129 · outbound
This paper cites In: MFCS.
A General Completeness Theorem for Skip-free Star Algebras In: MFCS
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-10T14:36:45.019685Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation bfc8eab8-17f6-4b64-a7f9-9f23409157b3 · outbound
This paper cites In: FOSSACS.
A General Completeness Theorem for Skip-free Star Algebras In: FOSSACS
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.736788Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dde3bc4b-62fb-462e-89ce-a8b7768e04c1 · outbound
This paper cites Aurora Dover Modern Math Originals, Dover Publications, Inc., Mineola, NY (2016).
A General Completeness Theorem for Skip-free Star Algebras Aurora Dover Modern Math Originals, Dover Publications, Inc., Mineola, NY (2016)
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.900281Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4f212bca-7a0e-4f3d-b8e4-7d33e317acd5 · outbound
This paper cites In: ICALP.
A General Completeness Theorem for Skip-free Star Algebras In: ICALP
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.744869Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2dde3677-d083-475a-8a13-0010ebb44867 · outbound
This paper cites In: LICS.
A General Completeness Theorem for Skip-free Star Algebras In: LICS
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.749052Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cad31025-c57c-456f-aa4d-c69d1b900124 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.752909Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7c1148a-328e-4a89-98bd-141aad88c027 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.757004Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 584cd39e-c3eb-4f59-ab99-2c8fec21ebe3 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.887352Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a2d3a83c-993b-4525-800c-e41677a31158 · outbound
This paper cites In: ICALP.
A General Completeness Theorem for Skip-free Star Algebras In: ICALP
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.764895Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3dde2dbc-ecf8-45a1-871a-8e2bd36b657f · outbound
This paper cites In: CALCO.
A General Completeness Theorem for Skip-free Star Algebras In: CALCO
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.768726Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9e3bc965-8f4c-40de-963b-2e9fd06371a9 · outbound
This paper cites In: ICALP.
A General Completeness Theorem for Skip-free Star Algebras In: ICALP
Reference 28
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-10T14:36:44.772939Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6be65620-f534-4fbc-bea6-46eecb5aaa15 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.874868Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5be9c7ec-5df8-4c3c-b7fc-139034621787 · outbound
This paper cites Journal of Pure and Applied Algebra 219(8), 3110–3148 (2015).
A General Completeness Theorem for Skip-free Star Algebras Journal of Pure and Applied Algebra 219(8), 3110–3148 (2015)
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.862463Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 191ffb00-270a-4d15-aa81-e221680943c5 · outbound
This paper cites In: Proof, Language, and Interaction, Essays in Honour of Robin Milner.
A General Completeness Theorem for Skip-free Star Algebras In: Proof, Language, and Interaction, Essays in Honour of Robin Milner
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.850234Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 83957e1e-7261-4473-a452-cc3a71b95547 · outbound
This paper cites Institute of Mathe- matics, Polish Academy of Sciences (1974).
A General Completeness Theorem for Skip-free Star Algebras Institute of Mathe- matics, Polish Academy of Sciences (1974)
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.837437Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 437505a1-780e-41d9-89e7-a235dfaa3d5b · outbound
This paper cites In: LICS.
A General Completeness Theorem for Skip-free Star Algebras In: LICS
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.793017Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d1130135-a072-4139-a97b-8211dc495868 · outbound
This paper cites Mathe- matical Structures in Computer Science16(1), 87–113 (2006).https://doi.org/ 10.1017/S0960129505005074 22 T.
A General Completeness Theorem for Skip-free Star Algebras Mathe- matical Structures in Computer Science16(1), 87–113 (2006).https://doi.org/ 10.1017/S0960129505005074 22 T
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:36:44.796945Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ab09d713-0a53-4dae-bee9-0e54a76f1c30 · outbound
This paper cites – Let e = e(s) 1 e2.
A General Completeness Theorem for Skip-free Star Algebras – Let e = e(s) 1 e2
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.825066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 9e4367b7-b8cc-43c9-9ca7-192856096e7e · outbound
This paper cites , xn) ∈ S∗X, then suppX (tρ) ⊆ {x1,.
A General Completeness Theorem for Skip-free Star Algebras , xn) ∈ S∗X, then suppX (tρ) ⊆ {x1,
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.812398Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 03703f58-cb99-4b21-a29b-31ac95e665a3 · outbound
This paper cites If x ∈ supp(tρ 1), then for any t2 such that T |= t1 = t2, x appears in t2 as a variable.
A General Completeness Theorem for Skip-free Star Algebras If x ∈ supp(tρ 1), then for any t2 such that T |= t1 = t2, x appears in t2 as a variable
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.800007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 96d1c791-3972-46b2-8ae7-bc1434a47e0d · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.787129Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e0876a61-2567-4e2b-8ba3-af192ae79320 · outbound
This paper cites A path of the formx1 → x2 → · · · →xn → x1 is called acycle.
A General Completeness Theorem for Skip-free Star Algebras A path of the formx1 → x2 → · · · →xn → x1 is called acycle
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.774650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation cc36b6ca-f3a4-4c3d-b5e1-5beeb7957223 · outbound
This paper cites 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 → · · · →✓.
A General Completeness Theorem for Skip-free Star Algebras 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 → · · · →✓
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.761721Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 33319e1b-27ac-47ee-8cf8-5d6a6a63e3c0 · outbound
This paper cites 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.
A General Completeness Theorem for Skip-free Star Algebras 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
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.748484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 95963c3d-6941-43cf-a2cb-156c57944d2f · outbound
This paper cites In this case, we must haveh′ 1 → k1 → · · · →km → h′.
A General Completeness Theorem for Skip-free Star Algebras In this case, we must haveh′ 1 → k1 → · · · →km → h′
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.733220Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d110d25a-8e9e-476a-94e3-7e132619f77f · outbound
This paper cites gk and ki = fi(e(s) 1 e2)g1.
A General Completeness Theorem for Skip-free Star Algebras gk and ki = fi(e(s) 1 e2)g1
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.719562Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d1de0110-9b94-4521-b379-a24a35b0ac53 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.706078Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 30862133-239e-4862-ba30-e5e230bd6d9e · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.693228Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ca58c7aa-66b1-4c56-9d67-e1ef8df52a2a · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.680493Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation fb1c769b-63dc-48be-bf74-2261879f927e · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.666806Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation cfdc4855-55f4-49ab-8660-1616cd0eed15 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.653917Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 785a52e6-0f2f-4386-bdd7-c0bd160ddc9f · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.641164Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 58ce78c3-c390-4b5f-a8d5-4fb5d3327ab3 · outbound
This paper cites Define suppX (θ) = {x ∈ X | θ(x) > 0}.
A General Completeness Theorem for Skip-free Star Algebras Define suppX (θ) = {x ∈ X | θ(x) > 0}
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.628045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 8bbc18ff-6418-4b5a-9068-30f28801db28 · outbound
This paper cites Define suppX (χ) = S α∈At{x ∈ X | χ(α)(x) > 0}.
A General Completeness Theorem for Skip-free Star Algebras Define suppX (χ) = S α∈At{x ∈ X | χ(α)(x) > 0}
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.615129Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 36a463d3-d9e7-452e-a802-6cf8e1d72d01 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 52
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.601640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1c2803ca-69a4-41a3-9c01-7ba970d2a134 · outbound
This paper cites Define suppX (U ) = S θ∈U {x ∈ X | θ(x) > 0}.
A General Completeness Theorem for Skip-free Star Algebras Define suppX (U ) = S θ∈U {x ∈ X | θ(x) > 0}
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.588444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ce080418-5bdf-4337-80e7-58710b43e106 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.576011Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f1274e75-784b-418c-b6e5-16e7100b574e · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.562749Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 147442a1-8f44-4757-a0bb-11c2e9b495e6 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.549849Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1a96f357-1b3c-4f7f-8da9-75e60ea918a8 · outbound
This paper cites , xi+1, xi,.
A General Completeness Theorem for Skip-free Star Algebras , xi+1, xi,
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.536948Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation dc4ba21c-609c-4f7a-88ca-8eef8aded1a9 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 58
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.523647Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e17d8fb6-820c-43a5-955a-ab51ae31e8a9 · outbound
This paper cites , xn), T ⊢ t = t′, and the index ofσ′ in t′ is i + 1; and 40 T.
A General Completeness Theorem for Skip-free Star Algebras , xn), T ⊢ t = t′, and the index ofσ′ in t′ is i + 1; and 40 T
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.509787Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5723a452-cb89-4589-ad51-9d46f0b32848 · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 60
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.494643Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation fe82f3c1-2485-4f8c-9cfd-9c8b37d68f1d · outbound
This paper cites , xn), T ⊢ t = t′, and the index ofσ′ in t′ is i − 1.
A General Completeness Theorem for Skip-free Star Algebras , xn), T ⊢ t = t′, and the index ofσ′ in t′ is i − 1
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.481513Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1853fb49-1492-4da7-808b-eaa2a42808b9 · outbound
This paper cites Then we can manipulate terms T ⊢ t = σ(t1, τ(t2, t3)) = σ(t1, τ′(xi+1, t′ 3)) = σ′(τ ′′(t1, xi+1), t′.
A General Completeness Theorem for Skip-free Star Algebras Then we can manipulate terms T ⊢ t = σ(t1, τ(t2, t3)) = σ(t1, τ′(xi+1, t′ 3)) = σ′(τ ′′(t1, xi+1), t′
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.467353Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a6ac9003-90a8-4f0d-a40c-5a626628a62b · outbound
This paper cites an unresolved cited work.
A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T14:36:45.454162Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ed16e4a3-ff42-4844-81ed-8c22e8f07779 · outbound
This paper cites – If the index ofσ in t is 1 < i, then there existt1, t2, t3 and τ ∈ S such that t = σ(τ (t1, t2), t3).
A General Completeness Theorem for Skip-free Star Algebras – If the index ofσ in t is 1 < i, then there existt1, t2, t3 and τ ∈ S such that t = σ(τ (t1, t2), t3)
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:36:45.440642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Pith citing papers
No inbound Pith citation observations are available.