Matches in SemOpenAlex for { <https://semopenalex.org/work/W229693416> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W229693416 endingPage "19" @default.
- W229693416 startingPage "3" @default.
- W229693416 abstract "The effectiveness of interactive theorem provers (ITPs) increased such that the bottleneck in the proof process shifted from effectiveness to efficiency. While in principle large theorems are provable, it takes much effort for the user to interact with the system. A major obstacle for the user is to understand the proof state in order to guide the prover in successfully finding a proof. We conducted two focus groups to evaluate the usability of ITPs. We wanted to evaluate the impact of the gap between the user’s model of the proof and the actual proof performed by the provers’ strategies. In addition, our goals are to explore which mechanisms already exist and to develop, based on the existing mechanisms, new mechanisms that help the user in bridging this gap." @default.
- W229693416 created "2016-06-24" @default.
- W229693416 creator A5003024686 @default.
- W229693416 creator A5024015413 @default.
- W229693416 creator A5024352914 @default.
- W229693416 date "2015-01-01" @default.
- W229693416 modified "2023-09-27" @default.
- W229693416 title "A Usability Evaluation of Interactive Theorem Provers Using Focus Groups" @default.
- W229693416 cites W1979351689 @default.
- W229693416 cites W1988543748 @default.
- W229693416 cites W1997799108 @default.
- W229693416 cites W1999021815 @default.
- W229693416 cites W2164781814 @default.
- W229693416 cites W3151708307 @default.
- W229693416 cites W4206442379 @default.
- W229693416 cites W4243384190 @default.
- W229693416 cites W4250846042 @default.
- W229693416 doi "https://doi.org/10.1007/978-3-319-15201-1_1" @default.
- W229693416 hasPublicationYear "2015" @default.
- W229693416 type Work @default.
- W229693416 sameAs 229693416 @default.
- W229693416 citedByCount "19" @default.
- W229693416 countsByYear W2296934162015 @default.
- W229693416 countsByYear W2296934162016 @default.
- W229693416 countsByYear W2296934162017 @default.
- W229693416 countsByYear W2296934162018 @default.
- W229693416 countsByYear W2296934162019 @default.
- W229693416 countsByYear W2296934162020 @default.
- W229693416 countsByYear W2296934162021 @default.
- W229693416 countsByYear W2296934162022 @default.
- W229693416 countsByYear W2296934162023 @default.
- W229693416 crossrefType "book-chapter" @default.
- W229693416 hasAuthorship W229693416A5003024686 @default.
- W229693416 hasAuthorship W229693416A5024015413 @default.
- W229693416 hasAuthorship W229693416A5024352914 @default.
- W229693416 hasConcept C107457646 @default.
- W229693416 hasConcept C108710211 @default.
- W229693416 hasConcept C120665830 @default.
- W229693416 hasConcept C121332964 @default.
- W229693416 hasConcept C149635348 @default.
- W229693416 hasConcept C159718280 @default.
- W229693416 hasConcept C170130773 @default.
- W229693416 hasConcept C174348530 @default.
- W229693416 hasConcept C17744445 @default.
- W229693416 hasConcept C192209626 @default.
- W229693416 hasConcept C199539241 @default.
- W229693416 hasConcept C206880738 @default.
- W229693416 hasConcept C2524010 @default.
- W229693416 hasConcept C2776650193 @default.
- W229693416 hasConcept C2780513914 @default.
- W229693416 hasConcept C33923547 @default.
- W229693416 hasConcept C38652104 @default.
- W229693416 hasConcept C41008148 @default.
- W229693416 hasConcept C80444323 @default.
- W229693416 hasConceptScore W229693416C107457646 @default.
- W229693416 hasConceptScore W229693416C108710211 @default.
- W229693416 hasConceptScore W229693416C120665830 @default.
- W229693416 hasConceptScore W229693416C121332964 @default.
- W229693416 hasConceptScore W229693416C149635348 @default.
- W229693416 hasConceptScore W229693416C159718280 @default.
- W229693416 hasConceptScore W229693416C170130773 @default.
- W229693416 hasConceptScore W229693416C174348530 @default.
- W229693416 hasConceptScore W229693416C17744445 @default.
- W229693416 hasConceptScore W229693416C192209626 @default.
- W229693416 hasConceptScore W229693416C199539241 @default.
- W229693416 hasConceptScore W229693416C206880738 @default.
- W229693416 hasConceptScore W229693416C2524010 @default.
- W229693416 hasConceptScore W229693416C2776650193 @default.
- W229693416 hasConceptScore W229693416C2780513914 @default.
- W229693416 hasConceptScore W229693416C33923547 @default.
- W229693416 hasConceptScore W229693416C38652104 @default.
- W229693416 hasConceptScore W229693416C41008148 @default.
- W229693416 hasConceptScore W229693416C80444323 @default.
- W229693416 hasLocation W2296934161 @default.
- W229693416 hasOpenAccess W229693416 @default.
- W229693416 hasPrimaryLocation W2296934161 @default.
- W229693416 hasRelatedWork W1504441476 @default.
- W229693416 hasRelatedWork W1523338383 @default.
- W229693416 hasRelatedWork W2505612108 @default.
- W229693416 hasRelatedWork W260189897 @default.
- W229693416 hasRelatedWork W2612647446 @default.
- W229693416 hasRelatedWork W2915124127 @default.
- W229693416 hasRelatedWork W3029085122 @default.
- W229693416 hasRelatedWork W3152857967 @default.
- W229693416 hasRelatedWork W3167607673 @default.
- W229693416 hasRelatedWork W81956812 @default.
- W229693416 isParatext "false" @default.
- W229693416 isRetracted "false" @default.
- W229693416 magId "229693416" @default.
- W229693416 workType "book-chapter" @default.