Matches in SemOpenAlex for { <https://semopenalex.org/work/W14349286> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W14349286 endingPage "170" @default.
- W14349286 startingPage "163" @default.
- W14349286 created "2016-06-24" @default.
- W14349286 creator A5090633870 @default.
- W14349286 date "1988-01-01" @default.
- W14349286 modified "2023-09-24" @default.
- W14349286 title "Can inductive proofs be automated" @default.
- W14349286 hasPublicationYear "1988" @default.
- W14349286 type Work @default.
- W14349286 sameAs 14349286 @default.
- W14349286 citedByCount "0" @default.
- W14349286 crossrefType "journal-article" @default.
- W14349286 hasAuthorship W14349286A5090633870 @default.
- W14349286 hasConcept C108710211 @default.
- W14349286 hasConcept C199360897 @default.
- W14349286 hasConcept C2524010 @default.
- W14349286 hasConcept C33923547 @default.
- W14349286 hasConcept C41008148 @default.
- W14349286 hasConceptScore W14349286C108710211 @default.
- W14349286 hasConceptScore W14349286C199360897 @default.
- W14349286 hasConceptScore W14349286C2524010 @default.
- W14349286 hasConceptScore W14349286C33923547 @default.
- W14349286 hasConceptScore W14349286C41008148 @default.
- W14349286 hasLocation W143492861 @default.
- W14349286 hasOpenAccess W14349286 @default.
- W14349286 hasPrimaryLocation W143492861 @default.
- W14349286 hasRelatedWork W1414847999 @default.
- W14349286 hasRelatedWork W1482166812 @default.
- W14349286 hasRelatedWork W1520408004 @default.
- W14349286 hasRelatedWork W1536773907 @default.
- W14349286 hasRelatedWork W1608748195 @default.
- W14349286 hasRelatedWork W1987549075 @default.
- W14349286 hasRelatedWork W2022900796 @default.
- W14349286 hasRelatedWork W2023237006 @default.
- W14349286 hasRelatedWork W2096678129 @default.
- W14349286 hasRelatedWork W2124145386 @default.
- W14349286 hasRelatedWork W2340272042 @default.
- W14349286 hasRelatedWork W2394690389 @default.
- W14349286 hasRelatedWork W2779309735 @default.
- W14349286 hasRelatedWork W2782567806 @default.
- W14349286 hasRelatedWork W3033256385 @default.
- W14349286 hasRelatedWork W3100311625 @default.
- W14349286 hasRelatedWork W3160880798 @default.
- W14349286 hasRelatedWork W3196111424 @default.
- W14349286 hasRelatedWork W806481440 @default.
- W14349286 hasRelatedWork W196622986 @default.
- W14349286 hasVolume "35" @default.
- W14349286 isParatext "false" @default.
- W14349286 isRetracted "false" @default.
- W14349286 magId "14349286" @default.
- W14349286 workType "article" @default.