Item:Q2985127: Difference between revisions

← Older edit

@@ redirect / redirect @@
+Q2802449
@@ description / en / description / en @@
-scientific article; zbMATH DE number 6715907
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / zbMATH Open document ID @@
-.68098
@@ Property / zbMATH Open document ID: 1398.68098 / rank @@
-Normal rank
@@ Property / DOI @@
-.23638/LMCS-13(2:5)2017
@@ Property / DOI: 10.23638/LMCS-13(2:5)2017 / rank @@
-Normal rank
@@ Property / author @@
-Stefan Schulze Frielinghaus
@@ Property / author: Stefan Schulze Frielinghaus / rank @@
-Normal rank
@@ Property / author @@
-Michael Petter
@@ Property / author: Michael Petter / rank @@
-Normal rank
@@ Property / author @@
-Helmut Seidl
@@ Property / author: Helmut Seidl / rank @@
-Normal rank
@@ Property / publication date @@
-May 2017Timestamp +2017-05-16T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2017-05-16T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 16 May 2017 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1410.4416
@@ Property / full work available at URL: https://arxiv.org/abs/1410.4416 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-6715907
@@ Property / zbMATH DE Number: 6715907 / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-static analysis
@@ Property / zbMATH Keywords: static analysis / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-inter-procedural program analysis
@@ Property / zbMATH Keywords: inter-procedural program analysis / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-procedure summaries
@@ Property / zbMATH Keywords: procedure summaries / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-Herbrand equalities
@@ Property / zbMATH Keywords: Herbrand equalities / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / arXiv ID @@
-.4416
@@ Property / arXiv ID: 1410.4416 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:2985127

Latest revision as of 10:03, 6 May 2024

Redirect to:

Item:Q2802449