Matches in SemOpenAlex for { <https://semopenalex.org/work/W1789702989> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1789702989 endingPage "130" @default.
- W1789702989 startingPage "116" @default.
- W1789702989 abstract "Agda is a dependently typed functional programming language and a proof assistant in which developing programs and proving their correctness is one activity. We show how this process can be enhanced by integrating external automated theorem provers, provide a prototypical integration of the equational theorem prover Waldmeister, and give examples of how this proof automation works in practice.KeywordsProof ObligationProof AssistantAutomate Theorem ProveEquational LogicFunctional Programming LanguageThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1789702989 created "2016-06-24" @default.
- W1789702989 creator A5004734550 @default.
- W1789702989 creator A5018039260 @default.
- W1789702989 date "2011-01-01" @default.
- W1789702989 modified "2023-09-24" @default.
- W1789702989 title "Integrating an Automated Theorem Prover into Agda" @default.
- W1789702989 cites W1548261674 @default.
- W1789702989 cites W1552715853 @default.
- W1789702989 cites W1558175043 @default.
- W1789702989 cites W1575779505 @default.
- W1789702989 cites W1585023794 @default.
- W1789702989 cites W1595209293 @default.
- W1789702989 cites W1596816096 @default.
- W1789702989 cites W1599039905 @default.
- W1789702989 cites W2007371755 @default.
- W1789702989 cites W2062887328 @default.
- W1789702989 cites W4250846042 @default.
- W1789702989 doi "https://doi.org/10.1007/978-3-642-20398-5_10" @default.
- W1789702989 hasPublicationYear "2011" @default.
- W1789702989 type Work @default.
- W1789702989 sameAs 1789702989 @default.
- W1789702989 citedByCount "9" @default.
- W1789702989 countsByYear W17897029892012 @default.
- W1789702989 countsByYear W17897029892013 @default.
- W1789702989 countsByYear W17897029892014 @default.
- W1789702989 countsByYear W17897029892016 @default.
- W1789702989 countsByYear W17897029892019 @default.
- W1789702989 crossrefType "book-chapter" @default.
- W1789702989 hasAuthorship W1789702989A5004734550 @default.
- W1789702989 hasAuthorship W1789702989A5018039260 @default.
- W1789702989 hasBestOaLocation W17897029892 @default.
- W1789702989 hasConcept C108710211 @default.
- W1789702989 hasConcept C13766981 @default.
- W1789702989 hasConcept C159718280 @default.
- W1789702989 hasConcept C199343813 @default.
- W1789702989 hasConcept C199360897 @default.
- W1789702989 hasConcept C203265346 @default.
- W1789702989 hasConcept C206880738 @default.
- W1789702989 hasConcept C2524010 @default.
- W1789702989 hasConcept C2777686260 @default.
- W1789702989 hasConcept C33923547 @default.
- W1789702989 hasConcept C41008148 @default.
- W1789702989 hasConcept C42383842 @default.
- W1789702989 hasConcept C55439883 @default.
- W1789702989 hasConcept C71924100 @default.
- W1789702989 hasConceptScore W1789702989C108710211 @default.
- W1789702989 hasConceptScore W1789702989C13766981 @default.
- W1789702989 hasConceptScore W1789702989C159718280 @default.
- W1789702989 hasConceptScore W1789702989C199343813 @default.
- W1789702989 hasConceptScore W1789702989C199360897 @default.
- W1789702989 hasConceptScore W1789702989C203265346 @default.
- W1789702989 hasConceptScore W1789702989C206880738 @default.
- W1789702989 hasConceptScore W1789702989C2524010 @default.
- W1789702989 hasConceptScore W1789702989C2777686260 @default.
- W1789702989 hasConceptScore W1789702989C33923547 @default.
- W1789702989 hasConceptScore W1789702989C41008148 @default.
- W1789702989 hasConceptScore W1789702989C42383842 @default.
- W1789702989 hasConceptScore W1789702989C55439883 @default.
- W1789702989 hasConceptScore W1789702989C71924100 @default.
- W1789702989 hasLocation W17897029891 @default.
- W1789702989 hasLocation W17897029892 @default.
- W1789702989 hasOpenAccess W1789702989 @default.
- W1789702989 hasPrimaryLocation W17897029891 @default.
- W1789702989 hasRelatedWork W1524804222 @default.
- W1789702989 hasRelatedWork W1573992413 @default.
- W1789702989 hasRelatedWork W1599039905 @default.
- W1789702989 hasRelatedWork W171691701 @default.
- W1789702989 hasRelatedWork W1806292759 @default.
- W1789702989 hasRelatedWork W1861293286 @default.
- W1789702989 hasRelatedWork W1965378187 @default.
- W1789702989 hasRelatedWork W2041093119 @default.
- W1789702989 hasRelatedWork W2047769863 @default.
- W1789702989 hasRelatedWork W2079552794 @default.
- W1789702989 hasRelatedWork W2099924673 @default.
- W1789702989 hasRelatedWork W2115772588 @default.
- W1789702989 hasRelatedWork W2123470495 @default.
- W1789702989 hasRelatedWork W2124145386 @default.
- W1789702989 hasRelatedWork W2127784146 @default.
- W1789702989 hasRelatedWork W2134175771 @default.
- W1789702989 hasRelatedWork W3182496033 @default.
- W1789702989 hasRelatedWork W41512512 @default.
- W1789702989 hasRelatedWork W81349459 @default.
- W1789702989 hasRelatedWork W84726058 @default.
- W1789702989 isParatext "false" @default.
- W1789702989 isRetracted "false" @default.
- W1789702989 magId "1789702989" @default.
- W1789702989 workType "book-chapter" @default.