Knext

Query Results: Checking.n (page 170)

3,407 results in the active KB.

(Concurrency checking) may be disabled.
Logical form
Learned from
2 sentences.
(Identity checking) may be performed.
Logical form
Learned from
2 sentences.
A checking can be centralized.
Logical form
Learned from
2 sentences.
(Input parity checking) may be disabled.
Logical form
Learned from
2 sentences.
(Input parity checking) may be enabled.
Logical form
Learned from
2 sentences.
(Domain checking) may be performed.
Logical form
Learned from
2 sentences.
A (domain checking) can be accepted.
Logical form
Learned from
2 sentences.
Tandem can be with (domain checking).
Logical form
Learned from
2 sentences.
A checking can be with a public record.
Logical form
Learned from
2 sentences.
Some checking may be doed.
Logical form
Learned from
2 sentences.
A person may establish a (checking account).
Logical form
Learned from
2 sentences.
A (state space explosion problem) can be in (model checking).
Logical form
Learned from
2 sentences.
An (explosion problem) can be in (model checking).
Logical form
Learned from
2 sentences.
A prerequisite can be for a soundness of a (model checking algorithm).
Logical form
Learned from
2 sentences.
A (checking problem) can be for a logic.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-08-19.