Matches in SemOpenAlex for { <https://semopenalex.org/work/W2920236316> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2920236316 created "2019-03-11" @default.
- W2920236316 creator A5029640432 @default.
- W2920236316 date "1967-12-31" @default.
- W2920236316 modified "2023-10-18" @default.
- W2920236316 title "Heuristic and Complete Processes in The Mechanization of Theorem Proving" @default.
- W2920236316 doi "https://doi.org/10.3138/9781487592769-009" @default.
- W2920236316 hasPublicationYear "1967" @default.
- W2920236316 type Work @default.
- W2920236316 sameAs 2920236316 @default.
- W2920236316 citedByCount "6" @default.
- W2920236316 countsByYear W29202363162019 @default.
- W2920236316 crossrefType "book-chapter" @default.
- W2920236316 hasAuthorship W2920236316A5029640432 @default.
- W2920236316 hasConcept C118518473 @default.
- W2920236316 hasConcept C126255220 @default.
- W2920236316 hasConcept C144237770 @default.
- W2920236316 hasConcept C166957645 @default.
- W2920236316 hasConcept C173801870 @default.
- W2920236316 hasConcept C199343813 @default.
- W2920236316 hasConcept C205649164 @default.
- W2920236316 hasConcept C205797222 @default.
- W2920236316 hasConcept C2777686260 @default.
- W2920236316 hasConcept C33923547 @default.
- W2920236316 hasConcept C41008148 @default.
- W2920236316 hasConcept C71924100 @default.
- W2920236316 hasConceptScore W2920236316C118518473 @default.
- W2920236316 hasConceptScore W2920236316C126255220 @default.
- W2920236316 hasConceptScore W2920236316C144237770 @default.
- W2920236316 hasConceptScore W2920236316C166957645 @default.
- W2920236316 hasConceptScore W2920236316C173801870 @default.
- W2920236316 hasConceptScore W2920236316C199343813 @default.
- W2920236316 hasConceptScore W2920236316C205649164 @default.
- W2920236316 hasConceptScore W2920236316C205797222 @default.
- W2920236316 hasConceptScore W2920236316C2777686260 @default.
- W2920236316 hasConceptScore W2920236316C33923547 @default.
- W2920236316 hasConceptScore W2920236316C41008148 @default.
- W2920236316 hasConceptScore W2920236316C71924100 @default.
- W2920236316 hasLocation W29202363161 @default.
- W2920236316 hasOpenAccess W2920236316 @default.
- W2920236316 hasPrimaryLocation W29202363161 @default.
- W2920236316 hasRelatedWork W1531901718 @default.
- W2920236316 hasRelatedWork W1555515018 @default.
- W2920236316 hasRelatedWork W155612886 @default.
- W2920236316 hasRelatedWork W164169512 @default.
- W2920236316 hasRelatedWork W168914931 @default.
- W2920236316 hasRelatedWork W2069224897 @default.
- W2920236316 hasRelatedWork W2100738443 @default.
- W2920236316 hasRelatedWork W2149914135 @default.
- W2920236316 hasRelatedWork W23020736 @default.
- W2920236316 hasRelatedWork W2590678415 @default.
- W2920236316 hasRelatedWork W2605149587 @default.
- W2920236316 hasRelatedWork W2612532395 @default.
- W2920236316 hasRelatedWork W2612664774 @default.
- W2920236316 hasRelatedWork W2613584484 @default.
- W2920236316 hasRelatedWork W2738825909 @default.
- W2920236316 hasRelatedWork W2782676139 @default.
- W2920236316 hasRelatedWork W2884112120 @default.
- W2920236316 hasRelatedWork W3126572518 @default.
- W2920236316 hasRelatedWork W821177344 @default.
- W2920236316 hasRelatedWork W1904768074 @default.
- W2920236316 isParatext "false" @default.
- W2920236316 isRetracted "false" @default.
- W2920236316 magId "2920236316" @default.
- W2920236316 workType "book-chapter" @default.