semi-decidability

Noun

uncountable

(mathematics) The property of being semi-decidable.

Japanese Meaning

数学において、半決定可能である性質、すなわちアルゴリズムで部分的に決定できる（正確には全停止しない可能性がある）性質を指す。

To advance the proof, she examined the semi-decidability of the problem under different reduction schemes.

証明を進めるために、彼女はさまざまな還元方式の下でその問題の半決定性を調べた。

Sense（1）

(mathematics) The property of being semi-decidable.