Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892024588> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2892024588 created "2018-09-27" @default.
- W2892024588 creator A5038237698 @default.
- W2892024588 date "2014-01-01" @default.
- W2892024588 modified "2023-09-24" @default.
- W2892024588 title "Hierarchies for efficient clausal entailment checking : with applications to satisfiability and knowledge compilation" @default.
- W2892024588 hasPublicationYear "2014" @default.
- W2892024588 type Work @default.
- W2892024588 sameAs 2892024588 @default.
- W2892024588 citedByCount "0" @default.
- W2892024588 crossrefType "dissertation" @default.
- W2892024588 hasAuthorship W2892024588A5038237698 @default.
- W2892024588 hasConcept C134752490 @default.
- W2892024588 hasConcept C154945302 @default.
- W2892024588 hasConcept C168773769 @default.
- W2892024588 hasConcept C199360897 @default.
- W2892024588 hasConcept C204321447 @default.
- W2892024588 hasConcept C41008148 @default.
- W2892024588 hasConcept C80444323 @default.
- W2892024588 hasConceptScore W2892024588C134752490 @default.
- W2892024588 hasConceptScore W2892024588C154945302 @default.
- W2892024588 hasConceptScore W2892024588C168773769 @default.
- W2892024588 hasConceptScore W2892024588C199360897 @default.
- W2892024588 hasConceptScore W2892024588C204321447 @default.
- W2892024588 hasConceptScore W2892024588C41008148 @default.
- W2892024588 hasConceptScore W2892024588C80444323 @default.
- W2892024588 hasLocation W28920245881 @default.
- W2892024588 hasOpenAccess W2892024588 @default.
- W2892024588 hasPrimaryLocation W28920245881 @default.
- W2892024588 hasRelatedWork W108963745 @default.
- W2892024588 hasRelatedWork W145561974 @default.
- W2892024588 hasRelatedWork W1500415104 @default.
- W2892024588 hasRelatedWork W1559793414 @default.
- W2892024588 hasRelatedWork W2017940741 @default.
- W2892024588 hasRelatedWork W2025482318 @default.
- W2892024588 hasRelatedWork W2047591646 @default.
- W2892024588 hasRelatedWork W2067918506 @default.
- W2892024588 hasRelatedWork W2138392114 @default.
- W2892024588 hasRelatedWork W2150520488 @default.
- W2892024588 hasRelatedWork W2154853422 @default.
- W2892024588 hasRelatedWork W2340477760 @default.
- W2892024588 hasRelatedWork W2354249646 @default.
- W2892024588 hasRelatedWork W2505717744 @default.
- W2892024588 hasRelatedWork W2673799759 @default.
- W2892024588 hasRelatedWork W3010081385 @default.
- W2892024588 hasRelatedWork W3080370200 @default.
- W2892024588 hasRelatedWork W31173899 @default.
- W2892024588 hasRelatedWork W3119321758 @default.
- W2892024588 hasRelatedWork W3141154651 @default.
- W2892024588 isParatext "false" @default.
- W2892024588 isRetracted "false" @default.
- W2892024588 magId "2892024588" @default.
- W2892024588 workType "dissertation" @default.