Search results
Term entries in the full glossary matching "decideable"
W3C Glossaries
Showing results 1 - 1 of 1
- decideable
-
From RDF Semantics (2004-02-10) | Glossary for this source
(adj., of an inference system). Able to determine for any pair of expressions,
in a finite time with finite resources, whether or not the first entails the
second. (Also: adj., of a logic:) Having a decideable inference system which
is complete and correct for the semantics of the logic.
Run another query
Keyword and Sources search