Item:Q5376656: Difference between revisions
From MaRDI portal
Item:Q5376656
Changed an Item |
EloiFerrer (talk | contribs) Redirected to Q5170834 Tag: New redirect |
||||||||||||||
(7 intermediate revisions by 4 users not shown) | |||||||||||||||
redirect | redirect | ||||||||||||||
Q5170834 | |||||||||||||||
description / en | description / en | ||||||||||||||
Property / instance of | |||||||||||||||
Property / instance of: scholarly article / rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1421.68015 / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Andrei Ştefănescu / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Ştefan Ciobâcă / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Radu Mereuta / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Brandon Moore / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Traian-Florin Şerbănuţă / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Grigore Roşu / rank | |||||||||||||||
Property / publication date | |||||||||||||||
| |||||||||||||||
Property / publication date: 17 May 2019 / rank | |||||||||||||||
Property / full work available at URL | |||||||||||||||
Property / full work available at URL: https://arxiv.org/abs/1810.10826 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68N30 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 03B70 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68N19 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Q55 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68T15 / rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 7056229 / rank | |||||||||||||||
Property / describes a project that uses | |||||||||||||||
Property / describes a project that uses: Coq / rank | |||||||||||||||
Property / describes a project that uses | |||||||||||||||
Property / describes a project that uses: z3 / rank | |||||||||||||||
links / mardi / name | links / mardi / name | ||||||||||||||
Latest revision as of 10:22, 6 May 2024
Redirect to: