Matches in SemOpenAlex for { <https://semopenalex.org/work/W2527045230> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W2527045230 created "2016-10-07" @default.
- W2527045230 creator A5002354530 @default.
- W2527045230 creator A5055110324 @default.
- W2527045230 date "2005-01-01" @default.
- W2527045230 modified "2023-09-24" @default.
- W2527045230 title "Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWIG Editor" @default.
- W2527045230 hasPublicationYear "2005" @default.
- W2527045230 type Work @default.
- W2527045230 sameAs 2527045230 @default.
- W2527045230 citedByCount "3" @default.
- W2527045230 crossrefType "journal-article" @default.
- W2527045230 hasAuthorship W2527045230A5002354530 @default.
- W2527045230 hasAuthorship W2527045230A5055110324 @default.
- W2527045230 hasConcept C195344581 @default.
- W2527045230 hasConcept C199360897 @default.
- W2527045230 hasConcept C41008148 @default.
- W2527045230 hasConceptScore W2527045230C195344581 @default.
- W2527045230 hasConceptScore W2527045230C199360897 @default.
- W2527045230 hasConceptScore W2527045230C41008148 @default.
- W2527045230 hasLocation W25270452301 @default.
- W2527045230 hasOpenAccess W2527045230 @default.
- W2527045230 hasPrimaryLocation W25270452301 @default.
- W2527045230 hasRelatedWork W1517132419 @default.
- W2527045230 hasRelatedWork W1617938924 @default.
- W2527045230 hasRelatedWork W1884803993 @default.
- W2527045230 hasRelatedWork W2011184850 @default.
- W2527045230 hasRelatedWork W2024303905 @default.
- W2527045230 hasRelatedWork W2062413667 @default.
- W2527045230 hasRelatedWork W2117730075 @default.
- W2527045230 hasRelatedWork W2128151578 @default.
- W2527045230 hasRelatedWork W2282921734 @default.
- W2527045230 hasRelatedWork W2573925900 @default.
- W2527045230 hasRelatedWork W2590038327 @default.
- W2527045230 hasRelatedWork W2737451472 @default.
- W2527045230 hasRelatedWork W2751009798 @default.
- W2527045230 hasRelatedWork W2755096470 @default.
- W2527045230 hasRelatedWork W2771868411 @default.
- W2527045230 hasRelatedWork W2940463794 @default.
- W2527045230 hasRelatedWork W3100298706 @default.
- W2527045230 hasRelatedWork W3193581962 @default.
- W2527045230 hasRelatedWork W70014484 @default.
- W2527045230 hasRelatedWork W80604035 @default.
- W2527045230 isParatext "false" @default.
- W2527045230 isRetracted "false" @default.
- W2527045230 magId "2527045230" @default.
- W2527045230 workType "article" @default.