Knext

Query Results: Checking.n (page 49)

3,407 results in the active KB.

Characters may undergo a checking.
Logical form
Learned from
4 sentences.
Checking can be for a class of systems.
Logical form
Learned from
4 sentences.
Issues may undergo a checking.
Logical form
Learned from
4 sentences.
Techniques can be for (model checking).
Logical form
Learned from
4 sentences.
A (type checking) may be performed.
Logical form
Learned from
4 sentences.
(Type checking) may undergo (execution costs).
Logical form
Learned from
4 sentences.
(Identity documents) may undergo a checking.
Logical form
Learned from
4 sentences.
A (checking account) may undergo a debiting.
Logical form
Learned from
4 sentences.
Properties may undergo a checking.
Logical form
Learned from
4 sentences.
A level of checking can be appropriate.
Logical form
Learned from
4 sentences.
A deal can be constituted-of-or-filled-with (error checkings).
Logical form
Learned from
4 sentences.
A deal of (error checkings) may be doed in a kernel.
Logical form
Learned from
4 sentences.
(Model checking) may use bdds.
Logical form
Learned from
4 sentences.
A (model checking algorithm) can be efficient.
Logical form
Learned from
4 sentences.
A checking can be prompt.
Logical form
Learned from
4 sentences.

Search

Results returned on 2026-07-08.