C75
Dependency closure under typed propagation models real cascade; hard-vs-soft is the 0-vs-minus distinction lifted
Confidence: ~35% ยท Status: active ยท Register: core
Home: same (was C70)
Band VII ยท Renumbered research blocks
Navigation
Conjecture C74 โ ยท โ Conjecture C76