Computational logic (Q479004): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+-06
@@ Property / Mathematics Subject Classification ID: 03-06 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-03
@@ Property / Mathematics Subject Classification ID: 03-03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-04
@@ Property / Mathematics Subject Classification ID: 03-04 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-03
@@ Property / Mathematics Subject Classification ID: 68-03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 01A60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P15
@@ Property / Mathematics Subject Classification ID: 68P15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Qxx
@@ Property / Mathematics Subject Classification ID: 68Qxx / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 00B15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6377033
@@ Property / zbMATH DE Number: 6377033 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:479004