Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034594774> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2034594774 endingPage "177" @default.
- W2034594774 startingPage "151" @default.
- W2034594774 created "2016-06-24" @default.
- W2034594774 creator A5059246875 @default.
- W2034594774 date "2008-08-16" @default.
- W2034594774 modified "2023-09-25" @default.
- W2034594774 title "A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5" @default.
- W2034594774 cites W1483339275 @default.
- W2034594774 cites W1497109150 @default.
- W2034594774 cites W1528233644 @default.
- W2034594774 cites W1570374618 @default.
- W2034594774 cites W1964664152 @default.
- W2034594774 cites W2053254769 @default.
- W2034594774 cites W2062485819 @default.
- W2034594774 cites W2109003533 @default.
- W2034594774 cites W4229759118 @default.
- W2034594774 cites W4233253115 @default.
- W2034594774 cites W4235732401 @default.
- W2034594774 cites W2129223873 @default.
- W2034594774 doi "https://doi.org/10.1007/s10992-008-9089-z" @default.
- W2034594774 hasPublicationYear "2008" @default.
- W2034594774 type Work @default.
- W2034594774 sameAs 2034594774 @default.
- W2034594774 citedByCount "7" @default.
- W2034594774 countsByYear W20345947742012 @default.
- W2034594774 countsByYear W20345947742014 @default.
- W2034594774 countsByYear W20345947742016 @default.
- W2034594774 crossrefType "journal-article" @default.
- W2034594774 hasAuthorship W2034594774A5059246875 @default.
- W2034594774 hasConcept C102993220 @default.
- W2034594774 hasConcept C11191006 @default.
- W2034594774 hasConcept C114092440 @default.
- W2034594774 hasConcept C144237770 @default.
- W2034594774 hasConcept C14523651 @default.
- W2034594774 hasConcept C154945302 @default.
- W2034594774 hasConcept C173125200 @default.
- W2034594774 hasConcept C185592680 @default.
- W2034594774 hasConcept C188027245 @default.
- W2034594774 hasConcept C199343813 @default.
- W2034594774 hasConcept C27508121 @default.
- W2034594774 hasConcept C2777686260 @default.
- W2034594774 hasConcept C33203268 @default.
- W2034594774 hasConcept C33923547 @default.
- W2034594774 hasConcept C41008148 @default.
- W2034594774 hasConcept C42011625 @default.
- W2034594774 hasConcept C5263885 @default.
- W2034594774 hasConcept C58166 @default.
- W2034594774 hasConcept C71139939 @default.
- W2034594774 hasConcept C71924100 @default.
- W2034594774 hasConcept C86602344 @default.
- W2034594774 hasConceptScore W2034594774C102993220 @default.
- W2034594774 hasConceptScore W2034594774C11191006 @default.
- W2034594774 hasConceptScore W2034594774C114092440 @default.
- W2034594774 hasConceptScore W2034594774C144237770 @default.
- W2034594774 hasConceptScore W2034594774C14523651 @default.
- W2034594774 hasConceptScore W2034594774C154945302 @default.
- W2034594774 hasConceptScore W2034594774C173125200 @default.
- W2034594774 hasConceptScore W2034594774C185592680 @default.
- W2034594774 hasConceptScore W2034594774C188027245 @default.
- W2034594774 hasConceptScore W2034594774C199343813 @default.
- W2034594774 hasConceptScore W2034594774C27508121 @default.
- W2034594774 hasConceptScore W2034594774C2777686260 @default.
- W2034594774 hasConceptScore W2034594774C33203268 @default.
- W2034594774 hasConceptScore W2034594774C33923547 @default.
- W2034594774 hasConceptScore W2034594774C41008148 @default.
- W2034594774 hasConceptScore W2034594774C42011625 @default.
- W2034594774 hasConceptScore W2034594774C5263885 @default.
- W2034594774 hasConceptScore W2034594774C58166 @default.
- W2034594774 hasConceptScore W2034594774C71139939 @default.
- W2034594774 hasConceptScore W2034594774C71924100 @default.
- W2034594774 hasConceptScore W2034594774C86602344 @default.
- W2034594774 hasIssue "2" @default.
- W2034594774 hasLocation W20345947741 @default.
- W2034594774 hasOpenAccess W2034594774 @default.
- W2034594774 hasPrimaryLocation W20345947741 @default.
- W2034594774 hasRelatedWork W176661328 @default.
- W2034594774 hasRelatedWork W2028506047 @default.
- W2034594774 hasRelatedWork W2062728934 @default.
- W2034594774 hasRelatedWork W2067687795 @default.
- W2034594774 hasRelatedWork W2138544762 @default.
- W2034594774 hasRelatedWork W2157609567 @default.
- W2034594774 hasRelatedWork W2207182393 @default.
- W2034594774 hasRelatedWork W2508330256 @default.
- W2034594774 hasRelatedWork W4225539085 @default.
- W2034594774 hasRelatedWork W90863971 @default.
- W2034594774 hasVolume "38" @default.
- W2034594774 isParatext "false" @default.
- W2034594774 isRetracted "false" @default.
- W2034594774 magId "2034594774" @default.
- W2034594774 workType "article" @default.