Knext

Query Results: Checking.n (page 124)

3,407 results in the active KB.

(Theorem checking facilities) can be automatic.
Logical form
Learned from
2 sentences.
A (theorem checking) can be randomized.
Logical form
Learned from
2 sentences.
An application may indicate a (bank checking account).
Logical form
Learned from
2 sentences.
(Argument checkings) can be incorrect.
Logical form
Learned from
2 sentences.
Standards may undergo a checking.
Logical form
Learned from
2 sentences.
Some levels can be constituted-of-or-filled-with (source code error checkings).
Logical form
Learned from
2 sentences.
An approach may be based on checking.
Logical form
Learned from
2 sentences.
(Metadata records) may undergo a checking.
Logical form
Learned from
2 sentences.
(Service providers) may perform some checking of (metadata records).
Logical form
Learned from
2 sentences.
Checking can be with (resource owners).
Logical form
Learned from
2 sentences.
A checking may be limited to some extent.
Logical form
Learned from
2 sentences.
A bank may handle a checking.
Logical form
Learned from
2 sentences.
Checking can be for password.
Logical form
Learned from
2 sentences.
A factor can be a checking.
Logical form
Learned from
2 sentences.
A checking can be for (error conditions).
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-08-06.