Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100065142> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2100065142 created "2016-06-24" @default.
- W2100065142 creator A5002301358 @default.
- W2100065142 creator A5075747760 @default.
- W2100065142 date "1983-01-01" @default.
- W2100065142 modified "2023-10-17" @default.
- W2100065142 title "Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving" @default.
- W2100065142 cites W2058514808 @default.
- W2100065142 cites W2062897452 @default.
- W2100065142 cites W2065535838 @default.
- W2100065142 cites W2069224897 @default.
- W2100065142 cites W2097038024 @default.
- W2100065142 cites W2100738443 @default.
- W2100065142 doi "https://doi.org/10.1007/978-3-642-81955-1_33" @default.
- W2100065142 hasPublicationYear "1983" @default.
- W2100065142 type Work @default.
- W2100065142 sameAs 2100065142 @default.
- W2100065142 citedByCount "13" @default.
- W2100065142 countsByYear W21000651422016 @default.
- W2100065142 crossrefType "book-chapter" @default.
- W2100065142 hasAuthorship W2100065142A5002301358 @default.
- W2100065142 hasAuthorship W2100065142A5075747760 @default.
- W2100065142 hasConcept C10138342 @default.
- W2100065142 hasConcept C108710211 @default.
- W2100065142 hasConcept C11413529 @default.
- W2100065142 hasConcept C134306372 @default.
- W2100065142 hasConcept C134400042 @default.
- W2100065142 hasConcept C136119220 @default.
- W2100065142 hasConcept C162324750 @default.
- W2100065142 hasConcept C17231256 @default.
- W2100065142 hasConcept C182306322 @default.
- W2100065142 hasConcept C199343813 @default.
- W2100065142 hasConcept C199360897 @default.
- W2100065142 hasConcept C202444582 @default.
- W2100065142 hasConcept C206880738 @default.
- W2100065142 hasConcept C2524010 @default.
- W2100065142 hasConcept C25343380 @default.
- W2100065142 hasConcept C2777686260 @default.
- W2100065142 hasConcept C2778029271 @default.
- W2100065142 hasConcept C33923547 @default.
- W2100065142 hasConcept C41008148 @default.
- W2100065142 hasConcept C71924100 @default.
- W2100065142 hasConcept C77088390 @default.
- W2100065142 hasConcept C9270016 @default.
- W2100065142 hasConcept C9652623 @default.
- W2100065142 hasConceptScore W2100065142C10138342 @default.
- W2100065142 hasConceptScore W2100065142C108710211 @default.
- W2100065142 hasConceptScore W2100065142C11413529 @default.
- W2100065142 hasConceptScore W2100065142C134306372 @default.
- W2100065142 hasConceptScore W2100065142C134400042 @default.
- W2100065142 hasConceptScore W2100065142C136119220 @default.
- W2100065142 hasConceptScore W2100065142C162324750 @default.
- W2100065142 hasConceptScore W2100065142C17231256 @default.
- W2100065142 hasConceptScore W2100065142C182306322 @default.
- W2100065142 hasConceptScore W2100065142C199343813 @default.
- W2100065142 hasConceptScore W2100065142C199360897 @default.
- W2100065142 hasConceptScore W2100065142C202444582 @default.
- W2100065142 hasConceptScore W2100065142C206880738 @default.
- W2100065142 hasConceptScore W2100065142C2524010 @default.
- W2100065142 hasConceptScore W2100065142C25343380 @default.
- W2100065142 hasConceptScore W2100065142C2777686260 @default.
- W2100065142 hasConceptScore W2100065142C2778029271 @default.
- W2100065142 hasConceptScore W2100065142C33923547 @default.
- W2100065142 hasConceptScore W2100065142C41008148 @default.
- W2100065142 hasConceptScore W2100065142C71924100 @default.
- W2100065142 hasConceptScore W2100065142C77088390 @default.
- W2100065142 hasConceptScore W2100065142C9270016 @default.
- W2100065142 hasConceptScore W2100065142C9652623 @default.
- W2100065142 hasLocation W21000651421 @default.
- W2100065142 hasOpenAccess W2100065142 @default.
- W2100065142 hasPrimaryLocation W21000651421 @default.
- W2100065142 hasRelatedWork W103731158 @default.
- W2100065142 hasRelatedWork W150491715 @default.
- W2100065142 hasRelatedWork W1530765221 @default.
- W2100065142 hasRelatedWork W1530999579 @default.
- W2100065142 hasRelatedWork W1598625331 @default.
- W2100065142 hasRelatedWork W1602947049 @default.
- W2100065142 hasRelatedWork W171867237 @default.
- W2100065142 hasRelatedWork W1968386045 @default.
- W2100065142 hasRelatedWork W1972956465 @default.
- W2100065142 hasRelatedWork W2011184850 @default.
- W2100065142 hasRelatedWork W2013434344 @default.
- W2100065142 hasRelatedWork W2036475963 @default.
- W2100065142 hasRelatedWork W2038464985 @default.
- W2100065142 hasRelatedWork W2058514808 @default.
- W2100065142 hasRelatedWork W2067259733 @default.
- W2100065142 hasRelatedWork W2093918239 @default.
- W2100065142 hasRelatedWork W2100738443 @default.
- W2100065142 hasRelatedWork W2253008277 @default.
- W2100065142 hasRelatedWork W2798401172 @default.
- W2100065142 hasRelatedWork W2917669195 @default.
- W2100065142 isParatext "false" @default.
- W2100065142 isRetracted "false" @default.
- W2100065142 magId "2100065142" @default.
- W2100065142 workType "book-chapter" @default.