Pages that link to "Item:Q4098673"
From MaRDI portal
The following pages link to A Human Oriented Logic for Automatic Theorem-Proving (Q4098673):
Displaying 15 items.
- Unification in commutative theories (Q582071) (← links)
- Tautology testing with a generalized matrix reduction method (Q1132862) (← links)
- Non-monotonic logic. I (Q1140441) (← links)
- Experiments with resolution-based theorem-proving algorithms (Q1165594) (← links)
- A simplified problem reduction format (Q1170894) (← links)
- Plane geometry theorem proving using forward chaining (Q1215410) (← links)
- A relaxation approach to splitting in an automatic theorem prover (Q1215411) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Linear programs for constraint satisfaction problems (Q1278588) (← links)
- \({\mathcal Z}\)-match: An inference rule for incrementally elaborating set instantiations (Q1319387) (← links)
- Solving propositional satisfiability problems (Q1356218) (← links)
- A man-machine theorem-proving system (Q1845619) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- A pragmatic approach to resolution-based theorem proving (Q3877068) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
