Matches in SemOpenAlex for { <https://semopenalex.org/work/W3148867746> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3148867746 endingPage "180" @default.
- W3148867746 startingPage "175" @default.
- W3148867746 created "2021-04-13" @default.
- W3148867746 creator A5011388533 @default.
- W3148867746 creator A5075661926 @default.
- W3148867746 date "2003-01-01" @default.
- W3148867746 modified "2023-09-27" @default.
- W3148867746 title "Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories" @default.
- W3148867746 hasPublicationYear "2003" @default.
- W3148867746 type Work @default.
- W3148867746 sameAs 3148867746 @default.
- W3148867746 citedByCount "0" @default.
- W3148867746 crossrefType "journal-article" @default.
- W3148867746 hasAuthorship W3148867746A5011388533 @default.
- W3148867746 hasAuthorship W3148867746A5075661926 @default.
- W3148867746 hasConcept C108710211 @default.
- W3148867746 hasConcept C11413529 @default.
- W3148867746 hasConcept C118615104 @default.
- W3148867746 hasConcept C128838566 @default.
- W3148867746 hasConcept C159718280 @default.
- W3148867746 hasConcept C189790780 @default.
- W3148867746 hasConcept C195344581 @default.
- W3148867746 hasConcept C199343813 @default.
- W3148867746 hasConcept C199360897 @default.
- W3148867746 hasConcept C206880738 @default.
- W3148867746 hasConcept C2524010 @default.
- W3148867746 hasConcept C2777686260 @default.
- W3148867746 hasConcept C33923547 @default.
- W3148867746 hasConcept C41008148 @default.
- W3148867746 hasConcept C71924100 @default.
- W3148867746 hasConceptScore W3148867746C108710211 @default.
- W3148867746 hasConceptScore W3148867746C11413529 @default.
- W3148867746 hasConceptScore W3148867746C118615104 @default.
- W3148867746 hasConceptScore W3148867746C128838566 @default.
- W3148867746 hasConceptScore W3148867746C159718280 @default.
- W3148867746 hasConceptScore W3148867746C189790780 @default.
- W3148867746 hasConceptScore W3148867746C195344581 @default.
- W3148867746 hasConceptScore W3148867746C199343813 @default.
- W3148867746 hasConceptScore W3148867746C199360897 @default.
- W3148867746 hasConceptScore W3148867746C206880738 @default.
- W3148867746 hasConceptScore W3148867746C2524010 @default.
- W3148867746 hasConceptScore W3148867746C2777686260 @default.
- W3148867746 hasConceptScore W3148867746C33923547 @default.
- W3148867746 hasConceptScore W3148867746C41008148 @default.
- W3148867746 hasConceptScore W3148867746C71924100 @default.
- W3148867746 hasLocation W31488677461 @default.
- W3148867746 hasOpenAccess W3148867746 @default.
- W3148867746 hasPrimaryLocation W31488677461 @default.
- W3148867746 hasRelatedWork W118124190 @default.
- W3148867746 hasRelatedWork W1496816696 @default.
- W3148867746 hasRelatedWork W1499782681 @default.
- W3148867746 hasRelatedWork W1501378782 @default.
- W3148867746 hasRelatedWork W1503614434 @default.
- W3148867746 hasRelatedWork W1519461144 @default.
- W3148867746 hasRelatedWork W1538715523 @default.
- W3148867746 hasRelatedWork W1556427327 @default.
- W3148867746 hasRelatedWork W1567315244 @default.
- W3148867746 hasRelatedWork W1592672507 @default.
- W3148867746 hasRelatedWork W1601813778 @default.
- W3148867746 hasRelatedWork W163012990 @default.
- W3148867746 hasRelatedWork W2086027910 @default.
- W3148867746 hasRelatedWork W2159811535 @default.
- W3148867746 hasRelatedWork W263217020 @default.
- W3148867746 hasRelatedWork W3004100840 @default.
- W3148867746 hasRelatedWork W3204438756 @default.
- W3148867746 hasRelatedWork W60445782 @default.
- W3148867746 hasRelatedWork W97894006 @default.
- W3148867746 hasRelatedWork W1514430395 @default.
- W3148867746 isParatext "false" @default.
- W3148867746 isRetracted "false" @default.
- W3148867746 magId "3148867746" @default.
- W3148867746 workType "article" @default.