Matches in SemOpenAlex for { <https://semopenalex.org/work/W2057924377> ?p ?o ?g. }
- W2057924377 endingPage "50" @default.
- W2057924377 startingPage "37" @default.
- W2057924377 created "2016-06-24" @default.
- W2057924377 creator A5007619026 @default.
- W2057924377 creator A5060284292 @default.
- W2057924377 date "2007-10-06" @default.
- W2057924377 modified "2023-09-27" @default.
- W2057924377 title "Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals" @default.
- W2057924377 cites W1498642851 @default.
- W2057924377 cites W1536469384 @default.
- W2057924377 cites W1590902735 @default.
- W2057924377 cites W1601612858 @default.
- W2057924377 cites W1989151171 @default.
- W2057924377 cites W2002595895 @default.
- W2057924377 cites W2008621787 @default.
- W2057924377 cites W2055318378 @default.
- W2057924377 cites W2057503265 @default.
- W2057924377 cites W2147754886 @default.
- W2057924377 cites W2159304001 @default.
- W2057924377 cites W4147469 @default.
- W2057924377 cites W4252706706 @default.
- W2057924377 cites W51059328 @default.
- W2057924377 doi "https://doi.org/10.1007/s11225-007-9075-4" @default.
- W2057924377 hasPublicationYear "2007" @default.
- W2057924377 type Work @default.
- W2057924377 sameAs 2057924377 @default.
- W2057924377 citedByCount "6" @default.
- W2057924377 countsByYear W20579243772015 @default.
- W2057924377 crossrefType "journal-article" @default.
- W2057924377 hasAuthorship W2057924377A5007619026 @default.
- W2057924377 hasAuthorship W2057924377A5060284292 @default.
- W2057924377 hasConcept C10138342 @default.
- W2057924377 hasConcept C118615104 @default.
- W2057924377 hasConcept C120665830 @default.
- W2057924377 hasConcept C121332964 @default.
- W2057924377 hasConcept C124101348 @default.
- W2057924377 hasConcept C136119220 @default.
- W2057924377 hasConcept C151730666 @default.
- W2057924377 hasConcept C154945302 @default.
- W2057924377 hasConcept C155092808 @default.
- W2057924377 hasConcept C161301231 @default.
- W2057924377 hasConcept C162324750 @default.
- W2057924377 hasConcept C167729594 @default.
- W2057924377 hasConcept C17744445 @default.
- W2057924377 hasConcept C182306322 @default.
- W2057924377 hasConcept C184337299 @default.
- W2057924377 hasConcept C192209626 @default.
- W2057924377 hasConcept C199360897 @default.
- W2057924377 hasConcept C199539241 @default.
- W2057924377 hasConcept C202444582 @default.
- W2057924377 hasConcept C204321447 @default.
- W2057924377 hasConcept C2524010 @default.
- W2057924377 hasConcept C25343380 @default.
- W2057924377 hasConcept C2776359362 @default.
- W2057924377 hasConcept C2778523021 @default.
- W2057924377 hasConcept C2779343474 @default.
- W2057924377 hasConcept C32278780 @default.
- W2057924377 hasConcept C33923547 @default.
- W2057924377 hasConcept C41008148 @default.
- W2057924377 hasConcept C80444323 @default.
- W2057924377 hasConcept C86803240 @default.
- W2057924377 hasConcept C94625758 @default.
- W2057924377 hasConceptScore W2057924377C10138342 @default.
- W2057924377 hasConceptScore W2057924377C118615104 @default.
- W2057924377 hasConceptScore W2057924377C120665830 @default.
- W2057924377 hasConceptScore W2057924377C121332964 @default.
- W2057924377 hasConceptScore W2057924377C124101348 @default.
- W2057924377 hasConceptScore W2057924377C136119220 @default.
- W2057924377 hasConceptScore W2057924377C151730666 @default.
- W2057924377 hasConceptScore W2057924377C154945302 @default.
- W2057924377 hasConceptScore W2057924377C155092808 @default.
- W2057924377 hasConceptScore W2057924377C161301231 @default.
- W2057924377 hasConceptScore W2057924377C162324750 @default.
- W2057924377 hasConceptScore W2057924377C167729594 @default.
- W2057924377 hasConceptScore W2057924377C17744445 @default.
- W2057924377 hasConceptScore W2057924377C182306322 @default.
- W2057924377 hasConceptScore W2057924377C184337299 @default.
- W2057924377 hasConceptScore W2057924377C192209626 @default.
- W2057924377 hasConceptScore W2057924377C199360897 @default.
- W2057924377 hasConceptScore W2057924377C199539241 @default.
- W2057924377 hasConceptScore W2057924377C202444582 @default.
- W2057924377 hasConceptScore W2057924377C204321447 @default.
- W2057924377 hasConceptScore W2057924377C2524010 @default.
- W2057924377 hasConceptScore W2057924377C25343380 @default.
- W2057924377 hasConceptScore W2057924377C2776359362 @default.
- W2057924377 hasConceptScore W2057924377C2778523021 @default.
- W2057924377 hasConceptScore W2057924377C2779343474 @default.
- W2057924377 hasConceptScore W2057924377C32278780 @default.
- W2057924377 hasConceptScore W2057924377C33923547 @default.
- W2057924377 hasConceptScore W2057924377C41008148 @default.
- W2057924377 hasConceptScore W2057924377C80444323 @default.
- W2057924377 hasConceptScore W2057924377C86803240 @default.
- W2057924377 hasConceptScore W2057924377C94625758 @default.
- W2057924377 hasIssue "1" @default.
- W2057924377 hasLocation W20579243771 @default.
- W2057924377 hasOpenAccess W2057924377 @default.
- W2057924377 hasPrimaryLocation W20579243771 @default.
- W2057924377 hasRelatedWork W1426956448 @default.
- W2057924377 hasRelatedWork W1500636232 @default.
- W2057924377 hasRelatedWork W1995150618 @default.