Matches in SemOpenAlex for { <https://semopenalex.org/work/W959963806> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W959963806 abstract "This report describes a system designed to provide a portable environment for the study of automated reasoning. The system is built on the LMA automated reasoning subroutine package. This program is not part of LMA itself but illustrates the level of inference-based system that can be constructed from the LMA package of tools. It is a clause-based reasoning system supporting a wide variety of techniques which have proven valuable over the years in a long-running automated deduction research project. In addition, it is designed to present a convenient, interactive interface to its user." @default.
- W959963806 created "2016-06-24" @default.
- W959963806 creator A5078469358 @default.
- W959963806 creator A5085138988 @default.
- W959963806 date "1984-04-01" @default.
- W959963806 modified "2023-09-26" @default.
- W959963806 title "The Automated Reasoning System ITP" @default.
- W959963806 hasPublicationYear "1984" @default.
- W959963806 type Work @default.
- W959963806 sameAs 959963806 @default.
- W959963806 citedByCount "29" @default.
- W959963806 crossrefType "journal-article" @default.
- W959963806 hasAuthorship W959963806A5078469358 @default.
- W959963806 hasAuthorship W959963806A5085138988 @default.
- W959963806 hasConcept C107457646 @default.
- W959963806 hasConcept C111919701 @default.
- W959963806 hasConcept C113843644 @default.
- W959963806 hasConcept C115903868 @default.
- W959963806 hasConcept C129307140 @default.
- W959963806 hasConcept C136197465 @default.
- W959963806 hasConcept C154945302 @default.
- W959963806 hasConcept C157915830 @default.
- W959963806 hasConcept C195344581 @default.
- W959963806 hasConcept C199360897 @default.
- W959963806 hasConcept C2776214188 @default.
- W959963806 hasConcept C41008148 @default.
- W959963806 hasConcept C89288958 @default.
- W959963806 hasConcept C96147967 @default.
- W959963806 hasConceptScore W959963806C107457646 @default.
- W959963806 hasConceptScore W959963806C111919701 @default.
- W959963806 hasConceptScore W959963806C113843644 @default.
- W959963806 hasConceptScore W959963806C115903868 @default.
- W959963806 hasConceptScore W959963806C129307140 @default.
- W959963806 hasConceptScore W959963806C136197465 @default.
- W959963806 hasConceptScore W959963806C154945302 @default.
- W959963806 hasConceptScore W959963806C157915830 @default.
- W959963806 hasConceptScore W959963806C195344581 @default.
- W959963806 hasConceptScore W959963806C199360897 @default.
- W959963806 hasConceptScore W959963806C2776214188 @default.
- W959963806 hasConceptScore W959963806C41008148 @default.
- W959963806 hasConceptScore W959963806C89288958 @default.
- W959963806 hasConceptScore W959963806C96147967 @default.
- W959963806 hasLocation W9599638061 @default.
- W959963806 hasOpenAccess W959963806 @default.
- W959963806 hasPrimaryLocation W9599638061 @default.
- W959963806 hasRelatedWork W146403015 @default.
- W959963806 hasRelatedWork W1514729613 @default.
- W959963806 hasRelatedWork W1530765221 @default.
- W959963806 hasRelatedWork W1584374742 @default.
- W959963806 hasRelatedWork W1590828018 @default.
- W959963806 hasRelatedWork W1968386045 @default.
- W959963806 hasRelatedWork W1972956465 @default.
- W959963806 hasRelatedWork W2011184850 @default.
- W959963806 hasRelatedWork W2013434344 @default.
- W959963806 hasRelatedWork W2032056625 @default.
- W959963806 hasRelatedWork W2036475963 @default.
- W959963806 hasRelatedWork W2074713171 @default.
- W959963806 hasRelatedWork W2100738443 @default.
- W959963806 hasRelatedWork W2121757274 @default.
- W959963806 hasRelatedWork W2253008277 @default.
- W959963806 hasRelatedWork W2281109425 @default.
- W959963806 hasRelatedWork W2463454905 @default.
- W959963806 hasRelatedWork W258782345 @default.
- W959963806 hasRelatedWork W2917669195 @default.
- W959963806 hasRelatedWork W3046026155 @default.
- W959963806 isParatext "false" @default.
- W959963806 isRetracted "false" @default.
- W959963806 magId "959963806" @default.
- W959963806 workType "article" @default.