Matches in SemOpenAlex for { <https://semopenalex.org/work/W64610251> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W64610251 endingPage "42" @default.
- W64610251 startingPage "27" @default.
- W64610251 abstract "A logic is devised for reasoning about iterated schemata of SMT problems. The satisfiability problem is shown to be undecidable for this logic, but we present a proof procedure that is sound, complete w.r.t. satisfiability and terminating for a precisely characterized class of problems. It is parameterized by an external procedure (used as a black box) for testing the satisfiability of ground instances of the schema in the considered theory (e.g. integers, reals etc.)." @default.
- W64610251 created "2016-06-24" @default.
- W64610251 creator A5017246972 @default.
- W64610251 creator A5079985573 @default.
- W64610251 date "2011-01-01" @default.
- W64610251 modified "2023-10-15" @default.
- W64610251 title "Schemata of SMT-Problems" @default.
- W64610251 cites W1511737804 @default.
- W64610251 cites W1536511644 @default.
- W64610251 cites W1552077729 @default.
- W64610251 cites W1563887142 @default.
- W64610251 cites W2095943001 @default.
- W64610251 doi "https://doi.org/10.1007/978-3-642-22119-4_5" @default.
- W64610251 hasPublicationYear "2011" @default.
- W64610251 type Work @default.
- W64610251 sameAs 64610251 @default.
- W64610251 citedByCount "6" @default.
- W64610251 countsByYear W646102512012 @default.
- W64610251 countsByYear W646102512013 @default.
- W64610251 countsByYear W646102512015 @default.
- W64610251 countsByYear W646102512017 @default.
- W64610251 crossrefType "book-chapter" @default.
- W64610251 hasAuthorship W64610251A5017246972 @default.
- W64610251 hasAuthorship W64610251A5079985573 @default.
- W64610251 hasBestOaLocation W646102512 @default.
- W64610251 hasConcept C11413529 @default.
- W64610251 hasConcept C118615104 @default.
- W64610251 hasConcept C119857082 @default.
- W64610251 hasConcept C134306372 @default.
- W64610251 hasConcept C140479938 @default.
- W64610251 hasConcept C153269930 @default.
- W64610251 hasConcept C154945302 @default.
- W64610251 hasConcept C165464430 @default.
- W64610251 hasConcept C168773769 @default.
- W64610251 hasConcept C192034797 @default.
- W64610251 hasConcept C199360897 @default.
- W64610251 hasConcept C2777212361 @default.
- W64610251 hasConcept C33923547 @default.
- W64610251 hasConcept C41008148 @default.
- W64610251 hasConcept C52146309 @default.
- W64610251 hasConcept C6943359 @default.
- W64610251 hasConcept C80444323 @default.
- W64610251 hasConceptScore W64610251C11413529 @default.
- W64610251 hasConceptScore W64610251C118615104 @default.
- W64610251 hasConceptScore W64610251C119857082 @default.
- W64610251 hasConceptScore W64610251C134306372 @default.
- W64610251 hasConceptScore W64610251C140479938 @default.
- W64610251 hasConceptScore W64610251C153269930 @default.
- W64610251 hasConceptScore W64610251C154945302 @default.
- W64610251 hasConceptScore W64610251C165464430 @default.
- W64610251 hasConceptScore W64610251C168773769 @default.
- W64610251 hasConceptScore W64610251C192034797 @default.
- W64610251 hasConceptScore W64610251C199360897 @default.
- W64610251 hasConceptScore W64610251C2777212361 @default.
- W64610251 hasConceptScore W64610251C33923547 @default.
- W64610251 hasConceptScore W64610251C41008148 @default.
- W64610251 hasConceptScore W64610251C52146309 @default.
- W64610251 hasConceptScore W64610251C6943359 @default.
- W64610251 hasConceptScore W64610251C80444323 @default.
- W64610251 hasLocation W646102511 @default.
- W64610251 hasLocation W646102512 @default.
- W64610251 hasLocation W646102513 @default.
- W64610251 hasLocation W646102514 @default.
- W64610251 hasLocation W646102515 @default.
- W64610251 hasOpenAccess W64610251 @default.
- W64610251 hasPrimaryLocation W646102511 @default.
- W64610251 hasRelatedWork W1543051890 @default.
- W64610251 hasRelatedWork W1556645209 @default.
- W64610251 hasRelatedWork W1865369187 @default.
- W64610251 hasRelatedWork W196035745 @default.
- W64610251 hasRelatedWork W2760839163 @default.
- W64610251 hasRelatedWork W2782243532 @default.
- W64610251 hasRelatedWork W2963991671 @default.
- W64610251 hasRelatedWork W2997249752 @default.
- W64610251 hasRelatedWork W2523981875 @default.
- W64610251 hasRelatedWork W2585890227 @default.
- W64610251 isParatext "false" @default.
- W64610251 isRetracted "false" @default.
- W64610251 magId "64610251" @default.
- W64610251 workType "book-chapter" @default.