Beweisalgorithmen für die Prädikatenlogik
From MaRDI portal
Publication:2558006
DOI10.1007/BF02236612zbMath0253.68022MaRDI QIDQ2558006
Publication date: 1967
Published in: Computing (Search for Journal in Brave)
03B10: Classical first-order logic
03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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