Matches in SemOpenAlex for { <https://semopenalex.org/work/W93963765> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W93963765 created "2016-06-24" @default.
- W93963765 creator A5056130183 @default.
- W93963765 creator A5084967465 @default.
- W93963765 date "2002-01-01" @default.
- W93963765 modified "2023-09-27" @default.
- W93963765 title "On Proof Systems Behind Efficient SAT Solvers" @default.
- W93963765 cites W1975335740 @default.
- W93963765 cites W2048051309 @default.
- W93963765 cites W2057361103 @default.
- W93963765 cites W2069767473 @default.
- W93963765 cites W2142785340 @default.
- W93963765 cites W2160206419 @default.
- W93963765 hasPublicationYear "2002" @default.
- W93963765 type Work @default.
- W93963765 sameAs 93963765 @default.
- W93963765 citedByCount "1" @default.
- W93963765 crossrefType "journal-article" @default.
- W93963765 hasAuthorship W93963765A5056130183 @default.
- W93963765 hasAuthorship W93963765A5084967465 @default.
- W93963765 hasConcept C105605280 @default.
- W93963765 hasConcept C108710211 @default.
- W93963765 hasConcept C199343813 @default.
- W93963765 hasConcept C199360897 @default.
- W93963765 hasConcept C2524010 @default.
- W93963765 hasConcept C2777686260 @default.
- W93963765 hasConcept C33923547 @default.
- W93963765 hasConcept C41008148 @default.
- W93963765 hasConcept C71924100 @default.
- W93963765 hasConceptScore W93963765C105605280 @default.
- W93963765 hasConceptScore W93963765C108710211 @default.
- W93963765 hasConceptScore W93963765C199343813 @default.
- W93963765 hasConceptScore W93963765C199360897 @default.
- W93963765 hasConceptScore W93963765C2524010 @default.
- W93963765 hasConceptScore W93963765C2777686260 @default.
- W93963765 hasConceptScore W93963765C33923547 @default.
- W93963765 hasConceptScore W93963765C41008148 @default.
- W93963765 hasConceptScore W93963765C71924100 @default.
- W93963765 hasLocation W939637651 @default.
- W93963765 hasOpenAccess W93963765 @default.
- W93963765 hasPrimaryLocation W939637651 @default.
- W93963765 hasRelatedWork W139740642 @default.
- W93963765 hasRelatedWork W1595946141 @default.
- W93963765 hasRelatedWork W1806694899 @default.
- W93963765 hasRelatedWork W2019741858 @default.
- W93963765 hasRelatedWork W2027282006 @default.
- W93963765 hasRelatedWork W2107974651 @default.
- W93963765 hasRelatedWork W2387762859 @default.
- W93963765 hasRelatedWork W2399087627 @default.
- W93963765 hasRelatedWork W2400262552 @default.
- W93963765 hasRelatedWork W2461918310 @default.
- W93963765 hasRelatedWork W2566535251 @default.
- W93963765 hasRelatedWork W2794709452 @default.
- W93963765 hasRelatedWork W2955519387 @default.
- W93963765 hasRelatedWork W2970975780 @default.
- W93963765 hasRelatedWork W3039437247 @default.
- W93963765 hasRelatedWork W3091711204 @default.
- W93963765 hasRelatedWork W3115526700 @default.
- W93963765 hasRelatedWork W3134125467 @default.
- W93963765 hasRelatedWork W50835235 @default.
- W93963765 hasRelatedWork W2246169376 @default.
- W93963765 isParatext "false" @default.
- W93963765 isRetracted "false" @default.
- W93963765 magId "93963765" @default.
- W93963765 workType "article" @default.