Matches in SemOpenAlex for { <https://semopenalex.org/work/W2922099080> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2922099080 created "2019-03-22" @default.
- W2922099080 creator A5074580413 @default.
- W2922099080 date "2014-01-01" @default.
- W2922099080 modified "2023-09-27" @default.
- W2922099080 title "Using BDDs for non-classical propositional theorem proving" @default.
- W2922099080 doi "https://doi.org/10.25911/5d514d3b6dacc" @default.
- W2922099080 hasPublicationYear "2014" @default.
- W2922099080 type Work @default.
- W2922099080 sameAs 2922099080 @default.
- W2922099080 citedByCount "0" @default.
- W2922099080 crossrefType "dissertation" @default.
- W2922099080 hasAuthorship W2922099080A5074580413 @default.
- W2922099080 hasConcept C102993220 @default.
- W2922099080 hasConcept C118615104 @default.
- W2922099080 hasConcept C14523651 @default.
- W2922099080 hasConcept C199343813 @default.
- W2922099080 hasConcept C199360897 @default.
- W2922099080 hasConcept C206880738 @default.
- W2922099080 hasConcept C2777686260 @default.
- W2922099080 hasConcept C33203268 @default.
- W2922099080 hasConcept C33923547 @default.
- W2922099080 hasConcept C41008148 @default.
- W2922099080 hasConcept C71924100 @default.
- W2922099080 hasConcept C74640108 @default.
- W2922099080 hasConceptScore W2922099080C102993220 @default.
- W2922099080 hasConceptScore W2922099080C118615104 @default.
- W2922099080 hasConceptScore W2922099080C14523651 @default.
- W2922099080 hasConceptScore W2922099080C199343813 @default.
- W2922099080 hasConceptScore W2922099080C199360897 @default.
- W2922099080 hasConceptScore W2922099080C206880738 @default.
- W2922099080 hasConceptScore W2922099080C2777686260 @default.
- W2922099080 hasConceptScore W2922099080C33203268 @default.
- W2922099080 hasConceptScore W2922099080C33923547 @default.
- W2922099080 hasConceptScore W2922099080C41008148 @default.
- W2922099080 hasConceptScore W2922099080C71924100 @default.
- W2922099080 hasConceptScore W2922099080C74640108 @default.
- W2922099080 hasLocation W29220990801 @default.
- W2922099080 hasOpenAccess W2922099080 @default.
- W2922099080 hasPrimaryLocation W29220990801 @default.
- W2922099080 hasRelatedWork W104007018 @default.
- W2922099080 hasRelatedWork W124666892 @default.
- W2922099080 hasRelatedWork W130312516 @default.
- W2922099080 hasRelatedWork W1492881020 @default.
- W2922099080 hasRelatedWork W1498682591 @default.
- W2922099080 hasRelatedWork W1510003740 @default.
- W2922099080 hasRelatedWork W1543931510 @default.
- W2922099080 hasRelatedWork W1551050998 @default.
- W2922099080 hasRelatedWork W1553445265 @default.
- W2922099080 hasRelatedWork W1597173728 @default.
- W2922099080 hasRelatedWork W1598572838 @default.
- W2922099080 hasRelatedWork W1676672341 @default.
- W2922099080 hasRelatedWork W1747545714 @default.
- W2922099080 hasRelatedWork W1952051253 @default.
- W2922099080 hasRelatedWork W1971227473 @default.
- W2922099080 hasRelatedWork W1996660205 @default.
- W2922099080 hasRelatedWork W2084232252 @default.
- W2922099080 hasRelatedWork W2119636934 @default.
- W2922099080 hasRelatedWork W2148854889 @default.
- W2922099080 hasRelatedWork W2169523408 @default.
- W2922099080 isParatext "false" @default.
- W2922099080 isRetracted "false" @default.
- W2922099080 magId "2922099080" @default.
- W2922099080 workType "dissertation" @default.