Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021550356> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2021550356 endingPage "315" @default.
- W2021550356 startingPage "305" @default.
- W2021550356 created "2016-06-24" @default.
- W2021550356 creator A5013807767 @default.
- W2021550356 date "2014-06-12" @default.
- W2021550356 modified "2023-10-18" @default.
- W2021550356 title "Extended Decision Procedure for a Fragment of HL with Binders" @default.
- W2021550356 cites W1496861770 @default.
- W2021550356 cites W1565648373 @default.
- W2021550356 cites W1678486145 @default.
- W2021550356 cites W1964664152 @default.
- W2021550356 cites W1975468279 @default.
- W2021550356 cites W1978912716 @default.
- W2021550356 cites W1981904119 @default.
- W2021550356 cites W2055678419 @default.
- W2021550356 cites W2163429815 @default.
- W2021550356 cites W2219260021 @default.
- W2021550356 cites W2952560635 @default.
- W2021550356 cites W3099593821 @default.
- W2021550356 doi "https://doi.org/10.1007/s10817-014-9307-z" @default.
- W2021550356 hasPublicationYear "2014" @default.
- W2021550356 type Work @default.
- W2021550356 sameAs 2021550356 @default.
- W2021550356 citedByCount "1" @default.
- W2021550356 countsByYear W20215503562019 @default.
- W2021550356 crossrefType "journal-article" @default.
- W2021550356 hasAuthorship W2021550356A5013807767 @default.
- W2021550356 hasConcept C102993220 @default.
- W2021550356 hasConcept C11191006 @default.
- W2021550356 hasConcept C114092440 @default.
- W2021550356 hasConcept C11413529 @default.
- W2021550356 hasConcept C118615104 @default.
- W2021550356 hasConcept C153269930 @default.
- W2021550356 hasConcept C168773769 @default.
- W2021550356 hasConcept C185592680 @default.
- W2021550356 hasConcept C188027245 @default.
- W2021550356 hasConcept C192034797 @default.
- W2021550356 hasConcept C199343813 @default.
- W2021550356 hasConcept C199360897 @default.
- W2021550356 hasConcept C203659156 @default.
- W2021550356 hasConcept C27508121 @default.
- W2021550356 hasConcept C2776235265 @default.
- W2021550356 hasConcept C2777686260 @default.
- W2021550356 hasConcept C2778029271 @default.
- W2021550356 hasConcept C33923547 @default.
- W2021550356 hasConcept C41008148 @default.
- W2021550356 hasConcept C6943359 @default.
- W2021550356 hasConcept C71139939 @default.
- W2021550356 hasConcept C71924100 @default.
- W2021550356 hasConceptScore W2021550356C102993220 @default.
- W2021550356 hasConceptScore W2021550356C11191006 @default.
- W2021550356 hasConceptScore W2021550356C114092440 @default.
- W2021550356 hasConceptScore W2021550356C11413529 @default.
- W2021550356 hasConceptScore W2021550356C118615104 @default.
- W2021550356 hasConceptScore W2021550356C153269930 @default.
- W2021550356 hasConceptScore W2021550356C168773769 @default.
- W2021550356 hasConceptScore W2021550356C185592680 @default.
- W2021550356 hasConceptScore W2021550356C188027245 @default.
- W2021550356 hasConceptScore W2021550356C192034797 @default.
- W2021550356 hasConceptScore W2021550356C199343813 @default.
- W2021550356 hasConceptScore W2021550356C199360897 @default.
- W2021550356 hasConceptScore W2021550356C203659156 @default.
- W2021550356 hasConceptScore W2021550356C27508121 @default.
- W2021550356 hasConceptScore W2021550356C2776235265 @default.
- W2021550356 hasConceptScore W2021550356C2777686260 @default.
- W2021550356 hasConceptScore W2021550356C2778029271 @default.
- W2021550356 hasConceptScore W2021550356C33923547 @default.
- W2021550356 hasConceptScore W2021550356C41008148 @default.
- W2021550356 hasConceptScore W2021550356C6943359 @default.
- W2021550356 hasConceptScore W2021550356C71139939 @default.
- W2021550356 hasConceptScore W2021550356C71924100 @default.
- W2021550356 hasIssue "3" @default.
- W2021550356 hasLocation W20215503561 @default.
- W2021550356 hasOpenAccess W2021550356 @default.
- W2021550356 hasPrimaryLocation W20215503561 @default.
- W2021550356 hasRelatedWork W1498755214 @default.
- W2021550356 hasRelatedWork W1608125757 @default.
- W2021550356 hasRelatedWork W2021550356 @default.
- W2021550356 hasRelatedWork W2040640762 @default.
- W2021550356 hasRelatedWork W2137935204 @default.
- W2021550356 hasRelatedWork W2181621864 @default.
- W2021550356 hasRelatedWork W2942066025 @default.
- W2021550356 hasRelatedWork W2970970075 @default.
- W2021550356 hasRelatedWork W3102809343 @default.
- W2021550356 hasRelatedWork W4385437701 @default.
- W2021550356 hasVolume "53" @default.
- W2021550356 isParatext "false" @default.
- W2021550356 isRetracted "false" @default.
- W2021550356 magId "2021550356" @default.
- W2021550356 workType "article" @default.