[{"citation":{"apa":"Hüllermeier, E. (1995). Fuzzy polynomial and spline interpolation. In <i>in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin</i> (pp. 401–404). Gordon and Breach Publishers.","ieee":"E. Hüllermeier, “Fuzzy polynomial and spline interpolation,” in <i>in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin</i>, 1995, pp. 401–404.","chicago":"Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” In <i>In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin</i>, 401–4. Gordon and Breach Publishers, 1995.","short":"E. Hüllermeier, in: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, Gordon and Breach Publishers, 1995, pp. 401–404.","mla":"Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” <i>In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin</i>, Gordon and Breach Publishers, 1995, pp. 401–04.","ama":"Hüllermeier E. Fuzzy polynomial and spline interpolation. In: <i>In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin</i>. Gordon and Breach Publishers; 1995:401-404.","bibtex":"@inproceedings{Hüllermeier_1995, title={Fuzzy polynomial and spline interpolation}, booktitle={in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin}, publisher={Gordon and Breach Publishers}, author={Hüllermeier, Eyke}, year={1995}, pages={401–404} }"},"publication":"in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin","date_created":"2019-12-11T16:11:03Z","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"conference","author":[{"id":"48129","full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke"}],"title":"Fuzzy polynomial and spline interpolation","status":"public","year":"1995","date_updated":"2022-01-06T06:52:20Z","_id":"15305","publisher":"Gordon and Breach Publishers","language":[{"iso":"eng"}],"page":"401-404","user_id":"49109"},{"user_id":"49109","editor":[{"last_name":"Flemmig","first_name":"J.","full_name":"Flemmig, J."}],"page":"413-454","language":[{"iso":"eng"}],"_id":"16236","publisher":"Metropolis","date_updated":"2022-01-06T06:52:46Z","title":"Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung","status":"public","year":"1995","author":[{"last_name":"Hüllermeier","first_name":"Eyke","full_name":"Hüllermeier, Eyke","id":"48129"}],"type":"book_chapter","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"date_created":"2020-03-03T17:20:32Z","publication":"Moderne Makroökonomie-Eine kritische Bestandsaufnahme","citation":{"ama":"Hüllermeier E. Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung. In: Flemmig J, ed. <i>Moderne Makroökonomie-Eine Kritische Bestandsaufnahme</i>. Metropolis; 1995:413-454.","bibtex":"@inbook{Hüllermeier_1995, title={Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung}, booktitle={Moderne Makroökonomie-Eine kritische Bestandsaufnahme}, publisher={Metropolis}, author={Hüllermeier, Eyke}, editor={Flemmig, J.Editor}, year={1995}, pages={413–454} }","mla":"Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen:  Simulation Und Empirische Überprüfung.” <i>Moderne Makroökonomie-Eine Kritische Bestandsaufnahme</i>, edited by J. Flemmig, Metropolis, 1995, pp. 413–54.","short":"E. Hüllermeier, in: J. Flemmig (Ed.), Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, Metropolis, 1995, pp. 413–454.","chicago":"Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen:  Simulation Und Empirische Überprüfung.” In <i>Moderne Makroökonomie-Eine Kritische Bestandsaufnahme</i>, edited by J. Flemmig, 413–54. Metropolis, 1995.","apa":"Hüllermeier, E. (1995). Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung. In J. Flemmig (Ed.), <i>Moderne Makroökonomie-Eine kritische Bestandsaufnahme</i> (pp. 413–454). Metropolis.","ieee":"E. Hüllermeier, “Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung,” in <i>Moderne Makroökonomie-Eine kritische Bestandsaufnahme</i>, J. Flemmig, Ed. Metropolis, 1995, pp. 413–454."}},{"department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"conference","date_created":"2019-12-11T15:23:29Z","citation":{"apa":"Hüllermeier, E. (1994). Approximate solution of a linear programming problem using a modified perceptron-algorithm. In H. J. Zimmermann (Ed.), <i>in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i> (pp. 195–199).","ieee":"E. Hüllermeier, “Approximate solution of a linear programming problem using a modified perceptron-algorithm.,” in <i>in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, 1994, pp. 195–199.","chicago":"Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using a Modified Perceptron-Algorithm.” In <i>In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 195–99, 1994.","short":"E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.","mla":"Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using a Modified Perceptron-Algorithm.” <i>In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 1994, pp. 195–99.","ama":"Hüllermeier E. Approximate solution of a linear programming problem using a modified perceptron-algorithm. In: Zimmermann HJ, ed. <i>In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>. ; 1994:195-199.","bibtex":"@inproceedings{Hüllermeier_1994, title={Approximate solution of a linear programming problem using a modified perceptron-algorithm.}, booktitle={in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1994}, pages={195–199} }"},"publication":"in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany","editor":[{"first_name":"H.J.","last_name":"Zimmermann","full_name":"Zimmermann, H.J."}],"user_id":"49109","_id":"15296","language":[{"iso":"eng"}],"page":"195-199","date_updated":"2022-01-06T06:52:20Z","author":[{"id":"48129","first_name":"Eyke","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke"}],"status":"public","title":"Approximate solution of a linear programming problem using a modified perceptron-algorithm.","year":"1994"},{"department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"type":"journal_article","date_created":"2020-10-01T08:10:48Z","citation":{"short":"A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.","chicago":"Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted Equivalence for Subclasses of Propositional Logic.” <i>RAIRO - Theoretical Informatics and Applications</i>, 1993, 327–40. <a href=\"https://doi.org/10.1051/ita/1993270403271\">https://doi.org/10.1051/ita/1993270403271</a>.","apa":"Flögel, A., Kleine Büning, H., &#38; Lettmann, T. (1993). On the restricted equivalence for subclasses of propositional logic. <i>RAIRO - Theoretical Informatics and Applications</i>, 327–340. <a href=\"https://doi.org/10.1051/ita/1993270403271\">https://doi.org/10.1051/ita/1993270403271</a>","ieee":"A. Flögel, H. Kleine Büning, and T. Lettmann, “On the restricted equivalence for subclasses of propositional logic,” <i>RAIRO - Theoretical Informatics and Applications</i>, pp. 327–340, 1993.","ama":"Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. <i>RAIRO - Theoretical Informatics and Applications</i>. 1993:327-340. doi:<a href=\"https://doi.org/10.1051/ita/1993270403271\">10.1051/ita/1993270403271</a>","bibtex":"@article{Flögel_Kleine Büning_Lettmann_1993, title={On the restricted equivalence for subclasses of propositional logic}, DOI={<a href=\"https://doi.org/10.1051/ita/1993270403271\">10.1051/ita/1993270403271</a>}, journal={RAIRO - Theoretical Informatics and Applications}, author={Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}, year={1993}, pages={327–340} }","mla":"Flögel, A., et al. “On the Restricted Equivalence for Subclasses of Propositional Logic.” <i>RAIRO - Theoretical Informatics and Applications</i>, 1993, pp. 327–40, doi:<a href=\"https://doi.org/10.1051/ita/1993270403271\">10.1051/ita/1993270403271</a>."},"publication":"RAIRO - Theoretical Informatics and Applications","user_id":"315","doi":"10.1051/ita/1993270403271","language":[{"iso":"eng"}],"_id":"19814","page":"327-340","publication_status":"published","date_updated":"2022-01-06T06:54:13Z","publication_identifier":{"issn":["0988-3754","1290-385X"]},"author":[{"last_name":"Flögel","first_name":"A.","full_name":"Flögel, A."},{"first_name":"H.","last_name":"Kleine Büning","full_name":"Kleine Büning, H."},{"full_name":"Lettmann, Theodor","last_name":"Lettmann","first_name":"Theodor","orcid":"0000-0001-5859-2457","id":"315"}],"title":"On the restricted equivalence for subclasses of propositional logic","year":"1993","status":"public"},{"place":"´Heidelberg","date_created":"2020-10-01T09:30:28Z","type":"report","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"citation":{"ieee":"B. I. Dahn, T. Lettmann, and W. Schönfeld, <i>ILFA Interface Concept</i>, vol. 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.","apa":"Dahn, B. I., Lettmann, T., &#38; Schönfeld, W. (1991). <i>ILFA Interface Concept</i> (Vol. 193). ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland .","short":"B.I. Dahn, T. Lettmann, W. Schönfeld, ILFA Interface Concept, Wissenschaftliche Zentrum der IBM Deutschland , ´Heidelberg, 1991.","chicago":"Dahn, Bernd I., Theodor Lettmann, and Wolfgang Schönfeld. <i>ILFA Interface Concept</i>. Vol. 193. IWBS Report. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.","mla":"Dahn, Bernd I., et al. <i>ILFA Interface Concept</i>. Vol. 193, Wissenschaftliche Zentrum der IBM Deutschland , 1991.","bibtex":"@book{Dahn_Lettmann_Schönfeld_1991, place={´Heidelberg}, series={IWBS Report}, title={ILFA Interface Concept}, volume={193}, publisher={Wissenschaftliche Zentrum der IBM Deutschland }, author={Dahn, Bernd I. and Lettmann, Theodor and Schönfeld, Wolfgang}, year={1991}, collection={IWBS Report} }","ama":"Dahn BI, Lettmann T, Schönfeld W. <i>ILFA Interface Concept</i>. Vol 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland ; 1991."},"language":[{"iso":"eng"}],"_id":"19822","series_title":"IWBS Report","publisher":"Wissenschaftliche Zentrum der IBM Deutschland ","user_id":"315","volume":193,"year":"1991","status":"public","title":"ILFA Interface Concept","author":[{"full_name":"Dahn, Bernd I.","last_name":"Dahn","first_name":"Bernd I."},{"full_name":"Lettmann, Theodor","last_name":"Lettmann","orcid":"0000-0001-5859-2457","first_name":"Theodor","id":"315"},{"last_name":"Schönfeld","first_name":"Wolfgang","full_name":"Schönfeld, Wolfgang"}],"date_updated":"2022-01-06T06:54:13Z","intvolume":"       193"},{"user_id":"315","doi":"10.1016/0304-3975(89)90055-8","_id":"19818","language":[{"iso":"eng"}],"page":"343-350","publication_status":"published","date_updated":"2022-01-06T06:54:13Z","publication_identifier":{"issn":["0304-3975"]},"author":[{"full_name":"Kleine Büning, Hans","first_name":"Hans","last_name":"Kleine Büning"},{"id":"315","full_name":"Lettmann, Theodor","orcid":"0000-0001-5859-2457","first_name":"Theodor","last_name":"Lettmann"},{"last_name":"Mayr","first_name":"Ernst W.","full_name":"Mayr, Ernst W."}],"year":"1989","status":"public","title":"Projections of vector addition system reachability sets are semilinear","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"type":"journal_article","date_created":"2020-10-01T08:20:05Z","citation":{"mla":"Kleine Büning, Hans, et al. “Projections of Vector Addition System Reachability Sets Are Semilinear.” <i>Theoretical Computer Science</i>, 1989, pp. 343–50, doi:<a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">10.1016/0304-3975(89)90055-8</a>.","ama":"Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system reachability sets are semilinear. <i>Theoretical Computer Science</i>. 1989:343-350. doi:<a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">10.1016/0304-3975(89)90055-8</a>","bibtex":"@article{Kleine Büning_Lettmann_Mayr_1989, title={Projections of vector addition system reachability sets are semilinear}, DOI={<a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">10.1016/0304-3975(89)90055-8</a>}, journal={Theoretical Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W.}, year={1989}, pages={343–350} }","apa":"Kleine Büning, H., Lettmann, T., &#38; Mayr, E. W. (1989). Projections of vector addition system reachability sets are semilinear. <i>Theoretical Computer Science</i>, 343–350. <a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">https://doi.org/10.1016/0304-3975(89)90055-8</a>","ieee":"H. Kleine Büning, T. Lettmann, and E. W. Mayr, “Projections of vector addition system reachability sets are semilinear,” <i>Theoretical Computer Science</i>, pp. 343–350, 1989.","short":"H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.","chicago":"Kleine Büning, Hans, Theodor Lettmann, and Ernst W. Mayr. “Projections of Vector Addition System Reachability Sets Are Semilinear.” <i>Theoretical Computer Science</i>, 1989, 343–50. <a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">https://doi.org/10.1016/0304-3975(89)90055-8</a>."},"publication":"Theoretical Computer Science"},{"citation":{"mla":"Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.” <i>Workshop Wissensrepräsentation in Expertensystemen</i>, edited by G. Rahmstorf, 1988, pp. 56–78.","ama":"Kleine Büning H, Lettmann T. Perspektiven für die Logikprogrammierung. In: Rahmstorf G, ed. <i>Workshop Wissensrepräsentation in Expertensystemen</i>. Berlin, Heidelberg; 1988:56-78.","bibtex":"@inproceedings{Kleine Büning_Lettmann_1988, place={Berlin, Heidelberg}, title={Perspektiven für die Logikprogrammierung}, booktitle={Workshop Wissensrepräsentation in Expertensystemen}, author={Kleine Büning, Hans and Lettmann, Theodor}, editor={Rahmstorf, G.Editor}, year={1988}, pages={56–78} }","apa":"Kleine Büning, H., &#38; Lettmann, T. (1988). Perspektiven für die Logikprogrammierung. In G. Rahmstorf (Ed.), <i>Workshop Wissensrepräsentation in Expertensystemen</i> (pp. 56–78). Berlin, Heidelberg.","ieee":"H. Kleine Büning and T. Lettmann, “Perspektiven für die Logikprogrammierung,” in <i>Workshop Wissensrepräsentation in Expertensystemen</i>, 1988, pp. 56–78.","chicago":"Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.” In <i>Workshop Wissensrepräsentation in Expertensystemen</i>, edited by G. Rahmstorf, 56–78. Berlin, Heidelberg, 1988.","short":"H. Kleine Büning, T. Lettmann, in: G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen, Berlin, Heidelberg, 1988, pp. 56–78."},"publication":"Workshop Wissensrepräsentation in Expertensystemen","place":"Berlin, Heidelberg","date_created":"2020-10-01T08:58:58Z","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"type":"conference","publication_identifier":{"issn":["0343-3005"],"isbn":["9783540192169","9783642736414"]},"author":[{"full_name":"Kleine Büning, Hans","last_name":"Kleine Büning","first_name":"Hans"},{"full_name":"Lettmann, Theodor","orcid":"0000-0001-5859-2457","first_name":"Theodor","last_name":"Lettmann","id":"315"}],"year":"1988","title":"Perspektiven für die Logikprogrammierung","status":"public","date_updated":"2022-01-06T06:54:13Z","publication_status":"published","_id":"19820","language":[{"iso":"eng"}],"page":"56-78","editor":[{"full_name":"Rahmstorf, G.","first_name":"G.","last_name":"Rahmstorf"}],"user_id":"315"},{"publication":"Computation Theory and Logic","citation":{"bibtex":"@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }","ama":"Büning HK, Lettmann T. Representation independent query and update operations on propositional definite Horn formulas. In: Börger E, ed. <i>Computation Theory and Logic</i>. Berlin, Heidelberg; 1987:208-223. doi:<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>","mla":"Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” <i>Computation Theory and Logic</i>, edited by Egon Börger, 1987, pp. 208–23, doi:<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>.","short":"H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.","chicago":"Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” In <i>Computation Theory and Logic</i>, edited by Egon Börger, 208–23. Berlin, Heidelberg, 1987. <a href=\"https://doi.org/10.1007/3-540-18170-9_167\">https://doi.org/10.1007/3-540-18170-9_167</a>.","ieee":"H. K. Büning and T. Lettmann, “Representation independent query and update operations on propositional definite Horn formulas,” in <i>Computation Theory and Logic</i>, E. Börger, Ed. Berlin, Heidelberg, 1987, pp. 208–223.","apa":"Büning, H. K., &#38; Lettmann, T. (1987). Representation independent query and update operations on propositional definite Horn formulas. In E. Börger (Ed.), <i>Computation Theory and Logic</i> (pp. 208–223). Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-18170-9_167\">https://doi.org/10.1007/3-540-18170-9_167</a>"},"type":"book_chapter","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"date_created":"2020-10-01T09:08:05Z","place":"Berlin, Heidelberg","publication_status":"published","date_updated":"2022-01-06T06:54:13Z","status":"public","title":"Representation independent query and update operations on propositional definite Horn formulas","year":"1987","publication_identifier":{"isbn":["9783540181705","9783540477952"],"issn":["0302-9743","1611-3349"]},"author":[{"full_name":"Büning, Hans Kleine","last_name":"Büning","first_name":"Hans Kleine"},{"full_name":"Lettmann, Theodor","orcid":"0000-0001-5859-2457","first_name":"Theodor","last_name":"Lettmann","id":"315"}],"user_id":"315","doi":"10.1007/3-540-18170-9_167","editor":[{"full_name":"Börger, Egon","last_name":"Börger","first_name":"Egon"}],"page":"208-223","_id":"19821","language":[{"iso":"eng"}]},{"publication":"8th International Conference on Automated Deduction","citation":{"ama":"Kleine Büning H, Lettmann T. Classes of first order formulas under various satisfiability definitions. In: <i>8th International Conference on Automated Deduction</i>. Berlin, Heidelberg; 1986. doi:<a href=\"https://doi.org/10.1007/3-540-16780-3_119\">10.1007/3-540-16780-3_119</a>","bibtex":"@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes of first order formulas under various satisfiability definitions}, DOI={<a href=\"https://doi.org/10.1007/3-540-16780-3_119\">10.1007/3-540-16780-3_119</a>}, booktitle={8th International Conference on Automated Deduction}, author={Kleine Büning, H. and Lettmann, Theodor}, year={1986} }","mla":"Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” <i>8th International Conference on Automated Deduction</i>, 1986, doi:<a href=\"https://doi.org/10.1007/3-540-16780-3_119\">10.1007/3-540-16780-3_119</a>.","short":"H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.","chicago":"Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” In <i>8th International Conference on Automated Deduction</i>. Berlin, Heidelberg, 1986. <a href=\"https://doi.org/10.1007/3-540-16780-3_119\">https://doi.org/10.1007/3-540-16780-3_119</a>.","apa":"Kleine Büning, H., &#38; Lettmann, T. (1986). Classes of first order formulas under various satisfiability definitions. In <i>8th International Conference on Automated Deduction</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-16780-3_119\">https://doi.org/10.1007/3-540-16780-3_119</a>","ieee":"H. Kleine Büning and T. Lettmann, “Classes of first order formulas under various satisfiability definitions,” in <i>8th International Conference on Automated Deduction</i>, Berlin, Heidelberg, 1986."},"date_created":"2020-10-01T08:56:14Z","place":"Berlin, Heidelberg","type":"book_chapter","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"year":"1986","title":"Classes of first order formulas under various satisfiability definitions","status":"public","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540167808","9783540398615"]},"author":[{"first_name":"H.","last_name":"Kleine Büning","full_name":"Kleine Büning, H."},{"full_name":"Lettmann, Theodor","first_name":"Theodor","orcid":"0000-0001-5859-2457","last_name":"Lettmann","id":"315"}],"publication_status":"published","date_updated":"2022-01-06T06:54:13Z","_id":"19819","language":[{"iso":"eng"}],"user_id":"315","doi":"10.1007/3-540-16780-3_119"}]