Matches in SemOpenAlex for { <https://semopenalex.org/work/W2772358933> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2772358933 abstract "Satisfiability modulo theories (SMT) solvers have throughout the years been able to cope with increasingly expressive formulas, from ground logics to full first-order logic modulo theories. Nevertheless, higher-order logic within SMT is still little explored. One main goal of the Matryoshka project, which started in March 2017, is to extend the reasoning capabilities of SMT solvers and other automatic provers beyond first-order logic. In this preliminary report, we report on an extension of the SMT-LIB language, the standard input format of SMT solvers, to handle higher-order constructs. We also discuss how to augment the proof format of the SMT solver veriT to accommodate these new constructs and the solving techniques they require." @default.
- W2772358933 created "2017-12-22" @default.
- W2772358933 creator A5000310752 @default.
- W2772358933 creator A5060799584 @default.
- W2772358933 creator A5077658497 @default.
- W2772358933 creator A5079200257 @default.
- W2772358933 creator A5091055281 @default.
- W2772358933 date "2017-12-04" @default.
- W2772358933 modified "2023-10-07" @default.
- W2772358933 title "Language and Proofs for Higher-Order SMT (Work in Progress)" @default.
- W2772358933 cites W1216298300 @default.
- W2772358933 cites W1507112684 @default.
- W2772358933 cites W1522613702 @default.
- W2772358933 cites W2022846948 @default.
- W2772358933 cites W2037085273 @default.
- W2772358933 cites W2262606152 @default.
- W2772358933 cites W2282845460 @default.
- W2772358933 cites W2505251503 @default.
- W2772358933 cites W2598379852 @default.
- W2772358933 cites W2618311217 @default.
- W2772358933 doi "https://doi.org/10.4204/eptcs.262.3" @default.
- W2772358933 hasPublicationYear "2017" @default.
- W2772358933 type Work @default.
- W2772358933 sameAs 2772358933 @default.
- W2772358933 citedByCount "3" @default.
- W2772358933 countsByYear W27723589332019 @default.
- W2772358933 countsByYear W27723589332023 @default.
- W2772358933 crossrefType "journal-article" @default.
- W2772358933 hasAuthorship W2772358933A5000310752 @default.
- W2772358933 hasAuthorship W2772358933A5060799584 @default.
- W2772358933 hasAuthorship W2772358933A5077658497 @default.
- W2772358933 hasAuthorship W2772358933A5079200257 @default.
- W2772358933 hasAuthorship W2772358933A5091055281 @default.
- W2772358933 hasBestOaLocation W27723589331 @default.
- W2772358933 hasConcept C10138342 @default.
- W2772358933 hasConcept C108710211 @default.
- W2772358933 hasConcept C118615104 @default.
- W2772358933 hasConcept C162324750 @default.
- W2772358933 hasConcept C164155591 @default.
- W2772358933 hasConcept C168773769 @default.
- W2772358933 hasConcept C182306322 @default.
- W2772358933 hasConcept C199360897 @default.
- W2772358933 hasConcept C2524010 @default.
- W2772358933 hasConcept C2778029271 @default.
- W2772358933 hasConcept C33923547 @default.
- W2772358933 hasConcept C39387531 @default.
- W2772358933 hasConcept C41008148 @default.
- W2772358933 hasConcept C54732982 @default.
- W2772358933 hasConcept C80444323 @default.
- W2772358933 hasConceptScore W2772358933C10138342 @default.
- W2772358933 hasConceptScore W2772358933C108710211 @default.
- W2772358933 hasConceptScore W2772358933C118615104 @default.
- W2772358933 hasConceptScore W2772358933C162324750 @default.
- W2772358933 hasConceptScore W2772358933C164155591 @default.
- W2772358933 hasConceptScore W2772358933C168773769 @default.
- W2772358933 hasConceptScore W2772358933C182306322 @default.
- W2772358933 hasConceptScore W2772358933C199360897 @default.
- W2772358933 hasConceptScore W2772358933C2524010 @default.
- W2772358933 hasConceptScore W2772358933C2778029271 @default.
- W2772358933 hasConceptScore W2772358933C33923547 @default.
- W2772358933 hasConceptScore W2772358933C39387531 @default.
- W2772358933 hasConceptScore W2772358933C41008148 @default.
- W2772358933 hasConceptScore W2772358933C54732982 @default.
- W2772358933 hasConceptScore W2772358933C80444323 @default.
- W2772358933 hasLocation W27723589331 @default.
- W2772358933 hasLocation W27723589332 @default.
- W2772358933 hasLocation W27723589333 @default.
- W2772358933 hasLocation W27723589334 @default.
- W2772358933 hasOpenAccess W2772358933 @default.
- W2772358933 hasPrimaryLocation W27723589331 @default.
- W2772358933 hasRelatedWork W1544167035 @default.
- W2772358933 hasRelatedWork W1868334863 @default.
- W2772358933 hasRelatedWork W2048903787 @default.
- W2772358933 hasRelatedWork W2238963713 @default.
- W2772358933 hasRelatedWork W2396384868 @default.
- W2772358933 hasRelatedWork W2433033450 @default.
- W2772358933 hasRelatedWork W2617886067 @default.
- W2772358933 hasRelatedWork W2772358933 @default.
- W2772358933 hasRelatedWork W2930007110 @default.
- W2772358933 hasRelatedWork W2953973768 @default.
- W2772358933 isParatext "false" @default.
- W2772358933 isRetracted "false" @default.
- W2772358933 magId "2772358933" @default.
- W2772358933 workType "article" @default.