No label defined (Q114708728)
Jump to navigation
Jump to search
algorithm for testing satisfiability of Horn formulas
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
algorithm for testing satisfiability of Horn formulas |
Statements
Sitelinks
Wikipedia(1 entry)
- dewiki Markierungsalgorithmus