Matches in SemOpenAlex for { <https://semopenalex.org/work/W1560375618> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1560375618 abstract "We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in place of existentially quantified variables and combines logical proof search with rippling techniques. We avoid the non-termination problems which usually occur in the presence of existentially quantified variables. Moreover, we are able to synthesize conditional substitutions for the meta-variables. We illustrate our approach by discussing the specification of the integer square root." @default.
- W1560375618 created "2016-06-24" @default.
- W1560375618 creator A5044908798 @default.
- W1560375618 creator A5087898463 @default.
- W1560375618 date "1998-01-01" @default.
- W1560375618 modified "2023-09-24" @default.
- W1560375618 title "Instantiation of existentially quantified variables in inductive specification proofs" @default.
- W1560375618 cites W1532420827 @default.
- W1560375618 cites W1555878237 @default.
- W1560375618 cites W1787768633 @default.
- W1560375618 cites W2001774285 @default.
- W1560375618 cites W2021790140 @default.
- W1560375618 cites W2087028873 @default.
- W1560375618 cites W2111792525 @default.
- W1560375618 cites W2124798629 @default.
- W1560375618 cites W2168951609 @default.
- W1560375618 cites W32791206 @default.
- W1560375618 cites W47779853 @default.
- W1560375618 cites W2477108968 @default.
- W1560375618 doi "https://doi.org/10.1007/bfb0055917" @default.
- W1560375618 hasPublicationYear "1998" @default.
- W1560375618 type Work @default.
- W1560375618 sameAs 1560375618 @default.
- W1560375618 citedByCount "8" @default.
- W1560375618 crossrefType "book-chapter" @default.
- W1560375618 hasAuthorship W1560375618A5044908798 @default.
- W1560375618 hasAuthorship W1560375618A5087898463 @default.
- W1560375618 hasConcept C108710211 @default.
- W1560375618 hasConcept C11413529 @default.
- W1560375618 hasConcept C199360897 @default.
- W1560375618 hasConcept C203265346 @default.
- W1560375618 hasConcept C2524010 @default.
- W1560375618 hasConcept C31314021 @default.
- W1560375618 hasConcept C33923547 @default.
- W1560375618 hasConcept C41008148 @default.
- W1560375618 hasConcept C80444323 @default.
- W1560375618 hasConceptScore W1560375618C108710211 @default.
- W1560375618 hasConceptScore W1560375618C11413529 @default.
- W1560375618 hasConceptScore W1560375618C199360897 @default.
- W1560375618 hasConceptScore W1560375618C203265346 @default.
- W1560375618 hasConceptScore W1560375618C2524010 @default.
- W1560375618 hasConceptScore W1560375618C31314021 @default.
- W1560375618 hasConceptScore W1560375618C33923547 @default.
- W1560375618 hasConceptScore W1560375618C41008148 @default.
- W1560375618 hasConceptScore W1560375618C80444323 @default.
- W1560375618 hasLocation W15603756181 @default.
- W1560375618 hasOpenAccess W1560375618 @default.
- W1560375618 hasPrimaryLocation W15603756181 @default.
- W1560375618 hasRelatedWork W1490609548 @default.
- W1560375618 hasRelatedWork W1495032777 @default.
- W1560375618 hasRelatedWork W1537589219 @default.
- W1560375618 hasRelatedWork W1588080901 @default.
- W1560375618 hasRelatedWork W1589294645 @default.
- W1560375618 hasRelatedWork W1783021706 @default.
- W1560375618 hasRelatedWork W1789619899 @default.
- W1560375618 hasRelatedWork W1965765860 @default.
- W1560375618 hasRelatedWork W1972733422 @default.
- W1560375618 hasRelatedWork W1986795311 @default.
- W1560375618 hasRelatedWork W2030412184 @default.
- W1560375618 hasRelatedWork W2048285884 @default.
- W1560375618 hasRelatedWork W2061236786 @default.
- W1560375618 hasRelatedWork W2099074223 @default.
- W1560375618 hasRelatedWork W2103351789 @default.
- W1560375618 hasRelatedWork W2104860831 @default.
- W1560375618 hasRelatedWork W2106692345 @default.
- W1560375618 hasRelatedWork W2159081659 @default.
- W1560375618 hasRelatedWork W2547679913 @default.
- W1560375618 hasRelatedWork W2481984086 @default.
- W1560375618 isParatext "false" @default.
- W1560375618 isRetracted "false" @default.
- W1560375618 magId "1560375618" @default.
- W1560375618 workType "book-chapter" @default.