Knext

Query Results: Checking.n (page 159)

3,407 results in the active KB.

A form can be for (code checking).
Logical form
Learned from
2 sentences.
A (checking statement) can be monthly.
Logical form
Learned from
2 sentences.
(Background tasks) can be as (virus checking).
Logical form
Learned from
2 sentences.
(Equivalence checking) may detect inconsistencies.
Logical form
Learned from
2 sentences.
Support can be for (equivalency checking).
Logical form
Learned from
2 sentences.
A checking can be reduced.
Logical form
Learned from
2 sentences.
(Revocation checking) can be on certificates.
Logical form
Learned from
2 sentences.
(News organizations) may perform tasks of (fact checking).
Logical form
Learned from
2 sentences.
(Model checking) may win some acceptance.
Logical form
Learned from
2 sentences.
A (model checking algorithm) may undergo an implementation.
Logical form
Learned from
2 sentences.
Methods may be supported by (model checking).
Logical form
Learned from
2 sentences.
(Specification language) may be extended by a (model checking tool).
Logical form
Learned from
2 sentences.
(Proof checking tools) can be automated.
Logical form
Learned from
2 sentences.
An approach may integrate (theorem provings) with (model checking).
Logical form
Learned from
2 sentences.
(Model checkings) can be for automata.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-08-16.