Knext

Query Results: Checking.n (page 83)

3,407 results in the active KB.

(Type checking) may be doed.
Logical form
Learned from
3 sentences.
Validity may involve at checking.
Logical form
Learned from
3 sentences.
(Integer division) may undergo a checking.
Logical form
Learned from
3 sentences.
A (model checking) can be modal.
Logical form
Learned from
3 sentences.
(Error checking) may be performed on functions.
Logical form
Learned from
3 sentences.
A (checking machinery) may undergo a mainspring.
Logical form
Learned from
3 sentences.
A checking may be performed.
Logical form
Learned from
3 sentences.
A complexity of checking of entailments may rise above a level.
Logical form
Learned from
3 sentences.
(Array accesses) can be without (index checking).
Logical form
Learned from
3 sentences.
Checking can be for spelling.
Logical form
Learned from
3 sentences.
(Quality control) may be reduced to (spot checking) by examination of records.
Logical form
Learned from
3 sentences.
A person may add checking of some tables.
Logical form
Learned from
3 sentences.
A (checking account) can be for expenses.
Logical form
Learned from
3 sentences.
A person may turn_off a checking.
Logical form
Learned from
3 sentences.
Checkings can be increased.
Logical form
Learned from
3 sentences.

Search

Results returned on 2026-07-18.