Matches in SemOpenAlex for { <https://semopenalex.org/work/W2916441570> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2916441570 abstract "The SMT-LIB initiative is an international effort, coordinated by these authors and supported by several research groups world-wide, with the main goal of producing an extensive on-line library of benchmarks for satisfiability modulo theories. This paper defines syntax and semantics of the language used by SMT-LIB for writing theory specifications and benchmarks." @default.
- W2916441570 created "2019-03-02" @default.
- W2916441570 creator A5046830049 @default.
- W2916441570 creator A5047487115 @default.
- W2916441570 date "2006-01-01" @default.
- W2916441570 modified "2023-09-27" @default.
- W2916441570 title "The SMT-LIB Standard: Version 1.2" @default.
- W2916441570 hasPublicationYear "2006" @default.
- W2916441570 type Work @default.
- W2916441570 sameAs 2916441570 @default.
- W2916441570 citedByCount "37" @default.
- W2916441570 countsByYear W29164415702012 @default.
- W2916441570 countsByYear W29164415702013 @default.
- W2916441570 countsByYear W29164415702014 @default.
- W2916441570 countsByYear W29164415702017 @default.
- W2916441570 countsByYear W29164415702018 @default.
- W2916441570 crossrefType "journal-article" @default.
- W2916441570 hasAuthorship W2916441570A5046830049 @default.
- W2916441570 hasAuthorship W2916441570A5047487115 @default.
- W2916441570 hasConcept C164155591 @default.
- W2916441570 hasConcept C184337299 @default.
- W2916441570 hasConcept C199360897 @default.
- W2916441570 hasConcept C204321447 @default.
- W2916441570 hasConcept C33923547 @default.
- W2916441570 hasConcept C41008148 @default.
- W2916441570 hasConcept C60048249 @default.
- W2916441570 hasConcept C94375191 @default.
- W2916441570 hasConceptScore W2916441570C164155591 @default.
- W2916441570 hasConceptScore W2916441570C184337299 @default.
- W2916441570 hasConceptScore W2916441570C199360897 @default.
- W2916441570 hasConceptScore W2916441570C204321447 @default.
- W2916441570 hasConceptScore W2916441570C33923547 @default.
- W2916441570 hasConceptScore W2916441570C41008148 @default.
- W2916441570 hasConceptScore W2916441570C60048249 @default.
- W2916441570 hasConceptScore W2916441570C94375191 @default.
- W2916441570 hasLocation W29164415701 @default.
- W2916441570 hasOpenAccess W2916441570 @default.
- W2916441570 hasPrimaryLocation W29164415701 @default.
- W2916441570 hasRelatedWork W1480909796 @default.
- W2916441570 hasRelatedWork W1489527380 @default.
- W2916441570 hasRelatedWork W1515278398 @default.
- W2916441570 hasRelatedWork W1518705996 @default.
- W2916441570 hasRelatedWork W1552077729 @default.
- W2916441570 hasRelatedWork W1556566737 @default.
- W2916441570 hasRelatedWork W1579437898 @default.
- W2916441570 hasRelatedWork W169672073 @default.
- W2916441570 hasRelatedWork W1787074469 @default.
- W2916441570 hasRelatedWork W1975799355 @default.
- W2916441570 hasRelatedWork W2022846948 @default.
- W2916441570 hasRelatedWork W2055477538 @default.
- W2916441570 hasRelatedWork W2057361103 @default.
- W2916441570 hasRelatedWork W2105505307 @default.
- W2916441570 hasRelatedWork W2106192381 @default.
- W2916441570 hasRelatedWork W2125967324 @default.
- W2916441570 hasRelatedWork W2142785340 @default.
- W2916441570 hasRelatedWork W2159595840 @default.
- W2916441570 hasRelatedWork W2164778826 @default.
- W2916441570 hasRelatedWork W92576581 @default.
- W2916441570 isParatext "false" @default.
- W2916441570 isRetracted "false" @default.
- W2916441570 magId "2916441570" @default.
- W2916441570 workType "article" @default.