Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539154336> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1539154336 abstract "In this paper we discuss the problem of termination of the deductive process in resolution proof systems for non-classical logics." @default.
- W1539154336 created "2016-06-24" @default.
- W1539154336 creator A5074550143 @default.
- W1539154336 date "1994-01-01" @default.
- W1539154336 modified "2023-09-27" @default.
- W1539154336 title "Fast termination of the deductive process in resolution proof systems for non-classical logics" @default.
- W1539154336 cites W1997853397 @default.
- W1539154336 cites W2000340635 @default.
- W1539154336 cites W2053168348 @default.
- W1539154336 cites W2095428403 @default.
- W1539154336 cites W2095704391 @default.
- W1539154336 cites W2120602516 @default.
- W1539154336 cites W2501120957 @default.
- W1539154336 doi "https://doi.org/10.1007/3-540-58495-1_60" @default.
- W1539154336 hasPublicationYear "1994" @default.
- W1539154336 type Work @default.
- W1539154336 sameAs 1539154336 @default.
- W1539154336 citedByCount "0" @default.
- W1539154336 crossrefType "book-chapter" @default.
- W1539154336 hasAuthorship W1539154336A5074550143 @default.
- W1539154336 hasConcept C108710211 @default.
- W1539154336 hasConcept C11413529 @default.
- W1539154336 hasConcept C138268822 @default.
- W1539154336 hasConcept C161771561 @default.
- W1539154336 hasConcept C199360897 @default.
- W1539154336 hasConcept C2318724 @default.
- W1539154336 hasConcept C2524010 @default.
- W1539154336 hasConcept C33923547 @default.
- W1539154336 hasConcept C41008148 @default.
- W1539154336 hasConcept C98045186 @default.
- W1539154336 hasConceptScore W1539154336C108710211 @default.
- W1539154336 hasConceptScore W1539154336C11413529 @default.
- W1539154336 hasConceptScore W1539154336C138268822 @default.
- W1539154336 hasConceptScore W1539154336C161771561 @default.
- W1539154336 hasConceptScore W1539154336C199360897 @default.
- W1539154336 hasConceptScore W1539154336C2318724 @default.
- W1539154336 hasConceptScore W1539154336C2524010 @default.
- W1539154336 hasConceptScore W1539154336C33923547 @default.
- W1539154336 hasConceptScore W1539154336C41008148 @default.
- W1539154336 hasConceptScore W1539154336C98045186 @default.
- W1539154336 hasLocation W15391543361 @default.
- W1539154336 hasOpenAccess W1539154336 @default.
- W1539154336 hasPrimaryLocation W15391543361 @default.
- W1539154336 hasRelatedWork W128672336 @default.
- W1539154336 hasRelatedWork W1510102921 @default.
- W1539154336 hasRelatedWork W1543931510 @default.
- W1539154336 hasRelatedWork W1598572838 @default.
- W1539154336 hasRelatedWork W1852594029 @default.
- W1539154336 hasRelatedWork W2010917637 @default.
- W1539154336 hasRelatedWork W205584733 @default.
- W1539154336 hasRelatedWork W2101048719 @default.
- W1539154336 hasRelatedWork W2116359956 @default.
- W1539154336 hasRelatedWork W2133487056 @default.
- W1539154336 hasRelatedWork W2148854889 @default.
- W1539154336 hasRelatedWork W2168281995 @default.
- W1539154336 hasRelatedWork W2248997843 @default.
- W1539154336 hasRelatedWork W2587761212 @default.
- W1539154336 hasRelatedWork W2592839518 @default.
- W1539154336 hasRelatedWork W2738144340 @default.
- W1539154336 hasRelatedWork W2916237180 @default.
- W1539154336 hasRelatedWork W32681526 @default.
- W1539154336 hasRelatedWork W1574793289 @default.
- W1539154336 hasRelatedWork W81013966 @default.
- W1539154336 isParatext "false" @default.
- W1539154336 isRetracted "false" @default.
- W1539154336 magId "1539154336" @default.
- W1539154336 workType "book-chapter" @default.