Matches in SemOpenAlex for { <https://semopenalex.org/work/W1969334911> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1969334911 endingPage "92" @default.
- W1969334911 startingPage "75" @default.
- W1969334911 created "2016-06-24" @default.
- W1969334911 creator A5009938751 @default.
- W1969334911 creator A5021476649 @default.
- W1969334911 creator A5031812667 @default.
- W1969334911 creator A5046868978 @default.
- W1969334911 creator A5050684914 @default.
- W1969334911 creator A5090477056 @default.
- W1969334911 date "2004-01-01" @default.
- W1969334911 modified "2023-10-15" @default.
- W1969334911 title "ETPS: A System to Help Students Write Formal Proofs" @default.
- W1969334911 cites W1984820433 @default.
- W1969334911 cites W1996404651 @default.
- W1969334911 cites W2034155940 @default.
- W1969334911 cites W2041833446 @default.
- W1969334911 cites W2084797476 @default.
- W1969334911 cites W2109018550 @default.
- W1969334911 cites W2166822586 @default.
- W1969334911 doi "https://doi.org/10.1023/b:jars.0000021871.18776.94" @default.
- W1969334911 hasPublicationYear "2004" @default.
- W1969334911 type Work @default.
- W1969334911 sameAs 1969334911 @default.
- W1969334911 citedByCount "19" @default.
- W1969334911 countsByYear W19693349112013 @default.
- W1969334911 countsByYear W19693349112017 @default.
- W1969334911 countsByYear W19693349112018 @default.
- W1969334911 countsByYear W19693349112020 @default.
- W1969334911 countsByYear W19693349112021 @default.
- W1969334911 crossrefType "journal-article" @default.
- W1969334911 hasAuthorship W1969334911A5009938751 @default.
- W1969334911 hasAuthorship W1969334911A5021476649 @default.
- W1969334911 hasAuthorship W1969334911A5031812667 @default.
- W1969334911 hasAuthorship W1969334911A5046868978 @default.
- W1969334911 hasAuthorship W1969334911A5050684914 @default.
- W1969334911 hasAuthorship W1969334911A5090477056 @default.
- W1969334911 hasConcept C100481476 @default.
- W1969334911 hasConcept C10138342 @default.
- W1969334911 hasConcept C102993220 @default.
- W1969334911 hasConcept C108710211 @default.
- W1969334911 hasConcept C162324750 @default.
- W1969334911 hasConcept C169896238 @default.
- W1969334911 hasConcept C182306322 @default.
- W1969334911 hasConcept C199343813 @default.
- W1969334911 hasConcept C199360897 @default.
- W1969334911 hasConcept C206880738 @default.
- W1969334911 hasConcept C2524010 @default.
- W1969334911 hasConcept C2777686260 @default.
- W1969334911 hasConcept C33923547 @default.
- W1969334911 hasConcept C41008148 @default.
- W1969334911 hasConcept C71924100 @default.
- W1969334911 hasConceptScore W1969334911C100481476 @default.
- W1969334911 hasConceptScore W1969334911C10138342 @default.
- W1969334911 hasConceptScore W1969334911C102993220 @default.
- W1969334911 hasConceptScore W1969334911C108710211 @default.
- W1969334911 hasConceptScore W1969334911C162324750 @default.
- W1969334911 hasConceptScore W1969334911C169896238 @default.
- W1969334911 hasConceptScore W1969334911C182306322 @default.
- W1969334911 hasConceptScore W1969334911C199343813 @default.
- W1969334911 hasConceptScore W1969334911C199360897 @default.
- W1969334911 hasConceptScore W1969334911C206880738 @default.
- W1969334911 hasConceptScore W1969334911C2524010 @default.
- W1969334911 hasConceptScore W1969334911C2777686260 @default.
- W1969334911 hasConceptScore W1969334911C33923547 @default.
- W1969334911 hasConceptScore W1969334911C41008148 @default.
- W1969334911 hasConceptScore W1969334911C71924100 @default.
- W1969334911 hasIssue "1" @default.
- W1969334911 hasLocation W19693349111 @default.
- W1969334911 hasOpenAccess W1969334911 @default.
- W1969334911 hasPrimaryLocation W19693349111 @default.
- W1969334911 hasRelatedWork W1488962419 @default.
- W1969334911 hasRelatedWork W1500659951 @default.
- W1969334911 hasRelatedWork W1538666241 @default.
- W1969334911 hasRelatedWork W1583364912 @default.
- W1969334911 hasRelatedWork W1592672507 @default.
- W1969334911 hasRelatedWork W1858809161 @default.
- W1969334911 hasRelatedWork W197813433 @default.
- W1969334911 hasRelatedWork W3100311625 @default.
- W1969334911 hasRelatedWork W9401168 @default.
- W1969334911 hasRelatedWork W3083102184 @default.
- W1969334911 hasVolume "32" @default.
- W1969334911 isParatext "false" @default.
- W1969334911 isRetracted "false" @default.
- W1969334911 magId "1969334911" @default.
- W1969334911 workType "article" @default.