Matches in SemOpenAlex for { <https://semopenalex.org/work/W2946683687> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2946683687 abstract "We show some applications of the formulas-as-polynomials correspondence: 1) a method for (dis)proving formula isomorphism and equivalence based on showing (in)equality; 2) a constructive analogue of the arithmetical hierarchy, based on the exp-log normal form. The results are valid intuitionistically, as well as classically." @default.
- W2946683687 created "2019-05-29" @default.
- W2946683687 creator A5012235221 @default.
- W2946683687 date "2019-05-18" @default.
- W2946683687 modified "2023-09-27" @default.
- W2946683687 title "Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms" @default.
- W2946683687 cites W1970627943 @default.
- W2946683687 cites W1976673631 @default.
- W2946683687 cites W1992765863 @default.
- W2946683687 cites W2068169489 @default.
- W2946683687 cites W2081651297 @default.
- W2946683687 cites W2123497262 @default.
- W2946683687 cites W3102609340 @default.
- W2946683687 cites W3118577122 @default.
- W2946683687 hasPublicationYear "2019" @default.
- W2946683687 type Work @default.
- W2946683687 sameAs 2946683687 @default.
- W2946683687 citedByCount "0" @default.
- W2946683687 crossrefType "posted-content" @default.
- W2946683687 hasAuthorship W2946683687A5012235221 @default.
- W2946683687 hasConcept C111919701 @default.
- W2946683687 hasConcept C112343008 @default.
- W2946683687 hasConcept C115624301 @default.
- W2946683687 hasConcept C118615104 @default.
- W2946683687 hasConcept C134306372 @default.
- W2946683687 hasConcept C136119220 @default.
- W2946683687 hasConcept C138885662 @default.
- W2946683687 hasConcept C151376022 @default.
- W2946683687 hasConcept C185592680 @default.
- W2946683687 hasConcept C202444582 @default.
- W2946683687 hasConcept C203436722 @default.
- W2946683687 hasConcept C2778701210 @default.
- W2946683687 hasConcept C2780069185 @default.
- W2946683687 hasConcept C33923547 @default.
- W2946683687 hasConcept C41008148 @default.
- W2946683687 hasConcept C41895202 @default.
- W2946683687 hasConcept C521332185 @default.
- W2946683687 hasConcept C8010536 @default.
- W2946683687 hasConcept C85384003 @default.
- W2946683687 hasConcept C98045186 @default.
- W2946683687 hasConceptScore W2946683687C111919701 @default.
- W2946683687 hasConceptScore W2946683687C112343008 @default.
- W2946683687 hasConceptScore W2946683687C115624301 @default.
- W2946683687 hasConceptScore W2946683687C118615104 @default.
- W2946683687 hasConceptScore W2946683687C134306372 @default.
- W2946683687 hasConceptScore W2946683687C136119220 @default.
- W2946683687 hasConceptScore W2946683687C138885662 @default.
- W2946683687 hasConceptScore W2946683687C151376022 @default.
- W2946683687 hasConceptScore W2946683687C185592680 @default.
- W2946683687 hasConceptScore W2946683687C202444582 @default.
- W2946683687 hasConceptScore W2946683687C203436722 @default.
- W2946683687 hasConceptScore W2946683687C2778701210 @default.
- W2946683687 hasConceptScore W2946683687C2780069185 @default.
- W2946683687 hasConceptScore W2946683687C33923547 @default.
- W2946683687 hasConceptScore W2946683687C41008148 @default.
- W2946683687 hasConceptScore W2946683687C41895202 @default.
- W2946683687 hasConceptScore W2946683687C521332185 @default.
- W2946683687 hasConceptScore W2946683687C8010536 @default.
- W2946683687 hasConceptScore W2946683687C85384003 @default.
- W2946683687 hasConceptScore W2946683687C98045186 @default.
- W2946683687 hasLocation W29466836871 @default.
- W2946683687 hasOpenAccess W2946683687 @default.
- W2946683687 hasPrimaryLocation W29466836871 @default.
- W2946683687 hasRelatedWork W1869889012 @default.
- W2946683687 hasRelatedWork W1981245701 @default.
- W2946683687 hasRelatedWork W1984626153 @default.
- W2946683687 hasRelatedWork W1992317713 @default.
- W2946683687 hasRelatedWork W2060384284 @default.
- W2946683687 hasRelatedWork W2065511095 @default.
- W2946683687 hasRelatedWork W2080754210 @default.
- W2946683687 hasRelatedWork W2360244967 @default.
- W2946683687 hasRelatedWork W2554951247 @default.
- W2946683687 hasRelatedWork W2620546949 @default.
- W2946683687 hasRelatedWork W2785326897 @default.
- W2946683687 hasRelatedWork W2794702051 @default.
- W2946683687 hasRelatedWork W2801372179 @default.
- W2946683687 hasRelatedWork W2803364276 @default.
- W2946683687 hasRelatedWork W2949636162 @default.
- W2946683687 hasRelatedWork W2951757598 @default.
- W2946683687 hasRelatedWork W3152963899 @default.
- W2946683687 hasRelatedWork W3166092483 @default.
- W2946683687 hasRelatedWork W632135997 @default.
- W2946683687 hasRelatedWork W210506913 @default.
- W2946683687 isParatext "false" @default.
- W2946683687 isRetracted "false" @default.
- W2946683687 magId "2946683687" @default.
- W2946683687 workType "article" @default.