Matches in SemOpenAlex for { <https://semopenalex.org/work/W156713711> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W156713711 created "2016-06-24" @default.
- W156713711 creator A5054544098 @default.
- W156713711 date "2001-01-01" @default.
- W156713711 modified "2023-09-23" @default.
- W156713711 title "Compile: Transforming Well-Formed Formulas to Clauses" @default.
- W156713711 doi "https://doi.org/10.1007/978-1-4613-0089-2_3" @default.
- W156713711 hasPublicationYear "2001" @default.
- W156713711 type Work @default.
- W156713711 sameAs 156713711 @default.
- W156713711 citedByCount "0" @default.
- W156713711 crossrefType "book-chapter" @default.
- W156713711 hasAuthorship W156713711A5054544098 @default.
- W156713711 hasConcept C111919701 @default.
- W156713711 hasConcept C118615104 @default.
- W156713711 hasConcept C167729594 @default.
- W156713711 hasConcept C169590947 @default.
- W156713711 hasConcept C177264268 @default.
- W156713711 hasConcept C199360897 @default.
- W156713711 hasConcept C200833197 @default.
- W156713711 hasConcept C2524010 @default.
- W156713711 hasConcept C2780129039 @default.
- W156713711 hasConcept C33923547 @default.
- W156713711 hasConcept C41008148 @default.
- W156713711 hasConceptScore W156713711C111919701 @default.
- W156713711 hasConceptScore W156713711C118615104 @default.
- W156713711 hasConceptScore W156713711C167729594 @default.
- W156713711 hasConceptScore W156713711C169590947 @default.
- W156713711 hasConceptScore W156713711C177264268 @default.
- W156713711 hasConceptScore W156713711C199360897 @default.
- W156713711 hasConceptScore W156713711C200833197 @default.
- W156713711 hasConceptScore W156713711C2524010 @default.
- W156713711 hasConceptScore W156713711C2780129039 @default.
- W156713711 hasConceptScore W156713711C33923547 @default.
- W156713711 hasConceptScore W156713711C41008148 @default.
- W156713711 hasLocation W1567137111 @default.
- W156713711 hasOpenAccess W156713711 @default.
- W156713711 hasPrimaryLocation W1567137111 @default.
- W156713711 hasRelatedWork W1504966796 @default.
- W156713711 hasRelatedWork W15121353 @default.
- W156713711 hasRelatedWork W1514708756 @default.
- W156713711 hasRelatedWork W1526331441 @default.
- W156713711 hasRelatedWork W1562898168 @default.
- W156713711 hasRelatedWork W1576020708 @default.
- W156713711 hasRelatedWork W1576984428 @default.
- W156713711 hasRelatedWork W1577903349 @default.
- W156713711 hasRelatedWork W2081764129 @default.
- W156713711 hasRelatedWork W2094612221 @default.
- W156713711 hasRelatedWork W2156066488 @default.
- W156713711 hasRelatedWork W2158593143 @default.
- W156713711 hasRelatedWork W2482729434 @default.
- W156713711 hasRelatedWork W2546836936 @default.
- W156713711 hasRelatedWork W2613262409 @default.
- W156713711 hasRelatedWork W2726449882 @default.
- W156713711 hasRelatedWork W2911628438 @default.
- W156713711 hasRelatedWork W37301688 @default.
- W156713711 hasRelatedWork W389100828 @default.
- W156713711 hasRelatedWork W2094114882 @default.
- W156713711 isParatext "false" @default.
- W156713711 isRetracted "false" @default.
- W156713711 magId "156713711" @default.
- W156713711 workType "book-chapter" @default.