Efficient model generation through compilation (Q4647539): 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 @@
+SETHEO
@@ Property / describes a project that uses: SETHEO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / 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/3-540-61511-3_105
+Normal rank
@@ Property / OpenAlex ID @@
+W1687247589
@@ Property / OpenAlex ID: W1687247589 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal model generation with positive unit hyper-resolution tableaux
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixtus: An automatic partial evaluator for full Prolog
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank
@@ Property / cites work @@
+The TPTP problem library
@@ Property / cites work: The TPTP problem library / rank @@
+Normal rank