" href="maxima_11.html#SEC72">11. Maximas Datenbank</a>
  <ul class="toc">
    <li><a name="TOC63" href="maxima_11.html#SEC73">11.1 Einf&uuml;hrung in Maximas Datenbank</a></li>
    <li><a name="TOC64" href="maxima_11.html#SEC76">11.2 Funktionen und Variablen f&uuml;r Eigenschaften</a></li>
    <li><a name="TOC65" href="maxima_11.html#SEC77">11.3 Funktionen und Variablen f&uuml;r Fakten</a></li>
    <li><a name="TOC66" href="maxima_11.html#SEC78">11.4 Funktionen und Variablen f&uuml;r Aussagen</a></li>
  </