---
layout: default
title: Historic Systems
menu_title: Historic
menu_order: 2
---
## Historic Systems ([active systems](/projects/active/))

The KWARC group has developed various added value services based on OMDoc-encoded content,
including a mathematical knowledge base, a semantic search engine, management of change, a
semantic wiki, mathematical web services, and invasive OMDoc editing
technologies. Furthermore, the group works on the utilization of OMDoc to provide Logic
Interoperability and to establish scientific Communities of Practice.
 

listing to be generated here.