{"id":"https://openalex.org/W2115755485","doi":"https://doi.org/10.1002/malq.19950410204","title":"Polynomial Time Uniform Word Problems","display_name":"Polynomial Time Uniform Word Problems","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2115755485","doi":"https://doi.org/10.1002/malq.19950410204","mag":"2115755485"},"language":"en","primary_location":{"id":"doi:10.1002/malq.19950410204","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19950410204","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","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/A5060761505","display_name":"Stanley Burris","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]},{"id":"https://openalex.org/I2799411422","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06","country_code":"US","type":"facility","lineage":["https://openalex.org/I102322142","https://openalex.org/I118347220","https://openalex.org/I1283103587","https://openalex.org/I1311060795","https://openalex.org/I20089843","https://openalex.org/I2799411422","https://openalex.org/I4210107353"]}],"countries":["CA","US"],"is_corresponding":true,"raw_author_name":"Stanley Burris","raw_affiliation_strings":["Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1","These investigations have benefited considerably from past discussions with Ralph Freese on the uniform word problem for lattices, and on the software he has written for such. The main result, Theorem 18, was discovered while the author was lecturing at the University of Lisbon on Universal Algebra and Computing as a guest of Margarita Ramalho and the Gulbenkian Foundation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"These investigations have benefited considerably from past discussions with Ralph Freese on the uniform word problem for lattices, and on the software he has written for such. The main result, Theorem 18, was discovered while the author was lecturing at the University of Lisbon on Universal Algebra and Computing as a guest of Margarita Ramalho and the Gulbenkian Foundation","institution_ids":["https://openalex.org/I2799411422"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060761505"],"corresponding_institution_ids":["https://openalex.org/I151746483","https://openalex.org/I2799411422"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.23003072,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"41","issue":"2","first_page":"173","last_page":"182"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9973000288009644,"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.9973000288009644,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9908000230789185,"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.984000027179718,"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/mathematics","display_name":"Mathematics","score":0.844001829624176},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5682621002197266},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.5663630962371826},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5657289624214172},{"id":"https://openalex.org/keywords/word-problem","display_name":"Word problem (mathematics education)","score":0.5628289580345154},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.4793839454650879},{"id":"https://openalex.org/keywords/alternating-polynomial","display_name":"Alternating polynomial","score":0.46938392519950867},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4588409662246704},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43800026178359985},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4323365092277527},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.43169790506362915},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4179176688194275},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.34093591570854187},{"id":"https://openalex.org/keywords/matrix-polynomial","display_name":"Matrix polynomial","score":0.314920037984848},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.1840955913066864},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09581294655799866},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.07063695788383484},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.049137890338897705}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.844001829624176},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5682621002197266},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.5663630962371826},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5657289624214172},{"id":"https://openalex.org/C90988201","wikidata":"https://www.wikidata.org/wiki/Q255912","display_name":"Word problem (mathematics education)","level":2,"score":0.5628289580345154},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.4793839454650879},{"id":"https://openalex.org/C170412648","wikidata":"https://www.wikidata.org/wiki/Q4736415","display_name":"Alternating polynomial","level":4,"score":0.46938392519950867},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4588409662246704},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43800026178359985},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4323365092277527},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.43169790506362915},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4179176688194275},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34093591570854187},{"id":"https://openalex.org/C101044782","wikidata":"https://www.wikidata.org/wiki/Q6787887","display_name":"Matrix polynomial","level":3,"score":0.314920037984848},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.1840955913066864},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09581294655799866},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.07063695788383484},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.049137890338897705},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/malq.19950410204","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19950410204","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.510.3475","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.510.3475","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.uwaterloo.ca/~snburris/htdocs/MYWORKS/PAPERS/uwp.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1551861123","https://openalex.org/W1963673789","https://openalex.org/W1967939054","https://openalex.org/W1969777579","https://openalex.org/W2006336761","https://openalex.org/W2013504313","https://openalex.org/W2032278512","https://openalex.org/W2056313148","https://openalex.org/W2098297140","https://openalex.org/W2145062905","https://openalex.org/W2912540503","https://openalex.org/W3127823229","https://openalex.org/W4245251910","https://openalex.org/W6758445869"],"related_works":["https://openalex.org/W2023818677","https://openalex.org/W2388754783","https://openalex.org/W2105235764","https://openalex.org/W1964170686","https://openalex.org/W148891984","https://openalex.org/W2379712779","https://openalex.org/W2105340230","https://openalex.org/W4300852638","https://openalex.org/W2889570586","https://openalex.org/W1543706171"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"have":[2],"two":[3],"polynomial":[4,28,42,94],"time":[5,29],"results":[6],"for":[7,12,22,89,106,117],"the":[8,49,62,70,85,102,113],"uniform":[9,19,86,103],"word":[10,20,87,104],"problem":[11,21,88,105],"a":[13,34],"quasivariety":[14],"Q":[15,23,46,54,67,76,79,90],":":[16],"(a)":[17],"The":[18],"can":[24,32],"be":[25,48],"solved":[26],"in":[27,41,93],"iff":[30],"one":[31],"find":[33],"certain":[35],"congruence":[36],"on":[37],"finite":[38,118],"partial":[39,119],"algebras":[40],"time.":[43,95],"(b)":[44],"Let":[45],"*":[47,80],"relational":[50],"class":[51,60],"determined":[52],"by":[53],".":[55],"If":[56],"any":[57],"universal":[58,63],"Horn":[59],"between":[61],"closure":[64,73],"S":[65],"(":[66,75],"*)":[68,77],"and":[69,108],"weak":[71,114],"embedding":[72],"S\u0304":[74],"of":[78,112],"is":[81,91],"finitely":[82],"axiomatizable":[83],"then":[84],"solvable":[92],"This":[96],"covers":[97],"Skolem's":[98],"1920":[99],"solution":[100],"to":[101],"lattices":[107],"Evans'":[109],"1953":[110],"applications":[111],"embeddability":[115],"property":[116],"V":[120],"algebras.":[121]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}