{"entities":{"Q1099654":{"pageid":1110406,"ns":120,"title":"Item:Q1099654","lastrevid":69639585,"modified":"2026-04-13T08:23:22Z","type":"item","id":"Q1099654","labels":{"en":{"language":"en","value":"An algebraic approach to unification under associativity and commutativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041332"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$54B5A894-0EB8-42F5-9DBB-B5D91D02EDBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc76c844e48ad58ed253c71e27818dcb38d5fdad","datavalue":{"value":{"text":"An algebraic approach to unification under associativity and commutativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099654$42325348-F9E6-489B-B8E6-B8E64A886ED2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f9d3f7f79b40be131a5f21e717e7154753e1563","datavalue":{"value":"0638.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099654$D33EB4C2-1764-45D8-BED1-FE27D374B011","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74964576c63b64a4a6f22ab5854430c67ac6c41d","datavalue":{"value":"10.1016/S0747-7171(87)80001-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099654$86131D46-C611-4542-A893-DAB5A713CD10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1df17cb1c727ddaacb97067260e649b8db1f342c","datavalue":{"value":{"entity-type":"item","numeric-id":1099653,"id":"Q1099653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$99458ECE-CF06-4BAF-978E-622D8222D1BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$9E74C19D-BC31-4875-8232-3204C03C98B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1099654$15C217A3-2575-4481-9F9B-6D950BB7B68A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c88eaea8fd2a679ac804045a6b687192ebbf60d6","datavalue":{"value":"From the work of Siekmann \\& Livesey, and Stickel it is known how to unify two terms in an associative and commutative theory: transfer the terms into abelian strings, look for mappings which solve the problem in the abelian monoid, and decide whether a mapping can be regarded as a unifier. Very often most of the mappings are thus eliminated, and so it is crucial for efficiency either not to create these unnecessary solutions or to remove them as soon as possible. The following work formalizes the transfomations between the free algebra and this monoid. This leads to an algorithm which uses maximal information for its search for solutions in the monoid. It is both very efficient and easily verifiable. Some applications of this algorithm are shown in the appendix.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099654$7B5BFFA8-1627-40AA-A4A2-9ABF95E568CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099654$7C736353-1124-49CA-A7CD-E3B547CF70BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099654$BA93E4A8-A6BE-4EDC-A508-B0ED3C3FF2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099654$CA8C827C-F6E2-4B2B-9A80-57A89292A7DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"761392f79f4fd45f0fcc6ad0575eda270b656ebe","datavalue":{"value":"4041332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099654$0BDC03FF-7626-484F-85CC-9CF9031D1739","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5911051497a87d55d7d3ecf6bc30252a564044d","datavalue":{"value":"unification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099654$E47FA2AE-CB9D-4B83-B4C8-B00693E1015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b4801b4ed53f73dba2827d1584c8d2c7cbf07e","datavalue":{"value":"abelian monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099654$08827445-5179-4218-BE8A-432EA8B3328F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099654$7142BA3A-B8BC-4BE0-B447-5CB83E4F3FC9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$95EE72BF-4C47-40C3-AAD7-215F6761F788","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"052186b747d379b95536dd183092a6d28a9a4c59","datavalue":{"value":{"entity-type":"item","numeric-id":3338216,"id":"Q3338216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$94416927-BBDC-41D6-883D-9D51C520410E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaadc581f1889f5a25b9794a77af10f6ac4d02d8","datavalue":{"value":{"entity-type":"item","numeric-id":3703287,"id":"Q3703287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$36CFBE43-5A0A-4942-AEC7-DF1F532E1C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442fda286202e664a839f93dfc76b2cb5fb8ec94","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$DF6E387A-EEA0-4F7A-9ADF-A40148234BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad03955cd9d1b12f908e9f0d19d305e55a944b1","datavalue":{"value":{"entity-type":"item","numeric-id":1246557,"id":"Q1246557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$187E6884-1F12-4DC6-9ABD-2F3D3BE3AE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deebb0b9c38c31d720d68801c4e1768e98c605d8","datavalue":{"value":{"entity-type":"item","numeric-id":908692,"id":"Q908692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$35BCCD01-B479-44C7-A869-FFB26163CF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$404A696D-510B-42DD-B902-A706C66EF172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099654$D9B0D19B-9504-44E2-B7D4-B3F3E017B5B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17933c17044f6249c98bbea6854df8139e935ea1","datavalue":{"value":{"entity-type":"item","numeric-id":3703287,"id":"Q3703287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3773b568fd1a978491cae7f63fb62201ea8a3b","datavalue":{"value":{"amount":"+0.9033234119415284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099654$CD95CE83-1A5C-4935-BB8C-14B3042ED15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a3013126c88788e1f2abca5dc5b703dde202bb","datavalue":{"value":{"entity-type":"item","numeric-id":3805960,"id":"Q3805960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b04e0265e3abd30633573fdaeb1b6a3f875226","datavalue":{"value":{"amount":"+0.8787093758583069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099654$C273D0DD-C0B0-4328-9EB3-55298DCF8A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8074c1975bd09abeafde4674061df377001e043","datavalue":{"value":{"entity-type":"item","numeric-id":1262757,"id":"Q1262757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537c9e2c21f5f59cfb18953a16e7f62750bc8483","datavalue":{"value":{"amount":"+0.8752768039703369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099654$E338CE6D-A421-413F-A4BA-B1D6A07689E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449016d82a18f729fff77be0c6f6c6787983951a","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c695574c1e7c09dce892218ffb521122f1255fd","datavalue":{"value":{"amount":"+0.8687170743942261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099654$1235190E-9489-4B5B-B777-AF9A32F24A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95706b86adb6f9693edbee0db1fd8fe26e83786","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7692f7180290058924a0fa0d41fd33c1babc103d","datavalue":{"value":{"amount":"+0.8666989207267761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099654$B895C016-A3B0-4F6B-834D-56C571421988","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic approach to unification under associativity and commutativity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_approach_to_unification_under_associativity_and_commutativity"}}}}}