{"entities":{"Q1105360":{"pageid":1116109,"ns":120,"title":"Item:Q1105360","lastrevid":67000062,"modified":"2026-04-12T14:15:02Z","type":"item","id":"Q1105360","labels":{"en":{"language":"en","value":"A practically efficient and almost linear unification algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058850"}},"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":"Q1105360$8760BB7F-AB76-4053-AF5C-E84B9D7AF6D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e3954ec6c645fe18cd234dbece6be232fd2e484","datavalue":{"value":{"text":"A practically efficient and almost linear unification algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105360$747940D8-900C-4B59-8D31-625E93785632","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ca84fd3c16d2a3a59afdb47de6ed9039ecf9b9b","datavalue":{"value":"0648.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105360$9F31BD22-0208-45B3-A087-4CFD14D75B4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9badb989fb5efc6c5c3e2a09114e5379737d86a3","datavalue":{"value":"10.1016/0004-3702(88)90005-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105360$B33B6B88-2A53-44D0-A048-E0B94FE4A394","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ccf71c3f39b602057c71830666cf488d2979398","datavalue":{"value":{"entity-type":"item","numeric-id":1105358,"id":"Q1105358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$58C6932E-823D-4B71-84BD-647E11B1FC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd12d0393cbc1ffe0f41ec566c59568265ec9ac","datavalue":{"value":{"entity-type":"item","numeric-id":1105359,"id":"Q1105359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$7C782602-5518-4C9E-9097-8D38AED272E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$AF45FE22-A870-45B8-984C-D15F62376722","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1105360$2DE1C485-E813-41C1-B9EB-5EB46BBDF448","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b84dd552042f581359e0d2c33cc085882ee83578","datavalue":{"value":"An efficient unification algorithm for first-order terms is described. It relies on the known theoretical framework of homogeneous and valid equivalence relations on terms and it makes use of a union-find algorithmic schema, thus keeping an almost linear worst-case complexity. Its advantages over similar algorithms are a very low overhead and practical efficiency, even for small terms, that are due to simple data structures and careful design tradeoffs.    The proposed algorithm is described in detail such as to be easily implemented. Its main part is proved, and its complexity analyzed. Comparative experimental results that support its advantage are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105360$4FE54833-6FB5-49A3-9765-9764BEFBC2CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105360$E987D0EF-9857-47E3-8611-DF612002CC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105360$8A06F613-BF6C-4467-8293-F25B148CCC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105360$2A13FE4C-F7C8-49B3-B14B-F7AC396E56F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fce05c07f1c98b8e88eb6b14c0fba74e8530786","datavalue":{"value":"4058850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105360$65A70211-E510-410E-BF9E-1482BD6BBD57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e922cbd3df8bc5d3349037ee69b3227bdcb70f42","datavalue":{"value":"efficient unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105360$FD7B99D4-97C6-454B-A025-AA493AFCF933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a849c3e81352e169a3a7c436f3319e72ba32034","datavalue":{"value":"first-order terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105360$4D542314-C2AD-4F5D-B417-C89AA67262C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff03b71711e99d5d35ceaa87eaf958661170475c","datavalue":{"value":"almost linear worst- case complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105360$D57F2FE1-8B06-45FB-88EC-D8E06C59C0B9","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":"Q1105360$A3949D35-BD6C-4062-8C6D-C21930282C2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45e764efe9cc829f0fbeb2e5c9f87104ed17fa71","datavalue":{"value":"https://doi.org/10.1016/0004-3702(88)90005-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105360$C4061C33-7A5A-41BC-B350-D53275FBEC7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33da8f51094598a922f0c8f8d412d265aa670366","datavalue":{"value":"W2073164949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105360$C3A21A60-8314-439C-BDF1-695CD9F2EB05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$973E5D1C-43E3-4A8C-8EE2-1C112DC0D83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81d57b58abc3a82b100d072439fecb147f7ea86","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$204CEDED-2B6E-463D-82DE-40E605782BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$79ED4BF3-FD3B-4D99-946B-4EB27A07EC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$97D5FEE4-5FF7-4658-AF28-FC3EE26EDDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$22111ABD-5704-4019-A573-7D772B0C87D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$B2FB8789-F967-4FEC-AA78-219DE109CAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$37EDB5C6-8FCB-4D23-B136-C619B1F5C4B7","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":"Q1105360$EAC83B53-EF26-4E32-B887-D62AE0D07DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370e0210d7e09980f267ee14c4f9d5ed03ecdaaf","datavalue":{"value":{"entity-type":"item","numeric-id":5675663,"id":"Q5675663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$A528B9CF-186D-47E7-A50C-EFC33196E50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105360$1E2C74F9-EB21-4405-90CE-FB253C35805D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7a2aeaa5467982d7477234be31176fd6be8495","datavalue":{"value":{"entity-type":"item","numeric-id":751312,"id":"Q751312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d94ad557f10caa63b468fa42a7734dc312ab1e6","datavalue":{"value":{"amount":"+0.95518714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105360$08CBB620-3954-40EA-9B41-2EDFD0448299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c04766fc74e7b761fc6fbd66093f207054377f","datavalue":{"value":{"entity-type":"item","numeric-id":3795215,"id":"Q3795215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017bdb95b570adffeaeed6c84a7eec6bd00123cb","datavalue":{"value":{"amount":"+0.92128235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105360$2BBD4D15-3665-4853-A646-E78CE57B6E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c02da6aaded1ad3003e90c66040b578d2a8ede","datavalue":{"value":{"entity-type":"item","numeric-id":582141,"id":"Q582141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017bdb95b570adffeaeed6c84a7eec6bd00123cb","datavalue":{"value":{"amount":"+0.92128235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105360$E141E735-E9C4-4490-9D6F-5DDD5931448A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7532c6e676fa53537b370a06409ce75cff320fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5389146,"id":"Q5389146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a1a54ba9026be6ad7e541add1fe9c6976bb0e9","datavalue":{"value":{"amount":"+0.91044456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105360$BDA73C6A-2B19-4383-8332-4C38BA7321D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28507daa771250e00ef386765a6e4bbbcb7fe4f1","datavalue":{"value":{"entity-type":"item","numeric-id":2102937,"id":"Q2102937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1368ff4a9184adcda002773bb25971247bd520ea","datavalue":{"value":{"amount":"+0.90980756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105360$FAD92E1D-FE1A-4B76-B98E-FBED1F239741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37a6a05bb97dbcd0142b9be54715d0dbf6c8aab","datavalue":{"value":{"entity-type":"item","numeric-id":1824410,"id":"Q1824410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d59c60e87c3e2628856670c0aa6a769d6603fe6","datavalue":{"value":{"amount":"+0.9073377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105360$EB1F0C72-C87E-4BFC-8CFD-26D10F1C0811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc38cf96173d1fd56a6081c50dbff622604b848","datavalue":{"value":{"entity-type":"item","numeric-id":2643520,"id":"Q2643520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b3df647e1e24808de3b09c9328f13799a8ab87","datavalue":{"value":{"amount":"+0.89886224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105360$DAA7F74E-5344-4624-8EBD-DBAE61E1A8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d678e70dc732aaed13466171f68f9279e9c9aa87","datavalue":{"value":{"entity-type":"item","numeric-id":1329186,"id":"Q1329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60295f007c20ff231be2c24f4aeea9543307bed","datavalue":{"value":{"amount":"+0.8726178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105360$6B477B7D-6CCA-4065-B900-39745D84867C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b6ed019011709839b8f1482ac0756b514f7374","datavalue":{"value":{"entity-type":"item","numeric-id":3776515,"id":"Q3776515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0d314b8f9cbdd546a3cfcafde3001a7e760c96","datavalue":{"value":{"amount":"+0.8722988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105360$86F9580A-2647-45C5-81A5-B7541BC22A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec2d7a004e4e112a771ee08e747c23d0fbca9e0","datavalue":{"value":{"entity-type":"item","numeric-id":5434664,"id":"Q5434664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459b36d7a49d154c0062415da438255c683a9f0a","datavalue":{"value":{"amount":"+0.8708871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1105360$4FDCB6F4-25A3-4150-AA17-D4D36A05760E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A practically efficient and almost linear unification algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_practically_efficient_and_almost_linear_unification_algorithm"}}}}}