The following pages link to (Q3880319):
Displayed 5 items.
- Completeness results for inequality provers (Q1079960) (← links)
- Hierarchical deduction (Q1098332) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- SET-VAR (Q1319383) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)