{"entities":{"Q1173920":{"pageid":1184669,"ns":120,"title":"Item:Q1173920","lastrevid":69801147,"modified":"2026-04-13T09:28:35Z","type":"item","id":"Q1173920","labels":{"en":{"language":"en","value":"Unifications, deunifications, and their complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7773"}},"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":"Q1173920$C17EDC83-1C95-4693-B36E-DD82D5E88B09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4941b1e5e1a9c8c68637595d863cc1ff8d5e44a3","datavalue":{"value":{"text":"Unifications, deunifications, and their complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1173920$FF2673F4-21A4-4E55-A822-3095305DEE30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c380312228a161eeb5779db28739df0fafc7b9c","datavalue":{"value":"0746.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173920$AFB5C22F-B038-4EA7-8331-167022BFFE21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fbfded587710194eebc75fbbd202ea778d88a6d","datavalue":{"value":"10.1007/BF01933209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173920$66722995-AE78-4575-BD72-F360E88A3F3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f32a21872bbb087a0758a31f05b2a253b7370c3","datavalue":{"value":{"entity-type":"item","numeric-id":579960,"id":"Q579960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173920$7B8D35A7-0E6C-40C1-A353-646A4F386F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa4172a39bf9ec948c8d6eb790fa409bd68117f","datavalue":{"value":{"entity-type":"item","numeric-id":294883,"id":"Q294883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173920$7F00C6D6-0F30-4A83-92EC-A147532205D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173920$5B82BB9F-8BC0-4B7D-A77D-C622C8E256D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1173920$76B971AD-9A61-48C6-AF47-EBE3647DDF69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"475fa3c34540cd32a9979286981d8505d7980f9f","datavalue":{"value":"The time complexity of the Datalog unify-deunify problem (DUDP) is considered, i.e. of the problem of on-line execution of sequences of operations of unification and deunification of variables and constants. Pointer machines are used for execution. DUDP is easily reducible to the union-find-deunion problem (UFDP) considered by \\textit{J. Westbrook} and \\textit{R. E. Tarjan} [SIAM J. Comput. 18(1), 1-11 (1989; Zbl 0679.68039)] and generalizing the well-known union-find problem (UFP), i.e. any (separable) algorithm for a pointer machine solving UFDP can be easily transformed into a (separable) algorithm solving DUDP with a linear increasing of execution time. Using Westbrook and Tarjan's result it gives the upper bound \\(O(\\log n\\log \\log n)\\) for amortized time complexity of DUDP. Some reductions of UFP and UFDP to DUDP are constructed. The known lower bounds of time complexity for UFP and UFDP hold for DUDP. However, at least for UFDP some additional reasoning is necessary since the reduction described gives a somewhat more general kind of machines that that used in other investigations in order to obtain these lower bounds; in a private communication to me Prof. Mannila noted that these problems do not occur for a translation to DUDP with the lower bound \\(O(n+m\\alpha(m,n))\\) for UFP which was recently shown by \\textit{J. La Poutre} for general pointer machines.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173920$7D902D2A-E621-4F9B-B07B-D454BCDFD6B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173920$8DEAF1D0-9A7A-4A00-B4F6-14C6B1B6A2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173920$C57439B9-25C8-41D3-BB1A-D0206A9529CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dee1c1ebb5a0d0f9e648be1a31ffed036c222878","datavalue":{"value":"7773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173920$1B615B58-1AC5-485E-8581-A5EEF794AF6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173920$2A756260-3256-43BB-A886-1726A309838C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173920$3BD1F13A-AFE5-462C-92D2-F29674F7FC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173920$6694BA3B-3099-43E8-AE37-04C0EE01D1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8103927e65448399df1118236feb0bb5d1887356","datavalue":{"value":"deunification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173920$0C2215AF-1A7B-4A26-A77E-C65EA804DE2B","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":"Q1173920$35C93673-66D5-4620-BB1B-5F3F6FB10162","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"579adb7a3f80eb6028df4cf77600de33d9e7a8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1117690,"id":"Q1117690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173920$B11FA787-AC29-4F34-9194-A081AD8867BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b46f23e1d95210ec444c78dd7a8edd18f2e48d","datavalue":{"value":{"entity-type":"item","numeric-id":1062461,"id":"Q1062461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173920$EEAB4B9F-874B-451F-AE4D-D133B8340EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2137300eb4b39e1bfbe87250bc9a79de6138fc65","datavalue":{"value":{"entity-type":"item","numeric-id":3774943,"id":"Q3774943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173920$5CFF1C50-5153-46D8-B44E-8FC98290B830","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":"Q1173920$D1EFFD10-B271-46AA-BDF2-8B1521279EB9","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":"Q1173920$5E50F00C-A7FB-49AC-8F80-EDA00BAE2071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8248b6c52a05b007e2aa49907dc17356e0c1eed9","datavalue":{"value":{"entity-type":"item","numeric-id":598809,"id":"Q598809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173920$B24CED5A-3B32-42B3-897C-E13C7AE9B2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9366c82f8a71633f567b778add8be59a85724d","datavalue":{"value":{"entity-type":"item","numeric-id":3769963,"id":"Q3769963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173920$82253A46-3C5D-47F9-A7BE-A5589C7BF0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66bc93cbca953e308ba80d56d252ce03b581ad05","datavalue":{"value":{"entity-type":"item","numeric-id":4720785,"id":"Q4720785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173920$2ADB1D2F-8BC0-4B73-92B8-42096321E69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3684cf631b1aa98886f98aa139037b8b7e288978","datavalue":{"value":{"entity-type":"item","numeric-id":4729325,"id":"Q4729325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173920$A63D94AC-FEB8-4041-B981-AEC4B38257C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f650643caf40277e60ac49b3426793635297e071","datavalue":{"value":"https://doi.org/10.1007/bf01933209","type":"string"},"datatype":"url"},"type":"statement","id":"Q1173920$699F2B07-681E-4938-B3D1-DF4593DE0D06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee314fdfc8d41eaae3e58d6c38e0e122956b1b4c","datavalue":{"value":"W1999492116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173920$073333A7-FDE4-4FEA-B9DC-26A5A929D2CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca277a78033b5d61e3ef7f7147e4dd4073c4a1d","datavalue":{"value":{"entity-type":"item","numeric-id":3796783,"id":"Q3796783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0de5693166dab6859e56ab3bbe51ca9e2e6533c","datavalue":{"value":{"amount":"+0.8073447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1173920$CB8FB72C-439C-48DF-977F-202FFA073357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4464cc688758eecb30fe3e25f4233f84b1912213","datavalue":{"value":{"entity-type":"item","numeric-id":3796768,"id":"Q3796768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0de5693166dab6859e56ab3bbe51ca9e2e6533c","datavalue":{"value":{"amount":"+0.8073447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1173920$608E8813-77BA-46FB-B57F-8B01923EEE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9fd94376499700666932e40ae6995713412fed","datavalue":{"value":{"entity-type":"item","numeric-id":4721668,"id":"Q4721668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1954defa15fe32f93494d390006a68128839062","datavalue":{"value":{"amount":"+0.78155446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1173920$8757BDB7-161C-4D38-988D-5649E59D996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f548223d2c8fead7dd6e52b227c805b1a01241","datavalue":{"value":{"entity-type":"item","numeric-id":3730015,"id":"Q3730015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdfebc741d0f54a2bedcaee88e50629bee3bc2e","datavalue":{"value":{"amount":"+0.7644585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1173920$5BB37FE1-904D-43EA-882C-5EC038CAF15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29430019da6209bfe293e66d200ccbe007cac604","datavalue":{"value":{"entity-type":"item","numeric-id":3832045,"id":"Q3832045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ed2121117b991f0aae4b8fdf909a571d0cd2d8","datavalue":{"value":{"amount":"+0.7400901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1173920$C26B9B2B-05A6-4D75-B79C-4416864321A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45af26b86ac7a4e60a477cf63d5a6bb3cd42e631","datavalue":{"value":{"entity-type":"item","numeric-id":751279,"id":"Q751279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdbf2ae6fb7f1325c2ba93e31274ebf7124d9e98","datavalue":{"value":{"amount":"+0.7391431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1173920$767BDD84-A5AA-42A0-92D4-B572D90D034E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4289440add1a175ac3f205d633a1585bbe7aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c526f2e64a9ddaf2ad8383d92f90e36b19ef7625","datavalue":{"value":{"amount":"+0.7293744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1173920$970120CD-0A1C-4B02-A3D9-D94DB713DA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0635a798bbc3a1cba27b091fd02e6fb73c9b676","datavalue":{"value":{"entity-type":"item","numeric-id":804287,"id":"Q804287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d060c4a0d7c85b4cd32f84563802d4c6f612f9","datavalue":{"value":{"amount":"+0.728625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1173920$4EF4A7F7-7667-4232-AE5F-3E4E8F5502F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac7a7e9d9aca8bdd2b45a81355066d3bf975fb0","datavalue":{"value":{"entity-type":"item","numeric-id":676421,"id":"Q676421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5068c7bff2922789dc9bfd3c67a341ca4bf621a7","datavalue":{"value":{"amount":"+0.7280792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1173920$780D285E-23BC-47BB-A75C-9A5FA42F118A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be76e47779319bab92dda15198a9d66a9f9bf9da","datavalue":{"value":{"entity-type":"item","numeric-id":4593950,"id":"Q4593950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8706c9dde26c440a593a6ee38201f062cb6b76a","datavalue":{"value":{"amount":"+0.72538286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1173920$EADB2FE4-CDEE-4AE8-9483-3EDE37F56832","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifications, deunifications, and their complexity","badges":[]}}}}}