Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574652132> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1574652132 abstract "KEIM is a collection of software modules, written in Common Lisp with CLOS, designed to be used in the implementation of automated reasoning systems. KEIM is intended to be used by those who want to build or use deduction systems (such as resolution theorem provers) without having to write the entire framework. KEIM is also suitable for embedding a reasoning component into another Common Lisp program. It offers a range of datatypes implementing a logical language of type theory (higher order logic), in which first order logic can be easily embedded. KEIM's datatypes and algorithms include: types; terms (symbols, applications, abstractions); unification and substitutions; proofs, including resolution and natural deduction styles." @default.
- W1574652132 created "2016-06-24" @default.
- W1574652132 creator A5004332348 @default.
- W1574652132 creator A5015176581 @default.
- W1574652132 creator A5024794217 @default.
- W1574652132 creator A5044172397 @default.
- W1574652132 creator A5044203427 @default.
- W1574652132 creator A5081181060 @default.
- W1574652132 creator A5015060761 @default.
- W1574652132 date "1994-01-01" @default.
- W1574652132 modified "2023-09-29" @default.
- W1574652132 title "KEIM: A toolkit for automated deduction" @default.
- W1574652132 cites W63122532 @default.
- W1574652132 cites W782668253 @default.
- W1574652132 cites W3202045943 @default.
- W1574652132 doi "https://doi.org/10.1007/3-540-58156-1_65" @default.
- W1574652132 hasPublicationYear "1994" @default.
- W1574652132 type Work @default.
- W1574652132 sameAs 1574652132 @default.
- W1574652132 citedByCount "10" @default.
- W1574652132 crossrefType "book-chapter" @default.
- W1574652132 hasAuthorship W1574652132A5004332348 @default.
- W1574652132 hasAuthorship W1574652132A5015060761 @default.
- W1574652132 hasAuthorship W1574652132A5015176581 @default.
- W1574652132 hasAuthorship W1574652132A5024794217 @default.
- W1574652132 hasAuthorship W1574652132A5044172397 @default.
- W1574652132 hasAuthorship W1574652132A5044203427 @default.
- W1574652132 hasAuthorship W1574652132A5081181060 @default.
- W1574652132 hasConcept C108710211 @default.
- W1574652132 hasConcept C11413529 @default.
- W1574652132 hasConcept C138268822 @default.
- W1574652132 hasConcept C18903297 @default.
- W1574652132 hasConcept C190883126 @default.
- W1574652132 hasConcept C195344581 @default.
- W1574652132 hasConcept C199360897 @default.
- W1574652132 hasConcept C203265346 @default.
- W1574652132 hasConcept C206880738 @default.
- W1574652132 hasConcept C2524010 @default.
- W1574652132 hasConcept C2777299769 @default.
- W1574652132 hasConcept C2779353305 @default.
- W1574652132 hasConcept C33923547 @default.
- W1574652132 hasConcept C41008148 @default.
- W1574652132 hasConcept C80444323 @default.
- W1574652132 hasConcept C86803240 @default.
- W1574652132 hasConcept C93682546 @default.
- W1574652132 hasConcept C96146094 @default.
- W1574652132 hasConceptScore W1574652132C108710211 @default.
- W1574652132 hasConceptScore W1574652132C11413529 @default.
- W1574652132 hasConceptScore W1574652132C138268822 @default.
- W1574652132 hasConceptScore W1574652132C18903297 @default.
- W1574652132 hasConceptScore W1574652132C190883126 @default.
- W1574652132 hasConceptScore W1574652132C195344581 @default.
- W1574652132 hasConceptScore W1574652132C199360897 @default.
- W1574652132 hasConceptScore W1574652132C203265346 @default.
- W1574652132 hasConceptScore W1574652132C206880738 @default.
- W1574652132 hasConceptScore W1574652132C2524010 @default.
- W1574652132 hasConceptScore W1574652132C2777299769 @default.
- W1574652132 hasConceptScore W1574652132C2779353305 @default.
- W1574652132 hasConceptScore W1574652132C33923547 @default.
- W1574652132 hasConceptScore W1574652132C41008148 @default.
- W1574652132 hasConceptScore W1574652132C80444323 @default.
- W1574652132 hasConceptScore W1574652132C86803240 @default.
- W1574652132 hasConceptScore W1574652132C93682546 @default.
- W1574652132 hasConceptScore W1574652132C96146094 @default.
- W1574652132 hasLocation W15746521321 @default.
- W1574652132 hasOpenAccess W1574652132 @default.
- W1574652132 hasPrimaryLocation W15746521321 @default.
- W1574652132 hasRelatedWork W1496802971 @default.
- W1574652132 hasRelatedWork W1512430070 @default.
- W1574652132 hasRelatedWork W1519434182 @default.
- W1574652132 hasRelatedWork W1523013478 @default.
- W1574652132 hasRelatedWork W1557830359 @default.
- W1574652132 hasRelatedWork W1762364904 @default.
- W1574652132 hasRelatedWork W1796185062 @default.
- W1574652132 hasRelatedWork W1999355239 @default.
- W1574652132 hasRelatedWork W2094025748 @default.
- W1574652132 hasRelatedWork W2100738443 @default.
- W1574652132 hasRelatedWork W2115857898 @default.
- W1574652132 hasRelatedWork W2142877099 @default.
- W1574652132 hasRelatedWork W2160573490 @default.
- W1574652132 hasRelatedWork W2245984367 @default.
- W1574652132 hasRelatedWork W2496920491 @default.
- W1574652132 hasRelatedWork W2583512742 @default.
- W1574652132 hasRelatedWork W2892684501 @default.
- W1574652132 hasRelatedWork W2943553270 @default.
- W1574652132 hasRelatedWork W3111943817 @default.
- W1574652132 hasRelatedWork W1965369251 @default.
- W1574652132 isParatext "false" @default.
- W1574652132 isRetracted "false" @default.
- W1574652132 magId "1574652132" @default.
- W1574652132 workType "book-chapter" @default.