{"id":"https://openalex.org/W2612962042","doi":"https://doi.org/10.1007/978-3-319-58741-7_19","title":"Koepke Machines and Satisfiability for Infinitary Propositional Languages","display_name":"Koepke Machines and Satisfiability for Infinitary Propositional Languages","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2612962042","doi":"https://doi.org/10.1007/978-3-319-58741-7_19","mag":"2612962042"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-58741-7_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-58741-7_19","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012757472","display_name":"Merlin Carl","orcid":"https://orcid.org/0000-0003-0010-2034"},"institutions":[{"id":"https://openalex.org/I186354981","display_name":"University of Passau","ror":"https://ror.org/05ydjnb78","country_code":"DE","type":"education","lineage":["https://openalex.org/I186354981"]},{"id":"https://openalex.org/I189712700","display_name":"University of Konstanz","ror":"https://ror.org/0546hnb39","country_code":"DE","type":"education","lineage":["https://openalex.org/I189712700"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Merlin Carl","raw_affiliation_strings":["Fachbereich Mathematik und Statistik, Universit\u00e4t Konstanz, 78457, Konstanz, Germany","Fakult\u00e4t f\u00fcr Informatik und Mathematik, Universit\u00e4t Passau, Innstra\u00dfe 33, 94032, Passau, Germany"],"affiliations":[{"raw_affiliation_string":"Fachbereich Mathematik und Statistik, Universit\u00e4t Konstanz, 78457, Konstanz, Germany","institution_ids":["https://openalex.org/I189712700"]},{"raw_affiliation_string":"Fakult\u00e4t f\u00fcr Informatik und Mathematik, Universit\u00e4t Passau, Innstra\u00dfe 33, 94032, Passau, Germany","institution_ids":["https://openalex.org/I186354981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065186485","display_name":"Benedikt L\u00f6we","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]},{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]}],"countries":["DE","GB","NL"],"is_corresponding":true,"raw_author_name":"Benedikt L\u00f6we","raw_affiliation_strings":["Christ\u2019s College, Churchill College, and Faculty of Mathematics, University of Cambridge, Wilberforce Road, Cambridge, CB3 0WA, England","Fachbereich Mathematik, Universit\u00e4t Hamburg, Bundesstrasse 55, 20146, Hamburg, Germany","Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090GE, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Christ\u2019s College, Churchill College, and Faculty of Mathematics, University of Cambridge, Wilberforce Road, Cambridge, CB3 0WA, England","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Fachbereich Mathematik, Universit\u00e4t Hamburg, Bundesstrasse 55, 20146, Hamburg, Germany","institution_ids":["https://openalex.org/I159176309"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090GE, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033349409","display_name":"Benjamin Rin","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Benjamin G. Rin","raw_affiliation_strings":["Departement Filosofie En Religiewetenschap, Universiteit Utrecht, Janskerkhof 13, 3512BL, Utrecht, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Departement Filosofie En Religiewetenschap, Universiteit Utrecht, Janskerkhof 13, 3512BL, Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5065186485"],"corresponding_institution_ids":["https://openalex.org/I159176309","https://openalex.org/I241749","https://openalex.org/I887064364"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.068,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74795976,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"187","last_page":"197"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.9991999864578247,"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.9951000213623047,"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/decidability","display_name":"Decidability","score":0.76470547914505},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6305184960365295},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5865455269813538},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.5573742985725403},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4766736328601837},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45310327410697937},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3827437460422516},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1881607472896576}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.76470547914505},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6305184960365295},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5865455269813538},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.5573742985725403},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4766736328601837},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45310327410697937},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3827437460422516},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1881607472896576},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-58741-7_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-58741-7_19","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:uu:oai:dspace.library.uu.nl:1874/358640","is_oa":false,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/358640","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":"Unveiling Dynamics and Complexity, 10307, 187. Springer","raw_type":"info:eu-repo/semantics/bookpart"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W407619696","https://openalex.org/W1486286946","https://openalex.org/W1786534804","https://openalex.org/W1990176504","https://openalex.org/W2022263458","https://openalex.org/W2059434270","https://openalex.org/W2064937274","https://openalex.org/W2134322756","https://openalex.org/W2138521431","https://openalex.org/W2149708996","https://openalex.org/W2167784134","https://openalex.org/W2571490773","https://openalex.org/W2912644765","https://openalex.org/W2963998279","https://openalex.org/W4234245490","https://openalex.org/W4245875350","https://openalex.org/W6636286947"],"related_works":["https://openalex.org/W2294297515","https://openalex.org/W2585890227","https://openalex.org/W2072122432","https://openalex.org/W2789140669","https://openalex.org/W2166108892","https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W1880816751","https://openalex.org/W2091617677","https://openalex.org/W1543051890"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}