Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000340635> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2000340635 created "2016-06-24" @default.
- W2000340635 creator A5030817616 @default.
- W2000340635 date "1992-08-01" @default.
- W2000340635 modified "2023-09-24" @default.
- W2000340635 title "Recognizing unnecessary clauses in resolution based systems" @default.
- W2000340635 cites W12135578 @default.
- W2000340635 cites W1514729613 @default.
- W2000340635 cites W1590828018 @default.
- W2000340635 cites W189496625 @default.
- W2000340635 cites W1966945932 @default.
- W2000340635 cites W1968386045 @default.
- W2000340635 cites W2011184850 @default.
- W2000340635 cites W2011928646 @default.
- W2000340635 cites W2036475963 @default.
- W2000340635 cites W2051518991 @default.
- W2000340635 cites W2060241586 @default.
- W2000340635 cites W2072634471 @default.
- W2000340635 cites W2085711600 @default.
- W2000340635 cites W2086121771 @default.
- W2000340635 cites W2090626768 @default.
- W2000340635 cites W2092699841 @default.
- W2000340635 cites W2100738443 @default.
- W2000340635 cites W2121757274 @default.
- W2000340635 cites W2170135633 @default.
- W2000340635 cites W2912020100 @default.
- W2000340635 cites W959963806 @default.
- W2000340635 doi "https://doi.org/10.1007/bf00247826" @default.
- W2000340635 hasPublicationYear "1992" @default.
- W2000340635 type Work @default.
- W2000340635 sameAs 2000340635 @default.
- W2000340635 citedByCount "2" @default.
- W2000340635 crossrefType "journal-article" @default.
- W2000340635 hasAuthorship W2000340635A5030817616 @default.
- W2000340635 hasConcept C118615104 @default.
- W2000340635 hasConcept C134306372 @default.
- W2000340635 hasConcept C138268822 @default.
- W2000340635 hasConcept C151730666 @default.
- W2000340635 hasConcept C154945302 @default.
- W2000340635 hasConcept C17231256 @default.
- W2000340635 hasConcept C199360897 @default.
- W2000340635 hasConcept C200116569 @default.
- W2000340635 hasConcept C206880738 @default.
- W2000340635 hasConcept C2776214188 @default.
- W2000340635 hasConcept C2779343474 @default.
- W2000340635 hasConcept C33923547 @default.
- W2000340635 hasConcept C41008148 @default.
- W2000340635 hasConcept C80444323 @default.
- W2000340635 hasConcept C86803240 @default.
- W2000340635 hasConceptScore W2000340635C118615104 @default.
- W2000340635 hasConceptScore W2000340635C134306372 @default.
- W2000340635 hasConceptScore W2000340635C138268822 @default.
- W2000340635 hasConceptScore W2000340635C151730666 @default.
- W2000340635 hasConceptScore W2000340635C154945302 @default.
- W2000340635 hasConceptScore W2000340635C17231256 @default.
- W2000340635 hasConceptScore W2000340635C199360897 @default.
- W2000340635 hasConceptScore W2000340635C200116569 @default.
- W2000340635 hasConceptScore W2000340635C206880738 @default.
- W2000340635 hasConceptScore W2000340635C2776214188 @default.
- W2000340635 hasConceptScore W2000340635C2779343474 @default.
- W2000340635 hasConceptScore W2000340635C33923547 @default.
- W2000340635 hasConceptScore W2000340635C41008148 @default.
- W2000340635 hasConceptScore W2000340635C80444323 @default.
- W2000340635 hasConceptScore W2000340635C86803240 @default.
- W2000340635 hasIssue "1" @default.
- W2000340635 hasLocation W20003406351 @default.
- W2000340635 hasOpenAccess W2000340635 @default.
- W2000340635 hasPrimaryLocation W20003406351 @default.
- W2000340635 hasRelatedWork W136318670 @default.
- W2000340635 hasRelatedWork W1553145570 @default.
- W2000340635 hasRelatedWork W1555959943 @default.
- W2000340635 hasRelatedWork W1558035706 @default.
- W2000340635 hasRelatedWork W170300041 @default.
- W2000340635 hasRelatedWork W2020794409 @default.
- W2000340635 hasRelatedWork W2072984710 @default.
- W2000340635 hasRelatedWork W2135536063 @default.
- W2000340635 hasRelatedWork W3163827298 @default.
- W2000340635 hasRelatedWork W311415758 @default.
- W2000340635 hasVolume "9" @default.
- W2000340635 isParatext "false" @default.
- W2000340635 isRetracted "false" @default.
- W2000340635 magId "2000340635" @default.
- W2000340635 workType "article" @default.