Matches in SemOpenAlex for { <https://semopenalex.org/work/W1547807416> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1547807416 abstract "The equational prover of the Theorema system is described. It is implemented on Mathematica and is designed for unit equalities in the first order or in the applicative higher order form. A (restricted) usage of sequence variables and Mathematica built-in functions is allowed." @default.
- W1547807416 created "2016-06-24" @default.
- W1547807416 creator A5080230891 @default.
- W1547807416 date "2003-01-01" @default.
- W1547807416 modified "2023-09-23" @default.
- W1547807416 title "Equational Prover of Theorema" @default.
- W1547807416 cites W1495433690 @default.
- W1547807416 cites W1498507181 @default.
- W1547807416 cites W1518871620 @default.
- W1547807416 cites W1537279363 @default.
- W1547807416 cites W1548261674 @default.
- W1547807416 cites W1551243253 @default.
- W1547807416 cites W1552713121 @default.
- W1547807416 cites W1560857865 @default.
- W1547807416 cites W1980717258 @default.
- W1547807416 cites W1993076245 @default.
- W1547807416 cites W1996282604 @default.
- W1547807416 cites W2056737359 @default.
- W1547807416 cites W2074679569 @default.
- W1547807416 cites W2082976889 @default.
- W1547807416 cites W2098726192 @default.
- W1547807416 cites W2912291024 @default.
- W1547807416 cites W3023050017 @default.
- W1547807416 doi "https://doi.org/10.1007/3-540-44881-0_26" @default.
- W1547807416 hasPublicationYear "2003" @default.
- W1547807416 type Work @default.
- W1547807416 sameAs 1547807416 @default.
- W1547807416 citedByCount "11" @default.
- W1547807416 countsByYear W15478074162012 @default.
- W1547807416 countsByYear W15478074162014 @default.
- W1547807416 countsByYear W15478074162015 @default.
- W1547807416 countsByYear W15478074162016 @default.
- W1547807416 countsByYear W15478074162017 @default.
- W1547807416 countsByYear W15478074162021 @default.
- W1547807416 countsByYear W15478074162022 @default.
- W1547807416 crossrefType "book-chapter" @default.
- W1547807416 hasAuthorship W1547807416A5080230891 @default.
- W1547807416 hasConcept C10138342 @default.
- W1547807416 hasConcept C108710211 @default.
- W1547807416 hasConcept C11413529 @default.
- W1547807416 hasConcept C159718280 @default.
- W1547807416 hasConcept C162324750 @default.
- W1547807416 hasConcept C182306322 @default.
- W1547807416 hasConcept C199343813 @default.
- W1547807416 hasConcept C199360897 @default.
- W1547807416 hasConcept C206880738 @default.
- W1547807416 hasConcept C2524010 @default.
- W1547807416 hasConcept C2777686260 @default.
- W1547807416 hasConcept C2778112365 @default.
- W1547807416 hasConcept C33923547 @default.
- W1547807416 hasConcept C41008148 @default.
- W1547807416 hasConcept C54355233 @default.
- W1547807416 hasConcept C71924100 @default.
- W1547807416 hasConcept C80444323 @default.
- W1547807416 hasConcept C86803240 @default.
- W1547807416 hasConceptScore W1547807416C10138342 @default.
- W1547807416 hasConceptScore W1547807416C108710211 @default.
- W1547807416 hasConceptScore W1547807416C11413529 @default.
- W1547807416 hasConceptScore W1547807416C159718280 @default.
- W1547807416 hasConceptScore W1547807416C162324750 @default.
- W1547807416 hasConceptScore W1547807416C182306322 @default.
- W1547807416 hasConceptScore W1547807416C199343813 @default.
- W1547807416 hasConceptScore W1547807416C199360897 @default.
- W1547807416 hasConceptScore W1547807416C206880738 @default.
- W1547807416 hasConceptScore W1547807416C2524010 @default.
- W1547807416 hasConceptScore W1547807416C2777686260 @default.
- W1547807416 hasConceptScore W1547807416C2778112365 @default.
- W1547807416 hasConceptScore W1547807416C33923547 @default.
- W1547807416 hasConceptScore W1547807416C41008148 @default.
- W1547807416 hasConceptScore W1547807416C54355233 @default.
- W1547807416 hasConceptScore W1547807416C71924100 @default.
- W1547807416 hasConceptScore W1547807416C80444323 @default.
- W1547807416 hasConceptScore W1547807416C86803240 @default.
- W1547807416 hasLocation W15478074161 @default.
- W1547807416 hasOpenAccess W1547807416 @default.
- W1547807416 hasPrimaryLocation W15478074161 @default.
- W1547807416 hasRelatedWork W1512952371 @default.
- W1547807416 hasRelatedWork W1515169568 @default.
- W1547807416 hasRelatedWork W1555960401 @default.
- W1547807416 hasRelatedWork W1789702989 @default.
- W1547807416 hasRelatedWork W1861293286 @default.
- W1547807416 hasRelatedWork W2206711905 @default.
- W1547807416 hasRelatedWork W2759631754 @default.
- W1547807416 hasRelatedWork W2950961618 @default.
- W1547807416 hasRelatedWork W4245884879 @default.
- W1547807416 hasRelatedWork W898277466 @default.
- W1547807416 isParatext "false" @default.
- W1547807416 isRetracted "false" @default.
- W1547807416 magId "1547807416" @default.
- W1547807416 workType "book-chapter" @default.