Function extraction (Q436372): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N15
@@ Property / Mathematics Subject Classification ID: 68N15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N20
@@ Property / Mathematics Subject Classification ID: 68N20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6059138
@@ Property / zbMATH DE Number: 6059138 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof automation
@@ Property / zbMATH Keywords: proof automation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program verification
@@ Property / zbMATH Keywords: program verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+theorem proving
@@ Property / zbMATH Keywords: theorem proving / rank @@
+Normal rank

Revision as of 00:04, 30 June 2023