Matches in SemOpenAlex for { <https://semopenalex.org/work/W3006309658> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3006309658 abstract "The Diproche system, an automated proof checker for natural language proofs specifically adapted to the context of exercises for beginner's students similar to the Naproche system by Koepke, Schroder, Cramer and others, uses a modification of an automated theorem prover which uses common formal fallacies intead of sound deduction rules for mistake diagnosis. We briefly describe the concept of such an `Anti-ATP' and explain the basic techniques used in its implementation." @default.
- W3006309658 created "2020-02-24" @default.
- W3006309658 creator A5012757472 @default.
- W3006309658 date "2020-02-12" @default.
- W3006309658 modified "2023-09-27" @default.
- W3006309658 title "Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics" @default.
- W3006309658 cites W1853439565 @default.
- W3006309658 cites W2184432576 @default.
- W3006309658 cites W575517870 @default.
- W3006309658 hasPublicationYear "2020" @default.
- W3006309658 type Work @default.
- W3006309658 sameAs 3006309658 @default.
- W3006309658 citedByCount "1" @default.
- W3006309658 countsByYear W30063096582020 @default.
- W3006309658 crossrefType "posted-content" @default.
- W3006309658 hasAuthorship W3006309658A5012757472 @default.
- W3006309658 hasConcept C108710211 @default.
- W3006309658 hasConcept C11413529 @default.
- W3006309658 hasConcept C13766981 @default.
- W3006309658 hasConcept C151730666 @default.
- W3006309658 hasConcept C159718280 @default.
- W3006309658 hasConcept C17744445 @default.
- W3006309658 hasConcept C195344581 @default.
- W3006309658 hasConcept C199343813 @default.
- W3006309658 hasConcept C199360897 @default.
- W3006309658 hasConcept C199539241 @default.
- W3006309658 hasConcept C206880738 @default.
- W3006309658 hasConcept C2524010 @default.
- W3006309658 hasConcept C2777179996 @default.
- W3006309658 hasConcept C2777686260 @default.
- W3006309658 hasConcept C2779343474 @default.
- W3006309658 hasConcept C33923547 @default.
- W3006309658 hasConcept C41008148 @default.
- W3006309658 hasConcept C62073222 @default.
- W3006309658 hasConcept C71924100 @default.
- W3006309658 hasConcept C86803240 @default.
- W3006309658 hasConceptScore W3006309658C108710211 @default.
- W3006309658 hasConceptScore W3006309658C11413529 @default.
- W3006309658 hasConceptScore W3006309658C13766981 @default.
- W3006309658 hasConceptScore W3006309658C151730666 @default.
- W3006309658 hasConceptScore W3006309658C159718280 @default.
- W3006309658 hasConceptScore W3006309658C17744445 @default.
- W3006309658 hasConceptScore W3006309658C195344581 @default.
- W3006309658 hasConceptScore W3006309658C199343813 @default.
- W3006309658 hasConceptScore W3006309658C199360897 @default.
- W3006309658 hasConceptScore W3006309658C199539241 @default.
- W3006309658 hasConceptScore W3006309658C206880738 @default.
- W3006309658 hasConceptScore W3006309658C2524010 @default.
- W3006309658 hasConceptScore W3006309658C2777179996 @default.
- W3006309658 hasConceptScore W3006309658C2777686260 @default.
- W3006309658 hasConceptScore W3006309658C2779343474 @default.
- W3006309658 hasConceptScore W3006309658C33923547 @default.
- W3006309658 hasConceptScore W3006309658C41008148 @default.
- W3006309658 hasConceptScore W3006309658C62073222 @default.
- W3006309658 hasConceptScore W3006309658C71924100 @default.
- W3006309658 hasConceptScore W3006309658C86803240 @default.
- W3006309658 hasLocation W30063096581 @default.
- W3006309658 hasOpenAccess W3006309658 @default.
- W3006309658 hasPrimaryLocation W30063096581 @default.
- W3006309658 hasRelatedWork W1490467704 @default.
- W3006309658 hasRelatedWork W1502327194 @default.
- W3006309658 hasRelatedWork W1510772695 @default.
- W3006309658 hasRelatedWork W1519434182 @default.
- W3006309658 hasRelatedWork W1554686571 @default.
- W3006309658 hasRelatedWork W1575172482 @default.
- W3006309658 hasRelatedWork W1586723435 @default.
- W3006309658 hasRelatedWork W1975007515 @default.
- W3006309658 hasRelatedWork W1993183351 @default.
- W3006309658 hasRelatedWork W2050283601 @default.
- W3006309658 hasRelatedWork W2139151731 @default.
- W3006309658 hasRelatedWork W2142877099 @default.
- W3006309658 hasRelatedWork W2157491995 @default.
- W3006309658 hasRelatedWork W2544785648 @default.
- W3006309658 hasRelatedWork W2805402684 @default.
- W3006309658 hasRelatedWork W2889867253 @default.
- W3006309658 hasRelatedWork W2963376030 @default.
- W3006309658 hasRelatedWork W3083835029 @default.
- W3006309658 hasRelatedWork W3103412473 @default.
- W3006309658 hasRelatedWork W3128755989 @default.
- W3006309658 isParatext "false" @default.
- W3006309658 isRetracted "false" @default.
- W3006309658 magId "3006309658" @default.
- W3006309658 workType "article" @default.