Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056022747> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2056022747 endingPage "160" @default.
- W2056022747 startingPage "143" @default.
- W2056022747 abstract "In this paper, we describe a new fully automatic theorem prover called Poitín which makes use of a novel transformation algorithm called distillation to prove input conjectures. The input conjectures are defined in a functional language and are transformed using the distillation algorithm. The result of this transformation can be easily inspected to see whether the original conjecture is true. Possible divergence of the transformation algorithm is detected, and this information is used to perform generalizations to ensure termination. We give several examples of the application of the theorem prover, and compare it to related work." @default.
- W2056022747 created "2016-06-24" @default.
- W2056022747 creator A5013013246 @default.
- W2056022747 date "2006-03-01" @default.
- W2056022747 modified "2023-09-26" @default.
- W2056022747 title "Poitín: Distilling Theorems From Conjectures" @default.
- W2056022747 cites W1489542124 @default.
- W2056022747 cites W1492719243 @default.
- W2056022747 cites W1501891810 @default.
- W2056022747 cites W1504895903 @default.
- W2056022747 cites W1543641760 @default.
- W2056022747 cites W1555093324 @default.
- W2056022747 cites W1556837122 @default.
- W2056022747 cites W1583319715 @default.
- W2056022747 cites W1590791006 @default.
- W2056022747 cites W1598890912 @default.
- W2056022747 cites W2018765574 @default.
- W2056022747 cites W2020024606 @default.
- W2056022747 cites W2054515625 @default.
- W2056022747 cites W2076508310 @default.
- W2056022747 cites W2087028873 @default.
- W2056022747 cites W2132750992 @default.
- W2056022747 cites W2135124683 @default.
- W2056022747 cites W2157543955 @default.
- W2056022747 cites W2163976959 @default.
- W2056022747 cites W2166822586 @default.
- W2056022747 cites W2169770847 @default.
- W2056022747 cites W2912818154 @default.
- W2056022747 doi "https://doi.org/10.1016/j.entcs.2005.11.028" @default.
- W2056022747 hasPublicationYear "2006" @default.
- W2056022747 type Work @default.
- W2056022747 sameAs 2056022747 @default.
- W2056022747 citedByCount "5" @default.
- W2056022747 countsByYear W20560227472017 @default.
- W2056022747 crossrefType "journal-article" @default.
- W2056022747 hasAuthorship W2056022747A5013013246 @default.
- W2056022747 hasBestOaLocation W20560227471 @default.
- W2056022747 hasConcept C104317684 @default.
- W2056022747 hasConcept C108710211 @default.
- W2056022747 hasConcept C11413529 @default.
- W2056022747 hasConcept C118615104 @default.
- W2056022747 hasConcept C136119220 @default.
- W2056022747 hasConcept C138885662 @default.
- W2056022747 hasConcept C159718280 @default.
- W2056022747 hasConcept C178790620 @default.
- W2056022747 hasConcept C185592680 @default.
- W2056022747 hasConcept C202444582 @default.
- W2056022747 hasConcept C204030448 @default.
- W2056022747 hasConcept C204241405 @default.
- W2056022747 hasConcept C206880738 @default.
- W2056022747 hasConcept C207390915 @default.
- W2056022747 hasConcept C2524010 @default.
- W2056022747 hasConcept C2780990831 @default.
- W2056022747 hasConcept C33923547 @default.
- W2056022747 hasConcept C41008148 @default.
- W2056022747 hasConcept C41895202 @default.
- W2056022747 hasConcept C55493867 @default.
- W2056022747 hasConcept C80444323 @default.
- W2056022747 hasConceptScore W2056022747C104317684 @default.
- W2056022747 hasConceptScore W2056022747C108710211 @default.
- W2056022747 hasConceptScore W2056022747C11413529 @default.
- W2056022747 hasConceptScore W2056022747C118615104 @default.
- W2056022747 hasConceptScore W2056022747C136119220 @default.
- W2056022747 hasConceptScore W2056022747C138885662 @default.
- W2056022747 hasConceptScore W2056022747C159718280 @default.
- W2056022747 hasConceptScore W2056022747C178790620 @default.
- W2056022747 hasConceptScore W2056022747C185592680 @default.
- W2056022747 hasConceptScore W2056022747C202444582 @default.
- W2056022747 hasConceptScore W2056022747C204030448 @default.
- W2056022747 hasConceptScore W2056022747C204241405 @default.
- W2056022747 hasConceptScore W2056022747C206880738 @default.
- W2056022747 hasConceptScore W2056022747C207390915 @default.
- W2056022747 hasConceptScore W2056022747C2524010 @default.
- W2056022747 hasConceptScore W2056022747C2780990831 @default.
- W2056022747 hasConceptScore W2056022747C33923547 @default.
- W2056022747 hasConceptScore W2056022747C41008148 @default.
- W2056022747 hasConceptScore W2056022747C41895202 @default.
- W2056022747 hasConceptScore W2056022747C55493867 @default.
- W2056022747 hasConceptScore W2056022747C80444323 @default.
- W2056022747 hasIssue "1" @default.
- W2056022747 hasLocation W20560227471 @default.
- W2056022747 hasOpenAccess W2056022747 @default.
- W2056022747 hasPrimaryLocation W20560227471 @default.
- W2056022747 hasRelatedWork W1523338383 @default.
- W2056022747 hasRelatedWork W1541720927 @default.
- W2056022747 hasRelatedWork W1717165987 @default.
- W2056022747 hasRelatedWork W1861107511 @default.
- W2056022747 hasRelatedWork W2056022747 @default.
- W2056022747 hasRelatedWork W2217122638 @default.
- W2056022747 hasRelatedWork W2505612108 @default.
- W2056022747 hasRelatedWork W335169515 @default.
- W2056022747 hasRelatedWork W4302981183 @default.
- W2056022747 hasRelatedWork W72921216 @default.
- W2056022747 hasVolume "151" @default.
- W2056022747 isParatext "false" @default.
- W2056022747 isRetracted "false" @default.
- W2056022747 magId "2056022747" @default.
- W2056022747 workType "article" @default.