Special relations in automated deduction (Q3777497)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special relations in automated deduction |
scientific article |
Statements
Special relations in automated deduction (English)
0 references
1986
0 references
deduction rules
0 references
automated theorem-proving
0 references
relation replacement
0 references
relation matching
0 references
resolution rules
0 references
monotonicity
0 references
