Formalization of the Resolution Calculus for First-Order Logic (Q2829269): Difference between revisions

@@ Property / describes a project that uses @@
+FOL Fitting
@@ Property / describes a project that uses: FOL Fitting / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2494829073
@@ Property / OpenAlex ID: W2494829073 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Logic for Computer Science
@@ Property / cites work: Mathematical Logic for Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Bachmair and Ganzinger's ordered resolution prover
+Normal rank
@@ Property / cites work @@
+Unified Classical Logic Completeness
@@ Property / cites work: Unified Classical Logic Completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247076
@@ Property / cites work: Q4247076 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Self-verification of HOL Light
@@ Property / cites work: Towards Self-verification of HOL Light / rank @@
+Normal rank
@@ Property / cites work @@
+Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation
+Normal rank
@@ Property / cites work @@
+On Different Concepts of Resolution
@@ Property / cites work: On Different Concepts of Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331764
@@ Property / cites work: Q4331764 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+The Gödel Completeness Theorem for Uncountable Languages
+Normal rank
@@ Property / cites work @@
+System Description: E 1.8
@@ Property / cites work: System Description: E 1.8 / rank @@
+Normal rank