Matches in SemOpenAlex for { <https://semopenalex.org/work/W1737963147> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W1737963147 endingPage "674" @default.
- W1737963147 startingPage "673" @default.
- W1737963147 created "2016-06-24" @default.
- W1737963147 creator A5076636496 @default.
- W1737963147 date "1990-01-01" @default.
- W1737963147 modified "2023-09-23" @default.
- W1737963147 title "A prolog technology theorem prover" @default.
- W1737963147 cites W1980717258 @default.
- W1737963147 cites W2042551813 @default.
- W1737963147 doi "https://doi.org/10.1007/3-540-52885-7_136" @default.
- W1737963147 hasPublicationYear "1990" @default.
- W1737963147 type Work @default.
- W1737963147 sameAs 1737963147 @default.
- W1737963147 citedByCount "21" @default.
- W1737963147 crossrefType "book-chapter" @default.
- W1737963147 hasAuthorship W1737963147A5076636496 @default.
- W1737963147 hasConcept C108710211 @default.
- W1737963147 hasConcept C159718280 @default.
- W1737963147 hasConcept C199343813 @default.
- W1737963147 hasConcept C199360897 @default.
- W1737963147 hasConcept C206880738 @default.
- W1737963147 hasConcept C2524010 @default.
- W1737963147 hasConcept C2777686260 @default.
- W1737963147 hasConcept C33923547 @default.
- W1737963147 hasConcept C41008148 @default.
- W1737963147 hasConcept C71924100 @default.
- W1737963147 hasConcept C80444323 @default.
- W1737963147 hasConcept C81721847 @default.
- W1737963147 hasConceptScore W1737963147C108710211 @default.
- W1737963147 hasConceptScore W1737963147C159718280 @default.
- W1737963147 hasConceptScore W1737963147C199343813 @default.
- W1737963147 hasConceptScore W1737963147C199360897 @default.
- W1737963147 hasConceptScore W1737963147C206880738 @default.
- W1737963147 hasConceptScore W1737963147C2524010 @default.
- W1737963147 hasConceptScore W1737963147C2777686260 @default.
- W1737963147 hasConceptScore W1737963147C33923547 @default.
- W1737963147 hasConceptScore W1737963147C41008148 @default.
- W1737963147 hasConceptScore W1737963147C71924100 @default.
- W1737963147 hasConceptScore W1737963147C80444323 @default.
- W1737963147 hasConceptScore W1737963147C81721847 @default.
- W1737963147 hasLocation W17379631471 @default.
- W1737963147 hasOpenAccess W1737963147 @default.
- W1737963147 hasPrimaryLocation W17379631471 @default.
- W1737963147 hasRelatedWork W1536660600 @default.
- W1737963147 hasRelatedWork W1588666994 @default.
- W1737963147 hasRelatedWork W1763581455 @default.
- W1737963147 hasRelatedWork W1845288604 @default.
- W1737963147 hasRelatedWork W1980717258 @default.
- W1737963147 hasRelatedWork W2043780920 @default.
- W1737963147 hasRelatedWork W2054628190 @default.
- W1737963147 hasRelatedWork W2740634467 @default.
- W1737963147 hasRelatedWork W2970014943 @default.
- W1737963147 hasRelatedWork W4288246869 @default.
- W1737963147 isParatext "false" @default.
- W1737963147 isRetracted "false" @default.
- W1737963147 magId "1737963147" @default.
- W1737963147 workType "book-chapter" @default.