Matches in SemOpenAlex for { <https://semopenalex.org/work/W52563601> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W52563601 endingPage "151" @default.
- W52563601 startingPage "137" @default.
- W52563601 created "2016-06-24" @default.
- W52563601 creator A5010578735 @default.
- W52563601 creator A5057556247 @default.
- W52563601 creator A5079985573 @default.
- W52563601 date "2014-01-01" @default.
- W52563601 modified "2023-09-26" @default.
- W52563601 title "A Rewriting Strategy to Generate Prime Implicates in Equational Logic" @default.
- W52563601 cites W1498304098 @default.
- W52563601 cites W1498747704 @default.
- W52563601 cites W1526521033 @default.
- W52563601 cites W1528317507 @default.
- W52563601 cites W1602903215 @default.
- W52563601 cites W1772968073 @default.
- W52563601 cites W1875490257 @default.
- W52563601 cites W1883762151 @default.
- W52563601 cites W1973279396 @default.
- W52563601 cites W1994486216 @default.
- W52563601 cites W2014832702 @default.
- W52563601 cites W2037085273 @default.
- W52563601 cites W2074150360 @default.
- W52563601 cites W2090224436 @default.
- W52563601 cites W2144078201 @default.
- W52563601 cites W2154984259 @default.
- W52563601 cites W3104094248 @default.
- W52563601 cites W32130834 @default.
- W52563601 cites W37301688 @default.
- W52563601 cites W4231510479 @default.
- W52563601 doi "https://doi.org/10.1007/978-3-319-08587-6_10" @default.
- W52563601 hasPublicationYear "2014" @default.
- W52563601 type Work @default.
- W52563601 sameAs 52563601 @default.
- W52563601 citedByCount "5" @default.
- W52563601 countsByYear W525636012015 @default.
- W52563601 countsByYear W525636012017 @default.
- W52563601 countsByYear W525636012018 @default.
- W52563601 crossrefType "book-chapter" @default.
- W52563601 hasAuthorship W52563601A5010578735 @default.
- W52563601 hasAuthorship W52563601A5057556247 @default.
- W52563601 hasAuthorship W52563601A5079985573 @default.
- W52563601 hasConcept C102993220 @default.
- W52563601 hasConcept C11413529 @default.
- W52563601 hasConcept C114614502 @default.
- W52563601 hasConcept C134306372 @default.
- W52563601 hasConcept C136119220 @default.
- W52563601 hasConcept C154564781 @default.
- W52563601 hasConcept C154690210 @default.
- W52563601 hasConcept C17231256 @default.
- W52563601 hasConcept C184992742 @default.
- W52563601 hasConcept C199343813 @default.
- W52563601 hasConcept C199360897 @default.
- W52563601 hasConcept C202444582 @default.
- W52563601 hasConcept C2777686260 @default.
- W52563601 hasConcept C33203268 @default.
- W52563601 hasConcept C33923547 @default.
- W52563601 hasConcept C39920170 @default.
- W52563601 hasConcept C41008148 @default.
- W52563601 hasConcept C69562738 @default.
- W52563601 hasConcept C71924100 @default.
- W52563601 hasConcept C80444323 @default.
- W52563601 hasConceptScore W52563601C102993220 @default.
- W52563601 hasConceptScore W52563601C11413529 @default.
- W52563601 hasConceptScore W52563601C114614502 @default.
- W52563601 hasConceptScore W52563601C134306372 @default.
- W52563601 hasConceptScore W52563601C136119220 @default.
- W52563601 hasConceptScore W52563601C154564781 @default.
- W52563601 hasConceptScore W52563601C154690210 @default.
- W52563601 hasConceptScore W52563601C17231256 @default.
- W52563601 hasConceptScore W52563601C184992742 @default.
- W52563601 hasConceptScore W52563601C199343813 @default.
- W52563601 hasConceptScore W52563601C199360897 @default.
- W52563601 hasConceptScore W52563601C202444582 @default.
- W52563601 hasConceptScore W52563601C2777686260 @default.
- W52563601 hasConceptScore W52563601C33203268 @default.
- W52563601 hasConceptScore W52563601C33923547 @default.
- W52563601 hasConceptScore W52563601C39920170 @default.
- W52563601 hasConceptScore W52563601C41008148 @default.
- W52563601 hasConceptScore W52563601C69562738 @default.
- W52563601 hasConceptScore W52563601C71924100 @default.
- W52563601 hasConceptScore W52563601C80444323 @default.
- W52563601 hasLocation W525636011 @default.
- W52563601 hasLocation W525636012 @default.
- W52563601 hasLocation W525636013 @default.
- W52563601 hasOpenAccess W52563601 @default.
- W52563601 hasPrimaryLocation W525636011 @default.
- W52563601 hasRelatedWork W1492553442 @default.
- W52563601 hasRelatedWork W2071793875 @default.
- W52563601 hasRelatedWork W2104202457 @default.
- W52563601 hasRelatedWork W2141010048 @default.
- W52563601 hasRelatedWork W2165569445 @default.
- W52563601 hasRelatedWork W2953133541 @default.
- W52563601 hasRelatedWork W3084627350 @default.
- W52563601 hasRelatedWork W4381491930 @default.
- W52563601 hasRelatedWork W4384522507 @default.
- W52563601 hasRelatedWork W52563601 @default.
- W52563601 isParatext "false" @default.
- W52563601 isRetracted "false" @default.
- W52563601 magId "52563601" @default.
- W52563601 workType "book-chapter" @default.