Matches in SemOpenAlex for { <https://semopenalex.org/work/W2185973086> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2185973086 created "2016-06-24" @default.
- W2185973086 creator A5033924785 @default.
- W2185973086 creator A5042735263 @default.
- W2185973086 date "2007-01-01" @default.
- W2185973086 modified "2023-09-24" @default.
- W2185973086 title "Natural Deduction Proof Checker User's Guide" @default.
- W2185973086 cites W1679534293 @default.
- W2185973086 hasPublicationYear "2007" @default.
- W2185973086 type Work @default.
- W2185973086 sameAs 2185973086 @default.
- W2185973086 citedByCount "0" @default.
- W2185973086 crossrefType "journal-article" @default.
- W2185973086 hasAuthorship W2185973086A5033924785 @default.
- W2185973086 hasAuthorship W2185973086A5042735263 @default.
- W2185973086 hasConcept C13766981 @default.
- W2185973086 hasConcept C166957645 @default.
- W2185973086 hasConcept C199343813 @default.
- W2185973086 hasConcept C199360897 @default.
- W2185973086 hasConcept C206880738 @default.
- W2185973086 hasConcept C2776608160 @default.
- W2185973086 hasConcept C2777686260 @default.
- W2185973086 hasConcept C41008148 @default.
- W2185973086 hasConcept C62073222 @default.
- W2185973086 hasConcept C71924100 @default.
- W2185973086 hasConcept C95457728 @default.
- W2185973086 hasConceptScore W2185973086C13766981 @default.
- W2185973086 hasConceptScore W2185973086C166957645 @default.
- W2185973086 hasConceptScore W2185973086C199343813 @default.
- W2185973086 hasConceptScore W2185973086C199360897 @default.
- W2185973086 hasConceptScore W2185973086C206880738 @default.
- W2185973086 hasConceptScore W2185973086C2776608160 @default.
- W2185973086 hasConceptScore W2185973086C2777686260 @default.
- W2185973086 hasConceptScore W2185973086C41008148 @default.
- W2185973086 hasConceptScore W2185973086C62073222 @default.
- W2185973086 hasConceptScore W2185973086C71924100 @default.
- W2185973086 hasConceptScore W2185973086C95457728 @default.
- W2185973086 hasLocation W21859730861 @default.
- W2185973086 hasOpenAccess W2185973086 @default.
- W2185973086 hasPrimaryLocation W21859730861 @default.
- W2185973086 hasRelatedWork W1482166812 @default.
- W2185973086 hasRelatedWork W171691701 @default.
- W2185973086 hasRelatedWork W1744916874 @default.
- W2185973086 hasRelatedWork W1822971132 @default.
- W2185973086 hasRelatedWork W1866043924 @default.
- W2185973086 hasRelatedWork W194304868 @default.
- W2185973086 hasRelatedWork W198655253 @default.
- W2185973086 hasRelatedWork W2095144546 @default.
- W2185973086 hasRelatedWork W2096678129 @default.
- W2185973086 hasRelatedWork W2114558609 @default.
- W2185973086 hasRelatedWork W2151894250 @default.
- W2185973086 hasRelatedWork W2246135666 @default.
- W2185973086 hasRelatedWork W2251804429 @default.
- W2185973086 hasRelatedWork W2295510867 @default.
- W2185973086 hasRelatedWork W2543800696 @default.
- W2185973086 hasRelatedWork W2806828070 @default.
- W2185973086 hasRelatedWork W3007423032 @default.
- W2185973086 hasRelatedWork W3047046123 @default.
- W2185973086 hasRelatedWork W571996087 @default.
- W2185973086 hasRelatedWork W2103621887 @default.
- W2185973086 isParatext "false" @default.
- W2185973086 isRetracted "false" @default.
- W2185973086 magId "2185973086" @default.
- W2185973086 workType "article" @default.