{"entities":{"Q1178701":{"pageid":1189450,"ns":120,"title":"Item:Q1178701","lastrevid":66511875,"modified":"2026-04-12T10:34:36Z","type":"item","id":"Q1178701","labels":{"en":{"language":"en","value":"Completion for unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22288"}},"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":"Q1178701$C89CAAEE-19E7-4B6C-8A74-81FA91EF0295","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29257a0f7a39500058cd44d6df596f79a7f85565","datavalue":{"value":{"text":"Completion for unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1178701$62223591-F50B-44B9-81BE-0B8667EFB289","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ec019bf63cd62935b7ad8b48ace69ea6c5896c8","datavalue":{"value":"0735.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178701$2D600A4D-97C5-46E7-B4A0-C39D93C98E99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"132cb06f62253108a89875f6252f6eef6255d1f6","datavalue":{"value":"10.1016/0304-3975(91)90182-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178701$9FFE6715-C98E-4787-A82B-793C082BE2FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"366b008d940d730392e19eed790378d2767466c4","datavalue":{"value":{"entity-type":"item","numeric-id":1178700,"id":"Q1178700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$B0937359-85B3-4432-AD42-3CAB829057C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$84B411B8-E9F8-41E4-AFF0-5BA4C22B58B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$1CCD76E0-0200-454D-804D-807BA4C1A56D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1178701$1FC488A1-122D-4C3C-96A8-4C5AEE278A13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"71d5332b5989e50f98ca82a83a0a2e0d3cc05fbe","datavalue":{"value":"This is an elaboration of a method of constructing unification algorithms for specific classes of equational theories proposed by the second author [Computing unification algorithms, Proc. 1st Symp. on Logic in Computer Science, Boston, 206-216 (1986)]. In particular, a completion procedure is developed which, if it terminates, transforms a set of linear axioms of a theory \\(A\\) into a presentation of \\(A\\) in ''resolvent'' form, from which a unification algorithm can be derived automatically.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178701$C97FE173-FD2F-42B6-B641-EB0E517A2636","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178701$370B66A3-CCF0-4027-B2E3-0B5AF458E68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178701$8AF62616-5BA0-4077-A7C8-B11E97D9ECC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178701$F1B31518-9C08-42F2-B266-E2D9596B6622","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c44379d86eab0a31cac60cac2b50b147fd4a9c9","datavalue":{"value":"22288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178701$5983BA9C-967E-4802-8841-4E7898D16A65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2429349fe6ad34348df532161c2c6d4e44d116","datavalue":{"value":"merging","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178701$FD0DCF2B-B148-4E0F-B2F3-7D759BB5D670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db0aaa30cb20b16e98d8c9860b0255d3dd0ec65","datavalue":{"value":"mutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178701$56A4882B-04A0-4E36-95D0-A021E325ADD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3945651f8f778b883bea00cf6aea67ca64cb85","datavalue":{"value":"syntactic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178701$9FE8CD29-2876-4E3C-A12C-19A5913FD5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178701$3C60ACAB-3955-4DEC-A72B-91760FC2299B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$100584F8-FAC8-4C25-ACD4-5E90BB40FBB5","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":"Q1178701$B2E19D1E-D753-489A-8F79-AE21CF61CB2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c32befbd4f4f269e6c4f19512b43208c1711f611","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90182-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1178701$4302BD36-0A25-4823-AD94-319BF6AB20A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0e7dfc52cac740ac5d1ffa782c600f31cb64730","datavalue":{"value":"W2092801425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178701$CCA24E22-0CE2-4FD6-AF0D-6B9E48F53D0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc37074100decec1567b589117b5998df7e079ec","datavalue":{"value":{"entity-type":"item","numeric-id":3667922,"id":"Q3667922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$AB8DD19E-A571-4318-BF57-427C1BC5C916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6935dc55ba37c30b0106e3fd9b123c1fe0b814fe","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$E073017E-F58B-4C59-B4C8-9DB78315D8F0","rank":"normal"},{"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":"Q1178701$B072EC95-E6D5-486D-B055-D5FB0A43E182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3171cc2d64eac85f0ce885a0f10fe64ad407fc56","datavalue":{"value":{"entity-type":"item","numeric-id":3817573,"id":"Q3817573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$4CD3CDDF-C3C8-43AE-BD37-4283C54517EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$1C0C28A6-4E53-43A7-A60D-4D70428EC074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a43c2a77ce5b334cf750fa1eb4eb2421aace1b","datavalue":{"value":{"entity-type":"item","numeric-id":4139645,"id":"Q4139645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$15889DE6-8DD8-4825-B7FE-BF91AEC14C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$557C4D21-8D26-4AAE-85F8-2656C3CF9700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$A265EEFF-31F5-4F99-936F-685129D9C8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$50BC53F6-190D-4059-BCD6-1CF10785F4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$FF97BD13-162D-4E9C-A54D-DAF965C9DC7A","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":"Q1178701$D85968FB-AAB4-413A-8590-CCB74D27AB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f32f2280669d7f96ffc5f236815cf809e2fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":3338214,"id":"Q3338214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$57405968-575B-40CE-82B5-55E797CD5B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$BF29BC0B-8C45-4642-8D22-4BE205981B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da58277329f09a1823606b5f9166621c04696001","datavalue":{"value":{"entity-type":"item","numeric-id":3779784,"id":"Q3779784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$8E9C27C2-A2FF-4CF9-B15A-2B64468E30C1","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":"Q1178701$E6EEB70C-13A9-4E92-BE73-5E51EB22E59C","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":"Q1178701$79907229-5796-4AFD-A884-F812C21E6F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe03aec12915b670d6be39b684e6889851ecf91","datavalue":{"value":{"entity-type":"item","numeric-id":4185839,"id":"Q4185839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178701$78CE0879-367B-4F14-85F2-A2F1F8285FF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d88b6c0e576c87447c074da4e0022a9001e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":6114511,"id":"Q6114511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06fcc36a5569c381286f6f5d7daa58bf96d8928c","datavalue":{"value":{"amount":"+0.8144204616546631","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":"Q1178701$66CAD843-D4B5-4EA8-B4E4-D0B7EDF29073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7913433f44e2a9c01500474b33479b53d6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3786019,"id":"Q3786019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157fd0a69fd3218affaca8aa9567069283bf8adf","datavalue":{"value":{"amount":"+0.8128776550292969","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":"Q1178701$0C833A9E-D3C0-4CF0-B740-076C37CE5190","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":"d8d7993ae36be2fecac4de5565a0d77526a7e08f","datavalue":{"value":{"amount":"+0.812813937664032","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":"Q1178701$35B4157D-CF43-4711-AB8B-DBB1BD86895B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63c02defeaa31668522323b4ba019905904dc1d","datavalue":{"value":{"entity-type":"item","numeric-id":3334107,"id":"Q3334107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeba13ba53aabb53663b6671b2fddd6b4109f064","datavalue":{"value":{"amount":"+0.8075763583183289","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":"Q1178701$1EFE8B7F-A29A-41C6-B168-910299B39ABB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completion for unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completion_for_unification"}}}}}