An approximative inference method for solving ∃∀SO satisfiability problems (Q3143568)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6111831
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An approximative inference method for solving ∃∀SO satisfiability problems |
scientific article; zbMATH DE number 6111831 |
Statements
An approximative inference method for solving ∃∀SO satisfiability problems (English)
0 references
3 December 2012
0 references
second-order logic
0 references
\(\exists \forall \mathrm{SO}\)
0 references
approximative method
0 references
satisfiability
0 references
inductive definition
0 references
0.99706686
0 references
0.90327686
0 references
0.8969924
0 references
0.8889082
0 references
0.8766325
0 references
0.8694198
0 references
0.8671193
0 references
