Formalizing axiomatic systems for propositional logic in Isabelle/HOL (Q2128791): Difference between revisions

@@ Property / cites work @@
+Extending Sledgehammer with SMT solvers
@@ Property / cites work: Extending Sledgehammer with SMT solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding missing proofs with automated reasoning
@@ Property / cites work: Finding missing proofs with automated reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q6060676
@@ Property / cites work: Q6060676 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Formalizing Bachmair and Ganzinger's ordered resolution prover
+Normal rank
@@ Property / cites work @@
+Q5783647
@@ Property / cites work: Q5783647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4792019
@@ Property / cites work: Q4792019 / rank @@
+Normal rank