Matches in SemOpenAlex for { <https://semopenalex.org/work/W4210542238> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4210542238 endingPage "297" @default.
- W4210542238 startingPage "290" @default.
- W4210542238 created "2022-02-08" @default.
- W4210542238 creator A5013433601 @default.
- W4210542238 creator A5054629753 @default.
- W4210542238 date "1986-05-01" @default.
- W4210542238 modified "2023-10-14" @default.
- W4210542238 title "Automatic theorem proving. I" @default.
- W4210542238 cites W1489854325 @default.
- W4210542238 cites W1587968455 @default.
- W4210542238 cites W1594393861 @default.
- W4210542238 cites W1598625331 @default.
- W4210542238 cites W1748872274 @default.
- W4210542238 cites W190917808 @default.
- W4210542238 cites W1968605571 @default.
- W4210542238 cites W1979983276 @default.
- W4210542238 cites W1997535993 @default.
- W4210542238 cites W2018221833 @default.
- W4210542238 cites W2023139438 @default.
- W4210542238 cites W2038634728 @default.
- W4210542238 cites W2039977878 @default.
- W4210542238 cites W2058514808 @default.
- W4210542238 cites W2062897452 @default.
- W4210542238 cites W2065373784 @default.
- W4210542238 cites W2069224897 @default.
- W4210542238 cites W2085089824 @default.
- W4210542238 cites W2100738443 @default.
- W4210542238 cites W4238827154 @default.
- W4210542238 cites W4298078965 @default.
- W4210542238 doi "https://doi.org/10.1007/bf01069967" @default.
- W4210542238 hasPublicationYear "1986" @default.
- W4210542238 type Work @default.
- W4210542238 citedByCount "0" @default.
- W4210542238 crossrefType "journal-article" @default.
- W4210542238 hasAuthorship W4210542238A5013433601 @default.
- W4210542238 hasAuthorship W4210542238A5054629753 @default.
- W4210542238 hasConcept C199343813 @default.
- W4210542238 hasConcept C2777686260 @default.
- W4210542238 hasConcept C33923547 @default.
- W4210542238 hasConcept C41008148 @default.
- W4210542238 hasConcept C71924100 @default.
- W4210542238 hasConceptScore W4210542238C199343813 @default.
- W4210542238 hasConceptScore W4210542238C2777686260 @default.
- W4210542238 hasConceptScore W4210542238C33923547 @default.
- W4210542238 hasConceptScore W4210542238C41008148 @default.
- W4210542238 hasConceptScore W4210542238C71924100 @default.
- W4210542238 hasIssue "3" @default.
- W4210542238 hasLocation W42105422381 @default.
- W4210542238 hasOpenAccess W4210542238 @default.
- W4210542238 hasPrimaryLocation W42105422381 @default.
- W4210542238 hasRelatedWork W1979597421 @default.
- W4210542238 hasRelatedWork W2007980826 @default.
- W4210542238 hasRelatedWork W2063488590 @default.
- W4210542238 hasRelatedWork W2748952813 @default.
- W4210542238 hasRelatedWork W2899084033 @default.
- W4210542238 hasRelatedWork W4230623537 @default.
- W4210542238 hasRelatedWork W4230638242 @default.
- W4210542238 hasRelatedWork W4245490552 @default.
- W4210542238 hasRelatedWork W4246661265 @default.
- W4210542238 hasRelatedWork W4250879966 @default.
- W4210542238 hasVolume "22" @default.
- W4210542238 isParatext "false" @default.
- W4210542238 isRetracted "false" @default.
- W4210542238 workType "article" @default.