Matches in SemOpenAlex for { <https://semopenalex.org/work/W602757962> ?p ?o ?g. }
- W602757962 endingPage "25" @default.
- W602757962 startingPage "13" @default.
- W602757962 created "2016-06-24" @default.
- W602757962 creator A5076151369 @default.
- W602757962 date "2008-03-15" @default.
- W602757962 modified "2023-09-25" @default.
- W602757962 title "Completeness of Modal Proofs in First-Order Predicate Logic" @default.
- W602757962 cites W122683112 @default.
- W602757962 cites W1484639702 @default.
- W602757962 cites W1510403819 @default.
- W602757962 cites W1539123436 @default.
- W602757962 cites W1566288082 @default.
- W602757962 cites W1604633680 @default.
- W602757962 cites W1678412398 @default.
- W602757962 cites W1974190112 @default.
- W602757962 cites W1988824860 @default.
- W602757962 cites W1991947308 @default.
- W602757962 cites W1995083622 @default.
- W602757962 cites W2008920425 @default.
- W602757962 cites W20138908 @default.
- W602757962 cites W2029408547 @default.
- W602757962 cites W2044758536 @default.
- W602757962 cites W2049362364 @default.
- W602757962 cites W2060230835 @default.
- W602757962 cites W2090768444 @default.
- W602757962 cites W2135287414 @default.
- W602757962 cites W2410550723 @default.
- W602757962 doi "https://doi.org/10.11185/imt.3.13" @default.
- W602757962 hasPublicationYear "2008" @default.
- W602757962 type Work @default.
- W602757962 sameAs 602757962 @default.
- W602757962 citedByCount "2" @default.
- W602757962 crossrefType "journal-article" @default.
- W602757962 hasAuthorship W602757962A5076151369 @default.
- W602757962 hasConcept C100481476 @default.
- W602757962 hasConcept C102993220 @default.
- W602757962 hasConcept C108710211 @default.
- W602757962 hasConcept C110039528 @default.
- W602757962 hasConcept C114092440 @default.
- W602757962 hasConcept C134306372 @default.
- W602757962 hasConcept C140146324 @default.
- W602757962 hasConcept C17231256 @default.
- W602757962 hasConcept C185592680 @default.
- W602757962 hasConcept C188027245 @default.
- W602757962 hasConcept C19689857 @default.
- W602757962 hasConcept C199343813 @default.
- W602757962 hasConcept C199360897 @default.
- W602757962 hasConcept C203659156 @default.
- W602757962 hasConcept C2524010 @default.
- W602757962 hasConcept C27508121 @default.
- W602757962 hasConcept C2777686260 @default.
- W602757962 hasConcept C33923547 @default.
- W602757962 hasConcept C41008148 @default.
- W602757962 hasConcept C71139939 @default.
- W602757962 hasConcept C71924100 @default.
- W602757962 hasConcept C73314972 @default.
- W602757962 hasConcept C80444323 @default.
- W602757962 hasConceptScore W602757962C100481476 @default.
- W602757962 hasConceptScore W602757962C102993220 @default.
- W602757962 hasConceptScore W602757962C108710211 @default.
- W602757962 hasConceptScore W602757962C110039528 @default.
- W602757962 hasConceptScore W602757962C114092440 @default.
- W602757962 hasConceptScore W602757962C134306372 @default.
- W602757962 hasConceptScore W602757962C140146324 @default.
- W602757962 hasConceptScore W602757962C17231256 @default.
- W602757962 hasConceptScore W602757962C185592680 @default.
- W602757962 hasConceptScore W602757962C188027245 @default.
- W602757962 hasConceptScore W602757962C19689857 @default.
- W602757962 hasConceptScore W602757962C199343813 @default.
- W602757962 hasConceptScore W602757962C199360897 @default.
- W602757962 hasConceptScore W602757962C203659156 @default.
- W602757962 hasConceptScore W602757962C2524010 @default.
- W602757962 hasConceptScore W602757962C27508121 @default.
- W602757962 hasConceptScore W602757962C2777686260 @default.
- W602757962 hasConceptScore W602757962C33923547 @default.
- W602757962 hasConceptScore W602757962C41008148 @default.
- W602757962 hasConceptScore W602757962C71139939 @default.
- W602757962 hasConceptScore W602757962C71924100 @default.
- W602757962 hasConceptScore W602757962C73314972 @default.
- W602757962 hasConceptScore W602757962C80444323 @default.
- W602757962 hasIssue "1" @default.
- W602757962 hasLocation W6027579621 @default.
- W602757962 hasOpenAccess W602757962 @default.
- W602757962 hasPrimaryLocation W6027579621 @default.
- W602757962 hasRelatedWork W117698297 @default.
- W602757962 hasRelatedWork W1519702305 @default.
- W602757962 hasRelatedWork W1519800800 @default.
- W602757962 hasRelatedWork W1533216727 @default.
- W602757962 hasRelatedWork W1586690077 @default.
- W602757962 hasRelatedWork W163221334 @default.
- W602757962 hasRelatedWork W1968907100 @default.
- W602757962 hasRelatedWork W1979526100 @default.
- W602757962 hasRelatedWork W2027669012 @default.
- W602757962 hasRelatedWork W203157099 @default.
- W602757962 hasRelatedWork W2041010580 @default.
- W602757962 hasRelatedWork W2093281783 @default.
- W602757962 hasRelatedWork W2095441824 @default.
- W602757962 hasRelatedWork W2201023188 @default.
- W602757962 hasRelatedWork W2493672594 @default.
- W602757962 hasRelatedWork W3080117117 @default.