Q5277911 (Q5277911): Difference between revisions

← Older edit Newer edit →

@@ label / en / label / en @@
-Model Checking Existential Logic on Partially Ordered Sets
@@ description / en / description / en @@
-scientific article; zbMATH DE number 6744229
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-Model Checking Existential Logic on Partially Ordered Sets (English)
-Normal rank
@@ Property / zbMATH Open document ID @@
-.68182
@@ Property / zbMATH Open document ID: 1367.68182 / rank @@
-Normal rank
@@ Property / DOI @@
-.1145/2814937
@@ Property / DOI: 10.1145/2814937 / rank @@
-Normal rank
@@ Property / author @@
-Simone Bova
@@ Property / author: Simone Bova / rank @@
-Normal rank
@@ Property / author @@
-Robert Ganian
@@ Property / author: Robert Ganian / rank @@
-Normal rank
@@ Property / author @@
-Stefan Szeider
@@ Property / author: Stefan Szeider / 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 @@
-July 2017Timestamp +2017-07-12T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2017-07-12T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 12 July 2017 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1405.2891
@@ Property / full work available at URL: https://arxiv.org/abs/1405.2891 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-6744229
@@ Property / zbMATH DE Number: 6744229 / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-partially ordered sets
@@ Property / zbMATH Keywords: partially ordered sets / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-model checking
@@ Property / zbMATH Keywords: model checking / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-parameterized complexity
@@ Property / zbMATH Keywords: parameterized complexity / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-width
@@ Property / zbMATH Keywords: width / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
-W2189395188
@@ Property / OpenAlex ID: W2189395188 / rank @@
-Normal rank
@@ Property / arXiv ID @@
-.2891
@@ Property / arXiv ID: 1405.2891 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5277911

Revision as of 10:19, 6 May 2024

No description defined

Language	Label	Description	Also known as
English	No label defined	No description defined

Q5277911 (Q5277911): Difference between revisions

Revision as of 10:19, 6 May 2024

Statements

Sitelinks

Mathematics(0 entries)