Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F07
@@ Property / Mathematics Subject Classification ID: 03F07 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F05
@@ Property / Mathematics Subject Classification ID: 03F05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F20
@@ Property / Mathematics Subject Classification ID: 03F20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B40
@@ Property / Mathematics Subject Classification ID: 03B40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 03B15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6644466
@@ Property / zbMATH DE Number: 6644466 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sequent calculus
@@ Property / zbMATH Keywords: sequent calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generalization
@@ Property / zbMATH Keywords: generalization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+second-order unification
@@ Property / zbMATH Keywords: second-order unification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraints
@@ Property / zbMATH Keywords: constraints / rank @@
+Normal rank

Revision as of 04:14, 28 June 2023