Beweisalgorithmen für die Prädikatenlogik (Q2558006): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339307
@@ Property / cites work: Q5339307 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726047
@@ Property / cites work: Q5726047 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Method for Quantification Theory: Its Justification and Realization
+Normal rank
@@ Property / cites work @@
+Vicious circle principle and the paradoxes
@@ Property / cites work: Vicious circle principle and the paradoxes / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem-Proving for Computers: Some Results on Resolution and Renaming
+Normal rank
@@ Property / cites work @@
+An improved proof procedure1
@@ Property / cites work: An improved proof procedure1 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof procedure for quantification theory
@@ Property / cites work: A proof procedure for quantification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem-Proving on the Computer
@@ Property / cites work: Theorem-Proving on the Computer / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+Beweisalgorithmen für die Prädikatenlogik
@@ Property / cites work: Beweisalgorithmen für die Prädikatenlogik / rank @@
+Normal rank
@@ Property / cites work @@
+Toward Mechanical Mathematics
@@ Property / cites work: Toward Mechanical Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Proving theorems by pattern recognition I
@@ Property / cites work: Proving theorems by pattern recognition I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5507984
@@ Property / cites work: Q5507984 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2558006