@techreport{R5,
  Author =	 {Christoph Benzm{\"u}ller and Michael Kohlhase},
  Institution =	 {Saarland University, SEKI Publications (ISSN
                  1437-4447)},
  Number =	 {SR-97-09},
  Pages =	 {1-34},
  Publisher =	 {{SEKI Publications (ISSN 1437-4447)}},
  Title =	 {Model Existence for Higher-Order Logic},
  Type =	 {SEKI Report},
  url_preprint = {http://christoph-benzmueller.de/papers/R5.pdf},
  Year =	 1997,
}

{"_id":"DExmcQyNfnWgGKhto","bibbaseid":"benzmller-kohlhase-modelexistenceforhigherorderlogic-1997","author_short":["Benzmüller, C.","Kohlhase, M."],"bibdata":{"bibtype":"techreport","type":"SEKI Report","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]}],"institution":"Saarland University, SEKI Publications (ISSN 1437-4447)","number":"SR-97-09","pages":"1-34","publisher":"SEKI Publications (ISSN 1437-4447)","title":"Model Existence for Higher-Order Logic","url_preprint":"http://christoph-benzmueller.de/papers/R5.pdf","year":"1997","bibtex":"@techreport{R5,\n Author =\t {Christoph Benzm{\\\"u}ller and Michael Kohlhase},\n Institution =\t {Saarland University, SEKI Publications (ISSN\n 1437-4447)},\n Number =\t {SR-97-09},\n Pages =\t {1-34},\n Publisher =\t {{SEKI Publications (ISSN 1437-4447)}},\n Title =\t {Model Existence for Higher-Order Logic},\n Type =\t {SEKI Report},\n url_preprint = {http://christoph-benzmueller.de/papers/R5.pdf},\n Year =\t 1997,\n}\n\n","author_short":["Benzmüller, C.","Kohlhase, M."],"key":"R5","id":"R5","bibbaseid":"benzmller-kohlhase-modelexistenceforhigherorderlogic-1997","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/R5.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["model","existence","higher","order","logic","benzmüller","kohlhase"],"title":"Model Existence for Higher-Order Logic","year":1997}