Matches in SemOpenAlex for { <https://semopenalex.org/work/W1485463313> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1485463313 endingPage "147" @default.
- W1485463313 startingPage "135" @default.
- W1485463313 abstract "We demonstrate how the rippling heuristic [Bundy et al 93], originally developed for inductive proofs, can be used to automate set membership proofs. Set membership proofs occur frequently as subgoals in Z proofs, and automating these goals would lift a significant burden of the proof off of users of proof tools. The approach is promising and is being integrated into the proof tool Z-in-Isabelle [Kraan & Baumann 95a]." @default.
- W1485463313 created "2016-06-24" @default.
- W1485463313 creator A5005850376 @default.
- W1485463313 date "1997-01-01" @default.
- W1485463313 modified "2023-09-27" @default.
- W1485463313 title "Using the rippling heuristic in set membership proofs" @default.
- W1485463313 cites W1507899410 @default.
- W1485463313 cites W1581769579 @default.
- W1485463313 cites W1590963539 @default.
- W1485463313 cites W1604313107 @default.
- W1485463313 cites W2087028873 @default.
- W1485463313 cites W2115781052 @default.
- W1485463313 cites W4232202664 @default.
- W1485463313 doi "https://doi.org/10.1007/bfb0027288" @default.
- W1485463313 hasPublicationYear "1997" @default.
- W1485463313 type Work @default.
- W1485463313 sameAs 1485463313 @default.
- W1485463313 citedByCount "1" @default.
- W1485463313 crossrefType "book-chapter" @default.
- W1485463313 hasAuthorship W1485463313A5005850376 @default.
- W1485463313 hasConcept C108710211 @default.
- W1485463313 hasConcept C124101348 @default.
- W1485463313 hasConcept C139002025 @default.
- W1485463313 hasConcept C154945302 @default.
- W1485463313 hasConcept C173801870 @default.
- W1485463313 hasConcept C177264268 @default.
- W1485463313 hasConcept C199343813 @default.
- W1485463313 hasConcept C199360897 @default.
- W1485463313 hasConcept C203265346 @default.
- W1485463313 hasConcept C2524010 @default.
- W1485463313 hasConcept C2777686260 @default.
- W1485463313 hasConcept C31314021 @default.
- W1485463313 hasConcept C33923547 @default.
- W1485463313 hasConcept C41008148 @default.
- W1485463313 hasConcept C71924100 @default.
- W1485463313 hasConcept C80444323 @default.
- W1485463313 hasConceptScore W1485463313C108710211 @default.
- W1485463313 hasConceptScore W1485463313C124101348 @default.
- W1485463313 hasConceptScore W1485463313C139002025 @default.
- W1485463313 hasConceptScore W1485463313C154945302 @default.
- W1485463313 hasConceptScore W1485463313C173801870 @default.
- W1485463313 hasConceptScore W1485463313C177264268 @default.
- W1485463313 hasConceptScore W1485463313C199343813 @default.
- W1485463313 hasConceptScore W1485463313C199360897 @default.
- W1485463313 hasConceptScore W1485463313C203265346 @default.
- W1485463313 hasConceptScore W1485463313C2524010 @default.
- W1485463313 hasConceptScore W1485463313C2777686260 @default.
- W1485463313 hasConceptScore W1485463313C31314021 @default.
- W1485463313 hasConceptScore W1485463313C33923547 @default.
- W1485463313 hasConceptScore W1485463313C41008148 @default.
- W1485463313 hasConceptScore W1485463313C71924100 @default.
- W1485463313 hasConceptScore W1485463313C80444323 @default.
- W1485463313 hasLocation W14854633131 @default.
- W1485463313 hasOpenAccess W1485463313 @default.
- W1485463313 hasPrimaryLocation W14854633131 @default.
- W1485463313 hasRelatedWork W1497090380 @default.
- W1485463313 hasRelatedWork W1507932752 @default.
- W1485463313 hasRelatedWork W1526154391 @default.
- W1485463313 hasRelatedWork W1535660288 @default.
- W1485463313 hasRelatedWork W1556936708 @default.
- W1485463313 hasRelatedWork W1587012427 @default.
- W1485463313 hasRelatedWork W1599005250 @default.
- W1485463313 hasRelatedWork W1602107760 @default.
- W1485463313 hasRelatedWork W1844803781 @default.
- W1485463313 hasRelatedWork W1984720830 @default.
- W1485463313 hasRelatedWork W2015336142 @default.
- W1485463313 hasRelatedWork W2027352679 @default.
- W1485463313 hasRelatedWork W2091542811 @default.
- W1485463313 hasRelatedWork W2784656124 @default.
- W1485463313 hasRelatedWork W29114720 @default.
- W1485463313 hasRelatedWork W3092597885 @default.
- W1485463313 hasRelatedWork W3105824395 @default.
- W1485463313 hasRelatedWork W3155435928 @default.
- W1485463313 hasRelatedWork W77879984 @default.
- W1485463313 hasRelatedWork W169363831 @default.
- W1485463313 isParatext "false" @default.
- W1485463313 isRetracted "false" @default.
- W1485463313 magId "1485463313" @default.
- W1485463313 workType "book-chapter" @default.