Extracting verified decision procedures: DPLL and Resolution (Q5177337): Difference between revisions

@@ Property / describes a project that uses @@
+versat
@@ Property / describes a project that uses: versat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Idris
@@ Property / describes a project that uses: Idris / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Metis_
@@ Property / describes a project that uses: Metis_ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LLVM
@@ Property / describes a project that uses: LLVM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sledgehammer
@@ Property / describes a project that uses: Sledgehammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Minlog
@@ Property / describes a project that uses: Minlog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02131
@@ Property / arXiv ID: 1502.02131 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5177337