Matches in SemOpenAlex for { <https://semopenalex.org/work/W1821069006> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W1821069006 created "2016-06-24" @default.
- W1821069006 creator A5054295100 @default.
- W1821069006 date "2015-05-01" @default.
- W1821069006 modified "2023-09-27" @default.
- W1821069006 title "Efficient, Mechanically-Verified Validation of Satisfiability Solvers" @default.
- W1821069006 hasPublicationYear "2015" @default.
- W1821069006 type Work @default.
- W1821069006 sameAs 1821069006 @default.
- W1821069006 citedByCount "0" @default.
- W1821069006 crossrefType "dissertation" @default.
- W1821069006 hasAuthorship W1821069006A5054295100 @default.
- W1821069006 hasConcept C11413529 @default.
- W1821069006 hasConcept C168773769 @default.
- W1821069006 hasConcept C41008148 @default.
- W1821069006 hasConcept C6943359 @default.
- W1821069006 hasConcept C80444323 @default.
- W1821069006 hasConceptScore W1821069006C11413529 @default.
- W1821069006 hasConceptScore W1821069006C168773769 @default.
- W1821069006 hasConceptScore W1821069006C41008148 @default.
- W1821069006 hasConceptScore W1821069006C6943359 @default.
- W1821069006 hasConceptScore W1821069006C80444323 @default.
- W1821069006 hasLocation W18210690061 @default.
- W1821069006 hasOpenAccess W1821069006 @default.
- W1821069006 hasPrimaryLocation W18210690061 @default.
- W1821069006 hasRelatedWork W1552715853 @default.
- W1821069006 hasRelatedWork W1735366290 @default.
- W1821069006 hasRelatedWork W1987719146 @default.
- W1821069006 hasRelatedWork W1989055264 @default.
- W1821069006 hasRelatedWork W2022463772 @default.
- W1821069006 hasRelatedWork W2035169567 @default.
- W1821069006 hasRelatedWork W2035289314 @default.
- W1821069006 hasRelatedWork W2074793316 @default.
- W1821069006 hasRelatedWork W2091015996 @default.
- W1821069006 hasRelatedWork W2134229470 @default.
- W1821069006 hasRelatedWork W2159811535 @default.
- W1821069006 hasRelatedWork W2168950896 @default.
- W1821069006 hasRelatedWork W2181546339 @default.
- W1821069006 hasRelatedWork W227433776 @default.
- W1821069006 hasRelatedWork W2468918368 @default.
- W1821069006 hasRelatedWork W3005454894 @default.
- W1821069006 hasRelatedWork W3026506296 @default.
- W1821069006 hasRelatedWork W33425727 @default.
- W1821069006 hasRelatedWork W92576581 @default.
- W1821069006 hasRelatedWork W94702369 @default.
- W1821069006 isParatext "false" @default.
- W1821069006 isRetracted "false" @default.
- W1821069006 magId "1821069006" @default.
- W1821069006 workType "dissertation" @default.