Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit a11f5087 authored by Michael Kohlhase's avatar Michael Kohlhase

skeleton

parent 8e12028e
\documentclass[11pt]{bluenote}
\usepackage{a4wide,url,xspace,calbf,wrapfig,amstext}
\usepackage[show]{ed}
\usepackage{stex-logo}
\usepackage{listings}
\lstset{language=TeX,basicstyle=\sf}
\usepackage{xcolor}
\def\red#1{\textcolor{red}{#1}}
\def\blue#1{\textcolor{blue}{#1}}
\def\nlex#1{``\textcolor{teal}{#1}''}
\def\qv#1{?#1}
\usepackage[hyperref=auto,style=alphabetic,isbn=false]{biblatex}
\addbibresource{kwarcpubs.bib}
\addbibresource{extpubs.bib}
\addbibresource{kwarccrossrefs.bib}
\addbibresource{extcrossrefs.bib}
\usepackage{mdframed}
\newenvironment{boxedquote}{\begin{mdframed}[leftmargin=1cm,rightmargin=1cm]}{\end{mdframed}}
% Definitions
\def\meta#1{\ensuremath{\langle\kern-.2em\langle\text{#1}\rangle\kern-.2em\rangle}}
\def\planetary{\textsc{Planetary}\xspace}
\def\mathhub{\textsc{MathHub}\xspace}
\def\openmath{\textsc{OpenMath}\xspace}
\def\omdoc{\textsc{OMDoc}\xspace}
\def\smglom{\textsf{SMGloM}\xspace}
\def\latexml{\LaTeX{ML}\xspace}
\def\omdoc{\textsc{OMDoc}\xspace}
\def\mmt{\textsc{Mmt}\xspace}
\def\mmtapi{\textsc{MmtAPI}\xspace}
\def\defemph#1{\textbf{#1}}
\def\GF{\textsf{GF}\xspace}
\blueProject{\smglom}\blueURI{http://mathhub.info/help/SMGloM}
\usepackage{hyperref}
\title{Grammar in \smglom}
\author{Michael Kohlhase \\Computer Science, FAU Erlangen/N\"urnberg\\
\url{http://kwarc.info/kohlhase}}
\begin{document}
\maketitle
\begin{abstract}
We want to extend the \smglom by grammatical information using \GF.
\end{abstract}
\setcounter{tocdepth}{1}\tableofcontents\newpage
\section{Introduction}\label{sec:intro}
\section{Conclusion}\label{sec:concl}
\printbibliography
\end{document}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
% LocalWords: maketitle KohDavGin pswads11 planetmath tntbase concl texttt inparaenum rm
% LocalWords: printbibliography compactitem sref psewads11 DavGin fmspscdl11 wneld98 gle
% LocalWords: textbf prec bigl preceq succ ednote DBpedia2007 dbpedia tuwlce09 Rinehard
% LocalWords: Mathatube Lohwater's Lohwater smglo wrapfigure vspace tikzpicture xscale
% LocalWords: ldots platonic-langeq tableofcontents newpage compactenum defs circ textt
% LocalWords: hypernymy stex lstinputlisting emph subseteq lstset omdoc ulsmf08 ppte12
% LocalWords: lastline moretexcs ginput morekeywords lst dgraph gimport defi defii slg
% LocalWords: termref trefi trefii symdef mathescape SLgroup notatiendum defiii img mmt
% LocalWords: struture includegraphics hyperonymy RabKoh hyponomy foo oldpart Fellbaum
% LocalWords: cancellative subsubsection nnexusCICM13 cn langle grp meronony clsmglom14
% LocalWords: relwork smglom Saarbr ucken arbflm04 utilization deMWei exfig Menta Amer
% LocalWords: Encyclopedia verbalizations verbalizations characterized itemize mfs13 ro
% LocalWords: defgraph verbalization synchronized synchronization centering mkmtobbtg14
% LocalWords: NNexus organizing organization organizational organizations KohMihSperTes
% LocalWords: datamodel dmsmglom14 defemph contm cmsmglom14 edsmglom14 GinCor KamNed zh
% LocalWords: EncMath Weisstein's Mathworld EisSub wm82 mathhub boxedquote compactdesc
% LocalWords: fbox syno fbox fbox fbox mero nyms hfill rangle es mmtapi nlex infty
% LocalWords: frac1 Wikifiers setcounter tocdepth
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment