Manuscript Em03-C@1 · Em03-C-v1.tex · assumption · 47dd71ec
Assumption: Finite semantic characterization
Resources, attainable tolerances, and semantic scope › Optional Enter interpretation · lines 2594–2602
Em03-C@1#ass:Enter
The supplied Landmark I characterization LandmarkI is
admitted with :strategy-class,
:requirements, and :main.
The global finite-qubit strategy satisfies
with the source's
continuation restrictions.