Hierarchies in Inclusion Logic with Lax Semantics (Q2937394): Difference between revisions

← Older edit

@@ description / en / description / en @@
+scientific article; zbMATH DE number 6963788
@@ Property / zbMATH Open document ID @@
+.03040
@@ Property / zbMATH Open document ID: 1407.03040 / rank @@
+Normal rank
@@ Property / DOI @@
+.1145/3204521
@@ Property / DOI: 10.1145/3204521 / rank @@
+Normal rank
@@ Property / published in @@
+ACM Transactions on Computational Logic
@@ Property / published in: ACM Transactions on Computational Logic / rank @@
+Normal rank
@@ Property / publication date @@
+October 2018Timestamp +2018-10-24T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2018-10-24T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 24 October 2018 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q19
@@ Property / Mathematics Subject Classification ID: 68Q19 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6963788
@@ Property / zbMATH DE Number: 6963788 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2890423770
@@ Property / OpenAlex ID: W2890423770 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+team semantics
@@ Property / zbMATH Keywords: team semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dependence
@@ Property / zbMATH Keywords: dependence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+descriptive complexity
@@ Property / zbMATH Keywords: descriptive complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hierarchy
@@ Property / zbMATH Keywords: hierarchy / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inclusion
@@ Property / zbMATH Keywords: inclusion / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+independence
@@ Property / zbMATH Keywords: independence / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129241128
@@ Property / Wikidata QID: Q129241128 / rank @@
+Normal rank