Matches in SemOpenAlex for { <https://semopenalex.org/work/W1508105655> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1508105655 abstract "Publisher Summary This chapter represents an attempt to provide a foundation for a limited but definite advance in the realm of the mechanization of mathematical theories. The chapter focuses on elementary theory of equations and on certain generalizations of that theory. In the case of the elementary theory of equations it appears that a suitable framework is provided by a free variable theory in the first order functional calculus. A calculus of deduction is introduced into the language. The elementary theory of equations expressed within the framework of an appropriately designed deductive calculus provides a good subject for mechanization." @default.
- W1508105655 created "2016-06-24" @default.
- W1508105655 creator A5084899639 @default.
- W1508105655 date "1963-01-01" @default.
- W1508105655 modified "2023-09-23" @default.
- W1508105655 title "A Basis for the Mechanization of the Theory of Equations" @default.
- W1508105655 cites W2092699841 @default.
- W1508105655 doi "https://doi.org/10.1016/s0049-237x(08)72021-4" @default.
- W1508105655 hasPublicationYear "1963" @default.
- W1508105655 type Work @default.
- W1508105655 sameAs 1508105655 @default.
- W1508105655 citedByCount "1" @default.
- W1508105655 crossrefType "book-chapter" @default.
- W1508105655 hasAuthorship W1508105655A5084899639 @default.
- W1508105655 hasConcept C121332964 @default.
- W1508105655 hasConcept C12426560 @default.
- W1508105655 hasConcept C134306372 @default.
- W1508105655 hasConcept C136119220 @default.
- W1508105655 hasConcept C144237770 @default.
- W1508105655 hasConcept C17744445 @default.
- W1508105655 hasConcept C182365436 @default.
- W1508105655 hasConcept C199343813 @default.
- W1508105655 hasConcept C199539241 @default.
- W1508105655 hasConcept C202444582 @default.
- W1508105655 hasConcept C2524010 @default.
- W1508105655 hasConcept C2777686260 @default.
- W1508105655 hasConcept C2778757428 @default.
- W1508105655 hasConcept C2779193601 @default.
- W1508105655 hasConcept C2992002026 @default.
- W1508105655 hasConcept C33923547 @default.
- W1508105655 hasConcept C41008148 @default.
- W1508105655 hasConcept C62520636 @default.
- W1508105655 hasConcept C71924100 @default.
- W1508105655 hasConceptScore W1508105655C121332964 @default.
- W1508105655 hasConceptScore W1508105655C12426560 @default.
- W1508105655 hasConceptScore W1508105655C134306372 @default.
- W1508105655 hasConceptScore W1508105655C136119220 @default.
- W1508105655 hasConceptScore W1508105655C144237770 @default.
- W1508105655 hasConceptScore W1508105655C17744445 @default.
- W1508105655 hasConceptScore W1508105655C182365436 @default.
- W1508105655 hasConceptScore W1508105655C199343813 @default.
- W1508105655 hasConceptScore W1508105655C199539241 @default.
- W1508105655 hasConceptScore W1508105655C202444582 @default.
- W1508105655 hasConceptScore W1508105655C2524010 @default.
- W1508105655 hasConceptScore W1508105655C2777686260 @default.
- W1508105655 hasConceptScore W1508105655C2778757428 @default.
- W1508105655 hasConceptScore W1508105655C2779193601 @default.
- W1508105655 hasConceptScore W1508105655C2992002026 @default.
- W1508105655 hasConceptScore W1508105655C33923547 @default.
- W1508105655 hasConceptScore W1508105655C41008148 @default.
- W1508105655 hasConceptScore W1508105655C62520636 @default.
- W1508105655 hasConceptScore W1508105655C71924100 @default.
- W1508105655 hasLocation W15081056551 @default.
- W1508105655 hasOpenAccess W1508105655 @default.
- W1508105655 hasPrimaryLocation W15081056551 @default.
- W1508105655 hasRelatedWork W1033688868 @default.
- W1508105655 hasRelatedWork W1151994082 @default.
- W1508105655 hasRelatedWork W1413967780 @default.
- W1508105655 hasRelatedWork W1480150249 @default.
- W1508105655 hasRelatedWork W1857772473 @default.
- W1508105655 hasRelatedWork W1971116997 @default.
- W1508105655 hasRelatedWork W1971502836 @default.
- W1508105655 hasRelatedWork W2067110264 @default.
- W1508105655 hasRelatedWork W2069157621 @default.
- W1508105655 hasRelatedWork W2100330382 @default.
- W1508105655 hasRelatedWork W229153986 @default.
- W1508105655 hasRelatedWork W2316695811 @default.
- W1508105655 hasRelatedWork W2488424224 @default.
- W1508105655 hasRelatedWork W264273634 @default.
- W1508105655 hasRelatedWork W2793936753 @default.
- W1508105655 hasRelatedWork W3169616153 @default.
- W1508105655 hasRelatedWork W587125058 @default.
- W1508105655 hasRelatedWork W963613587 @default.
- W1508105655 hasRelatedWork W986442982 @default.
- W1508105655 hasRelatedWork W1585689137 @default.
- W1508105655 isParatext "false" @default.
- W1508105655 isRetracted "false" @default.
- W1508105655 magId "1508105655" @default.
- W1508105655 workType "book-chapter" @default.