Knext

Query Results: Checking.n (page 78)

3,407 results in the active KB.

(Model checking) may involve numerical solutions of linear equations.
Logical form
Learned from
3 sentences.
A (software model checking) can be compositional.
Logical form
Learned from
3 sentences.
Checking can be impossible.
Logical form
Learned from
3 sentences.
A checking can be for signatures.
Logical form
Learned from
3 sentences.
A checking can be incorrect.
Logical form
Learned from
3 sentences.
Links may undergo a checking.
Logical form
Learned from
3 sentences.
A (checking account) can be for expenses.
Logical form
Learned from
3 sentences.
(Model checking) can be relative to a view.
Logical form
Learned from
3 sentences.
Persons may consider a problem of performing (model checking).
Logical form
Learned from
3 sentences.
A file can be open in checking.
Logical form
Learned from
3 sentences.
Checking can be for (task com- mon declarations).
Logical form
Learned from
3 sentences.
(Proof checkings) can be automated.
Logical form
Learned from
3 sentences.
(Fact checkings) can be simple.
Logical form
Learned from
3 sentences.
Track may pertain-to a (state checking).
Logical form
Learned from
3 sentences.
Proofs may undergo a checking.
Logical form
Learned from
3 sentences.

Search

Results returned on 2026-07-17.