On abstract modular inference systems and solvers (Q286083): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N17
@@ Property / Mathematics Subject Classification ID: 68N17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6582936
@@ Property / zbMATH DE Number: 6582936 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+knowledge representation
@@ Property / zbMATH Keywords: knowledge representation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model-generation
@@ Property / zbMATH Keywords: model-generation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated reasoning and inference
@@ Property / zbMATH Keywords: automated reasoning and inference / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SAT solving
@@ Property / zbMATH Keywords: SAT solving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+answer set programming
@@ Property / zbMATH Keywords: answer set programming / rank @@
+Normal rank

Revision as of 18:40, 27 June 2023