Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489774865> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1489774865 endingPage "162" @default.
- W1489774865 startingPage "157" @default.
- W1489774865 abstract "Proof reconstruction is a technique that combines an interactive theorem prover and an automatic one in a sound way, so that users benefit of the expressiveness of the first tool and the automation of the latter. We present an implementation for proof reconstruction for first-order logic and set-theoretical constructions between Isabelle and haRVey." @default.
- W1489774865 created "2016-06-24" @default.
- W1489774865 creator A5067698504 @default.
- W1489774865 date "2006-09-01" @default.
- W1489774865 modified "2023-09-25" @default.
- W1489774865 title "Proof reconstruction for first-order logic and set-theoretical constructions" @default.
- W1489774865 cites W1504504841 @default.
- W1489774865 cites W1514729613 @default.
- W1489774865 cites W1534850143 @default.
- W1489774865 cites W1598006012 @default.
- W1489774865 cites W2035289314 @default.
- W1489774865 cites W2106192381 @default.
- W1489774865 cites W2117934173 @default.
- W1489774865 cites W2918060308 @default.
- W1489774865 cites W2583151081 @default.
- W1489774865 cites W2585085197 @default.
- W1489774865 hasPublicationYear "2006" @default.
- W1489774865 type Work @default.
- W1489774865 sameAs 1489774865 @default.
- W1489774865 citedByCount "1" @default.
- W1489774865 crossrefType "journal-article" @default.
- W1489774865 hasAuthorship W1489774865A5067698504 @default.
- W1489774865 hasConcept C100481476 @default.
- W1489774865 hasConcept C102993220 @default.
- W1489774865 hasConcept C108710211 @default.
- W1489774865 hasConcept C11413529 @default.
- W1489774865 hasConcept C115901376 @default.
- W1489774865 hasConcept C127413603 @default.
- W1489774865 hasConcept C13766981 @default.
- W1489774865 hasConcept C159718280 @default.
- W1489774865 hasConcept C169896238 @default.
- W1489774865 hasConcept C177264268 @default.
- W1489774865 hasConcept C195344581 @default.
- W1489774865 hasConcept C195653647 @default.
- W1489774865 hasConcept C199343813 @default.
- W1489774865 hasConcept C199360897 @default.
- W1489774865 hasConcept C203265346 @default.
- W1489774865 hasConcept C206880738 @default.
- W1489774865 hasConcept C2318724 @default.
- W1489774865 hasConcept C2524010 @default.
- W1489774865 hasConcept C2777686260 @default.
- W1489774865 hasConcept C33923547 @default.
- W1489774865 hasConcept C41008148 @default.
- W1489774865 hasConcept C71924100 @default.
- W1489774865 hasConcept C78519656 @default.
- W1489774865 hasConcept C80444323 @default.
- W1489774865 hasConceptScore W1489774865C100481476 @default.
- W1489774865 hasConceptScore W1489774865C102993220 @default.
- W1489774865 hasConceptScore W1489774865C108710211 @default.
- W1489774865 hasConceptScore W1489774865C11413529 @default.
- W1489774865 hasConceptScore W1489774865C115901376 @default.
- W1489774865 hasConceptScore W1489774865C127413603 @default.
- W1489774865 hasConceptScore W1489774865C13766981 @default.
- W1489774865 hasConceptScore W1489774865C159718280 @default.
- W1489774865 hasConceptScore W1489774865C169896238 @default.
- W1489774865 hasConceptScore W1489774865C177264268 @default.
- W1489774865 hasConceptScore W1489774865C195344581 @default.
- W1489774865 hasConceptScore W1489774865C195653647 @default.
- W1489774865 hasConceptScore W1489774865C199343813 @default.
- W1489774865 hasConceptScore W1489774865C199360897 @default.
- W1489774865 hasConceptScore W1489774865C203265346 @default.
- W1489774865 hasConceptScore W1489774865C206880738 @default.
- W1489774865 hasConceptScore W1489774865C2318724 @default.
- W1489774865 hasConceptScore W1489774865C2524010 @default.
- W1489774865 hasConceptScore W1489774865C2777686260 @default.
- W1489774865 hasConceptScore W1489774865C33923547 @default.
- W1489774865 hasConceptScore W1489774865C41008148 @default.
- W1489774865 hasConceptScore W1489774865C71924100 @default.
- W1489774865 hasConceptScore W1489774865C78519656 @default.
- W1489774865 hasConceptScore W1489774865C80444323 @default.
- W1489774865 hasLocation W14897748651 @default.
- W1489774865 hasOpenAccess W1489774865 @default.
- W1489774865 hasPrimaryLocation W14897748651 @default.
- W1489774865 hasRelatedWork W1487533857 @default.
- W1489774865 hasRelatedWork W1538666241 @default.
- W1489774865 hasRelatedWork W1555115798 @default.
- W1489774865 hasRelatedWork W1556427327 @default.
- W1489774865 hasRelatedWork W1563415963 @default.
- W1489774865 hasRelatedWork W1592672507 @default.
- W1489774865 hasRelatedWork W162260173 @default.
- W1489774865 hasRelatedWork W163012990 @default.
- W1489774865 hasRelatedWork W1679836515 @default.
- W1489774865 hasRelatedWork W1780472831 @default.
- W1489774865 hasRelatedWork W17889614 @default.
- W1489774865 hasRelatedWork W2009222797 @default.
- W1489774865 hasRelatedWork W2026352253 @default.
- W1489774865 hasRelatedWork W2293720162 @default.
- W1489774865 hasRelatedWork W3204438756 @default.
- W1489774865 hasRelatedWork W33425727 @default.
- W1489774865 hasRelatedWork W47175013 @default.
- W1489774865 hasRelatedWork W60445782 @default.
- W1489774865 hasRelatedWork W1941283076 @default.
- W1489774865 hasRelatedWork W2192184199 @default.
- W1489774865 isParatext "false" @default.
- W1489774865 isRetracted "false" @default.
- W1489774865 magId "1489774865" @default.
- W1489774865 workType "article" @default.