Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020589045> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2020589045 created "2016-06-24" @default.
- W2020589045 creator A5001230796 @default.
- W2020589045 creator A5004026533 @default.
- W2020589045 date "1992-04-01" @default.
- W2020589045 modified "2023-09-24" @default.
- W2020589045 title "An integral theorem prover and the role of proof planning" @default.
- W2020589045 cites W125563461 @default.
- W2020589045 cites W1980091389 @default.
- W2020589045 cites W2072405721 @default.
- W2020589045 cites W2076372576 @default.
- W2020589045 cites W602281941 @default.
- W2020589045 doi "https://doi.org/10.1007/bf00244284" @default.
- W2020589045 hasPublicationYear "1992" @default.
- W2020589045 type Work @default.
- W2020589045 sameAs 2020589045 @default.
- W2020589045 citedByCount "0" @default.
- W2020589045 crossrefType "journal-article" @default.
- W2020589045 hasAuthorship W2020589045A5001230796 @default.
- W2020589045 hasAuthorship W2020589045A5004026533 @default.
- W2020589045 hasConcept C105605280 @default.
- W2020589045 hasConcept C108710211 @default.
- W2020589045 hasConcept C118615104 @default.
- W2020589045 hasConcept C134306372 @default.
- W2020589045 hasConcept C135754263 @default.
- W2020589045 hasConcept C136119220 @default.
- W2020589045 hasConcept C159718280 @default.
- W2020589045 hasConcept C173613240 @default.
- W2020589045 hasConcept C199343813 @default.
- W2020589045 hasConcept C199360897 @default.
- W2020589045 hasConcept C202444582 @default.
- W2020589045 hasConcept C203265346 @default.
- W2020589045 hasConcept C206880738 @default.
- W2020589045 hasConcept C2524010 @default.
- W2020589045 hasConcept C2777686260 @default.
- W2020589045 hasConcept C33923547 @default.
- W2020589045 hasConcept C41008148 @default.
- W2020589045 hasConcept C71924100 @default.
- W2020589045 hasConcept C77618280 @default.
- W2020589045 hasConceptScore W2020589045C105605280 @default.
- W2020589045 hasConceptScore W2020589045C108710211 @default.
- W2020589045 hasConceptScore W2020589045C118615104 @default.
- W2020589045 hasConceptScore W2020589045C134306372 @default.
- W2020589045 hasConceptScore W2020589045C135754263 @default.
- W2020589045 hasConceptScore W2020589045C136119220 @default.
- W2020589045 hasConceptScore W2020589045C159718280 @default.
- W2020589045 hasConceptScore W2020589045C173613240 @default.
- W2020589045 hasConceptScore W2020589045C199343813 @default.
- W2020589045 hasConceptScore W2020589045C199360897 @default.
- W2020589045 hasConceptScore W2020589045C202444582 @default.
- W2020589045 hasConceptScore W2020589045C203265346 @default.
- W2020589045 hasConceptScore W2020589045C206880738 @default.
- W2020589045 hasConceptScore W2020589045C2524010 @default.
- W2020589045 hasConceptScore W2020589045C2777686260 @default.
- W2020589045 hasConceptScore W2020589045C33923547 @default.
- W2020589045 hasConceptScore W2020589045C41008148 @default.
- W2020589045 hasConceptScore W2020589045C71924100 @default.
- W2020589045 hasConceptScore W2020589045C77618280 @default.
- W2020589045 hasLocation W20205890451 @default.
- W2020589045 hasOpenAccess W2020589045 @default.
- W2020589045 hasPrimaryLocation W20205890451 @default.
- W2020589045 hasRelatedWork W129386291 @default.
- W2020589045 hasRelatedWork W1487533857 @default.
- W2020589045 hasRelatedWork W1496816696 @default.
- W2020589045 hasRelatedWork W1519461144 @default.
- W2020589045 hasRelatedWork W1538666241 @default.
- W2020589045 hasRelatedWork W1556427327 @default.
- W2020589045 hasRelatedWork W163012990 @default.
- W2020589045 hasRelatedWork W1780472831 @default.
- W2020589045 hasRelatedWork W17889614 @default.
- W2020589045 hasRelatedWork W1890680068 @default.
- W2020589045 hasRelatedWork W2034614936 @default.
- W2020589045 hasRelatedWork W2069663616 @default.
- W2020589045 hasRelatedWork W2074882899 @default.
- W2020589045 hasRelatedWork W2089385920 @default.
- W2020589045 hasRelatedWork W2091015996 @default.
- W2020589045 hasRelatedWork W2109892979 @default.
- W2020589045 hasRelatedWork W2185162921 @default.
- W2020589045 hasRelatedWork W2744220352 @default.
- W2020589045 hasRelatedWork W2964077831 @default.
- W2020589045 hasRelatedWork W60445782 @default.
- W2020589045 isParatext "false" @default.
- W2020589045 isRetracted "false" @default.
- W2020589045 magId "2020589045" @default.
- W2020589045 workType "article" @default.