Matches in SemOpenAlex for { <https://semopenalex.org/work/W1606427760> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1606427760 endingPage "267" @default.
- W1606427760 startingPage "252" @default.
- W1606427760 created "2016-06-24" @default.
- W1606427760 creator A5003215097 @default.
- W1606427760 creator A5076721288 @default.
- W1606427760 date "2000-01-01" @default.
- W1606427760 modified "2023-10-16" @default.
- W1606427760 title "Fast Tactic-Based Theorem Proving" @default.
- W1606427760 cites W1497011154 @default.
- W1606427760 cites W1497200700 @default.
- W1606427760 cites W1503706868 @default.
- W1606427760 cites W1529478130 @default.
- W1606427760 cites W1589408343 @default.
- W1606427760 cites W2131739376 @default.
- W1606427760 cites W2159152974 @default.
- W1606427760 cites W4234528212 @default.
- W1606427760 doi "https://doi.org/10.1007/3-540-44659-1_16" @default.
- W1606427760 hasPublicationYear "2000" @default.
- W1606427760 type Work @default.
- W1606427760 sameAs 1606427760 @default.
- W1606427760 citedByCount "17" @default.
- W1606427760 countsByYear W16064277602017 @default.
- W1606427760 crossrefType "book-chapter" @default.
- W1606427760 hasAuthorship W1606427760A5003215097 @default.
- W1606427760 hasAuthorship W1606427760A5076721288 @default.
- W1606427760 hasConcept C101468663 @default.
- W1606427760 hasConcept C108710211 @default.
- W1606427760 hasConcept C11413529 @default.
- W1606427760 hasConcept C134306372 @default.
- W1606427760 hasConcept C142998047 @default.
- W1606427760 hasConcept C15744967 @default.
- W1606427760 hasConcept C159718280 @default.
- W1606427760 hasConcept C173608175 @default.
- W1606427760 hasConcept C173613240 @default.
- W1606427760 hasConcept C199360897 @default.
- W1606427760 hasConcept C203265346 @default.
- W1606427760 hasConcept C206880738 @default.
- W1606427760 hasConcept C2524010 @default.
- W1606427760 hasConcept C2779478453 @default.
- W1606427760 hasConcept C2780767217 @default.
- W1606427760 hasConcept C33923547 @default.
- W1606427760 hasConcept C36503486 @default.
- W1606427760 hasConcept C41008148 @default.
- W1606427760 hasConcept C542102704 @default.
- W1606427760 hasConcept C54355233 @default.
- W1606427760 hasConcept C68339613 @default.
- W1606427760 hasConcept C80444323 @default.
- W1606427760 hasConcept C86803240 @default.
- W1606427760 hasConceptScore W1606427760C101468663 @default.
- W1606427760 hasConceptScore W1606427760C108710211 @default.
- W1606427760 hasConceptScore W1606427760C11413529 @default.
- W1606427760 hasConceptScore W1606427760C134306372 @default.
- W1606427760 hasConceptScore W1606427760C142998047 @default.
- W1606427760 hasConceptScore W1606427760C15744967 @default.
- W1606427760 hasConceptScore W1606427760C159718280 @default.
- W1606427760 hasConceptScore W1606427760C173608175 @default.
- W1606427760 hasConceptScore W1606427760C173613240 @default.
- W1606427760 hasConceptScore W1606427760C199360897 @default.
- W1606427760 hasConceptScore W1606427760C203265346 @default.
- W1606427760 hasConceptScore W1606427760C206880738 @default.
- W1606427760 hasConceptScore W1606427760C2524010 @default.
- W1606427760 hasConceptScore W1606427760C2779478453 @default.
- W1606427760 hasConceptScore W1606427760C2780767217 @default.
- W1606427760 hasConceptScore W1606427760C33923547 @default.
- W1606427760 hasConceptScore W1606427760C36503486 @default.
- W1606427760 hasConceptScore W1606427760C41008148 @default.
- W1606427760 hasConceptScore W1606427760C542102704 @default.
- W1606427760 hasConceptScore W1606427760C54355233 @default.
- W1606427760 hasConceptScore W1606427760C68339613 @default.
- W1606427760 hasConceptScore W1606427760C80444323 @default.
- W1606427760 hasConceptScore W1606427760C86803240 @default.
- W1606427760 hasLocation W16064277601 @default.
- W1606427760 hasOpenAccess W1606427760 @default.
- W1606427760 hasPrimaryLocation W16064277601 @default.
- W1606427760 hasRelatedWork W1515169568 @default.
- W1606427760 hasRelatedWork W1523338383 @default.
- W1606427760 hasRelatedWork W1524804222 @default.
- W1606427760 hasRelatedWork W1606427760 @default.
- W1606427760 hasRelatedWork W2124145386 @default.
- W1606427760 hasRelatedWork W2160478595 @default.
- W1606427760 hasRelatedWork W3100311625 @default.
- W1606427760 hasRelatedWork W3101557913 @default.
- W1606427760 hasRelatedWork W3187382182 @default.
- W1606427760 hasRelatedWork W2189277683 @default.
- W1606427760 isParatext "false" @default.
- W1606427760 isRetracted "false" @default.
- W1606427760 magId "1606427760" @default.
- W1606427760 workType "book-chapter" @default.