Q5376656 (Q5376656): Difference between revisions

← Older edit Newer edit →

@@ description / en / description / en @@
-scientific article; zbMATH DE number 7056229
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / zbMATH Open document ID @@
-.68015
@@ Property / zbMATH Open document ID: 1421.68015 / rank @@
-Normal rank
@@ Property / author @@
-Andrei Ştefănescu
@@ Property / author: Andrei Ştefănescu / rank @@
-Normal rank
@@ Property / author @@
-Ştefan Ciobâcă
@@ Property / author: Ştefan Ciobâcă / rank @@
-Normal rank
@@ Property / author @@
-Radu Mereuta
@@ Property / author: Radu Mereuta / rank @@
-Normal rank
@@ Property / author @@
-Brandon Moore
@@ Property / author: Brandon Moore / rank @@
-Normal rank
@@ Property / author @@
-Traian-Florin Şerbănuţă
@@ Property / author: Traian-Florin Şerbănuţă / rank @@
-Normal rank
@@ Property / author @@
-Grigore Roşu
@@ Property / author: Grigore Roşu / rank @@
-Normal rank
@@ Property / publication date @@
-May 2019Timestamp +2019-05-17T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2019-05-17T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 17 May 2019 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1810.10826
@@ Property / full work available at URL: https://arxiv.org/abs/1810.10826 / 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 / Mathematics Subject Classification ID @@
-N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-7056229
@@ Property / zbMATH DE Number: 7056229 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
-Coq
@@ Property / describes a project that uses: Coq / rank @@
-Normal rank
@@ Property / describes a project that uses @@
-z3
@@ Property / describes a project that uses: z3 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
-Toolchain
@@ Property / describes a project that uses: Toolchain / rank @@
-Normal rank
@@ Property / describes a project that uses @@
-PLT Redex
@@ Property / describes a project that uses: PLT Redex / rank @@
-Normal rank
@@ Property / describes a project that uses @@
-K Prover
@@ Property / describes a project that uses: K Prover / rank @@
-Normal rank
@@ Property / describes a project that uses @@
-K tool
@@ Property / describes a project that uses: K tool / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / arXiv ID @@
-.10826
@@ Property / arXiv ID: 1810.10826 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5376656

Revision as of 10:22, 6 May 2024

No description defined

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

Q5376656 (Q5376656): Difference between revisions

Revision as of 10:22, 6 May 2024

Statements

Sitelinks

Mathematics(0 entries)