Model checking existential logic on partially ordered sets (Q4635604): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Model Checking Existential Logic on Partially Ordered Sets
@@ description / en / description / en @@
+scientific article; zbMATH DE number 6744229
@@ 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 / 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 / zbMATH DE Number @@
+6744229
@@ Property / zbMATH DE Number: 6744229 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2189395188
@@ Property / OpenAlex ID: W2189395188 / rank @@
+Normal rank

Latest revision as of 10:19, 6 May 2024

scientific article; zbMATH DE number 6744229

Language	Label	Description	Also known as
English	Model checking existential logic on partially ordered sets	scientific article; zbMATH DE number 6744229	Model Checking Existential Logic on Partially Ordered Sets