Matches in SemOpenAlex for { <https://semopenalex.org/work/W8052147> ?p ?o ?g. }
- W8052147 endingPage "307" @default.
- W8052147 startingPage "287" @default.
- W8052147 created "2016-06-24" @default.
- W8052147 creator A5003765681 @default.
- W8052147 creator A5061152290 @default.
- W8052147 creator A5078604015 @default.
- W8052147 date "2010-11-11" @default.
- W8052147 modified "2023-10-18" @default.
- W8052147 title "Extracting Functions from Boolean Relations Using SAT and Interpolation" @default.
- W8052147 cites W1510368738 @default.
- W8052147 cites W1544505822 @default.
- W8052147 cites W1993937043 @default.
- W8052147 cites W2098244894 @default.
- W8052147 cites W2114381689 @default.
- W8052147 cites W2120624822 @default.
- W8052147 cites W2122620434 @default.
- W8052147 cites W2139106414 @default.
- W8052147 cites W2146450772 @default.
- W8052147 cites W2154291650 @default.
- W8052147 cites W2165727602 @default.
- W8052147 cites W2166856993 @default.
- W8052147 cites W3150965154 @default.
- W8052147 doi "https://doi.org/10.1007/978-1-4419-7518-8_16" @default.
- W8052147 hasPublicationYear "2010" @default.
- W8052147 type Work @default.
- W8052147 sameAs 8052147 @default.
- W8052147 citedByCount "0" @default.
- W8052147 crossrefType "book-chapter" @default.
- W8052147 hasAuthorship W8052147A5003765681 @default.
- W8052147 hasAuthorship W8052147A5061152290 @default.
- W8052147 hasAuthorship W8052147A5078604015 @default.
- W8052147 hasConcept C104114177 @default.
- W8052147 hasConcept C105795698 @default.
- W8052147 hasConcept C11413529 @default.
- W8052147 hasConcept C124101348 @default.
- W8052147 hasConcept C136119220 @default.
- W8052147 hasConcept C137800194 @default.
- W8052147 hasConcept C14036430 @default.
- W8052147 hasConcept C141796577 @default.
- W8052147 hasConcept C154945302 @default.
- W8052147 hasConcept C158465420 @default.
- W8052147 hasConcept C169171071 @default.
- W8052147 hasConcept C177264268 @default.
- W8052147 hasConcept C187455244 @default.
- W8052147 hasConcept C196836630 @default.
- W8052147 hasConcept C199360897 @default.
- W8052147 hasConcept C202444582 @default.
- W8052147 hasConcept C207764348 @default.
- W8052147 hasConcept C25343380 @default.
- W8052147 hasConcept C2777168461 @default.
- W8052147 hasConcept C2781089630 @default.
- W8052147 hasConcept C33923547 @default.
- W8052147 hasConcept C39685927 @default.
- W8052147 hasConcept C41008148 @default.
- W8052147 hasConcept C45374587 @default.
- W8052147 hasConcept C48044578 @default.
- W8052147 hasConcept C7342684 @default.
- W8052147 hasConcept C77088390 @default.
- W8052147 hasConcept C78458016 @default.
- W8052147 hasConcept C80444323 @default.
- W8052147 hasConcept C86803240 @default.
- W8052147 hasConcept C9429942 @default.
- W8052147 hasConceptScore W8052147C104114177 @default.
- W8052147 hasConceptScore W8052147C105795698 @default.
- W8052147 hasConceptScore W8052147C11413529 @default.
- W8052147 hasConceptScore W8052147C124101348 @default.
- W8052147 hasConceptScore W8052147C136119220 @default.
- W8052147 hasConceptScore W8052147C137800194 @default.
- W8052147 hasConceptScore W8052147C14036430 @default.
- W8052147 hasConceptScore W8052147C141796577 @default.
- W8052147 hasConceptScore W8052147C154945302 @default.
- W8052147 hasConceptScore W8052147C158465420 @default.
- W8052147 hasConceptScore W8052147C169171071 @default.
- W8052147 hasConceptScore W8052147C177264268 @default.
- W8052147 hasConceptScore W8052147C187455244 @default.
- W8052147 hasConceptScore W8052147C196836630 @default.
- W8052147 hasConceptScore W8052147C199360897 @default.
- W8052147 hasConceptScore W8052147C202444582 @default.
- W8052147 hasConceptScore W8052147C207764348 @default.
- W8052147 hasConceptScore W8052147C25343380 @default.
- W8052147 hasConceptScore W8052147C2777168461 @default.
- W8052147 hasConceptScore W8052147C2781089630 @default.
- W8052147 hasConceptScore W8052147C33923547 @default.
- W8052147 hasConceptScore W8052147C39685927 @default.
- W8052147 hasConceptScore W8052147C41008148 @default.
- W8052147 hasConceptScore W8052147C45374587 @default.
- W8052147 hasConceptScore W8052147C48044578 @default.
- W8052147 hasConceptScore W8052147C7342684 @default.
- W8052147 hasConceptScore W8052147C77088390 @default.
- W8052147 hasConceptScore W8052147C78458016 @default.
- W8052147 hasConceptScore W8052147C80444323 @default.
- W8052147 hasConceptScore W8052147C86803240 @default.
- W8052147 hasConceptScore W8052147C9429942 @default.
- W8052147 hasLocation W80521471 @default.
- W8052147 hasOpenAccess W8052147 @default.
- W8052147 hasPrimaryLocation W80521471 @default.
- W8052147 hasRelatedWork W1501377585 @default.
- W8052147 hasRelatedWork W2112641792 @default.
- W8052147 hasRelatedWork W2151151766 @default.
- W8052147 hasRelatedWork W2234833091 @default.