(untitled)

Masahiro Kumabe, A. f. p. f. m. d., & Society, J. o. t. L. M. (2000). (untitled).

Type

Unclassified

Intellectual base

Unclassified

Year

2000

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Forcing (computability)
  • … ordering, names or finite approximations, dense sets and effectiveness level, generic filter or sequence, forcing relation, construction and verification of the resulting degree or set are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:f21a5ac30ec8 · see in the full table