Skip to content
Snippets Groups Projects
Normal view Permalink
semantization.md 125 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    1 2 
    ---
layout: page
    Tom Wiesing's avatar
    Update titles of research pages (fixes #14)  
    Tom Wiesing committed
    3 4 
    title: Semi-Automated Semantization
menu_title: Semantization
    Tom Wiesing's avatar
    Rework the menu  
    Tom Wiesing committed
    5 
    menu_order: 105
    Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    6 7 
    ---
...more to be written ...