Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585260
@@ Property / zbMATH DE Number: 6585260 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Mizar
@@ Property / zbMATH Keywords: Mizar / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SAT solvers
@@ Property / zbMATH Keywords: SAT solvers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof assistants
@@ Property / zbMATH Keywords: proof assistants / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Boolean operations
@@ Property / zbMATH Keywords: Boolean operations / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59407645
@@ Property / Wikidata QID: Q59407645 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-015-9332-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2146945204
@@ Property / OpenAlex ID: W2146945204 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:286803