Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963670487> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2963670487 created "2019-07-30" @default.
- W2963670487 creator A5079419222 @default.
- W2963670487 date "2018-01-01" @default.
- W2963670487 modified "2023-09-28" @default.
- W2963670487 title "Cut-eliminability in Second Order Logic Calculus" @default.
- W2963670487 cites W1579247651 @default.
- W2963670487 cites W1964476378 @default.
- W2963670487 cites W1985234321 @default.
- W2963670487 cites W2000451268 @default.
- W2963670487 cites W2009247993 @default.
- W2963670487 cites W2022133644 @default.
- W2963670487 cites W2028575408 @default.
- W2963670487 cites W2038831710 @default.
- W2963670487 cites W2042396269 @default.
- W2963670487 cites W2044156752 @default.
- W2963670487 cites W2089702017 @default.
- W2963670487 cites W212831703 @default.
- W2963670487 cites W651990416 @default.
- W2963670487 cites W969295556 @default.
- W2963670487 cites W573899615 @default.
- W2963670487 doi "https://doi.org/10.4288/jafpos.27.0_45" @default.
- W2963670487 hasPublicationYear "2018" @default.
- W2963670487 type Work @default.
- W2963670487 sameAs 2963670487 @default.
- W2963670487 citedByCount "1" @default.
- W2963670487 countsByYear W29636704872018 @default.
- W2963670487 crossrefType "journal-article" @default.
- W2963670487 hasAuthorship W2963670487A5079419222 @default.
- W2963670487 hasBestOaLocation W29636704871 @default.
- W2963670487 hasConcept C10138342 @default.
- W2963670487 hasConcept C162324750 @default.
- W2963670487 hasConcept C182306322 @default.
- W2963670487 hasConcept C199343813 @default.
- W2963670487 hasConcept C2777686260 @default.
- W2963670487 hasConcept C33923547 @default.
- W2963670487 hasConcept C41008148 @default.
- W2963670487 hasConcept C71924100 @default.
- W2963670487 hasConceptScore W2963670487C10138342 @default.
- W2963670487 hasConceptScore W2963670487C162324750 @default.
- W2963670487 hasConceptScore W2963670487C182306322 @default.
- W2963670487 hasConceptScore W2963670487C199343813 @default.
- W2963670487 hasConceptScore W2963670487C2777686260 @default.
- W2963670487 hasConceptScore W2963670487C33923547 @default.
- W2963670487 hasConceptScore W2963670487C41008148 @default.
- W2963670487 hasConceptScore W2963670487C71924100 @default.
- W2963670487 hasLocation W29636704871 @default.
- W2963670487 hasOpenAccess W2963670487 @default.
- W2963670487 hasPrimaryLocation W29636704871 @default.
- W2963670487 hasRelatedWork W1488400684 @default.
- W2963670487 hasRelatedWork W1506616756 @default.
- W2963670487 hasRelatedWork W1847803379 @default.
- W2963670487 hasRelatedWork W1854821975 @default.
- W2963670487 hasRelatedWork W1998257928 @default.
- W2963670487 hasRelatedWork W2018205748 @default.
- W2963670487 hasRelatedWork W2023659949 @default.
- W2963670487 hasRelatedWork W2055279698 @default.
- W2963670487 hasRelatedWork W2055558461 @default.
- W2963670487 hasRelatedWork W2076009311 @default.
- W2963670487 hasRelatedWork W2095441824 @default.
- W2963670487 hasRelatedWork W2140189867 @default.
- W2963670487 hasRelatedWork W2149122857 @default.
- W2963670487 hasRelatedWork W2158542561 @default.
- W2963670487 hasRelatedWork W2278496466 @default.
- W2963670487 hasRelatedWork W2607069434 @default.
- W2963670487 hasRelatedWork W2610324650 @default.
- W2963670487 hasRelatedWork W283524483 @default.
- W2963670487 hasRelatedWork W2998098850 @default.
- W2963670487 hasRelatedWork W356598728 @default.
- W2963670487 isParatext "false" @default.
- W2963670487 isRetracted "false" @default.
- W2963670487 magId "2963670487" @default.
- W2963670487 workType "article" @default.