Matches in SemOpenAlex for { <https://semopenalex.org/work/W1501498122> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1501498122 endingPage "98" @default.
- W1501498122 startingPage "78" @default.
- W1501498122 abstract "In the theory of programming languages, type inference is the process of inferring the type of an expression automatically, often making use of information from the context in which the expression appears. Such mechanisms turn out to be extremely useful in the practice of interactive theorem proving, whereby users interact with a computational proof assistant to construct formal axiomatic derivations of mathematical theorems. This article explains some of the mechanisms for type inference used by the Mathematical Components project, which is working towards a verification of the Feit-Thompson theorem" @default.
- W1501498122 created "2016-06-24" @default.
- W1501498122 creator A5003483051 @default.
- W1501498122 date "2012-03-21" @default.
- W1501498122 modified "2023-09-26" @default.
- W1501498122 title "Type Inference in Mathematics" @default.
- W1501498122 hasPublicationYear "2012" @default.
- W1501498122 type Work @default.
- W1501498122 sameAs 1501498122 @default.
- W1501498122 citedByCount "0" @default.
- W1501498122 crossrefType "journal-article" @default.
- W1501498122 hasAuthorship W1501498122A5003483051 @default.
- W1501498122 hasConcept C108710211 @default.
- W1501498122 hasConcept C151730666 @default.
- W1501498122 hasConcept C154945302 @default.
- W1501498122 hasConcept C167729594 @default.
- W1501498122 hasConcept C18903297 @default.
- W1501498122 hasConcept C198370458 @default.
- W1501498122 hasConcept C199360897 @default.
- W1501498122 hasConcept C206880738 @default.
- W1501498122 hasConcept C2524010 @default.
- W1501498122 hasConcept C2776214188 @default.
- W1501498122 hasConcept C2777299769 @default.
- W1501498122 hasConcept C2779343474 @default.
- W1501498122 hasConcept C2780801425 @default.
- W1501498122 hasConcept C33923547 @default.
- W1501498122 hasConcept C3746660 @default.
- W1501498122 hasConcept C41008148 @default.
- W1501498122 hasConcept C80444323 @default.
- W1501498122 hasConcept C86803240 @default.
- W1501498122 hasConcept C90559484 @default.
- W1501498122 hasConcept C93682546 @default.
- W1501498122 hasConcept C94461902 @default.
- W1501498122 hasConceptScore W1501498122C108710211 @default.
- W1501498122 hasConceptScore W1501498122C151730666 @default.
- W1501498122 hasConceptScore W1501498122C154945302 @default.
- W1501498122 hasConceptScore W1501498122C167729594 @default.
- W1501498122 hasConceptScore W1501498122C18903297 @default.
- W1501498122 hasConceptScore W1501498122C198370458 @default.
- W1501498122 hasConceptScore W1501498122C199360897 @default.
- W1501498122 hasConceptScore W1501498122C206880738 @default.
- W1501498122 hasConceptScore W1501498122C2524010 @default.
- W1501498122 hasConceptScore W1501498122C2776214188 @default.
- W1501498122 hasConceptScore W1501498122C2777299769 @default.
- W1501498122 hasConceptScore W1501498122C2779343474 @default.
- W1501498122 hasConceptScore W1501498122C2780801425 @default.
- W1501498122 hasConceptScore W1501498122C33923547 @default.
- W1501498122 hasConceptScore W1501498122C3746660 @default.
- W1501498122 hasConceptScore W1501498122C41008148 @default.
- W1501498122 hasConceptScore W1501498122C80444323 @default.
- W1501498122 hasConceptScore W1501498122C86803240 @default.
- W1501498122 hasConceptScore W1501498122C90559484 @default.
- W1501498122 hasConceptScore W1501498122C93682546 @default.
- W1501498122 hasConceptScore W1501498122C94461902 @default.
- W1501498122 hasIssue "106" @default.
- W1501498122 hasLocation W15014981221 @default.
- W1501498122 hasOpenAccess W1501498122 @default.
- W1501498122 hasPrimaryLocation W15014981221 @default.
- W1501498122 hasRelatedWork W1483617434 @default.
- W1501498122 hasRelatedWork W1507382776 @default.
- W1501498122 hasRelatedWork W1519609121 @default.
- W1501498122 hasRelatedWork W1522243061 @default.
- W1501498122 hasRelatedWork W1574194273 @default.
- W1501498122 hasRelatedWork W1838321713 @default.
- W1501498122 hasRelatedWork W1971240548 @default.
- W1501498122 hasRelatedWork W197201650 @default.
- W1501498122 hasRelatedWork W2012899205 @default.
- W1501498122 hasRelatedWork W202288218 @default.
- W1501498122 hasRelatedWork W2084311439 @default.
- W1501498122 hasRelatedWork W2177595 @default.
- W1501498122 hasRelatedWork W2185769173 @default.
- W1501498122 hasRelatedWork W2287696855 @default.
- W1501498122 hasRelatedWork W2544352334 @default.
- W1501498122 hasRelatedWork W2950996938 @default.
- W1501498122 hasRelatedWork W3113242229 @default.
- W1501498122 hasRelatedWork W3123279312 @default.
- W1501498122 hasRelatedWork W3162095174 @default.
- W1501498122 hasRelatedWork W374661910 @default.
- W1501498122 hasVolume "106" @default.
- W1501498122 isParatext "false" @default.
- W1501498122 isRetracted "false" @default.
- W1501498122 magId "1501498122" @default.
- W1501498122 workType "article" @default.