{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:46:37Z","timestamp":1726044397318},"publisher-location":"Wiesbaden","reference-count":9,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"type":"print","value":"9783658278076"},{"type":"electronic","value":"9783658278083"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-658-27808-3_9","type":"book-chapter","created":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T15:05:01Z","timestamp":1568732701000},"page":"81-88","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Entscheidungslogik generieren"],"prefix":"10.1007","author":[{"given":"Jens","family":"Lehmann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,18]]},"reference":[{"key":"9_CR1","unstructured":"1. Daenzer, Huber (Herausgeber); Systems Engineering; 2002; 11. Auflage; Verlag Industrielle Organisation"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"2. Ertel; Grundkurs K\u00fcnstliche Intelligenz; 2016; Springer Vieweg","DOI":"10.1007\/978-3-658-13549-2"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"3. Frochte; Maschinelles Lernen; 2018; Hanser Verlag","DOI":"10.3139\/9783446457058"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"4. Halang, Konakovsky; Sicherheitsgerichtete Echtzeitsysteme; 2013; Springer Vieweg","DOI":"10.1007\/978-3-642-37298-8"},{"key":"9_CR5","unstructured":"5. Helbig; K\u00fcnstliche Intelligenz und automatische Wissensverarbeitung; 1996; Technik"},{"key":"9_CR6","unstructured":"6. Lehmann; Auswahl und Anwendung von Methoden zur Spezifikation von Anforderungen und Architektur f\u00fcr die SW-Entwicklung gem\u00e4\u00df DIN EN 50128 bzw. DIN EN 50657; 2018; Masterarbeit an der FernUniversit\u00e4t in Hagen"},{"key":"9_CR7","unstructured":"7. Spies; Einf\u00fchrung in die Logik; 2004; Spektrum Akademischer Verlag"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"8. Lehmann; Spezifikation projektspezifischer Software; in: Echtzeit und Sicherheit; 2018; Springer Vieweg","DOI":"10.1007\/978-3-662-58096-7_8"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"9. Weicker; Evolution\u00e4re Algorithmen; 2015; 3. Auflage; Springer Vieweg","DOI":"10.1007\/978-3-658-09958-9"}],"container-title":["Informatik aktuell","Echtzeit 2019"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-27808-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T15:06:11Z","timestamp":1568732771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-658-27808-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783658278076","9783658278083"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-27808-3_9","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"18 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}