Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012119889> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2012119889 created "2016-06-24" @default.
- W2012119889 creator A5029374365 @default.
- W2012119889 date "1969-12-01" @default.
- W2012119889 modified "2023-09-26" @default.
- W2012119889 title "Mechanical theorem proving in a certain class of formulae of the predicate calculus" @default.
- W2012119889 cites W1570783318 @default.
- W2012119889 doi "https://doi.org/10.1007/bf02297265" @default.
- W2012119889 hasPublicationYear "1969" @default.
- W2012119889 type Work @default.
- W2012119889 sameAs 2012119889 @default.
- W2012119889 citedByCount "4" @default.
- W2012119889 countsByYear W20121198892018 @default.
- W2012119889 crossrefType "journal-article" @default.
- W2012119889 hasAuthorship W2012119889A5029374365 @default.
- W2012119889 hasConcept C118615104 @default.
- W2012119889 hasConcept C136119220 @default.
- W2012119889 hasConcept C140146324 @default.
- W2012119889 hasConcept C154945302 @default.
- W2012119889 hasConcept C155092808 @default.
- W2012119889 hasConcept C199343813 @default.
- W2012119889 hasConcept C199360897 @default.
- W2012119889 hasConcept C202444582 @default.
- W2012119889 hasConcept C2777212361 @default.
- W2012119889 hasConcept C2777686260 @default.
- W2012119889 hasConcept C33923547 @default.
- W2012119889 hasConcept C41008148 @default.
- W2012119889 hasConcept C71924100 @default.
- W2012119889 hasConceptScore W2012119889C118615104 @default.
- W2012119889 hasConceptScore W2012119889C136119220 @default.
- W2012119889 hasConceptScore W2012119889C140146324 @default.
- W2012119889 hasConceptScore W2012119889C154945302 @default.
- W2012119889 hasConceptScore W2012119889C155092808 @default.
- W2012119889 hasConceptScore W2012119889C199343813 @default.
- W2012119889 hasConceptScore W2012119889C199360897 @default.
- W2012119889 hasConceptScore W2012119889C202444582 @default.
- W2012119889 hasConceptScore W2012119889C2777212361 @default.
- W2012119889 hasConceptScore W2012119889C2777686260 @default.
- W2012119889 hasConceptScore W2012119889C33923547 @default.
- W2012119889 hasConceptScore W2012119889C41008148 @default.
- W2012119889 hasConceptScore W2012119889C71924100 @default.
- W2012119889 hasLocation W20121198891 @default.
- W2012119889 hasOpenAccess W2012119889 @default.
- W2012119889 hasPrimaryLocation W20121198891 @default.
- W2012119889 hasRelatedWork W1510003740 @default.
- W2012119889 hasRelatedWork W1551050998 @default.
- W2012119889 hasRelatedWork W1561531759 @default.
- W2012119889 hasRelatedWork W1588872712 @default.
- W2012119889 hasRelatedWork W1679103348 @default.
- W2012119889 hasRelatedWork W1981368022 @default.
- W2012119889 hasRelatedWork W1992108232 @default.
- W2012119889 hasRelatedWork W2005483858 @default.
- W2012119889 hasRelatedWork W2017754974 @default.
- W2012119889 hasRelatedWork W2035490172 @default.
- W2012119889 hasRelatedWork W2054122412 @default.
- W2012119889 hasRelatedWork W2063066453 @default.
- W2012119889 hasRelatedWork W2078618964 @default.
- W2012119889 hasRelatedWork W2148854889 @default.
- W2012119889 hasRelatedWork W2154098055 @default.
- W2012119889 hasRelatedWork W3177102357 @default.
- W2012119889 hasRelatedWork W569549673 @default.
- W2012119889 hasRelatedWork W591317650 @default.
- W2012119889 hasRelatedWork W2599129805 @default.
- W2012119889 hasRelatedWork W2787858359 @default.
- W2012119889 isParatext "false" @default.
- W2012119889 isRetracted "false" @default.
- W2012119889 magId "2012119889" @default.
- W2012119889 workType "article" @default.