Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031662956> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2031662956 abstract "In the paper we present a technique for eliminating quantifiers of arbitrary order, in particular of first-order. Such a uniform treatment of the elimination problem has been problematic up to now, ..." @default.
- W2031662956 created "2016-06-24" @default.
- W2031662956 creator A5007619026 @default.
- W2031662956 date "2008-01-01" @default.
- W2031662956 modified "2023-09-26" @default.
- W2031662956 title "Towards incorporating background theories into quantifier elimination" @default.
- W2031662956 cites W1498642851 @default.
- W2031662956 cites W1536469384 @default.
- W2031662956 cites W1728675562 @default.
- W2031662956 cites W1968397692 @default.
- W2031662956 cites W1989151171 @default.
- W2031662956 cites W2002758009 @default.
- W2031662956 cites W2048154108 @default.
- W2031662956 cites W2051649506 @default.
- W2031662956 cites W2057503265 @default.
- W2031662956 cites W2057924377 @default.
- W2031662956 cites W2147754886 @default.
- W2031662956 cites W2169882082 @default.
- W2031662956 cites W2950450725 @default.
- W2031662956 cites W4147469 @default.
- W2031662956 cites W4211144022 @default.
- W2031662956 cites W4252706706 @default.
- W2031662956 cites W4252933876 @default.
- W2031662956 doi "https://doi.org/10.3166/jancl.18.325-340" @default.
- W2031662956 hasPublicationYear "2008" @default.
- W2031662956 type Work @default.
- W2031662956 sameAs 2031662956 @default.
- W2031662956 citedByCount "1" @default.
- W2031662956 crossrefType "journal-article" @default.
- W2031662956 hasAuthorship W2031662956A5007619026 @default.
- W2031662956 hasConcept C10138342 @default.
- W2031662956 hasConcept C144237770 @default.
- W2031662956 hasConcept C154945302 @default.
- W2031662956 hasConcept C162324750 @default.
- W2031662956 hasConcept C182306322 @default.
- W2031662956 hasConcept C199343813 @default.
- W2031662956 hasConcept C199360897 @default.
- W2031662956 hasConcept C2777686260 @default.
- W2031662956 hasConcept C2778523021 @default.
- W2031662956 hasConcept C32278780 @default.
- W2031662956 hasConcept C33923547 @default.
- W2031662956 hasConcept C41008148 @default.
- W2031662956 hasConcept C71924100 @default.
- W2031662956 hasConceptScore W2031662956C10138342 @default.
- W2031662956 hasConceptScore W2031662956C144237770 @default.
- W2031662956 hasConceptScore W2031662956C154945302 @default.
- W2031662956 hasConceptScore W2031662956C162324750 @default.
- W2031662956 hasConceptScore W2031662956C182306322 @default.
- W2031662956 hasConceptScore W2031662956C199343813 @default.
- W2031662956 hasConceptScore W2031662956C199360897 @default.
- W2031662956 hasConceptScore W2031662956C2777686260 @default.
- W2031662956 hasConceptScore W2031662956C2778523021 @default.
- W2031662956 hasConceptScore W2031662956C32278780 @default.
- W2031662956 hasConceptScore W2031662956C33923547 @default.
- W2031662956 hasConceptScore W2031662956C41008148 @default.
- W2031662956 hasConceptScore W2031662956C71924100 @default.
- W2031662956 hasLocation W20316629561 @default.
- W2031662956 hasOpenAccess W2031662956 @default.
- W2031662956 hasPrimaryLocation W20316629561 @default.
- W2031662956 hasRelatedWork W1239946963 @default.
- W2031662956 hasRelatedWork W1524103539 @default.
- W2031662956 hasRelatedWork W1526552119 @default.
- W2031662956 hasRelatedWork W2035616959 @default.
- W2031662956 hasRelatedWork W2064663850 @default.
- W2031662956 hasRelatedWork W2087623002 @default.
- W2031662956 hasRelatedWork W2094740153 @default.
- W2031662956 hasRelatedWork W3012938552 @default.
- W2031662956 hasRelatedWork W4214737172 @default.
- W2031662956 hasRelatedWork W4287825236 @default.
- W2031662956 isParatext "false" @default.
- W2031662956 isRetracted "false" @default.
- W2031662956 magId "2031662956" @default.
- W2031662956 workType "article" @default.