Embedding Boolean expressions into logic programming (Q1100935): Difference between revisions

@@ Property / author @@
-Wolfram Buettner
@@ Property / author: Wolfram Buettner / rank @@
-Normal rank
@@ Property / author @@
+Wolfram Buettner
@@ Property / author: Wolfram Buettner / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919057
@@ Property / cites work: Q3919057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in abelian semigroups
@@ Property / cites work: Unification in abelian semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786022
@@ Property / cites work: Q3786022 / rank @@
+Normal rank
@@ Property / cites work @@
+DIOPHANTINE REPRESENTATION OF ENUMERABLE PREDICATES
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q4083731
@@ Property / cites work: Q4083731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484383
@@ Property / cites work: Q3484383 / rank @@
+Normal rank
@@ Property / cites work @@
+A Unification Algorithm for Associative-Commutative Functions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1100935