Strategy of searching of a conclusion in Horn clauses with unitary consideration of sub-target (Q2760517)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Strategy of searching of a conclusion in Horn clauses with unitary consideration of sub-target |
scientific article; zbMATH DE number 1681907
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strategy of searching of a conclusion in Horn clauses with unitary consideration of sub-target |
scientific article; zbMATH DE number 1681907 |
Statements
12 December 2001
0 references
Horn clauses
0 references
searching
0 references
0 references
0.85345024
0 references
0.82870233
0 references
0.82422006
0 references
0.8148878
0 references
0.8140315
0 references
Strategy of searching of a conclusion in Horn clauses with unitary consideration of sub-target (English)
0 references
