Matches in SemOpenAlex for { <https://semopenalex.org/work/W2615202979> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2615202979 endingPage "57" @default.
- W2615202979 startingPage "46" @default.
- W2615202979 abstract "We study function elimination for Arithmetical Logics. We propose a method allowing substitution of functions appearing in a given formula with functions with less arity. We prove the correctness of the method and we use it to show the decidability of the satisfiability problem for two classes of formulae allowing linear and polynomial terms." @default.
- W2615202979 created "2017-05-26" @default.
- W2615202979 creator A5060188970 @default.
- W2615202979 creator A5065420986 @default.
- W2615202979 creator A5090347665 @default.
- W2615202979 date "2014-01-01" @default.
- W2615202979 modified "2023-09-28" @default.
- W2615202979 title "A Function Elimination Method for Checking Satisfiability of Arithmetical Logics." @default.
- W2615202979 hasPublicationYear "2014" @default.
- W2615202979 type Work @default.
- W2615202979 sameAs 2615202979 @default.
- W2615202979 citedByCount "2" @default.
- W2615202979 countsByYear W26152029792016 @default.
- W2615202979 crossrefType "journal-article" @default.
- W2615202979 hasAuthorship W2615202979A5060188970 @default.
- W2615202979 hasAuthorship W2615202979A5065420986 @default.
- W2615202979 hasAuthorship W2615202979A5090347665 @default.
- W2615202979 hasConcept C110546421 @default.
- W2615202979 hasConcept C112343008 @default.
- W2615202979 hasConcept C11413529 @default.
- W2615202979 hasConcept C118615104 @default.
- W2615202979 hasConcept C134306372 @default.
- W2615202979 hasConcept C136119220 @default.
- W2615202979 hasConcept C14036430 @default.
- W2615202979 hasConcept C153269930 @default.
- W2615202979 hasConcept C168773769 @default.
- W2615202979 hasConcept C199360897 @default.
- W2615202979 hasConcept C202444582 @default.
- W2615202979 hasConcept C2778220771 @default.
- W2615202979 hasConcept C33923547 @default.
- W2615202979 hasConcept C41008148 @default.
- W2615202979 hasConcept C55439883 @default.
- W2615202979 hasConcept C6943359 @default.
- W2615202979 hasConcept C78458016 @default.
- W2615202979 hasConcept C86803240 @default.
- W2615202979 hasConcept C90119067 @default.
- W2615202979 hasConceptScore W2615202979C110546421 @default.
- W2615202979 hasConceptScore W2615202979C112343008 @default.
- W2615202979 hasConceptScore W2615202979C11413529 @default.
- W2615202979 hasConceptScore W2615202979C118615104 @default.
- W2615202979 hasConceptScore W2615202979C134306372 @default.
- W2615202979 hasConceptScore W2615202979C136119220 @default.
- W2615202979 hasConceptScore W2615202979C14036430 @default.
- W2615202979 hasConceptScore W2615202979C153269930 @default.
- W2615202979 hasConceptScore W2615202979C168773769 @default.
- W2615202979 hasConceptScore W2615202979C199360897 @default.
- W2615202979 hasConceptScore W2615202979C202444582 @default.
- W2615202979 hasConceptScore W2615202979C2778220771 @default.
- W2615202979 hasConceptScore W2615202979C33923547 @default.
- W2615202979 hasConceptScore W2615202979C41008148 @default.
- W2615202979 hasConceptScore W2615202979C55439883 @default.
- W2615202979 hasConceptScore W2615202979C6943359 @default.
- W2615202979 hasConceptScore W2615202979C78458016 @default.
- W2615202979 hasConceptScore W2615202979C86803240 @default.
- W2615202979 hasConceptScore W2615202979C90119067 @default.
- W2615202979 hasLocation W26152029791 @default.
- W2615202979 hasOpenAccess W2615202979 @default.
- W2615202979 hasPrimaryLocation W26152029791 @default.
- W2615202979 hasRelatedWork W108950962 @default.
- W2615202979 hasRelatedWork W1551884619 @default.
- W2615202979 hasRelatedWork W1829796646 @default.
- W2615202979 hasRelatedWork W1880816751 @default.
- W2615202979 hasRelatedWork W1965384668 @default.
- W2615202979 hasRelatedWork W1982412713 @default.
- W2615202979 hasRelatedWork W2017112542 @default.
- W2615202979 hasRelatedWork W2040640762 @default.
- W2615202979 hasRelatedWork W2061668660 @default.
- W2615202979 hasRelatedWork W2114710125 @default.
- W2615202979 hasRelatedWork W2129827529 @default.
- W2615202979 hasRelatedWork W2140541040 @default.
- W2615202979 hasRelatedWork W2154374418 @default.
- W2615202979 hasRelatedWork W2252339295 @default.
- W2615202979 hasRelatedWork W2740128568 @default.
- W2615202979 hasRelatedWork W2779744813 @default.
- W2615202979 hasRelatedWork W2963734016 @default.
- W2615202979 hasRelatedWork W3033601567 @default.
- W2615202979 hasRelatedWork W3037251419 @default.
- W2615202979 hasRelatedWork W69975942 @default.
- W2615202979 isParatext "false" @default.
- W2615202979 isRetracted "false" @default.
- W2615202979 magId "2615202979" @default.
- W2615202979 workType "article" @default.