{"id":"https://openalex.org/W2735771386","doi":"https://doi.org/10.1007/978-3-319-63046-5_27","title":"A Transfinite Knuth\u2013Bendix Order for Lambda-Free Higher-Order Terms","display_name":"A Transfinite Knuth\u2013Bendix Order for Lambda-Free Higher-Order Terms","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2735771386","doi":"https://doi.org/10.1007/978-3-319-63046-5_27","mag":"2735771386"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-63046-5_27","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-63046-5_27","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/1871.1/fdecf8ec-932f-42ef-8d0d-2c980e8c4934","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052448724","display_name":"Heiko Becker","orcid":null},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Heiko Becker","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Softwaresysteme, Saarbr\u00fccken, Germany","MPI-SWS - Max Planck Institute for Software Systems (D-66111 Saarbr\u00fccken/D-67663 Kaiserslautern  - Germany)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Softwaresysteme, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"MPI-SWS - Max Planck Institute for Software Systems (D-66111 Saarbr\u00fccken/D-67663 Kaiserslautern  - Germany)","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079200257","display_name":"Jasmin Christian Blanchette","orcid":"https://orcid.org/0000-0002-8367-0936"},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]},{"id":"https://openalex.org/I4210155607","display_name":"Laboratoire d'Informatique en Images et Syst\u00e8mes d'Information","ror":"https://ror.org/04dv4he91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I188626449","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210155607","https://openalex.org/I48430043"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I4210127166","display_name":"Centre Inria de l'Universit\u00e9 de Lorraine","ror":"https://ror.org/03fcjvn64","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210127166"]}],"countries":["DE","FR","NL"],"is_corresponding":false,"raw_author_name":"Jasmin Christian Blanchette","raw_affiliation_strings":["Inria Nancy \u2013 Grand Est, Villers-l\u00e8s-Nancy, France","Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany","Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Germany)","VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria Nancy \u2013 Grand Est, Villers-l\u00e8s-Nancy, France","institution_ids":["https://openalex.org/I4210127166"]},{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Germany)","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)","institution_ids":["https://openalex.org/I4210155607"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008310084","display_name":"Uwe Waldmann","orcid":"https://orcid.org/0000-0002-0676-7195"},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]},{"id":"https://openalex.org/I4210155607","display_name":"Laboratoire d'Informatique en Images et Syst\u00e8mes d'Information","ror":"https://ror.org/04dv4he91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I188626449","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210155607","https://openalex.org/I48430043"]}],"countries":["DE","FR"],"is_corresponding":false,"raw_author_name":"Uwe Waldmann","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany","MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Germany)","VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Germany)","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)","institution_ids":["https://openalex.org/I4210155607"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084442978","display_name":"Daniel Wand","orcid":null},"institutions":[{"id":"https://openalex.org/I4210155607","display_name":"Laboratoire d'Informatique en Images et Syst\u00e8mes d'Information","ror":"https://ror.org/04dv4he91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I188626449","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210155607","https://openalex.org/I48430043"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]},{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE","FR"],"is_corresponding":false,"raw_author_name":"Daniel Wand","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany","Technische Universit\u00e4t M\u00fcnchen, Munich, Germany","MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Germany)","TUM - Technische Universit\u00e4t Munchen - Technical University Munich - Universit\u00e9 Technique de Munich (Arcisstrasse 21, D- 80333 M\u00fcnchen - Germany)","VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"Technische Universit\u00e4t M\u00fcnchen, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Germany)","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"TUM - Technische Universit\u00e4t Munchen - Technical University Munich - Universit\u00e9 Technique de Munich (Arcisstrasse 21, D- 80333 M\u00fcnchen - Germany)","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)","institution_ids":["https://openalex.org/I4210155607"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5052448724"],"corresponding_institution_ids":["https://openalex.org/I4210121786"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.3918,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.94571649,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"432","last_page":"453"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/transfinite-number","display_name":"Transfinite number","score":0.953249454498291},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7571976780891418},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.6737711429595947},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5947353839874268},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.5126098990440369},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.48183882236480713},{"id":"https://openalex.org/keywords/lambda","display_name":"Lambda","score":0.4415462613105774},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3592304587364197},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.20739898085594177},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.13977733254432678}],"concepts":[{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.953249454498291},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7571976780891418},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.6737711429595947},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5947353839874268},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5126098990440369},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.48183882236480713},{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.4415462613105774},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3592304587364197},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.20739898085594177},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.13977733254432678},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-319-63046-5_27","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-63046-5_27","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-01592186v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01592186","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CADE-26 - 26th International Conference on Automated Deduction, Aug 2017, Gothenburg, Sweden. pp.432-453, ⟨10.1007/978-3-319-63046-5_27⟩","raw_type":"Conference papers"},{"id":"pmh:oai:pure.mpg.de:item_2488485","is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-002E-0711-9","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lecture Notes in Artificial Intelligence","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:research.vu.nl:publications/fdecf8ec-932f-42ef-8d0d-2c980e8c4934","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/fdecf8ec-932f-42ef-8d0d-2c980e8c4934","pdf_url":null,"source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Becker, H, Blanchette, J C, Waldmann, U & Wand, D 2017, A transfinite knuth\u2013bendix order for lambda-free higher-order terms. in L de Moura (ed.), Automated Deduction \u2013 CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6\u201311, 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10395 LNAI, Springer/Verlag, pp. 432-453, 26th International Conference on Automated Deduction, CADE-26 2017, Gothenburg, Sweden, 6/08/17. https://doi.org/10.1007/978-3-319-63046-5_27","raw_type":"contributionToPeriodical"},{"id":"pmh:vu:oai:research.vu.nl:publications/fdecf8ec-932f-42ef-8d0d-2c980e8c4934","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/fdecf8ec-932f-42ef-8d0d-2c980e8c4934","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Proceedings, 432 - 453","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:publications/fdecf8ec-932f-42ef-8d0d-2c980e8c4934","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/fdecf8ec-932f-42ef-8d0d-2c980e8c4934","pdf_url":null,"source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Becker, H, Blanchette, J C, Waldmann, U & Wand, D 2017, A transfinite knuth\u2013bendix order for lambda-free higher-order terms. in L de Moura (ed.), Automated Deduction \u2013 CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6\u201311, 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10395 LNAI, Springer/Verlag, pp. 432-453, 26th International Conference on Automated Deduction, CADE-26 2017, Gothenburg, Sweden, 6/08/17. https://doi.org/10.1007/978-3-319-63046-5_27","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G5808086510","display_name":null,"funder_award_id":"NI 491/14-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6937246109","display_name":null,"funder_award_id":"713999","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7578079922","display_name":null,"funder_award_id":"/14-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W1781094","https://openalex.org/W58688106","https://openalex.org/W69093803","https://openalex.org/W1483679303","https://openalex.org/W1507112684","https://openalex.org/W1508261706","https://openalex.org/W1519551513","https://openalex.org/W1535019406","https://openalex.org/W1540912919","https://openalex.org/W1546804799","https://openalex.org/W1568506451","https://openalex.org/W1583295953","https://openalex.org/W1584399668","https://openalex.org/W1595209293","https://openalex.org/W1598625331","https://openalex.org/W1661099014","https://openalex.org/W1849654074","https://openalex.org/W1968386045","https://openalex.org/W1983193642","https://openalex.org/W1986072156","https://openalex.org/W1988319950","https://openalex.org/W2014030742","https://openalex.org/W2028930358","https://openalex.org/W2041375296","https://openalex.org/W2063068243","https://openalex.org/W2065976724","https://openalex.org/W2071764772","https://openalex.org/W2073351681","https://openalex.org/W2081512679","https://openalex.org/W2085014646","https://openalex.org/W2099261111","https://openalex.org/W2102647770","https://openalex.org/W2106192381","https://openalex.org/W2126018011","https://openalex.org/W2152762348","https://openalex.org/W2160331299","https://openalex.org/W2165176212","https://openalex.org/W2216530300","https://openalex.org/W2262606152","https://openalex.org/W2272899792","https://openalex.org/W2407937303","https://openalex.org/W2500310339","https://openalex.org/W2507006525","https://openalex.org/W2583369873","https://openalex.org/W2583958005","https://openalex.org/W2584657405","https://openalex.org/W2585787514","https://openalex.org/W2613299215","https://openalex.org/W2735771386","https://openalex.org/W2949881057","https://openalex.org/W3105385839","https://openalex.org/W4230919050","https://openalex.org/W4237086808","https://openalex.org/W4250846042"],"related_works":["https://openalex.org/W2089968568","https://openalex.org/W2048273249","https://openalex.org/W2950239705","https://openalex.org/W2261099788","https://openalex.org/W2498880115","https://openalex.org/W1663013072","https://openalex.org/W1864532727","https://openalex.org/W296787449","https://openalex.org/W3087796271","https://openalex.org/W2074777028"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}