MGTP: A model generation theorem prover — Its advanced features and applications — (Q4610311): Difference between revisions

@@ Property / describes a project that uses @@
+SATCHMO
@@ Property / describes a project that uses: SATCHMO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MGTP
@@ Property / describes a project that uses: MGTP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Quasigroup Identities and Mendelsohn Designs
@@ Property / cites work: Quasigroup Identities and Mendelsohn Designs / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal tableaux
@@ Property / cites work: First-order modal tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249902
@@ Property / cites work: Q4249902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264729
@@ Property / cites work: Q4264729 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled integration of the cut rule into connection tableau calculi
+Normal rank
@@ Property / cites work @@
+SATCHMORE: SATCHMO with RElevancy
@@ Property / cites work: SATCHMORE: SATCHMO with RElevancy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264737
@@ Property / cites work: Q4264737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791114
@@ Property / cites work: Q3791114 / rank @@
+Normal rank
@@ Property / cites work @@
+The Alexander Method - a technique for the processing of recursive axioms in deductive databases
+Normal rank
@@ Property / cites work @@
+The TPTP problem library
@@ Property / cites work: The TPTP problem library / rank @@
+Normal rank