Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Semi-linear_resolution> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Semi-linear_resolution abstract "Semi-Linear Resolution (SLR) is a search strategy (used in the automated theorem prover (ATP) CARINE) that is based on an iteratively-deepening depth-first search. It is one method used in automated theorem proving.SLR performs linear derivations from the input clauses and a maintained set-of-support to obtain subgoals (usually unit clauses), such that the length of each derivation is no more than an assigned depth bound.".
- Semi-linear_resolution wikiPageID "1385404".
- Semi-linear_resolution wikiPageRevisionID "581149682".
- Semi-linear_resolution hasPhotoCollection Semi-linear_resolution.
- Semi-linear_resolution subject Category:Automated_theorem_proving.
- Semi-linear_resolution subject Category:Search_algorithms.
- Semi-linear_resolution type Abstraction100002137.
- Semi-linear_resolution type Act100030358.
- Semi-linear_resolution type Activity100407535.
- Semi-linear_resolution type Algorithm105847438.
- Semi-linear_resolution type Event100029378.
- Semi-linear_resolution type Procedure101023820.
- Semi-linear_resolution type PsychologicalFeature100023100.
- Semi-linear_resolution type Rule105846932.
- Semi-linear_resolution type SearchAlgorithms.
- Semi-linear_resolution type YagoPermanentlyLocatedEntity.
- Semi-linear_resolution comment "Semi-Linear Resolution (SLR) is a search strategy (used in the automated theorem prover (ATP) CARINE) that is based on an iteratively-deepening depth-first search. It is one method used in automated theorem proving.SLR performs linear derivations from the input clauses and a maintained set-of-support to obtain subgoals (usually unit clauses), such that the length of each derivation is no more than an assigned depth bound.".
- Semi-linear_resolution label "Semi-linear resolution".
- Semi-linear_resolution sameAs m.04yck7.
- Semi-linear_resolution sameAs Q7449308.
- Semi-linear_resolution sameAs Q7449308.
- Semi-linear_resolution sameAs Semi-linear_resolution.
- Semi-linear_resolution wasDerivedFrom Semi-linear_resolution?oldid=581149682.
- Semi-linear_resolution isPrimaryTopicOf Semi-linear_resolution.