@techreport{R32,
  Author =	 {Christoph Benzm{\"u}ller},
  Note =	 {DFG research grant proposal},
  Pages =	 {1--29},
  Title =	 {ALONZO: Higher-Order Reasoning Agents and Semantical
                  Mediation of Mathematical Knowledge},
  url = {http://christoph-benzmueller.de/papers/R32.pdf},
  Year =	 2004,
}

{"_id":"4u2BrzDkTqv92iYAt","bibbaseid":"benzmller-alonzohigherorderreasoningagentsandsemanticalmediationofmathematicalknowledge-2004","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"note":"DFG research grant proposal","pages":"1–29","title":"ALONZO: Higher-Order Reasoning Agents and Semantical Mediation of Mathematical Knowledge","url":"http://christoph-benzmueller.de/papers/R32.pdf","year":"2004","bibtex":"@techreport{R32,\n Author =\t {Christoph Benzm{\\\"u}ller},\n Note =\t {DFG research grant proposal},\n Pages =\t {1--29},\n Title =\t {ALONZO: Higher-Order Reasoning Agents and Semantical\n Mediation of Mathematical Knowledge},\n url = {http://christoph-benzmueller.de/papers/R32.pdf},\n Year =\t 2004,\n}\n\n","author_short":["Benzmüller, C."],"key":"R32","id":"R32","bibbaseid":"benzmller-alonzohigherorderreasoningagentsandsemanticalmediationofmathematicalknowledge-2004","role":"author","urls":{"Paper":"http://christoph-benzmueller.de/papers/R32.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["alonzo","higher","order","reasoning","agents","semantical","mediation","mathematical","knowledge","benzmüller"],"title":"ALONZO: Higher-Order Reasoning Agents and Semantical Mediation of Mathematical Knowledge","year":2004}