A relevance restriction strategy for automated deduction (Q814429): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4406531 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2723420 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Positive unit hyperresolution tableaux and their application to minimal model generation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5679729 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4263169 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4539623 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3339245 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4139711 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mechanical Theorem-Proving by Model Elimination / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: SATCHMORE: SATCHMO with RElevancy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3821629 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4846259 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4249902 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theorem proving with abstraction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ordered semantic hyper-linking / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generating relevant models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2702602 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Duality for goal-driven query processing in disjunctive deductive databases / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0004-3702(02)00368-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2009437478 / rank | |||
Normal rank |
Latest revision as of 10:22, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A relevance restriction strategy for automated deduction |
scientific article |
Statements
A relevance restriction strategy for automated deduction (English)
0 references
7 February 2006
0 references
Relevance
0 references
Relevance metrics
0 references
Theorem proving
0 references
Sorted inference
0 references
0 references