Computability / CONCEPT
Integer affine expressions and formulas
Integer affine coordinates and Boolean atoms have total executable semantics.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES5
PROOF DEPTH0
DOCUMENT LINKS0
Affine addition preserves values
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- Native coordinates in integer valuationstruth-dependency · Closed
- Original image saturation with guarded affine atomic indicestruth-dependency · Closed
- Original Presburger Formula Growthtruth-dependency · Closed
- Periodic integer predicates and finite residuestruth-dependency · Closed
- Polarity and disjunctive normal formtruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Effective atomic observations of guarded completed systemsstructural-affinity · Closed
- Eliminating one integer coordinatestructural-affinity · Closed
- Finite Traces of Separated Integer Atomsstructural-affinity · Closed
- Joint actual-image saturation for guarded native systemsstructural-affinity · Closed
- Native coordinates in integer valuationsstructural-affinity · Closed
- Original image saturation with guarded affine atomic indicesstructural-affinity · Closed
- Original Presburger Formula Growthstructural-affinity · Closed
- Periodic integer predicates and finite residuesstructural-affinity · Closed
- Polarity and disjunctive normal formstructural-affinity · Closed
- Root-link normalization on the unrestricted native completionstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance