Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950082011> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2950082011 abstract "This paper investigates under which conditions instantiation-based proof procedures can be combined in a nested way, in order to mechanically construct new instantiation procedures for richer theories. Interesting applications in the field of verification are emphasized, particularly for handling extensions of the theory of arrays." @default.
- W2950082011 created "2019-06-27" @default.
- W2950082011 creator A5010578735 @default.
- W2950082011 creator A5079985573 @default.
- W2950082011 date "2011-07-25" @default.
- W2950082011 modified "2023-09-25" @default.
- W2950082011 title "Instantiation Schemes for Nested Theories" @default.
- W2950082011 hasPublicationYear "2011" @default.
- W2950082011 type Work @default.
- W2950082011 sameAs 2950082011 @default.
- W2950082011 citedByCount "0" @default.
- W2950082011 crossrefType "posted-content" @default.
- W2950082011 hasAuthorship W2950082011A5010578735 @default.
- W2950082011 hasAuthorship W2950082011A5079985573 @default.
- W2950082011 hasConcept C10138342 @default.
- W2950082011 hasConcept C103000020 @default.
- W2950082011 hasConcept C162324750 @default.
- W2950082011 hasConcept C182306322 @default.
- W2950082011 hasConcept C199360897 @default.
- W2950082011 hasConcept C202444582 @default.
- W2950082011 hasConcept C2780801425 @default.
- W2950082011 hasConcept C33923547 @default.
- W2950082011 hasConcept C41008148 @default.
- W2950082011 hasConcept C510870499 @default.
- W2950082011 hasConcept C80444323 @default.
- W2950082011 hasConcept C9652623 @default.
- W2950082011 hasConceptScore W2950082011C10138342 @default.
- W2950082011 hasConceptScore W2950082011C103000020 @default.
- W2950082011 hasConceptScore W2950082011C162324750 @default.
- W2950082011 hasConceptScore W2950082011C182306322 @default.
- W2950082011 hasConceptScore W2950082011C199360897 @default.
- W2950082011 hasConceptScore W2950082011C202444582 @default.
- W2950082011 hasConceptScore W2950082011C2780801425 @default.
- W2950082011 hasConceptScore W2950082011C33923547 @default.
- W2950082011 hasConceptScore W2950082011C41008148 @default.
- W2950082011 hasConceptScore W2950082011C510870499 @default.
- W2950082011 hasConceptScore W2950082011C80444323 @default.
- W2950082011 hasConceptScore W2950082011C9652623 @default.
- W2950082011 hasLocation W29500820111 @default.
- W2950082011 hasOpenAccess W2950082011 @default.
- W2950082011 hasPrimaryLocation W29500820111 @default.
- W2950082011 hasRelatedWork W130228130 @default.
- W2950082011 hasRelatedWork W1529286265 @default.
- W2950082011 hasRelatedWork W1561501726 @default.
- W2950082011 hasRelatedWork W1571932800 @default.
- W2950082011 hasRelatedWork W1589988994 @default.
- W2950082011 hasRelatedWork W1604172094 @default.
- W2950082011 hasRelatedWork W2034704972 @default.
- W2950082011 hasRelatedWork W2061870984 @default.
- W2950082011 hasRelatedWork W2102886900 @default.
- W2950082011 hasRelatedWork W2105482255 @default.
- W2950082011 hasRelatedWork W2106786871 @default.
- W2950082011 hasRelatedWork W2120286262 @default.
- W2950082011 hasRelatedWork W2284136481 @default.
- W2950082011 hasRelatedWork W2332825144 @default.
- W2950082011 hasRelatedWork W2408365137 @default.
- W2950082011 hasRelatedWork W2495832856 @default.
- W2950082011 hasRelatedWork W2518934931 @default.
- W2950082011 hasRelatedWork W3167930107 @default.
- W2950082011 hasRelatedWork W2184660192 @default.
- W2950082011 hasRelatedWork W3150875667 @default.
- W2950082011 isParatext "false" @default.
- W2950082011 isRetracted "false" @default.
- W2950082011 magId "2950082011" @default.
- W2950082011 workType "article" @default.