Matches in SemOpenAlex for { <https://semopenalex.org/work/W90224357> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W90224357 endingPage "34" @default.
- W90224357 startingPage "7" @default.
- W90224357 created "2016-06-24" @default.
- W90224357 creator A5019957756 @default.
- W90224357 date "1997-08-01" @default.
- W90224357 modified "2023-09-24" @default.
- W90224357 title "Calculus of Classical Proofs from Programming Viewpoint(New Aspects in Non-Classical Logics and Their Kripke Semantics)" @default.
- W90224357 hasPublicationYear "1997" @default.
- W90224357 type Work @default.
- W90224357 sameAs 90224357 @default.
- W90224357 citedByCount "0" @default.
- W90224357 crossrefType "journal-article" @default.
- W90224357 hasAuthorship W90224357A5019957756 @default.
- W90224357 hasConcept C102993220 @default.
- W90224357 hasConcept C108710211 @default.
- W90224357 hasConcept C110251889 @default.
- W90224357 hasConcept C118615104 @default.
- W90224357 hasConcept C160131679 @default.
- W90224357 hasConcept C161913894 @default.
- W90224357 hasConcept C184337299 @default.
- W90224357 hasConcept C199343813 @default.
- W90224357 hasConcept C199360897 @default.
- W90224357 hasConcept C2524010 @default.
- W90224357 hasConcept C2777686260 @default.
- W90224357 hasConcept C32241873 @default.
- W90224357 hasConcept C33203268 @default.
- W90224357 hasConcept C33923547 @default.
- W90224357 hasConcept C41008148 @default.
- W90224357 hasConcept C71924100 @default.
- W90224357 hasConceptScore W90224357C102993220 @default.
- W90224357 hasConceptScore W90224357C108710211 @default.
- W90224357 hasConceptScore W90224357C110251889 @default.
- W90224357 hasConceptScore W90224357C118615104 @default.
- W90224357 hasConceptScore W90224357C160131679 @default.
- W90224357 hasConceptScore W90224357C161913894 @default.
- W90224357 hasConceptScore W90224357C184337299 @default.
- W90224357 hasConceptScore W90224357C199343813 @default.
- W90224357 hasConceptScore W90224357C199360897 @default.
- W90224357 hasConceptScore W90224357C2524010 @default.
- W90224357 hasConceptScore W90224357C2777686260 @default.
- W90224357 hasConceptScore W90224357C32241873 @default.
- W90224357 hasConceptScore W90224357C33203268 @default.
- W90224357 hasConceptScore W90224357C33923547 @default.
- W90224357 hasConceptScore W90224357C41008148 @default.
- W90224357 hasConceptScore W90224357C71924100 @default.
- W90224357 hasLocation W902243571 @default.
- W90224357 hasOpenAccess W90224357 @default.
- W90224357 hasPrimaryLocation W902243571 @default.
- W90224357 hasRelatedWork W1489961769 @default.
- W90224357 hasRelatedWork W1507984256 @default.
- W90224357 hasRelatedWork W1667900866 @default.
- W90224357 hasRelatedWork W2080647016 @default.
- W90224357 hasRelatedWork W2139201370 @default.
- W90224357 hasRelatedWork W2892215877 @default.
- W90224357 hasRelatedWork W3007726458 @default.
- W90224357 hasRelatedWork W3081840887 @default.
- W90224357 hasRelatedWork W3193613517 @default.
- W90224357 hasRelatedWork W3203933509 @default.
- W90224357 hasRelatedWork W425883812 @default.
- W90224357 hasRelatedWork W563158778 @default.
- W90224357 hasRelatedWork W575601133 @default.
- W90224357 hasRelatedWork W584064081 @default.
- W90224357 hasRelatedWork W60391671 @default.
- W90224357 hasRelatedWork W92284984 @default.
- W90224357 hasRelatedWork W9259514 @default.
- W90224357 hasRelatedWork W2744001121 @default.
- W90224357 hasRelatedWork W45177616 @default.
- W90224357 hasRelatedWork W75874695 @default.
- W90224357 hasVolume "1010" @default.
- W90224357 isParatext "false" @default.
- W90224357 isRetracted "false" @default.
- W90224357 magId "90224357" @default.
- W90224357 workType "article" @default.