Matches in SemOpenAlex for { <https://semopenalex.org/work/W1419398250> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1419398250 endingPage "587" @default.
- W1419398250 startingPage "572" @default.
- W1419398250 created "2016-06-24" @default.
- W1419398250 creator A5022025835 @default.
- W1419398250 creator A5022135983 @default.
- W1419398250 date "2015-01-01" @default.
- W1419398250 modified "2023-10-14" @default.
- W1419398250 title "Theorem Proving with Bounded Rigid E-Unification" @default.
- W1419398250 cites W1483737907 @default.
- W1419398250 cites W1505214882 @default.
- W1419398250 cites W1554618854 @default.
- W1419398250 cites W1585426594 @default.
- W1419398250 cites W1810306334 @default.
- W1419398250 cites W1813202136 @default.
- W1419398250 cites W1841089713 @default.
- W1419398250 cites W1876788479 @default.
- W1419398250 cites W1963677040 @default.
- W1419398250 cites W2128805181 @default.
- W1419398250 cites W4233471482 @default.
- W1419398250 cites W54459641 @default.
- W1419398250 cites W2171367658 @default.
- W1419398250 doi "https://doi.org/10.1007/978-3-319-21401-6_39" @default.
- W1419398250 hasPublicationYear "2015" @default.
- W1419398250 type Work @default.
- W1419398250 sameAs 1419398250 @default.
- W1419398250 citedByCount "4" @default.
- W1419398250 countsByYear W14193982502015 @default.
- W1419398250 countsByYear W14193982502016 @default.
- W1419398250 countsByYear W14193982502017 @default.
- W1419398250 countsByYear W14193982502020 @default.
- W1419398250 crossrefType "book-chapter" @default.
- W1419398250 hasAuthorship W1419398250A5022025835 @default.
- W1419398250 hasAuthorship W1419398250A5022135983 @default.
- W1419398250 hasConcept C118615104 @default.
- W1419398250 hasConcept C134306372 @default.
- W1419398250 hasConcept C136119220 @default.
- W1419398250 hasConcept C153269930 @default.
- W1419398250 hasConcept C192034797 @default.
- W1419398250 hasConcept C199343813 @default.
- W1419398250 hasConcept C199360897 @default.
- W1419398250 hasConcept C202444582 @default.
- W1419398250 hasConcept C2777686260 @default.
- W1419398250 hasConcept C33923547 @default.
- W1419398250 hasConcept C34388435 @default.
- W1419398250 hasConcept C41008148 @default.
- W1419398250 hasConcept C54732982 @default.
- W1419398250 hasConcept C71924100 @default.
- W1419398250 hasConcept C96146094 @default.
- W1419398250 hasConceptScore W1419398250C118615104 @default.
- W1419398250 hasConceptScore W1419398250C134306372 @default.
- W1419398250 hasConceptScore W1419398250C136119220 @default.
- W1419398250 hasConceptScore W1419398250C153269930 @default.
- W1419398250 hasConceptScore W1419398250C192034797 @default.
- W1419398250 hasConceptScore W1419398250C199343813 @default.
- W1419398250 hasConceptScore W1419398250C199360897 @default.
- W1419398250 hasConceptScore W1419398250C202444582 @default.
- W1419398250 hasConceptScore W1419398250C2777686260 @default.
- W1419398250 hasConceptScore W1419398250C33923547 @default.
- W1419398250 hasConceptScore W1419398250C34388435 @default.
- W1419398250 hasConceptScore W1419398250C41008148 @default.
- W1419398250 hasConceptScore W1419398250C54732982 @default.
- W1419398250 hasConceptScore W1419398250C71924100 @default.
- W1419398250 hasConceptScore W1419398250C96146094 @default.
- W1419398250 hasLocation W14193982501 @default.
- W1419398250 hasOpenAccess W1419398250 @default.
- W1419398250 hasPrimaryLocation W14193982501 @default.
- W1419398250 hasRelatedWork W1487331281 @default.
- W1419398250 hasRelatedWork W1807513822 @default.
- W1419398250 hasRelatedWork W2037204124 @default.
- W1419398250 hasRelatedWork W2060473848 @default.
- W1419398250 hasRelatedWork W2135703585 @default.
- W1419398250 hasRelatedWork W2195777310 @default.
- W1419398250 hasRelatedWork W2529633050 @default.
- W1419398250 hasRelatedWork W2952426464 @default.
- W1419398250 hasRelatedWork W3092394176 @default.
- W1419398250 hasRelatedWork W2762886673 @default.
- W1419398250 isParatext "false" @default.
- W1419398250 isRetracted "false" @default.
- W1419398250 magId "1419398250" @default.
- W1419398250 workType "book-chapter" @default.