Item:Q4683861: Difference between revisions

@@ redirect / redirect @@
+Q2817926
@@ description / en / description / en @@
-scientific article; zbMATH DE number 6943960
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / zbMATH Open document ID @@
-.03043
@@ Property / zbMATH Open document ID: 1476.03043 / rank @@
-Normal rank
@@ Property / DOI @@
-.23638/LMCS-14(3:23)2018
@@ Property / DOI: 10.23638/LMCS-14(3:23)2018 / rank @@
-Normal rank
@@ Property / author @@
-Viorica Sofronie-Stokkermans
@@ Property / author: Viorica Sofronie-Stokkermans / rank @@
-Normal rank
@@ Property / publication date @@
-September 2018Timestamp +2018-09-26T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2018-09-26T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 26 September 2018 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1702.06620
@@ Property / full work available at URL: https://arxiv.org/abs/1702.06620 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-C40
@@ Property / Mathematics Subject Classification ID: 03C40 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-C10
@@ Property / Mathematics Subject Classification ID: 03C10 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-6943960
@@ Property / zbMATH DE Number: 6943960 / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-quantifier elimination
@@ Property / zbMATH Keywords: quantifier elimination / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-theory extensions
@@ Property / zbMATH Keywords: theory extensions / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-SMT
@@ Property / zbMATH Keywords: SMT / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-hierarchical reasoning
@@ Property / zbMATH Keywords: hierarchical reasoning / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-ground interpolation
@@ Property / zbMATH Keywords: ground interpolation / rank @@
-Normal rank

Latest revision as of 09:05, 6 May 2024

Redirect to:

Item:Q2817926