Matches in SemOpenAlex for { <https://semopenalex.org/work/W82953886> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W82953886 created "2016-06-24" @default.
- W82953886 creator A5014973654 @default.
- W82953886 date "1972-01-01" @default.
- W82953886 modified "2023-09-27" @default.
- W82953886 title "A polynomial bound on the complexity of the davis-putnam algorithm applied to symmetrizable propositions" @default.
- W82953886 hasPublicationYear "1972" @default.
- W82953886 type Work @default.
- W82953886 sameAs 82953886 @default.
- W82953886 citedByCount "0" @default.
- W82953886 crossrefType "journal-article" @default.
- W82953886 hasAuthorship W82953886A5014973654 @default.
- W82953886 hasConcept C11413529 @default.
- W82953886 hasConcept C134306372 @default.
- W82953886 hasConcept C144237770 @default.
- W82953886 hasConcept C33923547 @default.
- W82953886 hasConcept C41008148 @default.
- W82953886 hasConcept C77553402 @default.
- W82953886 hasConcept C90119067 @default.
- W82953886 hasConceptScore W82953886C11413529 @default.
- W82953886 hasConceptScore W82953886C134306372 @default.
- W82953886 hasConceptScore W82953886C144237770 @default.
- W82953886 hasConceptScore W82953886C33923547 @default.
- W82953886 hasConceptScore W82953886C41008148 @default.
- W82953886 hasConceptScore W82953886C77553402 @default.
- W82953886 hasConceptScore W82953886C90119067 @default.
- W82953886 hasLocation W829538861 @default.
- W82953886 hasOpenAccess W82953886 @default.
- W82953886 hasPrimaryLocation W829538861 @default.
- W82953886 hasRelatedWork W1542794498 @default.
- W82953886 hasRelatedWork W1545819195 @default.
- W82953886 hasRelatedWork W178084757 @default.
- W82953886 hasRelatedWork W1864424315 @default.
- W82953886 hasRelatedWork W1959262530 @default.
- W82953886 hasRelatedWork W1980738047 @default.
- W82953886 hasRelatedWork W202237983 @default.
- W82953886 hasRelatedWork W2056822011 @default.
- W82953886 hasRelatedWork W2109693504 @default.
- W82953886 hasRelatedWork W2125223359 @default.
- W82953886 hasRelatedWork W2244297824 @default.
- W82953886 hasRelatedWork W2399692028 @default.
- W82953886 hasRelatedWork W2402047242 @default.
- W82953886 hasRelatedWork W2604472077 @default.
- W82953886 hasRelatedWork W2951586102 @default.
- W82953886 hasRelatedWork W3095494827 @default.
- W82953886 hasRelatedWork W3102601952 @default.
- W82953886 hasRelatedWork W3118763706 @default.
- W82953886 hasRelatedWork W3123103866 @default.
- W82953886 isParatext "false" @default.
- W82953886 isRetracted "false" @default.
- W82953886 magId "82953886" @default.
- W82953886 workType "article" @default.