Matches in SemOpenAlex for { <https://semopenalex.org/work/W1579447681> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1579447681 endingPage "91" @default.
- W1579447681 startingPage "76" @default.
- W1579447681 created "2016-06-24" @default.
- W1579447681 creator A5019488707 @default.
- W1579447681 date "2011-01-01" @default.
- W1579447681 modified "2023-09-23" @default.
- W1579447681 title "Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas" @default.
- W1579447681 cites W1480909796 @default.
- W1579447681 cites W1511737804 @default.
- W1579447681 cites W1522637266 @default.
- W1579447681 cites W1536511644 @default.
- W1579447681 cites W1552077729 @default.
- W1579447681 cites W1574295141 @default.
- W1579447681 cites W1598846073 @default.
- W1579447681 cites W1841089713 @default.
- W1579447681 cites W1868334863 @default.
- W1579447681 cites W1989689843 @default.
- W1579447681 cites W2009715851 @default.
- W1579447681 cites W2018970941 @default.
- W1579447681 cites W2084963982 @default.
- W1579447681 cites W2114917372 @default.
- W1579447681 cites W2130550049 @default.
- W1579447681 cites W2152484464 @default.
- W1579447681 cites W2153372389 @default.
- W1579447681 cites W2158395308 @default.
- W1579447681 cites W4239007999 @default.
- W1579447681 cites W4253178675 @default.
- W1579447681 doi "https://doi.org/10.1007/978-3-642-18070-5_6" @default.
- W1579447681 hasPublicationYear "2011" @default.
- W1579447681 type Work @default.
- W1579447681 sameAs 1579447681 @default.
- W1579447681 citedByCount "1" @default.
- W1579447681 countsByYear W15794476812012 @default.
- W1579447681 crossrefType "book-chapter" @default.
- W1579447681 hasAuthorship W1579447681A5019488707 @default.
- W1579447681 hasConcept C108710211 @default.
- W1579447681 hasConcept C110251889 @default.
- W1579447681 hasConcept C111498074 @default.
- W1579447681 hasConcept C11413529 @default.
- W1579447681 hasConcept C16221470 @default.
- W1579447681 hasConcept C164155591 @default.
- W1579447681 hasConcept C168773769 @default.
- W1579447681 hasConcept C195344581 @default.
- W1579447681 hasConcept C199360897 @default.
- W1579447681 hasConcept C2524010 @default.
- W1579447681 hasConcept C32278780 @default.
- W1579447681 hasConcept C33923547 @default.
- W1579447681 hasConcept C41008148 @default.
- W1579447681 hasConcept C6943359 @default.
- W1579447681 hasConcept C80444323 @default.
- W1579447681 hasConceptScore W1579447681C108710211 @default.
- W1579447681 hasConceptScore W1579447681C110251889 @default.
- W1579447681 hasConceptScore W1579447681C111498074 @default.
- W1579447681 hasConceptScore W1579447681C11413529 @default.
- W1579447681 hasConceptScore W1579447681C16221470 @default.
- W1579447681 hasConceptScore W1579447681C164155591 @default.
- W1579447681 hasConceptScore W1579447681C168773769 @default.
- W1579447681 hasConceptScore W1579447681C195344581 @default.
- W1579447681 hasConceptScore W1579447681C199360897 @default.
- W1579447681 hasConceptScore W1579447681C2524010 @default.
- W1579447681 hasConceptScore W1579447681C32278780 @default.
- W1579447681 hasConceptScore W1579447681C33923547 @default.
- W1579447681 hasConceptScore W1579447681C41008148 @default.
- W1579447681 hasConceptScore W1579447681C6943359 @default.
- W1579447681 hasConceptScore W1579447681C80444323 @default.
- W1579447681 hasLocation W15794476811 @default.
- W1579447681 hasOpenAccess W1579447681 @default.
- W1579447681 hasPrimaryLocation W15794476811 @default.
- W1579447681 hasRelatedWork W1537589219 @default.
- W1579447681 hasRelatedWork W1579447681 @default.
- W1579447681 hasRelatedWork W1965965053 @default.
- W1579447681 hasRelatedWork W2047591646 @default.
- W1579447681 hasRelatedWork W2155162307 @default.
- W1579447681 hasRelatedWork W2293687462 @default.
- W1579447681 hasRelatedWork W2755744672 @default.
- W1579447681 hasRelatedWork W2914225034 @default.
- W1579447681 hasRelatedWork W2964197852 @default.
- W1579447681 hasRelatedWork W2505847194 @default.
- W1579447681 isParatext "false" @default.
- W1579447681 isRetracted "false" @default.
- W1579447681 magId "1579447681" @default.
- W1579447681 workType "book-chapter" @default.