Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569732618> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1569732618 endingPage "434" @default.
- W1569732618 startingPage "432" @default.
- W1569732618 abstract "We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). To evaluate its pragmatic value, pilot experiments were conducted using this logic – implemented in an interactive theorem prover – to teach undergraduate students (and comparing performance against an equivalent algebraic logic). Our results show significantly better performance for students using diagrammatic reasoning. We conclude that diagrams are a useful tool for reasoning in such domains." @default.
- W1569732618 created "2016-06-24" @default.
- W1569732618 creator A5036018012 @default.
- W1569732618 creator A5040311876 @default.
- W1569732618 creator A5064247564 @default.
- W1569732618 creator A5076302130 @default.
- W1569732618 date "2004-01-01" @default.
- W1569732618 modified "2023-09-23" @default.
- W1569732618 title "An Experimental Comparison of Diagrammatic and Algebraic Logics" @default.
- W1569732618 doi "https://doi.org/10.1007/978-3-540-25931-2_57" @default.
- W1569732618 hasPublicationYear "2004" @default.
- W1569732618 type Work @default.
- W1569732618 sameAs 1569732618 @default.
- W1569732618 citedByCount "2" @default.
- W1569732618 crossrefType "book-chapter" @default.
- W1569732618 hasAuthorship W1569732618A5036018012 @default.
- W1569732618 hasAuthorship W1569732618A5040311876 @default.
- W1569732618 hasAuthorship W1569732618A5064247564 @default.
- W1569732618 hasAuthorship W1569732618A5076302130 @default.
- W1569732618 hasBestOaLocation W15697326182 @default.
- W1569732618 hasConcept C106624574 @default.
- W1569732618 hasConcept C11413529 @default.
- W1569732618 hasConcept C116253237 @default.
- W1569732618 hasConcept C134306372 @default.
- W1569732618 hasConcept C136119220 @default.
- W1569732618 hasConcept C142362112 @default.
- W1569732618 hasConcept C153349607 @default.
- W1569732618 hasConcept C199360897 @default.
- W1569732618 hasConcept C202444582 @default.
- W1569732618 hasConcept C206880738 @default.
- W1569732618 hasConcept C2777691520 @default.
- W1569732618 hasConcept C33923547 @default.
- W1569732618 hasConcept C36503486 @default.
- W1569732618 hasConcept C41008148 @default.
- W1569732618 hasConcept C558565934 @default.
- W1569732618 hasConcept C73301696 @default.
- W1569732618 hasConcept C80444323 @default.
- W1569732618 hasConcept C9376300 @default.
- W1569732618 hasConceptScore W1569732618C106624574 @default.
- W1569732618 hasConceptScore W1569732618C11413529 @default.
- W1569732618 hasConceptScore W1569732618C116253237 @default.
- W1569732618 hasConceptScore W1569732618C134306372 @default.
- W1569732618 hasConceptScore W1569732618C136119220 @default.
- W1569732618 hasConceptScore W1569732618C142362112 @default.
- W1569732618 hasConceptScore W1569732618C153349607 @default.
- W1569732618 hasConceptScore W1569732618C199360897 @default.
- W1569732618 hasConceptScore W1569732618C202444582 @default.
- W1569732618 hasConceptScore W1569732618C206880738 @default.
- W1569732618 hasConceptScore W1569732618C2777691520 @default.
- W1569732618 hasConceptScore W1569732618C33923547 @default.
- W1569732618 hasConceptScore W1569732618C36503486 @default.
- W1569732618 hasConceptScore W1569732618C41008148 @default.
- W1569732618 hasConceptScore W1569732618C558565934 @default.
- W1569732618 hasConceptScore W1569732618C73301696 @default.
- W1569732618 hasConceptScore W1569732618C80444323 @default.
- W1569732618 hasConceptScore W1569732618C9376300 @default.
- W1569732618 hasLocation W15697326181 @default.
- W1569732618 hasLocation W15697326182 @default.
- W1569732618 hasOpenAccess W1569732618 @default.
- W1569732618 hasPrimaryLocation W15697326181 @default.
- W1569732618 hasRelatedWork W1560987914 @default.
- W1569732618 hasRelatedWork W1569732618 @default.
- W1569732618 hasRelatedWork W2007024599 @default.
- W1569732618 hasRelatedWork W2612466200 @default.
- W1569732618 hasRelatedWork W2625422989 @default.
- W1569732618 hasRelatedWork W2905500635 @default.
- W1569732618 hasRelatedWork W2962994091 @default.
- W1569732618 hasRelatedWork W2997122863 @default.
- W1569732618 hasRelatedWork W3106182370 @default.
- W1569732618 hasRelatedWork W3171599762 @default.
- W1569732618 isParatext "false" @default.
- W1569732618 isRetracted "false" @default.
- W1569732618 magId "1569732618" @default.
- W1569732618 workType "book-chapter" @default.