Knext

Query Results: Checking.n (page 97)

3,407 results in the active KB.

An (integrity checking) can be end-to-end.
Logical form
Learned from
2 sentences.
A (proof checking software) can be automated.
Logical form
Learned from
2 sentences.
Cases may undergo a checking.
Logical form
Learned from
2 sentences.
(Type checking) can be decidable.
Logical form
Learned from
2 sentences.
An approach can be (model checking).
Logical form
Learned from
2 sentences.
An (error checking) can be comprehensive.
Logical form
Learned from
2 sentences.
(Type checking) can be impossible.
Logical form
Learned from
2 sentences.
A checking can be obvious.
Logical form
Learned from
2 sentences.
Checking may be turn_offed.
Logical form
Learned from
2 sentences.
A checking can be perpetual.
Logical form
Learned from
2 sentences.
Links may undergo a checking.
Logical form
Learned from
2 sentences.
Weights may undergo a checking.
Logical form
Learned from
2 sentences.
Checking can be selective.
Logical form
Learned from
2 sentences.
(Advice checking) may be enabled.
Logical form
Learned from
2 sentences.
A checking may be performed on validity of datatypes.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-07-26.