{"id":"https://openalex.org/W1602542416","doi":"https://doi.org/10.1007/bfb0012853","title":"Solving disequations in equational theories","display_name":"Solving disequations in equational theories","publication_year":2005,"publication_date":"2005-11-23","ids":{"openalex":"https://openalex.org/W1602542416","doi":"https://doi.org/10.1007/bfb0012853","mag":"1602542416"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0012853","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0012853","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":"conference-paper","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://dx.doi.org/10.22028/D291-40183","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064473047","display_name":"Hans-J\u00fcrgen B\u00fcrckert","orcid":null},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Hans-J\u00fcrgen B\u00fcrckert","raw_affiliation_strings":["FB Informatik, Universit\u00e4t Kaiserslautern, Postfach 3049, D-6750, Kaiserslautern, FR Germany","FB Informatik, Universit\u00e4t Kaiserslautern"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FB Informatik, Universit\u00e4t Kaiserslautern, Postfach 3049, D-6750, Kaiserslautern, FR Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"FB Informatik, Universit\u00e4t Kaiserslautern","institution_ids":["https://openalex.org/I153267046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5064473047"],"corresponding_institution_ids":["https://openalex.org/I153267046"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.8983,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.91129161,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"517","last_page":"526"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9979000091552734,"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/T11567","display_name":"semigroups and automata theory","score":0.9979000091552734,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9976000189781189,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9962999820709229,"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/unification","display_name":"Unification","score":0.9327937960624695},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5606581568717957},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5469198822975159},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4498882293701172},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.29821670055389404},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.24756544828414917},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.10065001249313354},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.046289026737213135},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.04331216216087341}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.9327937960624695},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5606581568717957},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5469198822975159},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4498882293701172},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.29821670055389404},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.24756544828414917},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.10065001249313354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.046289026737213135},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.04331216216087341},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/bfb0012853","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0012853","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:publikationen.sulb.uni-saarland.de:20.500.11880/36235","is_oa":true,"landing_page_url":"http://dx.doi.org/10.22028/D291-40183","pdf_url":null,"source":{"id":"https://openalex.org/S4377196499","display_name":"Publications of the UdS (Saarland University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I91712215","host_organization_name":"Saarland University","host_organization_lineage":["https://openalex.org/I91712215"],"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":"doc-type:workingPaper"},{"id":"doi:10.22028/d291-40183","is_oa":true,"landing_page_url":"https://doi.org/10.22028/d291-40183","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Collection"}],"best_oa_location":{"id":"pmh:oai:publikationen.sulb.uni-saarland.de:20.500.11880/36235","is_oa":true,"landing_page_url":"http://dx.doi.org/10.22028/D291-40183","pdf_url":null,"source":{"id":"https://openalex.org/S4377196499","display_name":"Publications of the UdS (Saarland University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I91712215","host_organization_name":"Saarland University","host_organization_lineage":["https://openalex.org/I91712215"],"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":"doc-type:workingPaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W60619409","https://openalex.org/W69066391","https://openalex.org/W121190113","https://openalex.org/W127464574","https://openalex.org/W128107162","https://openalex.org/W134953795","https://openalex.org/W420198791","https://openalex.org/W1480465948","https://openalex.org/W1484319462","https://openalex.org/W1514537864","https://openalex.org/W1523315298","https://openalex.org/W1598625331","https://openalex.org/W1753591354","https://openalex.org/W1891579298","https://openalex.org/W1996038999","https://openalex.org/W2000095830","https://openalex.org/W2002861469","https://openalex.org/W2023648368","https://openalex.org/W2033074970","https://openalex.org/W2033288425","https://openalex.org/W2043918343","https://openalex.org/W2051566614","https://openalex.org/W2056016391","https://openalex.org/W2061769298","https://openalex.org/W2065333363","https://openalex.org/W2100738443","https://openalex.org/W2110148089","https://openalex.org/W2148193906","https://openalex.org/W2915015834","https://openalex.org/W3021058630","https://openalex.org/W3127823229","https://openalex.org/W4213165878","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2367630557","https://openalex.org/W101666983","https://openalex.org/W2183792531","https://openalex.org/W2595286499","https://openalex.org/W2794344379","https://openalex.org/W2489197555","https://openalex.org/W2471908688","https://openalex.org/W1845283042","https://openalex.org/W3171337446"],"abstract_inverted_index":{"Disunification":[0],"is":[1,67,84,98,125],"the":[2,38,41,45,56,63,111,131],"problem":[3,42],"to":[4,81,150],"solve":[5],"a":[6,90,99,127,148,155],"system":[7],"<":[8],"s":[9],"i":[10,13,17],"=":[11],"t":[12],":":[14,25],"1":[15,26],"\u2264":[16,18,28],"n,":[19],"p":[20],"j":[21,24],"\u2229":[22],"q":[23],"\u2264j":[27],"m\u3009":[29],"of":[30,40,48,55,113,130,133],"equations":[31,86],"and":[32,88],"disequations.":[33],"Solutions":[34],"are":[35],"substitutions":[36],"for":[37,93,108],"variables":[39],"that":[43,83,107],"make":[44],"two":[46],"terms":[47],"each":[49],"equation":[50],"equal,":[51],"but":[52],"let":[53],"those":[54],"disequations":[57],"different.":[58],"We":[59,74],"investigate":[60],"this":[61,104],"in":[62],"case,":[64],"where":[65,110],"equality":[66],"defined":[68],"by":[69,120,154],"an":[70,138],"equational":[71,94],"theory":[72],"E.":[73],"show":[75],"how":[76,142],"E-disunification":[77],"can":[78,117,144],"be":[79,118,145],"reduced":[80],"E-unification,":[82],"solving":[85],"only,":[87],"give":[89],"disunification":[91,135],"algorithm":[92],"theories":[95],"provided":[96],"there":[97,124],"unification":[100,115],"algorithm.":[101],"In":[102],"fact":[103],"result":[105],"shows":[106],"theories,":[109],"solutions":[112,132],"all":[114,134],"problems":[116],"represented":[119],"finitely":[121],"many":[122,152],"substitutions,":[123],"also":[126],"finite":[128],"representation":[129],"problems.":[136],"As":[137],"application":[139],"we":[140],"discuss":[141],"AC1-disunification":[143],"used":[146],"as":[147],"method":[149],"represent":[151],"AC-unifiers":[153],"few":[156],"AC1-disunifiers.":[157]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}