{"id":"https://openalex.org/W4281396708","doi":"https://doi.org/10.1007/s10817-022-09628-0","title":"Set of Support, Demodulation, Paramodulation: A Historical Perspective","display_name":"Set of Support, Demodulation, Paramodulation: A Historical Perspective","publication_year":2022,"publication_date":"2022-05-24","ids":{"openalex":"https://openalex.org/W4281396708","doi":"https://doi.org/10.1007/s10817-022-09628-0"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-022-09628-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-022-09628-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-022-09628-0.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10817-022-09628-0.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082604888","display_name":"Maria Paola Bonacina","orcid":"https://orcid.org/0000-0001-9104-2692"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Maria Paola Bonacina","raw_affiliation_strings":["Universit degli Studi di Verona, Verona, EU, Italy","Universit\u00e0 degli Studi di Verona, Verona, EU, Italy"],"raw_orcid":"https://orcid.org/0000-0001-9104-2692","affiliations":[{"raw_affiliation_string":"Universit degli Studi di Verona, Verona, EU, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Universit\u00e0 degli Studi di Verona, Verona, EU, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5082604888"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.2775,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61478066,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"66","issue":"4","first_page":"463","last_page":"497"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9832000136375427,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9832000136375427,"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.9819999933242798,"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/T10126","display_name":"Logic, programming, and type systems","score":0.980400025844574,"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/perspective","display_name":"Perspective (graphical)","score":0.5870921611785889},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.554052472114563},{"id":"https://openalex.org/keywords/tribute","display_name":"Tribute","score":0.5026545524597168},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5012178421020508},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.496359646320343},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.4733830988407135},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.46788352727890015},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40837031602859497},{"id":"https://openalex.org/keywords/art-history","display_name":"Art history","score":0.27049997448921204},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.26472964882850647},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2234528660774231},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.19356891512870789},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.0819854736328125}],"concepts":[{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.5870921611785889},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.554052472114563},{"id":"https://openalex.org/C2777038452","wikidata":"https://www.wikidata.org/wiki/Q748289","display_name":"Tribute","level":2,"score":0.5026545524597168},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5012178421020508},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.496359646320343},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.4733830988407135},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.46788352727890015},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40837031602859497},{"id":"https://openalex.org/C52119013","wikidata":"https://www.wikidata.org/wiki/Q50637","display_name":"Art history","level":1,"score":0.27049997448921204},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26472964882850647},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2234528660774231},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.19356891512870789},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0819854736328125}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10817-022-09628-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-022-09628-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-022-09628-0.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10817-022-09628-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-022-09628-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-022-09628-0.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.4399999976158142}],"awards":[],"funders":[{"id":"https://openalex.org/F4320324120","display_name":"Universit\u00e0 degli Studi di Verona","ror":"https://ror.org/039bp8j42"},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4281396708.pdf","grobid_xml":"https://content.openalex.org/works/W4281396708.grobid-xml"},"referenced_works_count":146,"referenced_works":["https://openalex.org/W1781094","https://openalex.org/W64666703","https://openalex.org/W84077869","https://openalex.org/W90833836","https://openalex.org/W91480035","https://openalex.org/W155612886","https://openalex.org/W199417883","https://openalex.org/W207393389","https://openalex.org/W763811073","https://openalex.org/W937457914","https://openalex.org/W1472528886","https://openalex.org/W1480487311","https://openalex.org/W1481397676","https://openalex.org/W1481693958","https://openalex.org/W1485127077","https://openalex.org/W1487228882","https://openalex.org/W1493648217","https://openalex.org/W1495255160","https://openalex.org/W1495396426","https://openalex.org/W1497345544","https://openalex.org/W1502451498","https://openalex.org/W1504574483","https://openalex.org/W1507112684","https://openalex.org/W1511652686","https://openalex.org/W1513056591","https://openalex.org/W1513576223","https://openalex.org/W1514729613","https://openalex.org/W1516218099","https://openalex.org/W1517155625","https://openalex.org/W1518636372","https://openalex.org/W1519551513","https://openalex.org/W1520527482","https://openalex.org/W1523376837","https://openalex.org/W1524626343","https://openalex.org/W1526593648","https://openalex.org/W1527996124","https://openalex.org/W1535111077","https://openalex.org/W1536817257","https://openalex.org/W1538336754","https://openalex.org/W1552843312","https://openalex.org/W1573267491","https://openalex.org/W1578446848","https://openalex.org/W1584399668","https://openalex.org/W1586804882","https://openalex.org/W1594285439","https://openalex.org/W1595261588","https://openalex.org/W1595374223","https://openalex.org/W1604803164","https://openalex.org/W1635857625","https://openalex.org/W1661099014","https://openalex.org/W1691963461","https://openalex.org/W1772968073","https://openalex.org/W1785287584","https://openalex.org/W1787035848","https://openalex.org/W1834103703","https://openalex.org/W1850924370","https://openalex.org/W1881680935","https://openalex.org/W1966048066","https://openalex.org/W1966647497","https://openalex.org/W1968605571","https://openalex.org/W1971927226","https://openalex.org/W1972956465","https://openalex.org/W1974462798","https://openalex.org/W1977877251","https://openalex.org/W1991856459","https://openalex.org/W2002310337","https://openalex.org/W2002684144","https://openalex.org/W2006807333","https://openalex.org/W2010001930","https://openalex.org/W2010939537","https://openalex.org/W2012072427","https://openalex.org/W2014030742","https://openalex.org/W2018221833","https://openalex.org/W2020794409","https://openalex.org/W2028087487","https://openalex.org/W2037085273","https://openalex.org/W2042551813","https://openalex.org/W2042924775","https://openalex.org/W2043314428","https://openalex.org/W2044301710","https://openalex.org/W2047669821","https://openalex.org/W2051518991","https://openalex.org/W2056016391","https://openalex.org/W2058514808","https://openalex.org/W2062897452","https://openalex.org/W2063169961","https://openalex.org/W2067716734","https://openalex.org/W2072868156","https://openalex.org/W2076908710","https://openalex.org/W2077429176","https://openalex.org/W2080126541","https://openalex.org/W2084417024","https://openalex.org/W2084894656","https://openalex.org/W2086747974","https://openalex.org/W2099761695","https://openalex.org/W2100738443","https://openalex.org/W2107965579","https://openalex.org/W2117364391","https://openalex.org/W2121757274","https://openalex.org/W2123319860","https://openalex.org/W2125267811","https://openalex.org/W2132750992","https://openalex.org/W2135088169","https://openalex.org/W2141010048","https://openalex.org/W2149914135","https://openalex.org/W2150307403","https://openalex.org/W2155552045","https://openalex.org/W2161257777","https://openalex.org/W2163681902","https://openalex.org/W2167964658","https://openalex.org/W2170135633","https://openalex.org/W2329329248","https://openalex.org/W2460200316","https://openalex.org/W2483513769","https://openalex.org/W2507006525","https://openalex.org/W2512056759","https://openalex.org/W2611373917","https://openalex.org/W2735771386","https://openalex.org/W2785900927","https://openalex.org/W2795981059","https://openalex.org/W2907526089","https://openalex.org/W2912282119","https://openalex.org/W2927212189","https://openalex.org/W2965894480","https://openalex.org/W2969261745","https://openalex.org/W2969853999","https://openalex.org/W2969992190","https://openalex.org/W3021880308","https://openalex.org/W3036925096","https://openalex.org/W3038142530","https://openalex.org/W3038385067","https://openalex.org/W3038732795","https://openalex.org/W3039231562","https://openalex.org/W3039562913","https://openalex.org/W3040578348","https://openalex.org/W3142621357","https://openalex.org/W3179244314","https://openalex.org/W3180051810","https://openalex.org/W3181451889","https://openalex.org/W3181671299","https://openalex.org/W4206463158","https://openalex.org/W4214565566","https://openalex.org/W4237878575","https://openalex.org/W4242390622","https://openalex.org/W4246237914","https://openalex.org/W4294444007"],"related_works":["https://openalex.org/W4241713070","https://openalex.org/W4307136485","https://openalex.org/W2349510093","https://openalex.org/W2103064161","https://openalex.org/W2389794700","https://openalex.org/W3209788606","https://openalex.org/W4307356808","https://openalex.org/W2404304393","https://openalex.org/W2381107421","https://openalex.org/W2356697086"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"article":[2],"is":[3],"a":[4],"tribute":[5],"to":[6,71],"the":[7,26,34,47,62,77],"scientific":[8],"legacy":[9],"of":[10,50],"automated":[11],"reasoning":[12],"pioneer":[13],"and":[14,33,36],"JAR":[15],"founder":[16],"Lawrence":[17],"T.":[18],"(Larry)":[19],"Wos.":[20],"Larry\u2019s":[21,54,68],"main":[22],"technical":[23],"contributions":[24],"were":[25],"set-of-support":[27],"strategy":[28],"for":[29,40],"resolution":[30],"theorem":[31],"proving,":[32],"demodulation":[35],"paramodulation":[37],"inference":[38],"rules":[39],"building":[41],"equality":[42],"into":[43],"resolution.":[44],"Starting":[45],"from":[46],"original":[48,69],"definitions":[49,70],"these":[51],"concepts":[52],"in":[53,76],"papers,":[55],"this":[56],"survey":[57],"traces":[58],"their":[59],"evolution,":[60],"unearthing":[61],"often":[63],"forgotten":[64],"trails":[65],"that":[66,73],"connect":[67],"those":[72],"became":[74],"standard":[75],"field.":[78]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}