Matches in SemOpenAlex for { <https://semopenalex.org/work/W406816134> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W406816134 abstract "It is proposed that the restriction in the OpenMath standard that an OMBIND element must have exactly three children should be lifted, to support more general binder symbols. The case of logics with generalised quantifiers is described in some detail, since these turn out to not have a natural encoding within OpenMath 2.0, because of precisely this restriction. That restricting quantifiers to a single body should have such consequences is not trivial, but follows from a theorem in the Logic branch of Philosophy." @default.
- W406816134 created "2016-06-24" @default.
- W406816134 creator A5081668693 @default.
- W406816134 date "2013-01-01" @default.
- W406816134 modified "2023-09-24" @default.
- W406816134 title "Quantifiers and n-ary binders : an OpenMath standard enhancement proposal" @default.
- W406816134 cites W1482193060 @default.
- W406816134 cites W1560493159 @default.
- W406816134 cites W1593677096 @default.
- W406816134 cites W1606374303 @default.
- W406816134 cites W2011551722 @default.
- W406816134 cites W2133006861 @default.
- W406816134 hasPublicationYear "2013" @default.
- W406816134 type Work @default.
- W406816134 sameAs 406816134 @default.
- W406816134 citedByCount "0" @default.
- W406816134 crossrefType "journal-article" @default.
- W406816134 hasAuthorship W406816134A5081668693 @default.
- W406816134 hasConcept C118615104 @default.
- W406816134 hasConcept C125411270 @default.
- W406816134 hasConcept C136119220 @default.
- W406816134 hasConcept C154945302 @default.
- W406816134 hasConcept C166957645 @default.
- W406816134 hasConcept C17744445 @default.
- W406816134 hasConcept C199343813 @default.
- W406816134 hasConcept C199539241 @default.
- W406816134 hasConcept C200288055 @default.
- W406816134 hasConcept C202444582 @default.
- W406816134 hasConcept C2776608160 @default.
- W406816134 hasConcept C2777686260 @default.
- W406816134 hasConcept C33923547 @default.
- W406816134 hasConcept C41008148 @default.
- W406816134 hasConcept C71924100 @default.
- W406816134 hasConcept C94375191 @default.
- W406816134 hasConcept C95457728 @default.
- W406816134 hasConceptScore W406816134C118615104 @default.
- W406816134 hasConceptScore W406816134C125411270 @default.
- W406816134 hasConceptScore W406816134C136119220 @default.
- W406816134 hasConceptScore W406816134C154945302 @default.
- W406816134 hasConceptScore W406816134C166957645 @default.
- W406816134 hasConceptScore W406816134C17744445 @default.
- W406816134 hasConceptScore W406816134C199343813 @default.
- W406816134 hasConceptScore W406816134C199539241 @default.
- W406816134 hasConceptScore W406816134C200288055 @default.
- W406816134 hasConceptScore W406816134C202444582 @default.
- W406816134 hasConceptScore W406816134C2776608160 @default.
- W406816134 hasConceptScore W406816134C2777686260 @default.
- W406816134 hasConceptScore W406816134C33923547 @default.
- W406816134 hasConceptScore W406816134C41008148 @default.
- W406816134 hasConceptScore W406816134C71924100 @default.
- W406816134 hasConceptScore W406816134C94375191 @default.
- W406816134 hasConceptScore W406816134C95457728 @default.
- W406816134 hasLocation W4068161341 @default.
- W406816134 hasOpenAccess W406816134 @default.
- W406816134 hasPrimaryLocation W4068161341 @default.
- W406816134 hasRelatedWork W1504120254 @default.
- W406816134 hasRelatedWork W1564679921 @default.
- W406816134 hasRelatedWork W1566400901 @default.
- W406816134 hasRelatedWork W1574023517 @default.
- W406816134 hasRelatedWork W1608843844 @default.
- W406816134 hasRelatedWork W1826441865 @default.
- W406816134 hasRelatedWork W1927491598 @default.
- W406816134 hasRelatedWork W1967037961 @default.
- W406816134 hasRelatedWork W1968386460 @default.
- W406816134 hasRelatedWork W1984340046 @default.
- W406816134 hasRelatedWork W1998807220 @default.
- W406816134 hasRelatedWork W1998919726 @default.
- W406816134 hasRelatedWork W2035792686 @default.
- W406816134 hasRelatedWork W2079077049 @default.
- W406816134 hasRelatedWork W2367045141 @default.
- W406816134 hasRelatedWork W2963655298 @default.
- W406816134 hasRelatedWork W3034542628 @default.
- W406816134 hasRelatedWork W3177620036 @default.
- W406816134 hasRelatedWork W78532238 @default.
- W406816134 hasRelatedWork W2089702401 @default.
- W406816134 isParatext "false" @default.
- W406816134 isRetracted "false" @default.
- W406816134 magId "406816134" @default.
- W406816134 workType "article" @default.