An almost linear Robinson unification algorithm (Q582141): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W30
@@ Property / Mathematics Subject Classification ID: 68W30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q65
@@ Property / Mathematics Subject Classification ID: 68Q65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D03
@@ Property / Mathematics Subject Classification ID: 03D03 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+4130061
@@ Property / zbMATH DE Number: 4130061 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Robinson unification algorithm
@@ Property / zbMATH Keywords: Robinson unification algorithm / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00263501
+Normal rank
@@ Property / OpenAlex ID @@
+W2035216974
@@ Property / OpenAlex ID: W2035216974 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:582141