Matches in SemOpenAlex for { <https://semopenalex.org/work/W184475219> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W184475219 endingPage "542" @default.
- W184475219 startingPage "541" @default.
- W184475219 created "2016-06-24" @default.
- W184475219 creator A5033409232 @default.
- W184475219 creator A5081716519 @default.
- W184475219 date "1977-08-22" @default.
- W184475219 modified "2023-09-24" @default.
- W184475219 title "Theorem proving by covering expressions" @default.
- W184475219 cites W2069224897 @default.
- W184475219 hasPublicationYear "1977" @default.
- W184475219 type Work @default.
- W184475219 sameAs 184475219 @default.
- W184475219 citedByCount "1" @default.
- W184475219 crossrefType "proceedings-article" @default.
- W184475219 hasAuthorship W184475219A5033409232 @default.
- W184475219 hasAuthorship W184475219A5081716519 @default.
- W184475219 hasConcept C136119220 @default.
- W184475219 hasConcept C199343813 @default.
- W184475219 hasConcept C202444582 @default.
- W184475219 hasConcept C206880738 @default.
- W184475219 hasConcept C2777686260 @default.
- W184475219 hasConcept C33923547 @default.
- W184475219 hasConcept C41008148 @default.
- W184475219 hasConcept C71924100 @default.
- W184475219 hasConcept C80444323 @default.
- W184475219 hasConceptScore W184475219C136119220 @default.
- W184475219 hasConceptScore W184475219C199343813 @default.
- W184475219 hasConceptScore W184475219C202444582 @default.
- W184475219 hasConceptScore W184475219C206880738 @default.
- W184475219 hasConceptScore W184475219C2777686260 @default.
- W184475219 hasConceptScore W184475219C33923547 @default.
- W184475219 hasConceptScore W184475219C41008148 @default.
- W184475219 hasConceptScore W184475219C71924100 @default.
- W184475219 hasConceptScore W184475219C80444323 @default.
- W184475219 hasLocation W1844752191 @default.
- W184475219 hasOpenAccess W184475219 @default.
- W184475219 hasPrimaryLocation W1844752191 @default.
- W184475219 hasRelatedWork W125367269 @default.
- W184475219 hasRelatedWork W1584875441 @default.
- W184475219 hasRelatedWork W2011284628 @default.
- W184475219 hasRelatedWork W2076586964 @default.
- W184475219 hasRelatedWork W2187887517 @default.
- W184475219 hasRelatedWork W2368463437 @default.
- W184475219 hasRelatedWork W2374240760 @default.
- W184475219 hasRelatedWork W2375869952 @default.
- W184475219 hasRelatedWork W2378047602 @default.
- W184475219 hasRelatedWork W2379879134 @default.
- W184475219 hasRelatedWork W2460486537 @default.
- W184475219 hasRelatedWork W24784945 @default.
- W184475219 hasRelatedWork W2488652040 @default.
- W184475219 hasRelatedWork W2505516168 @default.
- W184475219 hasRelatedWork W2601075701 @default.
- W184475219 hasRelatedWork W3048143247 @default.
- W184475219 hasRelatedWork W3122221789 @default.
- W184475219 hasRelatedWork W58688106 @default.
- W184475219 hasRelatedWork W837997859 @default.
- W184475219 hasRelatedWork W96700770 @default.
- W184475219 isParatext "false" @default.
- W184475219 isRetracted "false" @default.
- W184475219 magId "184475219" @default.
- W184475219 workType "article" @default.