Mechanical verification on strategies (Q1896369): Difference between revisions

@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q3789107
@@ Property / cites work: Q3789107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685660
@@ Property / cites work: Q5685660 / rank @@
+Normal rank
@@ Property / cites work @@
+How to clear a block: a theory of plans
@@ Property / cites work: How to clear a block: a theory of plans / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5578545
@@ Property / cites work: Q5578545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856120
@@ Property / cites work: Q3856120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5180764
@@ Property / cites work: Q5180764 / rank @@
+Normal rank