{"id":"https://openalex.org/W3039562913","doi":"https://doi.org/10.1007/978-3-030-51074-9_18","title":"A Comprehensive Framework for Saturation Theorem Proving","display_name":"A Comprehensive Framework for Saturation Theorem Proving","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3039562913","doi":"https://doi.org/10.1007/978-3-030-51074-9_18","mag":"3039562913"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-51074-9_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-51074-9_18","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/ws/files/128438490/Waldmann2020_Chapter_AComprehensiveFrameworkForSaturation.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008310084","display_name":"Uwe Waldmann","orcid":"https://orcid.org/0000-0002-0676-7195"},"institutions":[{"id":"https://openalex.org/I4210099593","display_name":"Computer Algorithms for Medicine","ror":"https://ror.org/00zky6d38","country_code":"AT","type":"facility","lineage":["https://openalex.org/I4210099593"]},{"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":["AT","DE"],"is_corresponding":true,"raw_author_name":"Uwe Waldmann","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","Max-Planck-Institut f\u00fcr Informatik","Modeling and Verification of Distributed Algorithms and Systems"],"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":"Max-Planck-Institut f\u00fcr Informatik","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"Modeling and Verification of Distributed Algorithms and Systems","institution_ids":["https://openalex.org/I4210099593"]}]},{"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/I4210099593","display_name":"Computer Algorithms for Medicine","ror":"https://ror.org/00zky6d38","country_code":"AT","type":"facility","lineage":["https://openalex.org/I4210099593"]},{"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":["AT","DE"],"is_corresponding":false,"raw_author_name":"Sophie Tourret","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","Modeling and Verification of Distributed Algorithms and Systems","Max-Planck-Institut f\u00fcr Informatik"],"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":"Modeling and Verification of Distributed Algorithms and Systems","institution_ids":["https://openalex.org/I4210099593"]},{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik","institution_ids":["https://openalex.org/I4210109712"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011013779","display_name":"Simon Robillard","orcid":"https://orcid.org/0000-0003-4751-380X"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210117005","display_name":"Laboratoire des Sciences du Num\u00e9rique de Nantes","ror":"https://ror.org/02snf8m58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210139971","https://openalex.org/I97188460","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I4210127572","display_name":"IMT Atlantique","ror":"https://ror.org/030hj3061","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127572"]},{"id":"https://openalex.org/I4210143894","display_name":"Laboratoire d'Automatique, G\u00e9nie Informatique et Signal","ror":"https://ror.org/04wez4p43","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I2279609970","https://openalex.org/I4210131494","https://openalex.org/I4210137101","https://openalex.org/I4210139971","https://openalex.org/I4210143894","https://openalex.org/I7454413"]},{"id":"https://openalex.org/I97188460","display_name":"Nantes Universit\u00e9","ror":"https://ror.org/03gnr7b55","country_code":"FR","type":"education","lineage":["https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Simon Robillard","raw_affiliation_strings":["IMT Atlantique, Nantes, France","D\u00e9partement Automatique, Productique et Informatique"],"affiliations":[{"raw_affiliation_string":"IMT Atlantique, Nantes, France","institution_ids":["https://openalex.org/I4210127572","https://openalex.org/I97188460","https://openalex.org/I1326498283","https://openalex.org/I4210117005"]},{"raw_affiliation_string":"D\u00e9partement Automatique, Productique et Informatique","institution_ids":["https://openalex.org/I4210143894"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079200257","display_name":"Jasmin Christian Blanchette","orcid":"https://orcid.org/0000-0002-8367-0936"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210099593","display_name":"Computer Algorithms for Medicine","ror":"https://ror.org/00zky6d38","country_code":"AT","type":"facility","lineage":["https://openalex.org/I4210099593"]},{"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"]},{"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/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["AT","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","Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France","Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","Modeling and Verification of Distributed Algorithms and Systems","Proof-oriented development of computer-based systems","Vrije Universiteit Amsterdam [Amsterdam]","Max-Planck-Institut f\u00fcr Informatik"],"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":"Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France","institution_ids":["https://openalex.org/I90183372","https://openalex.org/I4210121838","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Modeling and Verification of Distributed Algorithms and Systems","institution_ids":["https://openalex.org/I4210099593"]},{"raw_affiliation_string":"Proof-oriented development of computer-based systems","institution_ids":[]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam [Amsterdam]","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik","institution_ids":["https://openalex.org/I4210109712"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5008310084"],"corresponding_institution_ids":["https://openalex.org/I4210099593","https://openalex.org/I4210109712"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":6.5868,"has_fulltext":true,"cited_by_count":27,"citation_normalized_percentile":{"value":0.97616932,"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":"316","last_page":"334"},"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.9998000264167786,"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.9998000264167786,"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.9979000091552734,"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/T11424","display_name":"Security and Verification in Computing","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/computer-science","display_name":"Computer science","score":0.7524764537811279},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.707554280757904},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.7074824571609497},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6582038402557373},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5916978716850281},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5705224871635437},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.551285445690155},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.47375303506851196},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4620816707611084},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4589061141014099},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1640303134918213}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7524764537811279},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.707554280757904},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.7074824571609497},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6582038402557373},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5916978716850281},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5705224871635437},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.551285445690155},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.47375303506851196},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4620816707611084},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4589061141014099},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1640303134918213},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-030-51074-9_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-51074-9_18","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:publications/f5d02447-d88c-41c2-a049-f4c14b00d590","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/f5d02447-d88c-41c2-a049-f4c14b00d590","pdf_url":"https://research.vu.nl/ws/files/128438490/Waldmann2020_Chapter_AComprehensiveFrameworkForSaturation.pdf","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":"Waldmann, U, Tourret, S, Robillard, S & Blanchette, J 2020, A Comprehensive Framework for Saturation Theorem Proving. in N Peltier & V Sofronie-Stokkermans (eds), Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1\u20134, 2020, Proceedings, Part I. vol. 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12166 LNAI, Springer, pp. 316-334, 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Virtual, Online, 1/07/20. https://doi.org/10.1007/978-3-030-51074-9_18","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-03106208v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-03106208","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":"IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩","raw_type":"Conference papers"},{"id":"pmh:oai:pubmedcentral.nih.gov:7324260","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7324260","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Automated Reasoning","raw_type":"Text"},{"id":"pmh:oai:pure.mpg.de:item_3266324","is_oa":false,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0007-7971-2","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 Reasoning","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:research.vu.nl:openaire/f5d02447-d88c-41c2-a049-f4c14b00d590","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/f5d02447-d88c-41c2-a049-f4c14b00d590","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":"Waldmann, U, Tourret, S, Robillard, S & Blanchette, J 2020, A Comprehensive Framework for Saturation Theorem Proving. in N Peltier & V Sofronie-Stokkermans (eds), Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1\u20134, 2020, Proceedings, Part I. vol. 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12166 LNAI, Springer, pp. 316-334, 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Virtual, Online, 1/07/20. https://doi.org/10.1007/978-3-030-51074-9_18","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:publications/f5d02447-d88c-41c2-a049-f4c14b00d590","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/f5d02447-d88c-41c2-a049-f4c14b00d590","pdf_url":"https://research.vu.nl/ws/files/128438490/Waldmann2020_Chapter_AComprehensiveFrameworkForSaturation.pdf","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":"Waldmann, U, Tourret, S, Robillard, S & Blanchette, J 2020, A Comprehensive Framework for Saturation Theorem Proving. in N Peltier & V Sofronie-Stokkermans (eds), Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1\u20134, 2020, Proceedings, Part I. vol. 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12166 LNAI, Springer, pp. 316-334, 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Virtual, Online, 1/07/20. https://doi.org/10.1007/978-3-030-51074-9_18","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3936710689","display_name":null,"funder_award_id":"016.Vidi.189.037","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G629491556","display_name":null,"funder_award_id":"(NWO)","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"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/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3039562913.pdf","grobid_xml":"https://content.openalex.org/works/W3039562913.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W1781094","https://openalex.org/W123168770","https://openalex.org/W266135116","https://openalex.org/W1479669713","https://openalex.org/W1507112684","https://openalex.org/W1510236094","https://openalex.org/W1513576223","https://openalex.org/W1521419290","https://openalex.org/W1552713121","https://openalex.org/W1562775594","https://openalex.org/W1572633878","https://openalex.org/W1772968073","https://openalex.org/W1780472831","https://openalex.org/W1966647497","https://openalex.org/W2037085273","https://openalex.org/W2061969020","https://openalex.org/W2082976889","https://openalex.org/W2099261111","https://openalex.org/W2100738443","https://openalex.org/W2106192381","https://openalex.org/W2152762348","https://openalex.org/W2221495694","https://openalex.org/W2749479972","https://openalex.org/W2765809787","https://openalex.org/W2787490662","https://openalex.org/W2810262843","https://openalex.org/W2810826868","https://openalex.org/W2904255103","https://openalex.org/W2904573932","https://openalex.org/W2914680778","https://openalex.org/W2950175295","https://openalex.org/W2965894480","https://openalex.org/W3036925096","https://openalex.org/W3040578348","https://openalex.org/W4250846042","https://openalex.org/W4250850800","https://openalex.org/W4285719527","https://openalex.org/W4289753566","https://openalex.org/W4294444007"],"related_works":["https://openalex.org/W2950202488","https://openalex.org/W2604424424","https://openalex.org/W2954326042","https://openalex.org/W1567449721","https://openalex.org/W765055999","https://openalex.org/W1970588133","https://openalex.org/W2745567114","https://openalex.org/W1763168562","https://openalex.org/W2777354851","https://openalex.org/W3100311625"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}