Beweisalgorithmen für die Prädikatenlogik
From MaRDI portal
Publication:2558006
DOI10.1007/BF02236612zbMath0253.68022OpenAlexW1971927226MaRDI QIDQ2558006
Publication date: 1967
Published in: Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02236612
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
What Is Essential Unification? ⋮ The unit-clause proof procedure with equality ⋮ Beweisalgorithmen für die Prädikatenlogik ⋮ Larry Wos: visions of automated reasoning ⋮ Set of support, demodulation, paramodulation: a historical perspective
Cites Work
- Beweisalgorithmen für die Prädikatenlogik
- A proof procedure for quantification theory
- Vicious circle principle and the paradoxes
- A Proof Method for Quantification Theory: Its Justification and Realization
- Toward Mechanical Mathematics
- An improved proof procedure1
- Proving theorems by pattern recognition I
- Theorem-Proving on the Computer
- Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
- A Machine-Oriented Logic Based on the Resolution Principle
- Theorem-Proving for Computers: Some Results on Resolution and Renaming
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Beweisalgorithmen für die Prädikatenlogik
