Item:Q5145318: Difference between revisions

← Older edit

@@ redirect / redirect @@
+Q5094122
@@ label / en / label / en @@
-Sequential Relational Decomposition
@@ description / en / description / en @@
-scientific article; zbMATH DE number 7298768
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-Sequential Relational Decomposition (English)
@@ Property / title: Sequential Relational Decomposition (English) / rank @@
-Normal rank
@@ Property / zbMATH Open document ID @@
-.68172
@@ Property / zbMATH Open document ID: 1497.68172 / rank @@
-Normal rank
@@ Property / DOI @@
-.1145/3209108.3209203
@@ Property / DOI: 10.1145/3209108.3209203 / rank @@
-Normal rank
@@ Property / author @@
-Dror Fried
@@ Property / author: Dror Fried / rank @@
-Normal rank
@@ Property / author @@
-Axel Legay
@@ Property / author: Axel Legay / rank @@
-Normal rank
@@ Property / author @@
-Joël Ouaknine
@@ Property / author: Joël Ouaknine / rank @@
-Normal rank
@@ Property / author @@
-Moshe Y. Vardi
@@ Property / author: Moshe Y. Vardi / rank @@
-Normal rank
@@ Property / published in @@
-Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
-Normal rank
@@ Property / publication date @@
-January 2021Timestamp +2021-01-20T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2021-01-20T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 20 January 2021 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1903.01368
@@ Property / full work available at URL: https://arxiv.org/abs/1903.01368 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q01
@@ Property / Mathematics Subject Classification ID: 68Q01 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q06
@@ Property / Mathematics Subject Classification ID: 68Q06 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-7298768
@@ Property / zbMATH DE Number: 7298768 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
-W2798787028
@@ Property / OpenAlex ID: W2798787028 / rank @@
-Normal rank
@@ Property / arXiv ID @@
-.01368
@@ Property / arXiv ID: 1903.01368 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5145318

Latest revision as of 10:22, 6 May 2024

Redirect to:

Item:Q5094122