Knext

Query Results: Checking.n (page 107)

3,407 results in the active KB.

A (type checking) can be physical.
Logical form
Learned from
2 sentences.
(Model checking) may use temporal logic.
Logical form
Learned from
2 sentences.
Items may include (checking account balances).
Logical form
Learned from
2 sentences.
A site may refer participants to a (get checking program).
Logical form
Learned from
2 sentences.
A (get checking program) can be citywide.
Logical form
Learned from
2 sentences.
Some checking can be for conflicts.
Logical form
Learned from
2 sentences.
An implementation may do a checking.
Logical form
Learned from
2 sentences.
A (default revocation checking mechanism) may pertain-to a (service provider).
Logical form
Learned from
2 sentences.
A (default revocation checking mechanism) of a (service provider) may be used.
Logical form
Learned from
2 sentences.
(Revocation checking) may be disabled.
Logical form
Learned from
2 sentences.
A need can be for (type checking).
Logical form
Learned from
2 sentences.
Generics may enable (type checkings).
Logical form
Learned from
2 sentences.
Difficulty may qualify for a checking.
Logical form
Learned from
2 sentences.
Matter may undergo a checking.
Logical form
Learned from
2 sentences.
A touch may undergo a checking.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-08-03.