Matches in SemOpenAlex for { <https://semopenalex.org/work/W94169851> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W94169851 abstract "This note considers the design of user interfaces for interactive theorem provers. The basic rules of interface design are reviewed, and their applicability to theorem provers is discussed, leading to considerations about the particular challenges of interface design for theorem provers. A short overview and classification of existing interfaces is given, followed by suggestions of possible future work in the area." @default.
- W94169851 created "2016-06-24" @default.
- W94169851 creator A5081578222 @default.
- W94169851 date "2009-12-17" @default.
- W94169851 modified "2023-09-24" @default.
- W94169851 title "User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?" @default.
- W94169851 cites W1483048852 @default.
- W94169851 cites W1549754766 @default.
- W94169851 cites W1561664087 @default.
- W94169851 cites W1766647772 @default.
- W94169851 cites W2059588087 @default.
- W94169851 cites W2095761199 @default.
- W94169851 cites W2108920859 @default.
- W94169851 cites W2131664240 @default.
- W94169851 cites W2136555430 @default.
- W94169851 cites W2147771191 @default.
- W94169851 cites W2166604183 @default.
- W94169851 cites W2169030566 @default.
- W94169851 doi "https://doi.org/10.14279/tuj.eceasst.23.322.305" @default.
- W94169851 hasPublicationYear "2009" @default.
- W94169851 type Work @default.
- W94169851 sameAs 94169851 @default.
- W94169851 citedByCount "3" @default.
- W94169851 countsByYear W941698512014 @default.
- W94169851 countsByYear W941698512018 @default.
- W94169851 crossrefType "journal-article" @default.
- W94169851 hasAuthorship W94169851A5081578222 @default.
- W94169851 hasConcept C107457646 @default.
- W94169851 hasConcept C113843644 @default.
- W94169851 hasConcept C127413603 @default.
- W94169851 hasConcept C129307140 @default.
- W94169851 hasConcept C157915830 @default.
- W94169851 hasConcept C173608175 @default.
- W94169851 hasConcept C18762648 @default.
- W94169851 hasConcept C199360897 @default.
- W94169851 hasConcept C206880738 @default.
- W94169851 hasConcept C41008148 @default.
- W94169851 hasConcept C78519656 @default.
- W94169851 hasConcept C80444323 @default.
- W94169851 hasConcept C89505385 @default.
- W94169851 hasConceptScore W94169851C107457646 @default.
- W94169851 hasConceptScore W94169851C113843644 @default.
- W94169851 hasConceptScore W94169851C127413603 @default.
- W94169851 hasConceptScore W94169851C129307140 @default.
- W94169851 hasConceptScore W94169851C157915830 @default.
- W94169851 hasConceptScore W94169851C173608175 @default.
- W94169851 hasConceptScore W94169851C18762648 @default.
- W94169851 hasConceptScore W94169851C199360897 @default.
- W94169851 hasConceptScore W94169851C206880738 @default.
- W94169851 hasConceptScore W94169851C41008148 @default.
- W94169851 hasConceptScore W94169851C78519656 @default.
- W94169851 hasConceptScore W94169851C80444323 @default.
- W94169851 hasConceptScore W94169851C89505385 @default.
- W94169851 hasLocation W941698511 @default.
- W94169851 hasOpenAccess W94169851 @default.
- W94169851 hasPrimaryLocation W941698511 @default.
- W94169851 hasRelatedWork W101296552 @default.
- W94169851 hasRelatedWork W1033578884 @default.
- W94169851 hasRelatedWork W1510772695 @default.
- W94169851 hasRelatedWork W1569999185 @default.
- W94169851 hasRelatedWork W1576084004 @default.
- W94169851 hasRelatedWork W1957663682 @default.
- W94169851 hasRelatedWork W2142877099 @default.
- W94169851 hasRelatedWork W2230407200 @default.
- W94169851 hasRelatedWork W229693416 @default.
- W94169851 hasRelatedWork W2483392883 @default.
- W94169851 hasRelatedWork W2606974619 @default.
- W94169851 hasRelatedWork W2759884402 @default.
- W94169851 hasRelatedWork W2943553270 @default.
- W94169851 hasRelatedWork W2946857475 @default.
- W94169851 hasRelatedWork W2991871724 @default.
- W94169851 hasRelatedWork W3001272669 @default.
- W94169851 hasRelatedWork W3023576273 @default.
- W94169851 hasRelatedWork W3111943817 @default.
- W94169851 hasRelatedWork W3159986196 @default.
- W94169851 hasRelatedWork W63748092 @default.
- W94169851 hasVolume "23" @default.
- W94169851 isParatext "false" @default.
- W94169851 isRetracted "false" @default.
- W94169851 magId "94169851" @default.
- W94169851 workType "article" @default.