Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567879936> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1567879936 endingPage "271" @default.
- W1567879936 startingPage "268" @default.
- W1567879936 created "2016-06-24" @default.
- W1567879936 creator A5060616581 @default.
- W1567879936 date "1997-01-01" @default.
- W1567879936 modified "2023-10-17" @default.
- W1567879936 title "Minlog: A minimal logic theorem prover" @default.
- W1567879936 cites W2131739376 @default.
- W1567879936 doi "https://doi.org/10.1007/3-540-63104-6_27" @default.
- W1567879936 hasPublicationYear "1997" @default.
- W1567879936 type Work @default.
- W1567879936 sameAs 1567879936 @default.
- W1567879936 citedByCount "2" @default.
- W1567879936 countsByYear W15678799362014 @default.
- W1567879936 countsByYear W15678799362021 @default.
- W1567879936 crossrefType "book-chapter" @default.
- W1567879936 hasAuthorship W1567879936A5060616581 @default.
- W1567879936 hasConcept C102993220 @default.
- W1567879936 hasConcept C108710211 @default.
- W1567879936 hasConcept C110039528 @default.
- W1567879936 hasConcept C111404639 @default.
- W1567879936 hasConcept C11413529 @default.
- W1567879936 hasConcept C14523651 @default.
- W1567879936 hasConcept C159718280 @default.
- W1567879936 hasConcept C171482190 @default.
- W1567879936 hasConcept C178421362 @default.
- W1567879936 hasConcept C199343813 @default.
- W1567879936 hasConcept C199360897 @default.
- W1567879936 hasConcept C203659156 @default.
- W1567879936 hasConcept C206880738 @default.
- W1567879936 hasConcept C2318724 @default.
- W1567879936 hasConcept C2524010 @default.
- W1567879936 hasConcept C2777686260 @default.
- W1567879936 hasConcept C33203268 @default.
- W1567879936 hasConcept C33923547 @default.
- W1567879936 hasConcept C41008148 @default.
- W1567879936 hasConcept C62073222 @default.
- W1567879936 hasConcept C6489637 @default.
- W1567879936 hasConcept C65880906 @default.
- W1567879936 hasConcept C69562738 @default.
- W1567879936 hasConcept C71924100 @default.
- W1567879936 hasConcept C89421646 @default.
- W1567879936 hasConceptScore W1567879936C102993220 @default.
- W1567879936 hasConceptScore W1567879936C108710211 @default.
- W1567879936 hasConceptScore W1567879936C110039528 @default.
- W1567879936 hasConceptScore W1567879936C111404639 @default.
- W1567879936 hasConceptScore W1567879936C11413529 @default.
- W1567879936 hasConceptScore W1567879936C14523651 @default.
- W1567879936 hasConceptScore W1567879936C159718280 @default.
- W1567879936 hasConceptScore W1567879936C171482190 @default.
- W1567879936 hasConceptScore W1567879936C178421362 @default.
- W1567879936 hasConceptScore W1567879936C199343813 @default.
- W1567879936 hasConceptScore W1567879936C199360897 @default.
- W1567879936 hasConceptScore W1567879936C203659156 @default.
- W1567879936 hasConceptScore W1567879936C206880738 @default.
- W1567879936 hasConceptScore W1567879936C2318724 @default.
- W1567879936 hasConceptScore W1567879936C2524010 @default.
- W1567879936 hasConceptScore W1567879936C2777686260 @default.
- W1567879936 hasConceptScore W1567879936C33203268 @default.
- W1567879936 hasConceptScore W1567879936C33923547 @default.
- W1567879936 hasConceptScore W1567879936C41008148 @default.
- W1567879936 hasConceptScore W1567879936C62073222 @default.
- W1567879936 hasConceptScore W1567879936C6489637 @default.
- W1567879936 hasConceptScore W1567879936C65880906 @default.
- W1567879936 hasConceptScore W1567879936C69562738 @default.
- W1567879936 hasConceptScore W1567879936C71924100 @default.
- W1567879936 hasConceptScore W1567879936C89421646 @default.
- W1567879936 hasLocation W15678799361 @default.
- W1567879936 hasOpenAccess W1567879936 @default.
- W1567879936 hasPrimaryLocation W15678799361 @default.
- W1567879936 hasRelatedWork W1493794704 @default.
- W1567879936 hasRelatedWork W1494677957 @default.
- W1567879936 hasRelatedWork W1551050998 @default.
- W1567879936 hasRelatedWork W1554618854 @default.
- W1567879936 hasRelatedWork W1558816505 @default.
- W1567879936 hasRelatedWork W1602423174 @default.
- W1567879936 hasRelatedWork W1787768633 @default.
- W1567879936 hasRelatedWork W1846589774 @default.
- W1567879936 hasRelatedWork W1981368022 @default.
- W1567879936 hasRelatedWork W2018872397 @default.
- W1567879936 hasRelatedWork W2053332596 @default.
- W1567879936 hasRelatedWork W2119636934 @default.
- W1567879936 hasRelatedWork W2169944201 @default.
- W1567879936 hasRelatedWork W2505757016 @default.
- W1567879936 hasRelatedWork W2789694236 @default.
- W1567879936 hasRelatedWork W29316377 @default.
- W1567879936 hasRelatedWork W29796863 @default.
- W1567879936 hasRelatedWork W31250260 @default.
- W1567879936 hasRelatedWork W1574793289 @default.
- W1567879936 hasRelatedWork W2785469070 @default.
- W1567879936 isParatext "false" @default.
- W1567879936 isRetracted "false" @default.
- W1567879936 magId "1567879936" @default.
- W1567879936 workType "book-chapter" @default.