Matches in SemOpenAlex for { <https://semopenalex.org/work/W4302076648> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W4302076648 abstract "OpenMath and SMT-LIB are languages with very different origins, but both represent mathematics. We describe SMT-LIB for the OpenMath community and consider adaptations for both languages to support the growing SC-Square initiative." @default.
- W4302076648 created "2022-10-06" @default.
- W4302076648 creator A5024829138 @default.
- W4302076648 creator A5027589785 @default.
- W4302076648 creator A5043054372 @default.
- W4302076648 creator A5088301538 @default.
- W4302076648 date "2018-03-05" @default.
- W4302076648 modified "2023-09-27" @default.
- W4302076648 title "OpenMath and SMT-LIB" @default.
- W4302076648 doi "https://doi.org/10.48550/arxiv.1803.01592" @default.
- W4302076648 hasPublicationYear "2018" @default.
- W4302076648 type Work @default.
- W4302076648 citedByCount "0" @default.
- W4302076648 crossrefType "posted-content" @default.
- W4302076648 hasAuthorship W4302076648A5024829138 @default.
- W4302076648 hasAuthorship W4302076648A5027589785 @default.
- W4302076648 hasAuthorship W4302076648A5043054372 @default.
- W4302076648 hasAuthorship W4302076648A5088301538 @default.
- W4302076648 hasBestOaLocation W43020766481 @default.
- W4302076648 hasConcept C135692309 @default.
- W4302076648 hasConcept C138885662 @default.
- W4302076648 hasConcept C199360897 @default.
- W4302076648 hasConcept C2524010 @default.
- W4302076648 hasConcept C33923547 @default.
- W4302076648 hasConcept C41008148 @default.
- W4302076648 hasConcept C41895202 @default.
- W4302076648 hasConceptScore W4302076648C135692309 @default.
- W4302076648 hasConceptScore W4302076648C138885662 @default.
- W4302076648 hasConceptScore W4302076648C199360897 @default.
- W4302076648 hasConceptScore W4302076648C2524010 @default.
- W4302076648 hasConceptScore W4302076648C33923547 @default.
- W4302076648 hasConceptScore W4302076648C41008148 @default.
- W4302076648 hasConceptScore W4302076648C41895202 @default.
- W4302076648 hasLocation W43020766481 @default.
- W4302076648 hasOpenAccess W4302076648 @default.
- W4302076648 hasPrimaryLocation W43020766481 @default.
- W4302076648 hasRelatedWork W1527862632 @default.
- W4302076648 hasRelatedWork W2112962394 @default.
- W4302076648 hasRelatedWork W2118300983 @default.
- W4302076648 hasRelatedWork W2135396778 @default.
- W4302076648 hasRelatedWork W2382501300 @default.
- W4302076648 hasRelatedWork W2740990710 @default.
- W4302076648 hasRelatedWork W3137189469 @default.
- W4302076648 hasRelatedWork W3162240892 @default.
- W4302076648 hasRelatedWork W4235530921 @default.
- W4302076648 hasRelatedWork W4243252198 @default.
- W4302076648 isParatext "false" @default.
- W4302076648 isRetracted "false" @default.
- W4302076648 workType "article" @default.