{"id":"https://openalex.org/W2965894480","doi":"https://doi.org/10.1007/978-3-030-29436-6_4","title":"Superposition with Lambdas","display_name":"Superposition with Lambdas","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2965894480","doi":"https://doi.org/10.1007/978-3-030-29436-6_4","mag":"2965894480"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-29436-6_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-29436-6_4","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://research.vu.nl/en/publications/66978926-23f7-4794-b6ce-2066a5ef9226","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028260073","display_name":"Alexander Bentkamp","orcid":"https://orcid.org/0000-0002-7158-3595"},"institutions":[{"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"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Alexander Bentkamp","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","VU - Vrije Universiteit Amsterdam [Amsterdam] (De Boelelaan 1105 1081 HV Amsterdam - Pays-Bas)"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"VU - Vrije Universiteit Amsterdam [Amsterdam] (De Boelelaan 1105 1081 HV Amsterdam - Pays-Bas)","institution_ids":["https://openalex.org/I865915315"]}]},{"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/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/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/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["DE","FR","NL"],"is_corresponding":false,"raw_author_name":"Jasmin Blanchette","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (France)","VU - Vrije Universiteit Amsterdam [Amsterdam] (De Boelelaan 1105 1081 HV Amsterdam - Pays-Bas)","LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-l\u00e8s-Nancy Cedex - France)","MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Allemagne)"],"affiliations":[{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, 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":"VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (France)","institution_ids":[]},{"raw_affiliation_string":"VU - Vrije Universiteit Amsterdam [Amsterdam] (De Boelelaan 1105 1081 HV Amsterdam - Pays-Bas)","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-l\u00e8s-Nancy Cedex - France)","institution_ids":["https://openalex.org/I4210121838"]},{"raw_affiliation_string":"MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Allemagne)","institution_ids":["https://openalex.org/I4210109712"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057556247","display_name":"Sophie Tourret","orcid":"https://orcid.org/0000-0002-6070-796X"},"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"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sophie Tourret","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Allemagne)"],"affiliations":[{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, 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 - Allemagne)","institution_ids":["https://openalex.org/I4210109712"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089828576","display_name":"Petar Vukmirovi\u0107","orcid":"https://orcid.org/0000-0001-7049-6847"},"institutions":[{"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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Petar Vukmirovi\u0107","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","VU - Vrije Universiteit Amsterdam [Amsterdam] (De Boelelaan 1105 1081 HV Amsterdam - Pays-Bas)"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"VU - Vrije Universiteit Amsterdam [Amsterdam] (De Boelelaan 1105 1081 HV Amsterdam - Pays-Bas)","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","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"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Uwe Waldmann","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","MPII - Max-Planck-Institut f\u00fcr Informatik (Campus E-1 4, 66123 Saarbr\u00fccken, Germany - Allemagne)"],"affiliations":[{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, 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 - Allemagne)","institution_ids":["https://openalex.org/I4210109712"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5028260073"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":5.7839,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.97250102,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"55","last_page":"73"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"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/T10142","display_name":"Formal Methods in Verification","score":0.9977999925613403,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.7692011594772339},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.6569581031799316},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.6191610097885132},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.6048514246940613},{"id":"https://openalex.org/keywords/superposition-principle","display_name":"Superposition principle","score":0.6039922833442688},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5961583256721497},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5762189626693726},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4944322109222412},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.48793265223503113},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4583224356174469},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4494377076625824},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.42116260528564453},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.41039231419563293},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3891894221305847},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32776936888694763},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32086142897605896},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.22128069400787354},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.07159423828125},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06096890568733215}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.7692011594772339},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.6569581031799316},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.6191610097885132},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.6048514246940613},{"id":"https://openalex.org/C27753989","wikidata":"https://www.wikidata.org/wiki/Q284885","display_name":"Superposition principle","level":2,"score":0.6039922833442688},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5961583256721497},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5762189626693726},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4944322109222412},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.48793265223503113},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4583224356174469},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4494377076625824},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.42116260528564453},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.41039231419563293},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3891894221305847},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32776936888694763},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32086142897605896},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22128069400787354},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.07159423828125},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06096890568733215},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1007/978-3-030-29436-6_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-29436-6_4","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:research.vu.nl:openaire/66978926-23f7-4794-b6ce-2066a5ef9226","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/66978926-23f7-4794-b6ce-2066a5ef9226","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bentkamp, A, Blanchette, J, Tourret, S, Vukmirovi\u0107, P & Waldmann, U 2019, Superposition with lambdas. in P Fontaine (ed.), Automated Deduction \u2013 CADE 2019 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27\u201330, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11716 LNAI, Springer, pp. 55-73, 27th International Conference on Automated Deduction, CADE 2019, Natal, Brazil, 27/08/19. https://doi.org/10.1007/978-3-030-29436-6_4","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.mpg.de:item_3287504","is_oa":true,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0008-0A44-1","pdf_url":"http://hdl.handle.net/21.11116/0000-0008-0A44-1","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/workingPaper"},{"id":"pmh:oai:HAL:hal-02296038v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-02296038","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CADE-27 - The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.55-73, ⟨10.1007/978-3-030-29436-6_4⟩","raw_type":"Conference papers"},{"id":"pmh:oai:pure.mpg.de:item_3188579","is_oa":false,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0005-885C-B","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":"Automated Deduction -- CADE 27","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/0bb66062-219b-4f78-b76f-5f7d3e12d222","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/0bb66062-219b-4f78-b76f-5f7d3e12d222","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","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":"Bentkamp , A , Blanchette , J , Tourret , S , Vukmirovi\u0107 , P & Waldmann , U 2021 , ' Superposition with Lambdas ' , Journal of Automated Reasoning , vol. 65 , no. 7 , pp. 893-940 . https://doi.org/10.1007/s10817-021-09595-y","raw_type":"article"},{"id":"pmh:oai:research.vu.nl:publications/0bb66062-219b-4f78-b76f-5f7d3e12d222","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/0bb66062-219b-4f78-b76f-5f7d3e12d222","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","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":"Bentkamp , A , Blanchette , J , Tourret , S , Vukmirovi\u0107 , P & Waldmann , U 2021 , ' Superposition with Lambdas ' , Journal of Automated Reasoning , vol. 65 , no. 7 , pp. 893-940 . https://doi.org/10.1007/s10817-021-09595-y","raw_type":"article"},{"id":"pmh:oai:research.vu.nl:publications/66978926-23f7-4794-b6ce-2066a5ef9226","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/66978926-23f7-4794-b6ce-2066a5ef9226","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","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":"Bentkamp, A, Blanchette, J, Tourret, S, Vukmirovi\u0107, P & Waldmann, U 2019, Superposition with lambdas. in P Fontaine (ed.), Automated Deduction \u2013 CADE 2019 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27\u201330, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11716 LNAI, Springer, pp. 55-73, 27th International Conference on Automated Deduction, CADE 2019, Natal, Brazil, 27/08/19. https://doi.org/10.1007/978-3-030-29436-6_4","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:openaire/66978926-23f7-4794-b6ce-2066a5ef9226","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/66978926-23f7-4794-b6ce-2066a5ef9226","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bentkamp, A, Blanchette, J, Tourret, S, Vukmirovi\u0107, P & Waldmann, U 2019, Superposition with lambdas. in P Fontaine (ed.), Automated Deduction \u2013 CADE 2019 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27\u201330, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11716 LNAI, Springer, pp. 55-73, 27th International Conference on Automated Deduction, CADE 2019, Natal, Brazil, 27/08/19. https://doi.org/10.1007/978-3-030-29436-6_4","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W1781094","https://openalex.org/W29796863","https://openalex.org/W79561349","https://openalex.org/W182525246","https://openalex.org/W836255558","https://openalex.org/W1424724424","https://openalex.org/W1485115793","https://openalex.org/W1488962419","https://openalex.org/W1494812539","https://openalex.org/W1496386645","https://openalex.org/W1507112684","https://openalex.org/W1519551513","https://openalex.org/W1531639736","https://openalex.org/W1540912919","https://openalex.org/W1566450728","https://openalex.org/W1599039905","https://openalex.org/W1608522276","https://openalex.org/W1661653767","https://openalex.org/W1749440414","https://openalex.org/W1909465604","https://openalex.org/W1974087219","https://openalex.org/W1975808446","https://openalex.org/W1979623128","https://openalex.org/W1980214308","https://openalex.org/W1982776852","https://openalex.org/W1986072156","https://openalex.org/W1990121424","https://openalex.org/W1990946582","https://openalex.org/W2033042203","https://openalex.org/W2034155940","https://openalex.org/W2034676877","https://openalex.org/W2037085273","https://openalex.org/W2040723389","https://openalex.org/W2068880842","https://openalex.org/W2075352622","https://openalex.org/W2081512679","https://openalex.org/W2099261111","https://openalex.org/W2113065066","https://openalex.org/W2115610240","https://openalex.org/W2160331299","https://openalex.org/W2216530300","https://openalex.org/W2229132677","https://openalex.org/W2399753239","https://openalex.org/W2568721247","https://openalex.org/W2577363039","https://openalex.org/W2583369873","https://openalex.org/W2587613907","https://openalex.org/W2588018425","https://openalex.org/W2613299215","https://openalex.org/W2735771386","https://openalex.org/W2749302087","https://openalex.org/W2787490662","https://openalex.org/W2792493843","https://openalex.org/W2810826868","https://openalex.org/W2886133399","https://openalex.org/W2898781894","https://openalex.org/W2908352461","https://openalex.org/W2921472921","https://openalex.org/W2927212189","https://openalex.org/W2949881057","https://openalex.org/W2965894480","https://openalex.org/W3105385839","https://openalex.org/W3112593571","https://openalex.org/W3194576001","https://openalex.org/W4237061074"],"related_works":["https://openalex.org/W4246350535","https://openalex.org/W2479603923","https://openalex.org/W2809689211","https://openalex.org/W260563712","https://openalex.org/W2971533183","https://openalex.org/W162260173","https://openalex.org/W161895701","https://openalex.org/W4235347667","https://openalex.org/W30156491","https://openalex.org/W1499822848"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":4}],"updated_date":"2026-04-24T08:23:43.765630","created_date":"2025-10-10T00:00:00"}